| /wasmtime-44.0.1/tests/misc_testsuite/gc/ |
| H A D | ref-test.wast | 217 (ref.test (ref null $s0) (ref.null any))
218 (ref.test (ref null $s0) (ref.null eq))
220 (ref.test (ref null $s0) (ref.null i31))
226 (ref.test (ref null $s0) (ref.null $s0))
228 (ref.test (ref null $s0) (ref.null $s1))
230 (ref.test (ref null $s0) (ref.null $a0))
232 (ref.test (ref null $s0) (ref.null $a1))
236 (ref.test (ref null $s1) (ref.null any))
238 (ref.test (ref null $s1) (ref.null eq))
258 (ref.test (ref null $a0) (ref.null eq))
[all …]
|
| H A D | struct-instructions.wast | 8 (global $g (mut (ref null $ty)) (ref.null $ty))
65 (func $set-i8 (param (ref null $ty) i32)
79 (func (export "set-anyref-non-null")
113 (func (export "struct.get-null") (param (ref null $t))
117 (func (export "struct.get_s-null") (param (ref null $t))
121 (func (export "struct.get_u-null") (param (ref null $t))
125 (func (export "struct.set-null") (param (ref null $t))
130 (assert_trap (invoke "struct.get-null" (ref.null none)) "null structure reference")
131 (assert_trap (invoke "struct.get_s-null" (ref.null none)) "null structure reference")
132 (assert_trap (invoke "struct.get_u-null" (ref.null none)) "null structure reference")
[all …]
|
| H A D | null-i31ref.wast | 4 (func (export "get_u-null") (result i32)
5 (i31.get_u (ref.null i31))
7 (func (export "get_s-null") (result i32)
8 (i31.get_u (ref.null i31))
12 (assert_trap (invoke "get_u-null") "null i31 reference")
13 (assert_trap (invoke "get_s-null") "null i31 reference")
|
| 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))))))
14 ref.null $type_b
19 ref.null $type_a
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))))))
|
| H A D | issue-10171.wast | 10 ref.null i31
16 ref.cast (ref null $tree)
18 ref.test (ref null $s)
|
| H A D | issue-10353.wast | 4 (table $t 10 (ref null none))
5 (func (export "f") (result (ref null none))
|
| H A D | arrays-of-different-types.wast | 41 (drop (array.new $j (ref.null nofunc) (i32.const 3)))
42 (drop (array.new $k (ref.null extern) (i32.const 3)))
43 (drop (array.new $l (ref.null noextern) (i32.const 3)))
51 (drop (array.new $t (ref.null none) (i32.const 3)))
|
| H A D | issue-11753.wast | 9 (func $observe (param (ref null $s)) (result (ref null $s))
|
| /wasmtime-44.0.1/tests/misc_testsuite/winch/ |
| H A D | ref-types-basic.wast | 13 ;; ref.null func / ref.is_null
14 (func (export "null-is-null") (result i32)
15 (ref.is_null (ref.null func))
19 (func (export "func-is-not-null") (result i32)
30 (func (export "call-indirect-null") (result i32)
46 (func (export "table-set-null") (param $i i32)
47 (table.set $t (local.get $i) (ref.null func))
61 (table.grow $t (ref.null func) (local.get $n))
68 ;; ref.null / ref.is_null
69 (assert_return (invoke "null-is-null") (i32.const 1))
[all …]
|
| H A D | table_fill.wast | 28 (assert_return (invoke "get" (i32.const 1)) (ref.null func))
29 (assert_return (invoke "get" (i32.const 2)) (ref.null func))
30 (assert_return (invoke "get" (i32.const 3)) (ref.null func))
31 (assert_return (invoke "get" (i32.const 4)) (ref.null func))
32 (assert_return (invoke "get" (i32.const 5)) (ref.null func))
35 (assert_return (invoke "get" (i32.const 1)) (ref.null func))
39 (assert_return (invoke "get" (i32.const 5)) (ref.null func))
45 (assert_return (invoke "get" (i32.const 6)) (ref.null func))
53 (assert_return (invoke "get" (i32.const 7)) (ref.null func))
93 (assert_trap (invoke "fill1" (i32.const 2) (ref.null func) (i32.const 0))
[all …]
|
| H A D | table_set.wast | 20 (assert_return (invoke "get-funcref" (i32.const 0)) (ref.null func))
22 (assert_return (invoke "set-funcref" (i32.const 0) (ref.null func)))
23 (assert_return (invoke "get-funcref" (i32.const 0)) (ref.null func))
25 (assert_trap (invoke "set-funcref" (i32.const 3) (ref.null func)) "out of bounds table access")
26 (assert_trap (invoke "set-funcref" (i32.const -1) (ref.null func)) "out of bounds table access")
|
| /wasmtime-44.0.1/crates/fuzzing/src/generators/ |
| H A D | value.rs | 17 FuncRef { null: bool },
18 ExternRef { null: bool },
19 AnyRef { null: bool },
20 ExnRef { null: bool },
21 ContRef { null: bool },
238 DiffValue::ExternRef { null } => null.hash(state), in hash()
239 DiffValue::FuncRef { null } => null.hash(state), in hash()
240 DiffValue::AnyRef { null } => null.hash(state), in hash()
241 DiffValue::ExnRef { null } => null.hash(state), in hash()
242 DiffValue::ContRef { null } => null.hash(state), in hash()
[all …]
|
| /wasmtime-44.0.1/tests/misc_testsuite/function-references/ |
| H A D | table_fill.wast | 15 (assert_return (invoke "get" (i32.const 1)) (ref.null extern))
16 (assert_return (invoke "get" (i32.const 2)) (ref.null extern))
17 (assert_return (invoke "get" (i32.const 3)) (ref.null extern))
18 (assert_return (invoke "get" (i32.const 4)) (ref.null extern))
19 (assert_return (invoke "get" (i32.const 5)) (ref.null extern))
22 (assert_return (invoke "get" (i32.const 1)) (ref.null extern))
26 (assert_return (invoke "get" (i32.const 5)) (ref.null extern))
32 (assert_return (invoke "get" (i32.const 6)) (ref.null extern))
85 (table.fill $t (ref.null extern) (i32.const 1))
103 (table.fill $t (i32.const 1) (ref.null extern))
[all …]
|
| H A D | table_set.wast | 7 (table $t4 1 (ref null $res-i32))
17 (func $f4 (export "get-typed-func") (param $i i32) (result (ref null $res-i32))
46 (assert_return (invoke "get-externref" (i32.const 0)) (ref.null extern))
49 (assert_return (invoke "set-externref" (i32.const 0) (ref.null extern)))
50 (assert_return (invoke "get-externref" (i32.const 0)) (ref.null extern))
52 (assert_return (invoke "get-funcref" (i32.const 0)) (ref.null func))
55 (assert_return (invoke "set-funcref" (i32.const 0) (ref.null func)))
56 (assert_return (invoke "get-funcref" (i32.const 0)) (ref.null func))
90 (table.set $t (ref.null extern))
108 (table.set $t (f32.const 1) (ref.null extern))
[all …]
|
| H A D | table_grow.wast | 56 (table.grow $t (ref.null extern) (local.get 0))
68 (table $t 0 (ref null $afunc))
70 (table.grow $t (ref.null $afunc) (local.get 0))
83 (table.grow $t (ref.null extern) (local.get 0))
100 (table.grow $t (ref.null func) (local.get 0))
119 (assert_return (invoke "check-table-null" (i32.const 0) (i32.const 9)) (ref.null func))
121 (assert_return (invoke "check-table-null" (i32.const 0) (i32.const 19)) (ref.null func))
139 (table.grow $t (ref.null extern))
157 (table.grow $t (ref.null extern) (f32.const 1))
174 (table $t 0 (ref null $afunc))
[all …]
|
| /wasmtime-44.0.1/crates/fuzzing/src/oracles/ |
| H A D | diff_wasmtime.rs | 215 DiffValue::FuncRef { null } => { in from()
216 assert!(null); in from()
219 DiffValue::ExternRef { null } => { in from()
220 assert!(null); in from()
223 DiffValue::AnyRef { null } => { in from()
224 assert!(null); in from()
227 DiffValue::ExnRef { null } => { in from()
228 assert!(null); in from()
231 DiffValue::ContRef { null } => { in from()
232 assert!(null); in from()
[all …]
|
| H A D | diff_wasmi.rs | 177 DiffValue::FuncRef { null } => { in from()
178 assert!(null); in from()
181 DiffValue::ExternRef { null } => { in from()
182 assert!(null); in from()
201 WasmiValue::FuncRef(f) => DiffValue::FuncRef { null: f.is_null() }, in from()
202 WasmiValue::ExternRef(e) => DiffValue::ExternRef { null: e.is_null() }, in from()
|
| /wasmtime-44.0.1/crates/c-api/tests/ |
| H A D | table.cc | 13 Val null = std::optional<Func>(); in TEST() local
14 Table t = Table::create(store, TableType(ValKind::FuncRef, 1), null).unwrap(); in TEST()
20 EXPECT_EQ(t.grow(store, 4, null).unwrap(), 1); in TEST()
21 t.set(store, 3, null).unwrap(); in TEST()
|
| /wasmtime-44.0.1/tests/all/cli_tests/ |
| H A D | issue-10353.wat | 2 (table $t 10 (ref null none))
3 (func (export "f") (result (ref null none))
|
| /wasmtime-44.0.1/tests/misc_testsuite/ |
| H A D | externref-segment.wast | 5 (elem (i32.const 0) externref (ref.null extern))
6 (elem (i32.const 1) externref (ref.null extern))
|
| H A D | externref-id-function.wast | 7 (assert_return (invoke "identity" (ref.null extern))
8 (ref.null extern))
|
| H A D | no-mixup-stack-maps.wast | 4 (global $g (mut externref) (ref.null extern))
16 ref.null extern
27 ref.null extern
|
| H A D | simple_ref_is_null.wast | 15 (assert_return (invoke "func_is_null" (ref.null func)) (i32.const 1))
18 (assert_return (invoke "extern_is_null" (ref.null extern)) (i32.const 1))
|
| /wasmtime-44.0.1/crates/wasmtime/src/runtime/vm/gc/ |
| H A D | enabled.rs | 23 mod null; module
25 pub use null::*;
|
| /wasmtime-44.0.1/tests/disas/winch/x64/ref/ |
| H A D | null.wat | 5 (func (export "ref-null") (result funcref)
6 (ref.null func)
|