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
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
|
// RUN: llvm-mc -triple=aarch64 %s --defsym=ASMONLY=1 | FileCheck %s --check-prefix=ASM
// RUN: llvm-mc -triple=aarch64 -filetype=obj %s | \
// RUN: llvm-readelf -S -r -x .test - | FileCheck %s --check-prefix=RELOC
// RELOC: Relocation section '.rela.test' at offset {{.*}} contains 8 entries:
// RELOC-NEXT: Offset Info Type Symbol's Value Symbol's Name + Addend
// RELOC-NEXT: 0000000000000000 {{.*}} R_AARCH64_AUTH_ABS64 0000000000000000 .helper + 0
// RELOC-NEXT: 0000000000000010 {{.*}} R_AARCH64_AUTH_ABS64 0000000000000000 _g1 + 0
// RELOC-NEXT: 0000000000000020 {{.*}} R_AARCH64_AUTH_ABS64 0000000000000000 _g2 + 0
// RELOC-NEXT: 0000000000000030 {{.*}} R_AARCH64_AUTH_ABS64 0000000000000000 _g3 + 0
// RELOC-NEXT: 0000000000000040 {{.*}} R_AARCH64_AUTH_ABS64 0000000000000000 _g4 + 7
// RELOC-NEXT: 0000000000000050 {{.*}} R_AARCH64_AUTH_ABS64 0000000000000000 _g5 - 3
// RELOC-NEXT: 0000000000000060 {{.*}} R_AARCH64_AUTH_ABS64 0000000000000000 _g 6 + 0
// RELOC-NEXT: 0000000000000070 {{.*}} R_AARCH64_AUTH_ABS64 0000000000000000 _g 7 + 7
// RELOC: Hex dump of section '.test':
// VVVVVVVV addend, not needed for rela
// VV reserved
// RELOC-NEXT: 00 00000000 2a000000
// ^^^^ discriminator
// ^^ 0 no addr diversity 0 reserved 00 ia key 0000 reserved
// RELOC-NEXT: 10 00000000 00000010
// ^^^^ discriminator
// ^^ 0 no addr diversity 0 reserved 01 ib key 0000 reserved
// RELOC-NEXT: 20 00000000 050000a0
// ^^^^ discriminator
// ^^ 1 addr diversity 0 reserved 10 da key 0000 reserved
// RELOC-NEXT: 30 00000000 ffff00b0
// ^^^^ discriminator
// ^^ 1 addr diversity 0 reserved 11 db key 0000 reserved
// RELOC-NEXT: 40 00000000 00000000
// ^^^^ discriminator
// ^^ 0 no addr diversity 0 reserved 00 ia key 0000 reserved
// RELOC-NEXT: 50 00000000 00de0010
// ^^^^ discriminator
// ^^ 0 no addr diversity 0 reserved 01 ib key 0000 reserved
// RELOC-NEXT: 60 00000000 ff0000b0
// ^^^^ discriminator
// ^^ 1 addr diversity 0 reserved 11 db key 0000 reserved
// RELOC-NEXT: 70 00000000 10000000
// ^^^^ discriminator
// ^^ 0 no addr diversity 0 reserved 00 ia key 0000 reserved
// RELOC-NEXT: 80 04000000 00000000
// Folded to constant 4 bytes difference between _g9 and _g8
.section .helper
.local "_g 6"
.type _g0, @function
_g0:
ret
.type _g8, @function
_g8:
ret
.type _g9, @function
_g9:
ret
.section .test
.p2align 3
// ASM: .xword _g0@AUTH(ia,42)
.quad _g0@AUTH(ia,42)
.quad 0
// ASM: .xword _g1@AUTH(ib,0)
.quad _g1@AUTH(ib,0)
.quad 0
// ASM: .xword _g2@AUTH(da,5,addr)
.quad _g2@AUTH(da,5,addr)
.quad 0
// ASM: .xword _g3@AUTH(db,65535,addr)
.quad _g3@AUTH(db,0xffff,addr)
.quad 0
// ASM: .xword (_g4+7)@AUTH(ia,0)
.quad (_g4 + 7)@AUTH(ia,0)
.quad 0
// ASM: .xword (_g5-3)@AUTH(ib,56832)
.quad (_g5 - 3)@AUTH(ib,0xde00)
.quad 0
// ASM: .xword "_g 6"@AUTH(db,255,addr)
.quad "_g 6"@AUTH(db,0xff,addr)
.quad 0
// ASM: .xword ("_g 7"+7)@AUTH(ia,16)
.quad ("_g 7" + 7)@AUTH(ia,16)
.quad 0
// ASM: .xword (_g9@AUTH(ia,42))-(_g8@AUTH(ia,42))
.quad _g9@AUTH(ia,42) - _g8@AUTH(ia,42)
.quad 0
.ifdef ASMONLY
// ASM: .xword (_g10@AUTH(ia,42))+1
.quad _g10@AUTH(ia,42) + 1
// ASM: .xword 1+(_g11@AUTH(ia,42))
.quad 1 + _g11@AUTH(ia,42)
// ASM: .xword (1+(_g12@AUTH(ia,42)))+1
.quad 1 + _g12@AUTH(ia,42) + 1
// ASM: .xword (_g13@AUTH(ia,42))+(_g14@AUTH(ia,42))
.quad _g13@AUTH(ia,42) + _g14@AUTH(ia,42)
// ASM: .xword (_g9@AUTH(ia,42))-_g8
.quad _g9@AUTH(ia,42) - _g8
.quad 0
.endif // ASMONLY
.ifdef ERR
// RUN: not llvm-mc -triple=aarch64 --defsym=ERR=1 %s 2>&1 | \
// RUN: FileCheck %s --check-prefix=ERR
// ERR: :[[#@LINE+1]]:15: error: expected '('
.quad sym@AUTH)ia,42)
// ERR: :[[#@LINE+1]]:16: error: expected key name
.quad sym@AUTH(42,42)
// ERR: :[[#@LINE+1]]:16: error: invalid key 'ic'
.quad sym@AUTH(ic,42)
// ERR: :[[#@LINE+1]]:19: error: expected ','
.quad sym@AUTH(ia 42)
// ERR: :[[#@LINE+1]]:19: error: expected integer discriminator
.quad sym@AUTH(ia,xxx)
// ERR: :[[#@LINE+1]]:19: error: integer discriminator 65536 out of range [0, 0xFFFF]
.quad sym@AUTH(ia,65536)
// ERR: :[[#@LINE+1]]:22: error: expected 'addr'
.quad sym@AUTH(ia,42,add)
// ERR: :[[#@LINE+1]]:21: error: expected ')'
.quad sym@AUTH(ia,42(
// ERR: :[[#@LINE+1]]:7: error: combination of @AUTH with other modifiers not supported
.quad sym@PLT@AUTH(ia,42)
// ERR: :[[#@LINE+1]]:11: error: invalid variant 'AUTH@GOT'
.quad sym@AUTH@GOT(ia,42)
// ERR: :[[#@LINE+1]]:18: error: invalid variant 'TLSDESC@AUTH'
.quad "long sym"@TLSDESC@AUTH(ia,42)
// ERR: :[[#@LINE+1]]:18: error: invalid variant 'AUTH@PLT'
.quad "long sym"@AUTH@PLT(ia,42)
// ERR: :[[#@LINE+1]]:17: error: invalid variant 'GOT@AUTH'
.quad (sym - 5)@GOT@AUTH(ia,42)
// ERR: :[[#@LINE+1]]:17: error: invalid variant 'AUTH@TLSDESC'
.quad (sym + 5)@AUTH@TLSDESC(ia,42)
// ERR: :[[#@LINE+1]]:12: error: invalid variant 'AUTH'
.quad +sym@AUTH(ia,42)
.endif // ERR
.ifdef ERROBJ
// RUN: not llvm-mc -triple=aarch64 -filetype=obj --defsym=ERROBJ=1 %s -o /dev/null 2>&1 | \
// RUN: FileCheck %s --check-prefix=ERROBJ
// ERROBJ: :[[#@LINE+1]]:7: error: expected relocatable expression
.quad sym@AUTH(ia,42) + 1
// ERROBJ: :[[#@LINE+1]]:7: error: expected relocatable expression
.quad 1 + sym@AUTH(ia,42)
// ERROBJ: :[[#@LINE+1]]:7: error: expected relocatable expression
.quad 1 + sym@AUTH(ia,42) + 1
// ERROBJ: :[[#@LINE+1]]:7: error: expected relocatable expression
.quad sym@AUTH(ia,42) + sym@AUTH(ia,42)
// TODO: do we really want to emit an error here? It might not be important
// whether a symbol has an AUTH modifier or not since the compile-time computed
// distance remains the same. Leave it in such state as for now since it
// makes code simpler: subtraction of a non-AUTH symbol and of a constant
// are handled identically.
// ERROBJ: :[[#@LINE+1]]:7: error: expected relocatable expression
.quad _g9@AUTH(ia,42) - _g8
.endif // ERROBJ
|
