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
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
| @ RUN: llvm-mc %s -triple=armv7-unknown-linux-gnueabi -filetype=obj -o - \
@ RUN: | llvm-readobj -S --sd | FileCheck %s
@ Check the .save directive
@ The .save directive records the GPR registers which are pushed to the
@ stack. There are 4 different unwind opcodes:
@
@ 0xB100: pop r[3:0]
@ 0xA0: pop r[(4+x):4] @ r[4+x]-r[4] must be consecutive.
@ 0xA8: pop r14, r[(4+x):4] @ r[4+x]-r[4] must be consecutive.
@ 0x8000: pop r[15:4]
@
@ If register list specifed by .save directive is possible to be encoded
@ by 0xA0 or 0xA8, then the assembler should prefer them over 0x8000.
.syntax unified
@-------------------------------------------------------------------------------
@ TEST1
@-------------------------------------------------------------------------------
.section .TEST1
.globl func1a
.align 2
.type func1a,%function
.fnstart
func1a:
.save {r0}
push {r0}
pop {r0}
bx lr
.personality __gxx_personality_v0
.handlerdata
.fnend
.globl func1b
.align 2
.type func1b,%function
.fnstart
func1b:
.save {r0, r1}
push {r0, r1}
pop {r0, r1}
bx lr
.personality __gxx_personality_v0
.handlerdata
.fnend
.globl func1c
.align 2
.type func1c,%function
.fnstart
func1c:
.save {r0, r2}
push {r0, r2}
pop {r0, r2}
bx lr
.personality __gxx_personality_v0
.handlerdata
.fnend
.globl func1d
.align 2
.type func1d,%function
.fnstart
func1d:
.save {r1, r2}
push {r1, r2}
pop {r1, r2}
bx lr
.personality __gxx_personality_v0
.handlerdata
.fnend
.globl func1e
.align 2
.type func1e,%function
.fnstart
func1e:
.save {r0, r1, r2, r3}
push {r0, r1, r2, r3}
pop {r0, r1, r2, r3}
bx lr
.personality __gxx_personality_v0
.handlerdata
.fnend
@-------------------------------------------------------------------------------
@ The assembler should emit 0xB000 unwind opcode.
@-------------------------------------------------------------------------------
@ CHECK: Section {
@ CHECK: Name: .ARM.extab.TEST1
@ CHECK: SectionData (
@ CHECK: 0000: 00000000 B001B100 00000000 B003B100 |................|
@ CHECK: 0010: 00000000 B005B100 00000000 B006B100 |................|
@ CHECK: 0020: 00000000 B00FB100 |........|
@ CHECK: )
@ CHECK: }
@-------------------------------------------------------------------------------
@ TEST2
@-------------------------------------------------------------------------------
.section .TEST2
.globl func2a
.align 2
.type func2a,%function
.fnstart
func2a:
.save {r4}
push {r4}
pop {r4}
bx lr
.personality __gxx_personality_v0
.handlerdata
.fnend
.globl func2b
.align 2
.type func2b,%function
.fnstart
func2b:
.save {r4, r5}
push {r4, r5}
pop {r4, r5}
bx lr
.personality __gxx_personality_v0
.handlerdata
.fnend
.globl func2c
.align 2
.type func2c,%function
.fnstart
func2c:
.save {r4, r5, r6, r7, r8, r9, r10, r11}
push {r4, r5, r6, r7, r8, r9, r10, r11}
pop {r4, r5, r6, r7, r8, r9, r10, r11}
bx lr
.personality __gxx_personality_v0
.handlerdata
.fnend
@-------------------------------------------------------------------------------
@ The assembler should emit 0xA0 unwind opcode.
@-------------------------------------------------------------------------------
@ CHECK: Section {
@ CHECK: Name: .ARM.extab.TEST2
@ CHECK: SectionData (
@ CHECK: 0000: 00000000 B0B0A000 00000000 B0B0A100 |................|
@ CHECK: 0010: 00000000 B0B0A700 |........|
@ CHECK: )
@ CHECK: }
@-------------------------------------------------------------------------------
@ TEST3
@-------------------------------------------------------------------------------
.section .TEST3
.globl func3a
.align 2
.type func3a,%function
.fnstart
func3a:
.save {r4, r14}
push {r4, r14}
pop {r4, r14}
bx lr
.personality __gxx_personality_v0
.handlerdata
.fnend
.globl func3b
.align 2
.type func3b,%function
.fnstart
func3b:
.save {r4, r5, r14}
push {r4, r5, r14}
pop {r4, r5, r14}
bx lr
.personality __gxx_personality_v0
.handlerdata
.fnend
.globl func3c
.align 2
.type func3c,%function
.fnstart
func3c:
.save {r4, r5, r6, r7, r8, r9, r10, r11, r14}
push {r4, r5, r6, r7, r8, r9, r10, r11, r14}
pop {r4, r5, r6, r7, r8, r9, r10, r11, r14}
bx lr
.personality __gxx_personality_v0
.handlerdata
.fnend
@-------------------------------------------------------------------------------
@ The assembler should emit 0xA8 unwind opcode.
@-------------------------------------------------------------------------------
@ CHECK: Section {
@ CHECK: Name: .ARM.extab.TEST3
@ CHECK: SectionData (
@ CHECK: 0000: 00000000 B0B0A800 00000000 B0B0A900 |................|
@ CHECK: 0010: 00000000 B0B0AF00 |........|
@ CHECK: )
@ CHECK: }
@-------------------------------------------------------------------------------
@ TEST4
@-------------------------------------------------------------------------------
.section .TEST4
.globl func4a
.align 2
.type func4a,%function
.fnstart
func4a:
.save {r4, r5, r6, r7, r8, r9, r10, r11, r12, r14}
push {r4, r5, r6, r7, r8, r9, r10, r11, r12, r14}
pop {r4, r5, r6, r7, r8, r9, r10, r11, r12, r14}
bx lr
.personality __gxx_personality_v0
.handlerdata
.fnend
.globl func4b
.align 2
.type func4b,%function
.fnstart
func4b:
@ Note: r7 is missing intentionally.
.save {r4, r5, r6, r8, r9, r10, r11}
push {r4, r5, r6, r8, r9, r10, r11}
pop {r4, r5, r6, r8, r9, r10, r11}
bx lr
.personality __gxx_personality_v0
.handlerdata
.fnend
.globl func4c
.align 2
.type func4c,%function
.fnstart
func4c:
@ Note: r7 is missing intentionally.
.save {r4, r5, r6, r8, r9, r10, r11, r14}
push {r4, r5, r6, r8, r9, r10, r11, r14}
pop {r4, r5, r6, r8, r9, r10, r11, r14}
bx lr
.personality __gxx_personality_v0
.handlerdata
.fnend
.globl func4d
.align 2
.type func4d,%function
.fnstart
func4d:
@ Note: The register list is not start with r4.
.save {r5, r6, r7}
push {r5, r6, r7}
pop {r5, r6, r7}
bx lr
.personality __gxx_personality_v0
.handlerdata
.fnend
.globl func4e
.align 2
.type func4e,%function
.fnstart
func4e:
@ Note: The register list is not start with r4.
.save {r5, r6, r7, r14}
push {r5, r6, r7, r14}
pop {r5, r6, r7, r14}
bx lr
.personality __gxx_personality_v0
.handlerdata
.fnend
@-------------------------------------------------------------------------------
@ The assembler should emit 0x8000 unwind opcode.
@-------------------------------------------------------------------------------
@ CHECK: Section {
@ CHECK: Name: .ARM.extab.TEST4
@ CHECK: SectionData (
@ CHECK: 0000: 00000000 B0FF8500 00000000 B0F78000 |................|
@ CHECK: 0010: 00000000 B0F78400 00000000 B00E8000 |................|
@ CHECK: 0020: 00000000 B00E8400 |........|
@ CHECK: )
@ CHECK: }
@-------------------------------------------------------------------------------
@ TEST5
@-------------------------------------------------------------------------------
.section .TEST5
.globl func5a
.align 2
.type func5a,%function
.fnstart
func5a:
.save {r0, r1, r2, r3, r4, r5, r6}
push {r0, r1, r2, r3, r4, r5, r6}
pop {r0, r1, r2, r3, r4, r5, r6}
bx lr
.personality __gxx_personality_v0
.handlerdata
.fnend
.globl func5b
.align 2
.type func5b,%function
.fnstart
func5b:
.save {r0, r1, r2, r3, r4, r5, r6, r7, r8, r9, r10, r11, r12, r14}
push {r0, r1, r2, r3, r4, r5, r6, r7, r8, r9, r10, r11, r12, r14}
pop {r0, r1, r2, r3, r4, r5, r6, r7, r8, r9, r10, r11, r12, r14}
bx lr
.personality __gxx_personality_v0
.handlerdata
.fnend
@-------------------------------------------------------------------------------
@ Check the order of unwind opcode to pop registers.
@ 0xB10F "pop {r0-r3}" should be emitted before 0xA2 "pop {r4-r6}".
@ 0xB10F "pop {r0-r3}" should be emitted before 0x85FF "pop {r4-r12, r14}".
@-------------------------------------------------------------------------------
@ CHECK: Section {
@ CHECK: Name: .ARM.extab.TEST5
@ CHECK: SectionData (
@ CHECK: 0000: 00000000 A20FB100 00000000 850FB101 |................|
@ CHECK: 0010: B0B0B0FF |....|
@ CHECK: )
@ CHECK: }
|