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
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
# RUN: llvm-mc -triple=wasm32-unknown-unknown -filetype=obj %s -o - | llvm-readobj -r --expand-relocs - | FileCheck %s
# RUN: llvm-mc -triple=wasm32-unknown-unknown -mattr=+reference-types -filetype=obj %s -o - | llvm-readobj -r --expand-relocs - | FileCheck --check-prefix=REF %s
# External functions
.functype c () -> (i32)
.functype d () -> (i32)
.globl f1
.globl a
.globl b
f1:
.functype f1 () -> (i32)
# Call functions at `a` and `b` indirectly.
i32.const 0
i32.load a - 10
call_indirect () -> (i64)
drop
i32.const 0
i32.load b + 20
call_indirect () -> (i32)
drop
# Call functions `c` and `d` directly
call c
drop
call d
end_function
# Pointers to functions of two different types
.section .data.a,"",@
.p2align 3
a:
.int32 5
.size a, 4
.section .data.b,"",@
.p2align 3
b:
.int32 7
.size b, 4
# CHECK: Format: WASM
# CHECK: Relocations [
# CHECK-NEXT: Section (5) CODE {
# CHECK-NEXT: Relocation {
# CHECK-NEXT: Type: R_WASM_MEMORY_ADDR_LEB (3)
# CHECK-NEXT: Offset: 0x7
# CHECK-NEXT: Symbol: a
# CHECK-NEXT: Addend: -10
# CHECK-NEXT: }
# CHECK-NEXT: Relocation {
# CHECK-NEXT: Type: R_WASM_TYPE_INDEX_LEB (6)
# CHECK-NEXT: Offset: 0xD
# CHECK-NEXT: Index: 0x1
# CHECK-NEXT: }
# CHECK-NEXT: Relocation {
# CHECK-NEXT: Type: R_WASM_MEMORY_ADDR_LEB (3)
# CHECK-NEXT: Offset: 0x18
# CHECK-NEXT: Symbol: b
# CHECK-NEXT: Addend: 20
# CHECK-NEXT: }
# CHECK-NEXT: Relocation {
# CHECK-NEXT: Type: R_WASM_TYPE_INDEX_LEB (6)
# CHECK-NEXT: Offset: 0x1E
# CHECK-NEXT: Index: 0x0
# CHECK-NEXT: }
# CHECK-NEXT: Relocation {
# CHECK-NEXT: Type: R_WASM_FUNCTION_INDEX_LEB (0)
# CHECK-NEXT: Offset: 0x26
# CHECK-NEXT: Symbol: c
# CHECK-NEXT: }
# CHECK-NEXT: Relocation {
# CHECK-NEXT: Type: R_WASM_FUNCTION_INDEX_LEB (0)
# CHECK-NEXT: Offset: 0x2D
# CHECK-NEXT: Symbol: d
# CHECK-NEXT: }
# CHECK-NEXT: }
# CHECK-NEXT: ]
# REF: Format: WASM
# REF: Relocations [
# REF-NEXT: Section (5) CODE {
# REF-NEXT: Relocation {
# REF-NEXT: Type: R_WASM_MEMORY_ADDR_LEB (3)
# REF-NEXT: Offset: 0x7
# REF-NEXT: Symbol: a
# REF-NEXT: Addend: -10
# REF-NEXT: }
# REF-NEXT: Relocation {
# REF-NEXT: Type: R_WASM_TYPE_INDEX_LEB (6)
# REF-NEXT: Offset: 0xD
# REF-NEXT: Index: 0x1
# REF-NEXT: }
# REF-NEXT: Relocation {
# REF-NEXT: Type: R_WASM_TABLE_NUMBER_LEB (20)
# REF-NEXT: Offset: 0x12
# REF-NEXT: Symbol: __indirect_function_table
# REF-NEXT: }
# REF-NEXT: Relocation {
# REF-NEXT: Type: R_WASM_MEMORY_ADDR_LEB (3)
# REF-NEXT: Offset: 0x1C
# REF-NEXT: Symbol: b
# REF-NEXT: Addend: 20
# REF-NEXT: }
# REF-NEXT: Relocation {
# REF-NEXT: Type: R_WASM_TYPE_INDEX_LEB (6)
# REF-NEXT: Offset: 0x22
# REF-NEXT: Index: 0x0
# REF-NEXT: }
# REF-NEXT: Relocation {
# REF-NEXT: Type: R_WASM_TABLE_NUMBER_LEB (20)
# REF-NEXT: Offset: 0x27
# REF-NEXT: Symbol: __indirect_function_table
# REF-NEXT: }
# REF-NEXT: Relocation {
# REF-NEXT: Type: R_WASM_FUNCTION_INDEX_LEB (0)
# REF-NEXT: Offset: 0x2E
# REF-NEXT: Symbol: c
# REF-NEXT: }
# REF-NEXT: Relocation {
# REF-NEXT: Type: R_WASM_FUNCTION_INDEX_LEB (0)
# REF-NEXT: Offset: 0x35
# REF-NEXT: Symbol: d
# REF-NEXT: }
# REF-NEXT: }
# REF-NEXT: ]
|
