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
|
// RUN: llvm-mc -triple=aarch64 %s | 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 9 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-NEXT: 0000000000000080 {{.*}} R_AARCH64_AUTH_ABS64 0000000000000000 _g4 + 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 00000000 00000000
// ^^^^ discriminator
// ^^ 0 no addr diversity 0 reserved 00 ia key 0000 reserved
.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
.quad 7 + _g4@AUTH(ia,0)
.quad 0
// RUN: not llvm-mc -triple=aarch64 --defsym=ERR=1 %s 2>&1 | \
// RUN: FileCheck %s --check-prefix=ERR --implicit-check-not=error:
.ifdef 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]]:14: error: unexpected token
.quad sym@PLT@AUTH(ia,42)
// ERR: :[[#@LINE+1]]:15: error: expected '('
.quad sym@AUTH@GOT(ia,42)
// ERR: :[[#@LINE+1]]:22: error: expected '('
.quad "long sym"@AUTH@PLT(ia,42)
// ERR: :[[#@LINE+1]]:17: error: invalid relocation specifier
.quad (sym - 5)@GOT@AUTH(ia,42)
// ERR: :[[#@LINE+1]]:23: error: unexpected token
.quad sym@AUTH(ia,42) + 1
// ERR: :[[#@LINE+1]]:27: error: unexpected token
.quad 1 + sym@AUTH(ia,42) + 1
/// @AUTH applies to the whole operand instead of an individual term.
/// Trailing expression parts are not allowed even if the logical subtraction
/// result might make sense.
// ERR: :[[#@LINE+1]]:23: error: unexpected token
.quad _g9@AUTH(ia,42) - _g8
// ERR: :[[#@LINE+1]]:23: error: unexpected token
.quad _g9@AUTH(ia,42) - _g8@AUTH(ia,42)
// ERR: :[[#@LINE+1]]:24: error: unexpected token
.quad _g13@AUTH(ia,42) + _g14@AUTH(ia,42)
.endif // ERR
|
