types.uir 1.22 KB
Newer Older
1 2 3 4 5 6
.typedef @i1  = int<1>
.typedef @i8  = int<8>
.typedef @i16 = int<16>
.typedef @i32 = int<32>
.typedef @i64 = int<64>

Kunshan Wang's avatar
Kunshan Wang committed
7 8
.typedef @float  = float
.typedef @double = double
9

Kunshan Wang's avatar
Kunshan Wang committed
10 11 12
.typedef @rv  = ref<@void>
.typedef @irv = iref<@void>
.typedef @wrv = weakref<@void>
13

Kunshan Wang's avatar
Kunshan Wang committed
14
.typedef @ri16 = ref<@i16>
15

Kunshan Wang's avatar
Kunshan Wang committed
16
.typedef @s1 = struct<@i8 @i16 @i32 @i64 @float @double @rv @irv @wrv @ri16>
17

Kunshan Wang's avatar
Kunshan Wang committed
18 19
.typedef @Cons = struct<@i64 @RefCons>
.typedef @RefCons = ref<@Cons>
20

Kunshan Wang's avatar
Kunshan Wang committed
21 22 23 24
.typedef @foo = struct<@double @i64>

.typedef @a0 = array<@i8 100>
.typedef @a1 = array<@foo 10>
25 26
.typedef @a2 = array<@a1 10>

Kunshan Wang's avatar
Kunshan Wang committed
27
.typedef @h0 = hybrid <@i8>
Kunshan Wang's avatar
Kunshan Wang committed
28
.typedef @h1 = hybrid <@foo @i64>
Kunshan Wang's avatar
Kunshan Wang committed
29
.typedef @h2 = hybrid <@i8 @i16 @float @i64>
Kunshan Wang's avatar
Kunshan Wang committed
30 31

.typedef @void = void
32

Kunshan Wang's avatar
Kunshan Wang committed
33
.funcsig @sig0 = () -> ()
34

Kunshan Wang's avatar
Kunshan Wang committed
35 36
.typedef @ii8 = iref<@i8>
.typedef @iii8 = iref<@ii8>
Kunshan Wang's avatar
Kunshan Wang committed
37 38
.funcsig @sig1 = (@i32 @iii8) -> (@i32)
.funcsig @sig2 = (@i32 @iii8) -> (@i32 @i64)
Kunshan Wang's avatar
Kunshan Wang committed
39

Kunshan Wang's avatar
Kunshan Wang committed
40 41
.typedef @f0 = funcref <@sig0>
.typedef @f1 = funcref <@sig1>
42

Kunshan Wang's avatar
Kunshan Wang committed
43 44
.typedef @th = threadref
.typedef @st = stackref
45
.typedef @tr64 = tagref64
Kunshan Wang's avatar
Kunshan Wang committed
46 47

.typedef @4xfloat  = vector <@float 4>
Kunshan Wang's avatar
Kunshan Wang committed
48
.typedef @4xi32    = vector <@i32 4>
Kunshan Wang's avatar
Kunshan Wang committed
49
.typedef @2xdouble = vector <@double 2>
50

Kunshan Wang's avatar
Kunshan Wang committed
51 52 53 54
.typedef @i32_p = uptr<@i32>
.typedef @i64_p = uptr<@i64>
.typedef @sig0_fp = ufuncptr<@sig0>
.typedef @sig1_fp = ufuncptr<@sig1>