xref: /wasmtime-44.0.1/tests/disas/nullref.wat (revision 7e0331c2)
1;;! target = "x86_64"
2
3(module
4	(func (result externref)
5		(ref.null extern)
6	)
7
8	(func (result externref)
9		(block (result externref)
10			(ref.null extern)
11		)
12	)
13)
14
15;; function u0:0(i64 vmctx, i64) -> i32 tail {
16;;     gv0 = vmctx
17;;     gv1 = load.i64 notrap aligned readonly gv0+8
18;;     gv2 = load.i64 notrap aligned gv1+24
19;;     stack_limit = gv2
20;;
21;;                                 block0(v0: i64, v1: i64):
22;; @0019                               v3 = iconst.i32 0
23;; @001b                               jump block1
24;;
25;;                                 block1:
26;; @001b                               return v3  ; v3 = 0
27;; }
28;;
29;; function u0:1(i64 vmctx, i64) -> i32 tail {
30;;     gv0 = vmctx
31;;     gv1 = load.i64 notrap aligned readonly gv0+8
32;;     gv2 = load.i64 notrap aligned gv1+24
33;;     stack_limit = gv2
34;;
35;;                                 block0(v0: i64, v1: i64):
36;; @0020                               v4 = iconst.i32 0
37;; @0022                               jump block2
38;;
39;;                                 block2:
40;; @0023                               jump block1
41;;
42;;                                 block1:
43;; @0023                               return v4  ; v4 = 0
44;; }
45