svod-dtype 0.1.0-alpha.3

Type system for the Svod ML compiler
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

# svod-dtype

Type system for the svod compiler: scalar types, vectors, pointers, and images.

## Example

```rust
use svod_dtype::{DType, AddrSpace};

let f32_type = DType::float32();
let vec4 = f32_type.vec(4);
let ptr = f32_type.ptr(AddrSpace::Global);
```

## Features

**Supported:**

- Scalar types: Bool, Int8-64, UInt8-64, Float16/32/64, BFloat16, Index
- Vector types with configurable width
- Pointer types with address spaces (Global, Local, Register)
- Image types for texture-based computation

**Planned:**

- FP8 variants (e4m3, e5m2)
- Type promotion lattice

## Testing

```bash
cargo test -p svod-dtype
```