1 @ RUN: llvm-mc %s -triple=armv7-unknown-linux-gnueabi -filetype=obj -o - \ 2 @ RUN: | llvm-readobj -s -sd | FileCheck %s 3 4 @ Check the .save directive 5 6 @ The .save directive records the GPR registers which are pushed to the 7 @ stack. There are 4 different unwind opcodes: 8 @ 9 @ 0xB100: pop r[3:0] 10 @ 0xA0: pop r[(4+x):4] @ r[4+x]-r[4] must be consecutive. 11 @ 0xA8: pop r14, r[(4+x):4] @ r[4+x]-r[4] must be consecutive. 12 @ 0x8000: pop r[15:4] 13 @ 14 @ If register list specifed by .save directive is possible to be encoded 15 @ by 0xA0 or 0xA8, then the assembler should prefer them over 0x8000. 16 17 18 .syntax unified 19 20 @------------------------------------------------------------------------------- 21 @ TEST1 22 @------------------------------------------------------------------------------- 23 .section .TEST1 24 .globl func1a 25 .align 2 26 .type func1a,%function 27 .fnstart 28 func1a: 29 .save {r0} 30 push {r0} 31 pop {r0} 32 bx lr 33 .personality __gxx_personality_v0 34 .handlerdata 35 .fnend 36 37 .globl func1b 38 .align 2 39 .type func1b,%function 40 .fnstart 41 func1b: 42 .save {r0, r1} 43 push {r0, r1} 44 pop {r0, r1} 45 bx lr 46 .personality __gxx_personality_v0 47 .handlerdata 48 .fnend 49 50 .globl func1c 51 .align 2 52 .type func1c,%function 53 .fnstart 54 func1c: 55 .save {r0, r2} 56 push {r0, r2} 57 pop {r0, r2} 58 bx lr 59 .personality __gxx_personality_v0 60 .handlerdata 61 .fnend 62 63 .globl func1d 64 .align 2 65 .type func1d,%function 66 .fnstart 67 func1d: 68 .save {r1, r2} 69 push {r1, r2} 70 pop {r1, r2} 71 bx lr 72 .personality __gxx_personality_v0 73 .handlerdata 74 .fnend 75 76 .globl func1e 77 .align 2 78 .type func1e,%function 79 .fnstart 80 func1e: 81 .save {r0, r1, r2, r3} 82 push {r0, r1, r2, r3} 83 pop {r0, r1, r2, r3} 84 bx lr 85 .personality __gxx_personality_v0 86 .handlerdata 87 .fnend 88 89 @------------------------------------------------------------------------------- 90 @ The assembler should emit 0xB000 unwind opcode. 91 @------------------------------------------------------------------------------- 92 @ CHECK: Section { 93 @ CHECK: Name: .ARM.extab.TEST1 94 @ CHECK: SectionData ( 95 @ CHECK: 0000: 00000000 B001B100 00000000 B003B100 |................| 96 @ CHECK: 0010: 00000000 B005B100 00000000 B006B100 |................| 97 @ CHECK: 0020: 00000000 B00FB100 |........| 98 @ CHECK: ) 99 @ CHECK: } 100 101 102 103 @------------------------------------------------------------------------------- 104 @ TEST2 105 @------------------------------------------------------------------------------- 106 .section .TEST2 107 .globl func2a 108 .align 2 109 .type func2a,%function 110 .fnstart 111 func2a: 112 .save {r4} 113 push {r4} 114 pop {r4} 115 bx lr 116 .personality __gxx_personality_v0 117 .handlerdata 118 .fnend 119 120 .globl func2b 121 .align 2 122 .type func2b,%function 123 .fnstart 124 func2b: 125 .save {r4, r5} 126 push {r4, r5} 127 pop {r4, r5} 128 bx lr 129 .personality __gxx_personality_v0 130 .handlerdata 131 .fnend 132 133 .globl func2c 134 .align 2 135 .type func2c,%function 136 .fnstart 137 func2c: 138 .save {r4, r5, r6, r7, r8, r9, r10, r11} 139 push {r4, r5, r6, r7, r8, r9, r10, r11} 140 pop {r4, r5, r6, r7, r8, r9, r10, r11} 141 bx lr 142 .personality __gxx_personality_v0 143 .handlerdata 144 .fnend 145 146 @------------------------------------------------------------------------------- 147 @ The assembler should emit 0xA0 unwind opcode. 148 @------------------------------------------------------------------------------- 149 @ CHECK: Section { 150 @ CHECK: Name: .ARM.extab.TEST2 151 @ CHECK: SectionData ( 152 @ CHECK: 0000: 00000000 B0B0A000 00000000 B0B0A100 |................| 153 @ CHECK: 0010: 00000000 B0B0A700 |........| 154 @ CHECK: ) 155 @ CHECK: } 156 157 158 159 @------------------------------------------------------------------------------- 160 @ TEST3 161 @------------------------------------------------------------------------------- 162 .section .TEST3 163 .globl func3a 164 .align 2 165 .type func3a,%function 166 .fnstart 167 func3a: 168 .save {r4, r14} 169 push {r4, r14} 170 pop {r4, r14} 171 bx lr 172 .personality __gxx_personality_v0 173 .handlerdata 174 .fnend 175 176 .globl func3b 177 .align 2 178 .type func3b,%function 179 .fnstart 180 func3b: 181 .save {r4, r5, r14} 182 push {r4, r5, r14} 183 pop {r4, r5, r14} 184 bx lr 185 .personality __gxx_personality_v0 186 .handlerdata 187 .fnend 188 189 .globl func3c 190 .align 2 191 .type func3c,%function 192 .fnstart 193 func3c: 194 .save {r4, r5, r6, r7, r8, r9, r10, r11, r14} 195 push {r4, r5, r6, r7, r8, r9, r10, r11, r14} 196 pop {r4, r5, r6, r7, r8, r9, r10, r11, r14} 197 bx lr 198 .personality __gxx_personality_v0 199 .handlerdata 200 .fnend 201 202 @------------------------------------------------------------------------------- 203 @ The assembler should emit 0xA8 unwind opcode. 204 @------------------------------------------------------------------------------- 205 @ CHECK: Section { 206 @ CHECK: Name: .ARM.extab.TEST3 207 @ CHECK: SectionData ( 208 @ CHECK: 0000: 00000000 B0B0A800 00000000 B0B0A900 |................| 209 @ CHECK: 0010: 00000000 B0B0AF00 |........| 210 @ CHECK: ) 211 @ CHECK: } 212 213 214 215 @------------------------------------------------------------------------------- 216 @ TEST4 217 @------------------------------------------------------------------------------- 218 .section .TEST4 219 .globl func4a 220 .align 2 221 .type func4a,%function 222 .fnstart 223 func4a: 224 .save {r4, r5, r6, r7, r8, r9, r10, r11, r12, r14} 225 push {r4, r5, r6, r7, r8, r9, r10, r11, r12, r14} 226 pop {r4, r5, r6, r7, r8, r9, r10, r11, r12, r14} 227 bx lr 228 .personality __gxx_personality_v0 229 .handlerdata 230 .fnend 231 232 .globl func4b 233 .align 2 234 .type func4b,%function 235 .fnstart 236 func4b: 237 @ Note: r7 is missing intentionally. 238 .save {r4, r5, r6, r8, r9, r10, r11} 239 push {r4, r5, r6, r8, r9, r10, r11} 240 pop {r4, r5, r6, r8, r9, r10, r11} 241 bx lr 242 .personality __gxx_personality_v0 243 .handlerdata 244 .fnend 245 246 .globl func4c 247 .align 2 248 .type func4c,%function 249 .fnstart 250 func4c: 251 @ Note: r7 is missing intentionally. 252 .save {r4, r5, r6, r8, r9, r10, r11, r14} 253 push {r4, r5, r6, r8, r9, r10, r11, r14} 254 pop {r4, r5, r6, r8, r9, r10, r11, r14} 255 bx lr 256 .personality __gxx_personality_v0 257 .handlerdata 258 .fnend 259 260 .globl func4d 261 .align 2 262 .type func4d,%function 263 .fnstart 264 func4d: 265 @ Note: The register list is not start with r4. 266 .save {r5, r6, r7} 267 push {r5, r6, r7} 268 pop {r5, r6, r7} 269 bx lr 270 .personality __gxx_personality_v0 271 .handlerdata 272 .fnend 273 274 .globl func4e 275 .align 2 276 .type func4e,%function 277 .fnstart 278 func4e: 279 @ Note: The register list is not start with r4. 280 .save {r5, r6, r7, r14} 281 push {r5, r6, r7, r14} 282 pop {r5, r6, r7, r14} 283 bx lr 284 .personality __gxx_personality_v0 285 .handlerdata 286 .fnend 287 288 @------------------------------------------------------------------------------- 289 @ The assembler should emit 0x8000 unwind opcode. 290 @------------------------------------------------------------------------------- 291 @ CHECK: Section { 292 @ CHECK: Name: .ARM.extab.TEST4 293 @ CHECK: SectionData ( 294 @ CHECK: 0000: 00000000 B0FF8500 00000000 B0F78000 |................| 295 @ CHECK: 0010: 00000000 B0F78400 00000000 B00E8000 |................| 296 @ CHECK: 0020: 00000000 B00E8400 |........| 297 @ CHECK: ) 298 @ CHECK: } 299 300 301 302 @------------------------------------------------------------------------------- 303 @ TEST5 304 @------------------------------------------------------------------------------- 305 .section .TEST5 306 .globl func5a 307 .align 2 308 .type func5a,%function 309 .fnstart 310 func5a: 311 .save {r0, r1, r2, r3, r4, r5, r6} 312 push {r0, r1, r2, r3, r4, r5, r6} 313 pop {r0, r1, r2, r3, r4, r5, r6} 314 bx lr 315 .personality __gxx_personality_v0 316 .handlerdata 317 .fnend 318 319 .globl func5b 320 .align 2 321 .type func5b,%function 322 .fnstart 323 func5b: 324 .save {r0, r1, r2, r3, r4, r5, r6, r7, r8, r9, r10, r11, r12, r14} 325 push {r0, r1, r2, r3, r4, r5, r6, r7, r8, r9, r10, r11, r12, r14} 326 pop {r0, r1, r2, r3, r4, r5, r6, r7, r8, r9, r10, r11, r12, r14} 327 bx lr 328 .personality __gxx_personality_v0 329 .handlerdata 330 .fnend 331 332 @------------------------------------------------------------------------------- 333 @ Check the order of unwind opcode to pop registers. 334 @ 0xB10F "pop {r0-r3}" should be emitted before 0xA2 "pop {r4-r6}". 335 @ 0xB10F "pop {r0-r3}" should be emitted before 0x85FF "pop {r4-r12, r14}". 336 @------------------------------------------------------------------------------- 337 @ CHECK: Section { 338 @ CHECK: Name: .ARM.extab.TEST5 339 @ CHECK: SectionData ( 340 @ CHECK: 0000: 00000000 A20FB100 00000000 850FB101 |................| 341 @ CHECK: 0010: B0B0B0FF |....| 342 @ CHECK: ) 343 @ CHECK: } 344
