Lines Matching refs:null
5 (ref.test anyref (ref.null any))
6 (ref.test anyref (ref.null none))
8 (ref.test externref (ref.null extern))
10 (ref.test externref (ref.null noextern))
12 (ref.test funcref (ref.null func))
14 (ref.test funcref (ref.null nofunc))
38 (ref.test (ref any) (ref.null any))
39 (ref.test (ref any) (ref.null none))
41 (ref.test (ref extern) (ref.null extern))
43 (ref.test (ref extern) (ref.null noextern))
45 (ref.test (ref func) (ref.null func))
47 (ref.test (ref func) (ref.null nofunc))
70 (func (export "null-to-nullable-i31") (result i32)
71 (ref.test i31ref (ref.null none))
72 (ref.test i31ref (ref.null i31))
74 (ref.test i31ref (ref.null struct))
76 (ref.test i31ref (ref.null array))
78 (ref.test i31ref (ref.null eq))
80 (ref.test i31ref (ref.null any))
85 (assert_return (invoke "null-to-nullable-i31") (i32.const 1))
88 (func (export "truthy-non-null-to-nullable-i31") (result i32)
93 (assert_return (invoke "truthy-non-null-to-nullable-i31") (i32.const 1))
98 (func (export "falsey-non-null-to-nullable-i31") (result i32)
105 (assert_return (invoke "falsey-non-null-to-nullable-i31") (i32.const 0))
108 (func (export "null-to-non-nullable-i31") (result i32)
109 (ref.test (ref i31) (ref.null none))
110 (ref.test (ref i31) (ref.null i31))
112 (ref.test (ref i31) (ref.null struct))
114 (ref.test (ref i31) (ref.null array))
116 (ref.test (ref i31) (ref.null eq))
118 (ref.test (ref i31) (ref.null any))
123 (assert_return (invoke "null-to-non-nullable-i31") (i32.const 0))
128 (func (export "falsey-non-null-to-non-nullable-i31") (result i32)
135 (assert_return (invoke "falsey-non-null-to-non-nullable-i31") (i32.const 0))
138 (func (export "truthy-non-null-to-non-nullable-i31") (result i32)
143 (assert_return (invoke "truthy-non-null-to-non-nullable-i31") (i32.const 1))
146 (func (export "null-to-nullable-middle-types") (result i32)
147 (ref.test structref (ref.null any))
148 (ref.test structref (ref.null eq))
150 (ref.test structref (ref.null i31))
152 (ref.test structref (ref.null struct))
154 (ref.test structref (ref.null array))
156 (ref.test structref (ref.null none))
158 (ref.test arrayref (ref.null any))
160 (ref.test arrayref (ref.null eq))
162 (ref.test arrayref (ref.null i31))
164 (ref.test arrayref (ref.null array))
166 (ref.test arrayref (ref.null array))
168 (ref.test arrayref (ref.null none))
173 (assert_return (invoke "null-to-nullable-middle-types") (i32.const 1))
178 (func (export "truthy-non-null-to-nullable-middle-types") (result i32)
191 (assert_return (invoke "truthy-non-null-to-nullable-middle-types") (i32.const 1))
196 (func (export "falsey-non-null-to-nullable-middle-types") (result i32)
207 (assert_return (invoke "falsey-non-null-to-nullable-middle-types") (i32.const 0))
212 (type $a0 (sub (array (ref null $s0))))
213 (type $a1 (sub $a0 (array (ref null $s1))))
216 (func (export "null-to-nullable-concrete-types") (result i32)
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))
222 (ref.test (ref null $s0) (ref.null struct))
224 (ref.test (ref null $s0) (ref.null array))
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))
234 (ref.test (ref null $s0) (ref.null none))
236 (ref.test (ref null $s1) (ref.null any))
238 (ref.test (ref null $s1) (ref.null eq))
240 (ref.test (ref null $s1) (ref.null i31))
242 (ref.test (ref null $s1) (ref.null struct))
244 (ref.test (ref null $s1) (ref.null array))
246 (ref.test (ref null $s1) (ref.null $s0))
248 (ref.test (ref null $s1) (ref.null $s1))
250 (ref.test (ref null $s1) (ref.null $a0))
252 (ref.test (ref null $s1) (ref.null $a1))
254 (ref.test (ref null $s1) (ref.null none))
256 (ref.test (ref null $a0) (ref.null any))
258 (ref.test (ref null $a0) (ref.null eq))
260 (ref.test (ref null $a0) (ref.null i31))
262 (ref.test (ref null $a0) (ref.null struct))
264 (ref.test (ref null $a0) (ref.null array))
266 (ref.test (ref null $a0) (ref.null $s0))
268 (ref.test (ref null $a0) (ref.null $s1))
270 (ref.test (ref null $a0) (ref.null $a0))
272 (ref.test (ref null $a0) (ref.null $a1))
274 (ref.test (ref null $a0) (ref.null none))
276 (ref.test (ref null $a1) (ref.null any))
278 (ref.test (ref null $a1) (ref.null eq))
280 (ref.test (ref null $a1) (ref.null i31))
282 (ref.test (ref null $a1) (ref.null struct))
284 (ref.test (ref null $a1) (ref.null array))
286 (ref.test (ref null $a1) (ref.null $s0))
288 (ref.test (ref null $a1) (ref.null $s1))
290 (ref.test (ref null $a1) (ref.null $a0))
292 (ref.test (ref null $a1) (ref.null $a1))
294 (ref.test (ref null $a1) (ref.null none))
296 (ref.test (ref null $f0) (ref.null func))
298 (ref.test (ref null $f0) (ref.null $f0))
300 (ref.test (ref null $f0) (ref.null $f1))
302 (ref.test (ref null $f0) (ref.null nofunc))
304 (ref.test (ref null $f1) (ref.null func))
306 (ref.test (ref null $f1) (ref.null $f0))
308 (ref.test (ref null $f1) (ref.null $f1))
310 (ref.test (ref null $f1) (ref.null nofunc))
315 (assert_return (invoke "null-to-nullable-concrete-types") (i32.const 1))
320 (type $a0 (sub (array (ref null $s0))))
321 (type $a1 (sub $a0 (array (ref null $s1))))
328 (func (export "truthy-non-null-to-nullable-concrete-types") (result i32)
329 (ref.test (ref null $s0) (struct.new_default $s0))
330 (ref.test (ref null $s0) (struct.new_default $s1))
332 (ref.test (ref null $s1) (struct.new_default $s1))
334 (ref.test (ref null $a0) (array.new_default $a0 (i32.const 3)))
336 (ref.test (ref null $a0) (array.new_default $a1 (i32.const 3)))
338 (ref.test (ref null $a1) (array.new_default $a1 (i32.const 3)))
340 (ref.test (ref null $f0) (ref.func $g0))
342 (ref.test (ref null $f0) (ref.func $g1))
344 (ref.test (ref null $f1) (ref.func $g1))
349 (assert_return (invoke "truthy-non-null-to-nullable-concrete-types") (i32.const 1))
354 (type $a0 (sub (array (ref null $s0))))
355 (type $a1 (sub $a0 (array (ref null $s1))))
362 (func (export "falsey-non-null-to-nullable-concrete-types") (result i32)
363 (ref.test (ref null $s1) (struct.new_default $s0))
364 (ref.test (ref null $a1) (array.new_default $a0 (i32.const 3)))
366 (ref.test (ref null $f1) (ref.func $g0))
371 (assert_return (invoke "falsey-non-null-to-nullable-concrete-types") (i32.const 0))
376 (type $a0 (sub (array (ref null $s0))))
377 (type $a1 (sub $a0 (array (ref null $s1))))
384 (func (export "null-to-non-nullable-concrete-types") (result i32)
385 (ref.test (ref $s0) (ref.null any))
386 (ref.test (ref $s0) (ref.null eq))
388 (ref.test (ref $s0) (ref.null i31))
390 (ref.test (ref $s0) (ref.null struct))
392 (ref.test (ref $s0) (ref.null array))
394 (ref.test (ref $s0) (ref.null $s0))
396 (ref.test (ref $s0) (ref.null $s1))
398 (ref.test (ref $s0) (ref.null $a0))
400 (ref.test (ref $s0) (ref.null $a1))
402 (ref.test (ref $s0) (ref.null none))
404 (ref.test (ref $s1) (ref.null any))
406 (ref.test (ref $s1) (ref.null eq))
408 (ref.test (ref $s1) (ref.null i31))
410 (ref.test (ref $s1) (ref.null struct))
412 (ref.test (ref $s1) (ref.null array))
414 (ref.test (ref $s1) (ref.null $s0))
416 (ref.test (ref $s1) (ref.null $s1))
418 (ref.test (ref $s1) (ref.null $a0))
420 (ref.test (ref $s1) (ref.null $a1))
422 (ref.test (ref $s1) (ref.null none))
424 (ref.test (ref $a0) (ref.null any))
426 (ref.test (ref $a0) (ref.null eq))
428 (ref.test (ref $a0) (ref.null i31))
430 (ref.test (ref $a0) (ref.null struct))
432 (ref.test (ref $a0) (ref.null array))
434 (ref.test (ref $a0) (ref.null $s0))
436 (ref.test (ref $a0) (ref.null $s1))
438 (ref.test (ref $a0) (ref.null $a0))
440 (ref.test (ref $a0) (ref.null $a1))
442 (ref.test (ref $a0) (ref.null none))
444 (ref.test (ref $a1) (ref.null any))
446 (ref.test (ref $a1) (ref.null eq))
448 (ref.test (ref $a1) (ref.null i31))
450 (ref.test (ref $a1) (ref.null struct))
452 (ref.test (ref $a1) (ref.null array))
454 (ref.test (ref $a1) (ref.null $s0))
456 (ref.test (ref $a1) (ref.null $s1))
458 (ref.test (ref $a1) (ref.null $a0))
460 (ref.test (ref $a1) (ref.null $a1))
462 (ref.test (ref $a1) (ref.null none))
464 (ref.test (ref $f0) (ref.null nofunc))
466 (ref.test (ref $f1) (ref.null nofunc))
471 (assert_return (invoke "null-to-non-nullable-concrete-types") (i32.const 0))
476 (type $a0 (sub (array (ref null $s0))))
477 (type $a1 (sub $a0 (array (ref null $s1))))
484 (func (export "truthy-non-null-to-non-nullable-concrete-types") (result i32)
505 (assert_return (invoke "truthy-non-null-to-non-nullable-concrete-types") (i32.const 1))
510 (type $a0 (sub (array (ref null $s0))))
511 (type $a1 (sub $a0 (array (ref null $s1))))
518 (func (export "falsey-non-null-to-non-nullable-concrete-types") (result i32)
527 (assert_return (invoke "falsey-non-null-to-non-nullable-concrete-types") (i32.const 0))
530 (func (export "null-to-nullable-bottom-type") (result i32)
531 (ref.test nullref (ref.null any))
532 (ref.test nullref (ref.null eq))
534 (ref.test nullref (ref.null i31))
536 (ref.test nullref (ref.null struct))
538 (ref.test nullref (ref.null array))
540 (ref.test nullref (ref.null none))
542 (ref.test nullexternref (ref.null extern))
544 (ref.test nullexternref (ref.null noextern))
546 (ref.test nullfuncref (ref.null func))
548 (ref.test nullfuncref (ref.null nofunc))
553 (assert_return (invoke "null-to-nullable-bottom-type") (i32.const 1))
557 (func $f (export "non-null-to-nullable-bottom-type") (param externref) (result i32)
566 (assert_return (invoke "non-null-to-nullable-bottom-type" (ref.extern 1)) (i32.const 0))
569 (func (export "null-to-non-nullable-bottom-type") (result i32)
570 (ref.test (ref none) (ref.null any))
571 (ref.test (ref none) (ref.null eq))
573 (ref.test (ref none) (ref.null i31))
575 (ref.test (ref none) (ref.null struct))
577 (ref.test (ref none) (ref.null array))
579 (ref.test (ref none) (ref.null none))
581 (ref.test (ref noextern) (ref.null extern))
583 (ref.test (ref noextern) (ref.null noextern))
585 (ref.test (ref nofunc) (ref.null func))
587 (ref.test (ref nofunc) (ref.null nofunc))
592 (assert_return (invoke "null-to-non-nullable-bottom-type") (i32.const 0))
596 (func $f (export "non-null-to-non-nullable-bottom-type") (param externref) (result i32)
605 (assert_return (invoke "non-null-to-non-nullable-bottom-type" (ref.extern 1)) (i32.const 0))