| /wasmtime-44.0.1/tests/misc_testsuite/component-model/ |
| H A D | types.wast | 2 (type string)
26 (type (func
41 (type bool)
42 (type u8)
43 (type s8)
44 (type u16)
45 (type s16)
46 (type u32)
47 (type s32)
48 (type u64)
[all …]
|
| H A D | fixed_length_lists.wast | 22 (type (;0;) (list u32 2))
23 (type (;1;) (list 0 2))
24 (type (;2;) (list s32 2))
25 (type (;3;) (list 2 2))
26 (type (;4;) (tuple 1 3))
377 (type (;0;) (list u32 2))
378 (type (;1;) (list 0 2))
379 (type (;2;) (list s32 2))
380 (type (;3;) (list 2 2))
381 (type (;4;) (tuple 1 3))
[all …]
|
| H A D | instance.wast | 72 (type string)
73 (export "a" (type 0))
185 (export "x" (type $x (eq $x')))
272 (type $r1 (resource (rep i32)))
273 (export "r" (type $r1))
276 (type $r1 (resource (rep i32)))
277 (export "r" (type $r1))
289 (alias export $i1 "r" (type $r))
296 (alias export $i1 "r" (type $r))
303 (alias export $i1 "r" (type $r))
[all …]
|
| /wasmtime-44.0.1/tests/misc_testsuite/ |
| H A D | call_indirect.wast | 5 (type $proc (func))
6 (type $out-i32 (func (result i32)))
7 (type $out-i64 (func (result i64)))
8 (type $out-f32 (func (result f32)))
9 (type $out-f64 (func (result f64)))
55 (func (export "type-i32") (result i32)
104 (type $out-i32 (func (result i32)))
105 (type $out-i64 (func (result i64)))
106 (type $out-f32 (func (result f32)))
107 (type $out-f64 (func (result f64)))
[all …]
|
| H A D | issue694.wast | 2 (type (;0;) (func))
3 (type (;1;) (func (param i64)))
4 (func (;0;) (type 0))
5 (func (;1;) (type 0))
6 (func (;2;) (type 0))
7 (func (;3;) (type 0))
8 (func (;4;) (type 1) (param i64)
|
| H A D | linking-errors.wast | 18 "incompatible import type for `m::g i32`")
23 "expected global of type `i64`, found global of type `i32`")
40 "expected table of type `funcref`, found table of type `externref`")
50 "expected type `(func (param i32))`, found type `(func)`")
54 …"expected type `(func (param i32 i32) (result f64))`, found type `(func (param f32) (result i32 i6…
|
| /wasmtime-44.0.1/tests/misc_testsuite/gc/ |
| H A D | array-types.wast | 4 (type (array i8))
5 (type (array i16))
6 (type (array i32))
7 (type (array i64))
8 (type (array f32))
9 (type (array f64))
10 (type (array anyref))
12 (type (array (ref 0)))
14 (type (array (mut i8)))
15 (type (array (mut i16)))
[all …]
|
| H A D | arrays-of-different-types.wast | 6 (type $func_ty (func))
7 (type $struct_ty (struct))
9 (type $a (array i8))
10 (type $b (array i16))
11 (type $c (array i32))
12 (type $d (array i64))
13 (type $e (array f32))
14 (type $f (array f64))
15 (type $g (array v128))
16 (type $h (array funcref))
[all …]
|
| H A D | struct-types.wast | 4 (type (struct))
5 (type (struct (field)))
6 (type (struct (field i8)))
7 (type (struct (field i8 i8 i8 i8)))
8 (type (struct (field $x1 i32) (field $y1 i32)))
9 (type (struct (field i8 i16 i32 i64 f32 f64 anyref funcref (ref 0) (ref null 1))))
10 …(type (struct (field i32 i64 i8) (field) (field) (field (ref null i31) anyref structref arrayref)))
11 (type (struct (field $x2 i32) (field f32 f64) (field $y2 i32)))
|
| H A D | rec-group-funcs.wast | 9 (rec (type $type_a (sub final (func (result i32 (ref null $type_b)))))
10 (type $type_b (sub final (func (result i32 (ref null $type_a))))))
12 (func (export "func_a") (type $type_a)
17 (func (export "func_b") (type $type_b)
26 (rec (type $type_a (sub final (func (result i32 (ref null $type_b)))))
27 (type $type_b (sub final (func (result i32 (ref null $type_a))))))
29 (import "m1" "func_a" (func $func_a (type $type_a)))
30 (import "m1" "func_b" (func $func_b (type $type_b)))
|
| H A D | ref-test.wast | 22 (type $s (struct))
55 (type $s (struct))
96 (type $s (struct))
97 (type $a (array i32))
126 (type $s (struct))
127 (type $a (array i32))
176 (type $s (struct))
177 (type $a (array i32))
194 (type $s (struct))
556 (type $s (struct))
[all …]
|
| /wasmtime-44.0.1/crates/component-macro/tests/codegen/ |
| H A D | dead-code.wit | 4 import interface-with-live-type;
5 import interface-with-dead-type;
8 interface interface-with-live-type {
9 record live-type {
12 f: func() -> live-type;
16 interface interface-with-dead-type {
17 use interface-with-live-type.{live-type};
19 record dead-type {
24 a(live-type),
25 b(dead-type),
|
| /wasmtime-44.0.1/cranelift/filetests/filetests/verifier/ |
| H A D | type_check.clif | 102 ; error: arg v1 has type i16, expected i64
115 v2 = uextend.i16 v1 ; error: arg 0 (v1) with type i32 failed to satisfy type set
116 v3 = uextend.i32 v1 ; error: arg 0 (v1) with type i32 failed to satisfy type set
117 v4 = uextend.i128 v0 ; error: arg 0 (v0) with type i128 failed to satisfy type set
124 v1 = ireduce.i32 v0 ; error: arg 0 (v0) with type i32 failed to satisfy type set
125 v2 = ireduce.i64 v0 ; error: arg 0 (v0) with type i32 failed to satisfy type set
127 v5 = ireduce.i64 v4 ; error: arg 0 (v4) with type i8 failed to satisfy type set
134 v1 = fdemote.f64 v0 ; error: arg 0 (v0) with type f32 failed to satisfy type set
135 v2 = fdemote.f32 v0 ; error: arg 0 (v0) with type f32 failed to satisfy type set
142 v1 = fpromote.f32 v0 ; error: arg 0 (v0) with type f64 failed to satisfy type set
[all …]
|
| /wasmtime-44.0.1/tests/misc_testsuite/component-model/async/ |
| H A D | futures.wast | 9 (type $future-type (future u8))
10 (core func $future-new (canon future.new $future-type))
21 (type $future-type (future u8))
36 (type $future-type (future string))
48 (type $future-type (future u8))
58 (type $future-type (future u8))
59 (core func $future-cancel-read (canon future.cancel-read $future-type))
68 (type $future-type (future u8))
69 (core func $future-cancel-write (canon future.cancel-write $future-type))
78 (type $future-type (future u8))
[all …]
|
| H A D | streams.wast | 8 (type $stream-type (stream u8))
20 (type $stream-type (stream u8))
30 (type $stream-type (stream))
45 (type $stream-type (stream string))
57 (type $stream-type (stream u8))
67 (type $stream-type (stream))
77 (type $stream-type (stream u8))
87 (type $stream-type (stream u8))
97 (type $stream-type (stream u8))
107 (type $stream-type (stream u8))
[all …]
|
| H A D | async-builtins.wast | 9 (type $stream-type (stream u8))
10 (core func $stream-cancel-read (canon stream.cancel-read $stream-type async))
19 (type $stream-type (stream u8))
20 (core func $stream-cancel-write (canon stream.cancel-write $stream-type async))
29 (type $future-type (future u8))
30 (core func $future-cancel-read (canon future.cancel-read $future-type async))
39 (type $future-type (future u8))
40 (core func $future-cancel-write (canon future.cancel-write $future-type async))
|
| /wasmtime-44.0.1/tests/misc_testsuite/function-references/ |
| H A D | call_indirect.wast | 12 (func (export "t1-wrong-type") (param i32)
17 (type $empty (func))
24 (func (export "t2-wrong-type") (param i32)
34 (func (export "t3-wrong-type") (param i32)
43 (assert_trap (invoke "t1-wrong-type" (i32.const 0)) "call type mismatch")
45 (assert_trap (invoke "t1-wrong-type" (i32.const 2)) "out of bounds")
49 (assert_trap (invoke "t2-wrong-type" (i32.const 0)) "call type mismatch")
51 (assert_trap (invoke "t2-wrong-type" (i32.const 2)) "out of bounds")
55 (assert_trap (invoke "t3-wrong-type" (i32.const 0)) "call type mismatch")
56 (assert_trap (invoke "t3-wrong-type" (i32.const 1)) "call type mismatch")
[all …]
|
| H A D | table_fill.wast | 79 "type mismatch"
88 "type mismatch"
97 "type mismatch"
106 "type mismatch"
115 "type mismatch"
124 "type mismatch"
128 (type $afunc (func))
134 "type mismatch"
143 "type mismatch"
154 "type mismatch"
[all …]
|
| H A D | table_grow.wast | 67 (type $afunc (func))
133 "type mismatch"
142 "type mismatch"
151 "type mismatch"
160 "type mismatch"
169 "type mismatch"
173 (type $afunc (func))
179 "type mismatch"
185 (func $type-result-i32-vs-empty
189 "type mismatch"
[all …]
|
| H A D | table_get.wast | 4 (type $res-i32 (func (result i32)))
56 (func $type-index-empty-vs-i32 (result externref)
60 "type mismatch"
65 (func $type-index-f32-vs-i32 (result externref)
69 "type mismatch"
75 (func $type-result-externref-vs-empty
79 "type mismatch"
84 (func $type-result-externref-vs-funcref (result funcref)
88 "type mismatch"
95 (func $type-result-externref-vs-funcref-multi (result funcref)
[all …]
|
| H A D | table_set.wast | 4 (type $res-i32 (func (result i32)))
84 "type mismatch"
89 (func $type-index-empty-vs-i32
93 "type mismatch"
98 (func $type-value-empty-vs-externref
102 "type mismatch"
107 (func $type-size-f32-vs-i32
111 "type mismatch"
120 "type mismatch"
131 "type mismatch"
[all …]
|
| /wasmtime-44.0.1/tests/misc_testsuite/threads/ |
| H A D | atomics_wait_address.wast | 7 (type (;0;) (func))
8 (func $main (type 0)
21 (type (;0;) (func))
22 (func $main (type 0)
35 (type (;0;) (func))
36 (func $wait32 (type 0)
42 (func $wait64 (type 0)
57 (type (;0;) (func))
81 (type (;0;) (func))
104 (type (;0;) (func))
[all …]
|
| /wasmtime-44.0.1/tests/misc_testsuite/winch/ |
| H A D | fuel_stack_alignment.wat | 2 (type (;0;) (func))
3 (type (;1;) (func (param f32)))
4 (func (;0;) (type 1) (param f32)
17 loop (type 0) ;; label = @2
28 loop (type 1) (param f32) ;; label = @3
40 loop (type 0) ;; label = @4
65 block (type 0) ;; label = @5
66 loop (type 0) ;; label = @6
87 block (type 0) ;; label = @8
88 loop (type 0) ;; label = @9
[all …]
|
| H A D | issue-424666628.wast | 5 (type (;1;) (func (result f64 i32 f32 f32)))
6 (type (;2;) (func (result f64 i32 f32 f32)))
7 (type (;3;) (func (result f64 i32 f32 f32)))
8 (type (;4;) (func (result f64 i32)))
9 (type (;5;) (func))
10 (type (;6;) (func (result f64 i32 f32 f32)))
11 (type (;7;) (func (result f64 i32 f32 f32)))
12 (type (;8;) (func (result f64 i32 f32 f32)))
18 (type (;14;) (func (result f64 i32)))
19 (type (;15;) (func))
[all …]
|
| /wasmtime-44.0.1/crates/c-api/tests/ |
| H A D | func.cc | 190 assert_func_type(f.type(store), {}, {}); in TEST()
192 assert_func_type(f.type(store), {}, {ValKind::I32}); in TEST()
194 assert_func_type(f.type(store), {}, {ValKind::I64}); in TEST()
196 assert_func_type(f.type(store), {}, {ValKind::F32}); in TEST()
198 assert_func_type(f.type(store), {}, {ValKind::F64}); in TEST()
211 assert_func_type(f.type(store), {}, {}); in TEST()
213 assert_func_type(f.type(store), {}, {ValKind::I32}); in TEST()
215 assert_func_type(f.type(store), {}, {ValKind::F32}); in TEST()
222 assert_func_type(f.type(store), {ValKind::I32}, {}); in TEST()
224 assert_func_type(f.type(store), {ValKind::I64}, {}); in TEST()
[all …]
|