1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
|
# RUN: llvm-mc -show-encoding -triple=wasm32-unknown-unknown -mattr=+reference-types < %s | FileCheck %s
# RUN: llvm-mc -show-encoding -triple=wasm64-unknown-unknown -mattr=+reference-types < %s | FileCheck %s
# CHECK-LABEL:ref_is_null:
# CHECK: ref.is_null # encoding: [0xd1]
ref_is_null:
.functype ref_is_null () -> (i32, i32, i32)
ref.null_extern
ref.is_null
ref.null_func
ref.is_null
ref.null_exn
ref.is_null
end_function
# CHECK-LABEL: ref_null_test:
# CHECK: ref.null_func # encoding: [0xd0,0x70]
# CHECK: ref.null_extern # encoding: [0xd0,0x6f]
# CHECK: ref.null_exn # encoding: [0xd0,0x69]
ref_null_test:
.functype ref_null_test () -> ()
ref.null_func
drop
ref.null_extern
drop
ref.null_exn
drop
end_function
# CHECK-LABEL: ref_test_test:
# CHECK: ref.null_func # encoding: [0xd0,0x70]
# CHECK: ref.test () -> () # encoding: [0xfb,0x14,0x80'A',0x80'A',0x80'A',0x80'A',A]
# CHECK: # fixup A - offset: 2, value: .Ltypeindex0@TYPEINDEX, kind: fixup_uleb128_i32
# CHECK: ref.null_func # encoding: [0xd0,0x70]
# CHECK: ref.test () -> (i32) # encoding: [0xfb,0x14,0x80'A',0x80'A',0x80'A',0x80'A',A]
# CHECK: # fixup A - offset: 2, value: .Ltypeindex1@TYPEINDEX, kind: fixup_uleb128_i32
ref_test_test:
.functype ref_test_test () -> (i32, i32)
ref.null_func
ref.test () -> ()
ref.null_func
ref.test () -> (i32)
end_function
# CHECK-LABEL: ref_sig_test_funcref:
# CHECK-NEXT: .functype ref_sig_test_funcref (funcref) -> (funcref)
ref_sig_test_funcref:
.functype ref_sig_test_funcref (funcref) -> (funcref)
local.get 0
end_function
# CHECK-LABEL: ref_sig_test_externref:
# CHECK-NEXT: .functype ref_sig_test_externref (externref) -> (externref)
ref_sig_test_externref:
.functype ref_sig_test_externref (externref) -> (externref)
local.get 0
end_function
# CHECK-LABEL: ref_sig_test_exnref:
# CHECK-NEXT: .functype ref_sig_test_exnref (exnref) -> (exnref)
ref_sig_test_exnref:
.functype ref_sig_test_exnref (exnref) -> (exnref)
local.get 0
end_function
# CHECK-LABEL: ref_select_test:
# CHECK: funcref.select # encoding: [0x1b]
# CHECK: externref.select # encoding: [0x1b]
# CHECK: exnref.select # encoding: [0x1b]
ref_select_test:
.functype ref_select_test () -> ()
ref.null_func
ref.null_func
i32.const 0
funcref.select
drop
ref.null_extern
ref.null_extern
i32.const 0
externref.select
drop
ref.null_exn
ref.null_exn
i32.const 0
exnref.select
drop
end_function
# CHECK-LABEL: ref_block_test:
# CHECK: block funcref
# CHECK: block externref
# CHECK: block exnref
ref_block_test:
.functype ref_block_test () -> ()
block funcref
block externref
block exnref
ref.null_exn
end_block
drop
ref.null_extern
end_block
drop
ref.null_func
end_block
drop
end_function
|
