test/MC/ARM/basic-thumb-instructions.s

   1 @ RUN: llvm-mc -triple=thumbv6-apple-darwin -show-encoding < %s | FileCheck %s
   2   .syntax unified
   3   .globl _func
   4
   5 @ Check that the assembler can handle the documented syntax from the ARM ARM.
   6 @ For complex constructs like shifter operands, check more thoroughly for them
   7 @ once then spot check that following instructions accept the form generally.
   8 @ This gives us good coverage while keeping the overall size of the test
   9 @ more reasonable.
  10
  11
  12 @ FIXME: Some 3-operand instructions have a 2-operand assembly syntax.
  13
  14 _func:
  15 @ CHECK: _func
  16
  17 @------------------------------------------------------------------------------
  18 @ ADC (register)
  19 @------------------------------------------------------------------------------
  20         adcs r4, r6
  21
  22 @ CHECK: adcs   r4, r6                  @ encoding: [0x74,0x41]
  23
  24
  25 @------------------------------------------------------------------------------
  26 @ ADD (immediate)
  27 @------------------------------------------------------------------------------
  28         adds r1, r2, #3
  29         adds r2, #3
  30         adds r2, #8
  31
  32 @ CHECK: adds   r1, r2, #3              @ encoding: [0xd1,0x1c]
  33 @ CHECK: adds   r2, r2, #3              @ encoding: [0xd2,0x1c]
  34 @ CHECK: adds   r2, #8                  @ encoding: [0x08,0x32]
  35
  36
  37 @------------------------------------------------------------------------------
  38 @ ADD (register)
  39 @------------------------------------------------------------------------------
  40         adds r1, r2, r3
  41         add r2, r8
  42
  43 @ CHECK: adds   r1, r2, r3              @ encoding: [0xd1,0x18]
  44 @ CHECK: add    r2, r8                  @ encoding: [0x42,0x44]
  45
  46
  47 @------------------------------------------------------------------------------
  48 @ ADD (SP plus immediate)
  49 @------------------------------------------------------------------------------
  50         add sp, #4
  51         add sp, #508
  52         add sp, sp, #4
  53         add r2, sp, #8
  54         add r2, sp, #1020
  55
  56 @ CHECK: add    sp, #4                  @ encoding: [0x01,0xb0]
  57 @ CHECK: add    sp, #508                @ encoding: [0x7f,0xb0]
  58 @ CHECK: add    sp, #4                  @ encoding: [0x01,0xb0]
  59 @ CHECK: add    r2, sp, #8              @ encoding: [0x02,0xaa]
  60 @ CHECK: add    r2, sp, #1020           @ encoding: [0xff,0xaa]
  61
  62
  63 @------------------------------------------------------------------------------
  64 @ ADD (SP plus register)
  65 @------------------------------------------------------------------------------
  66         add sp, r3
  67         add r2, sp, r2
  68
  69 @ CHECK: add    sp, r3                  @ encoding: [0x9d,0x44]
  70 @ CHECK: add    r2, sp, r2              @ encoding: [0x6a,0x44]
  71
  72
  73 @------------------------------------------------------------------------------
  74 @ ADR
  75 @------------------------------------------------------------------------------
  76         adr r2, _baz
  77
  78 @ CHECK: adr    r2, _baz                @ encoding: [A,0xa2]
  79             @   fixup A - offset: 0, value: _baz, kind: fixup_thumb_adr_pcrel_10
  80
  81
  82 @------------------------------------------------------------------------------
  83 @ ASR (immediate)
  84 @------------------------------------------------------------------------------
  85         asrs r2, r3, #32
  86         asrs r2, r3, #5
  87         asrs r2, r3, #1
  88
  89 @ CHECK: asrs   r2, r3, #32             @ encoding: [0x1a,0x10]
  90 @ CHECK: asrs   r2, r3, #5              @ encoding: [0x5a,0x11]
  91 @ CHECK: asrs   r2, r3, #1              @ encoding: [0x5a,0x10]
  92
  93
  94 @------------------------------------------------------------------------------
  95 @ ASR (register)
  96 @------------------------------------------------------------------------------
  97         asrs r5, r2
  98
  99 @ CHECK: asrs   r5, r2                  @ encoding: [0x15,0x41]
 100
 101
 102 @------------------------------------------------------------------------------
 103 @ B
 104 @------------------------------------------------------------------------------
 105         b _baz
 106         beq _bar
 107
 108 @ CHECK: b      _baz                    @ encoding: [A,0xe0'A']
 109              @   fixup A - offset: 0, value: _baz, kind: fixup_arm_thumb_br
 110 @ CHECK: beq    _bar                    @ encoding: [A,0xd0]
 111              @   fixup A - offset: 0, value: _bar, kind: fixup_arm_thumb_bcc
 112
 113
 114 @------------------------------------------------------------------------------
 115 @ BICS
 116 @------------------------------------------------------------------------------
 117         bics r1, r6
 118
 119 @ CHECK: bics   r1, r6                  @ encoding: [0xb1,0x43]
 120
 121
 122 @------------------------------------------------------------------------------
 123 @ BKPT
 124 @------------------------------------------------------------------------------
 125         bkpt #0
 126         bkpt #255
 127
 128 @ CHECK: bkpt   #0                      @ encoding: [0x00,0xbe]
 129 @ CHECK: bkpt   #255                    @ encoding: [0xff,0xbe]
 130
 131
 132 @------------------------------------------------------------------------------
 133 @ BL/BLX (immediate)
 134 @------------------------------------------------------------------------------
 135         bl _bar
 136         blx _baz
 137
 138 @ CHECK: bl     _bar                    @ encoding: [A,0xf0'A',A,0xf8'A']
 139              @   fixup A - offset: 0, value: _bar, kind: fixup_arm_thumb_bl
 140 @ CHECK: blx    _baz                    @ encoding: [A,0xf0'A',A,0xe8'A']
 141              @   fixup A - offset: 0, value: _baz, kind: fixup_arm_thumb_blx
 142
 143
 144 @------------------------------------------------------------------------------
 145 @ BLX (register)
 146 @------------------------------------------------------------------------------
 147         blx r4
 148
 149 @ CHECK: blx    r4                      @ encoding: [0xa0,0x47]
 150
 151
 152 @------------------------------------------------------------------------------
 153 @ BX
 154 @------------------------------------------------------------------------------
 155         bx r2
 156
 157 @ CHECK: bx     r2                      @ encoding: [0x10,0x47]
 158
 159
 160 @------------------------------------------------------------------------------
 161 @ CMN
 162 @------------------------------------------------------------------------------
 163
 164         cmn r5, r1
 165
 166 @ CHECK: cmn    r5, r1                  @ encoding: [0xcd,0x42]
 167
 168
 169 @------------------------------------------------------------------------------
 170 @ CMP
 171 @------------------------------------------------------------------------------
 172         cmp r6, #32
 173         cmp r3, r4
 174         cmp r8, r1
 175
 176 @ CHECK: cmp    r6, #32                 @ encoding: [0x20,0x2e]
 177 @ CHECK: cmp    r3, r4                  @ encoding: [0xa3,0x42]
 178 @ CHECK: cmp    r8, r1                  @ encoding: [0x88,0x45]
 179
 180 @------------------------------------------------------------------------------
 181 @ EOR
 182 @------------------------------------------------------------------------------
 183         eors r4, r5
 184
 185 @ CHECK: eors   r4, r5                  @ encoding: [0x6c,0x40]
 186
 187
 188 @------------------------------------------------------------------------------
 189 @ LDM
 190 @------------------------------------------------------------------------------
 191         ldm r3, {r0, r1, r2, r3, r4, r5, r6, r7}
 192         ldm r2!, {r1, r3, r4, r5, r7}
 193         ldm r1, {r1}
 194
 195 @ CHECK: ldm    r3, {r0, r1, r2, r3, r4, r5, r6, r7} @ encoding: [0xff,0xcb]
 196 @ CHECK: ldm    r2!, {r1, r3, r4, r5, r7} @ encoding: [0xba,0xca]
 197 @ CHECK: ldm    r1, {r1}                @ encoding: [0x02,0xc9]
 198
 199
 200 @------------------------------------------------------------------------------
 201 @ LDR (immediate)
 202 @------------------------------------------------------------------------------
 203         ldr r1, [r5]
 204         ldr r2, [r6, #32]
 205         ldr r3, [r7, #124]
 206         ldr r1, [sp]
 207         ldr r2, [sp, #24]
 208         ldr r3, [sp, #1020]
 209
 210
 211 @ CHECK: ldr    r1, [r5]                @ encoding: [0x29,0x68]
 212 @ CHECK: ldr    r2, [r6, #32]           @ encoding: [0x32,0x6a]
 213 @ CHECK: ldr    r3, [r7, #124]          @ encoding: [0xfb,0x6f]
 214 @ CHECK: ldr    r1, [sp]                @ encoding: [0x00,0x99]
 215 @ CHECK: ldr    r2, [sp, #24]           @ encoding: [0x06,0x9a]
 216 @ CHECK: ldr    r3, [sp, #1020]         @ encoding: [0xff,0x9b]
 217
 218
 219 @------------------------------------------------------------------------------
 220 @ LDR (literal)
 221 @------------------------------------------------------------------------------
 222         ldr r1, _foo
 223
 224 @ CHECK: ldr    r1, _foo                @ encoding: [A,0x49]
 225              @   fixup A - offset: 0, value: _foo, kind: fixup_arm_thumb_cp
 226
 227
 228 @------------------------------------------------------------------------------
 229 @ LDR (register)
 230 @------------------------------------------------------------------------------
 231         ldr r1, [r2, r3]
 232
 233 @ CHECK: ldr    r1, [r2, r3]            @ encoding: [0xd1,0x58]
 234
 235
 236 @------------------------------------------------------------------------------
 237 @ LDRB (immediate)
 238 @------------------------------------------------------------------------------
 239         ldrb r4, [r3]
 240         ldrb r5, [r6, #0]
 241         ldrb r6, [r7, #31]
 242
 243 @ CHECK: ldrb   r4, [r3]                @ encoding: [0x1c,0x78]
 244 @ CHECK: ldrb   r5, [r6]                @ encoding: [0x35,0x78]
 245 @ CHECK: ldrb   r6, [r7, #31]           @ encoding: [0xfe,0x7f]
 246
 247
 248 @------------------------------------------------------------------------------
 249 @ LDRB (register)
 250 @------------------------------------------------------------------------------
 251         ldrb r6, [r4, r5]
 252
 253 @ CHECK: ldrb   r6, [r4, r5]            @ encoding: [0x66,0x5d]
 254
 255
 256 @------------------------------------------------------------------------------
 257 @ LDRH (immediate)
 258 @------------------------------------------------------------------------------
 259         ldrh r3, [r3]
 260         ldrh r4, [r6, #2]
 261         ldrh r5, [r7, #62]
 262
 263 @ CHECK: ldrh   r3, [r3]                @ encoding: [0x1b,0x88]
 264 @ CHECK: ldrh   r4, [r6, #2]            @ encoding: [0x74,0x88]
 265 @ CHECK: ldrh   r5, [r7, #62]           @ encoding: [0xfd,0x8f]
 266
 267
 268 @------------------------------------------------------------------------------
 269 @ LDRH (register)
 270 @------------------------------------------------------------------------------
 271         ldrh r6, [r2, r6]
 272
 273 @ CHECK: ldrh   r6, [r2, r6]            @ encoding: [0x96,0x5b]
 274
 275
 276 @------------------------------------------------------------------------------
 277 @ LDRSB/LDRSH
 278 @------------------------------------------------------------------------------
 279         ldrsb r6, [r2, r6]
 280         ldrsh r3, [r7, r1]
 281
 282 @ CHECK: ldrsb  r6, [r2, r6]            @ encoding: [0x96,0x57]
 283 @ CHECK: ldrsh  r3, [r7, r1]            @ encoding: [0x7b,0x5e]
 284
 285
 286 @------------------------------------------------------------------------------
 287 @ LSL (immediate)
 288 @------------------------------------------------------------------------------
 289         lsls r4, r5, #0
 290         lsls r4, r5, #4
 291
 292 @ CHECK: lsls   r4, r5, #0              @ encoding: [0x2c,0x00]
 293 @ CHECK: lsls   r4, r5, #4              @ encoding: [0x2c,0x01]
 294
 295
 296 @------------------------------------------------------------------------------
 297 @ LSL (register)
 298 @------------------------------------------------------------------------------
 299         lsls r2, r6
 300
 301 @ CHECK: lsls   r2, r6                  @ encoding: [0xb2,0x40]
 302
 303
 304 @------------------------------------------------------------------------------
 305 @ LSR (immediate)
 306 @------------------------------------------------------------------------------
 307         lsrs r1, r3, #1
 308         lsrs r1, r3, #32
 309
 310 @ CHECK: lsrs   r1, r3, #1              @ encoding: [0x59,0x08]
 311 @ CHECK: lsrs   r1, r3, #32             @ encoding: [0x19,0x08]
 312
 313
 314 @------------------------------------------------------------------------------
 315 @ LSR (register)
 316 @------------------------------------------------------------------------------
 317         lsrs r2, r6
 318
 319 @ CHECK: lsrs   r2, r6                  @ encoding: [0xf2,0x40]
 320
 321
 322 @------------------------------------------------------------------------------
 323 @ MOV (immediate)
 324 @------------------------------------------------------------------------------
 325         movs r2, #0
 326         movs r2, #255
 327         movs r2, #23
 328
 329 @ CHECK: movs   r2, #0                  @ encoding: [0x00,0x22]
 330 @ CHECK: movs   r2, #255                @ encoding: [0xff,0x22]
 331 @ CHECK: movs   r2, #23                 @ encoding: [0x17,0x22]
 332
 333
 334 @------------------------------------------------------------------------------
 335 @ MOV (register)
 336 @------------------------------------------------------------------------------
 337         mov r3, r4
 338         movs r1, r3
 339
 340 @ CHECK: mov    r3, r4                  @ encoding: [0x23,0x46]
 341 @ CHECK: movs   r1, r3                  @ encoding: [0x19,0x00]
 342
 343
 344 @------------------------------------------------------------------------------
 345 @ MUL
 346 @------------------------------------------------------------------------------
 347         muls r1, r2, r1
 348         muls r3, r4
 349
 350 @ CHECK: muls   r1, r2, r1              @ encoding: [0x51,0x43]
 351 @ CHECK: muls   r3, r4, r3              @ encoding: [0x63,0x43]
 352
 353
 354 @------------------------------------------------------------------------------
 355 @ MVN
 356 @------------------------------------------------------------------------------
 357         mvns r6, r3
 358
 359 @ CHECK: mvns   r6, r3                  @ encoding: [0xde,0x43]
 360
 361
 362 @------------------------------------------------------------------------------
 363 @ NEG
 364 @------------------------------------------------------------------------------
 365         negs r3, r4
 366
 367 @ CHECK: rsbs   r3, r4, #0              @ encoding: [0x63,0x42]
 368
 369
 370 @------------------------------------------------------------------------------
 371 @ NOP
 372 @------------------------------------------------------------------------------
 373         nop
 374
 375 @ CHECK: nop                            @ encoding: [0xc0,0x46]
 376
 377
 378 @------------------------------------------------------------------------------
 379 @ ORR
 380 @------------------------------------------------------------------------------
 381         orrs  r3, r4
 382
 383 @ CHECK-ERRORS:         orrs    r3, r4                  @ encoding: [0x23,0x43]
 384
 385
 386 @------------------------------------------------------------------------------
 387 @ POP
 388 @------------------------------------------------------------------------------
 389         pop {r2, r3, r6}
 390
 391 @ CHECK: pop    {r2, r3, r6}            @ encoding: [0x4c,0xbc]
 392
 393
 394 @------------------------------------------------------------------------------
 395 @ PUSH
 396 @------------------------------------------------------------------------------
 397         push {r1, r2, r7}
 398
 399 @ CHECK: push   {r1, r2, r7}            @ encoding: [0x86,0xb4]
 400
 401
 402 @------------------------------------------------------------------------------
 403 @ REV/REV16/REVSH
 404 @------------------------------------------------------------------------------
 405         rev r6, r3
 406         rev16 r7, r2
 407         revsh r5, r1
 408
 409 @ CHECK: rev    r6, r3                  @ encoding: [0x1e,0xba]
 410 @ CHECK: rev16  r7, r2                  @ encoding: [0x57,0xba]
 411 @ CHECK: revsh  r5, r1                  @ encoding: [0xcd,0xba]
 412
 413
 414 @------------------------------------------------------------------------------
 415 @ ROR
 416 @------------------------------------------------------------------------------
 417         rors r2, r7
 418
 419 @ CHECK: rors   r2, r7                  @ encoding: [0xfa,0x41]
 420
 421
 422 @------------------------------------------------------------------------------
 423 @ RSB
 424 @------------------------------------------------------------------------------
 425         rsbs r1, r3, #0
 426
 427 @ CHECK: rsbs   r1, r3, #0              @ encoding: [0x59,0x42]
 428
 429
 430 @------------------------------------------------------------------------------
 431 @ SBC
 432 @------------------------------------------------------------------------------
 433         sbcs r4, r3
 434
 435 @ CHECK: sbcs   r4, r3                  @ encoding: [0x9c,0x41]
 436
 437
 438 @------------------------------------------------------------------------------
 439 @ SETEND
 440 @------------------------------------------------------------------------------
 441         setend be
 442         setend le
 443
 444 @ CHECK: setend be                      @ encoding: [0x58,0xb6]
 445 @ CHECK: setend le                      @ encoding: [0x50,0xb6]
 446
 447
 448 @------------------------------------------------------------------------------
 449 @ STM
 450 @------------------------------------------------------------------------------
 451         stm r1!, {r2, r6}
 452         stm r1!, {r1, r2, r3, r7}
 453
 454 @ CHECK: stm    r1!, {r2, r6}           @ encoding: [0x44,0xc1]
 455 @ CHECK: stm    r1!, {r1, r2, r3, r7}   @ encoding: [0x8e,0xc1]
 456
 457
 458 @------------------------------------------------------------------------------
 459 @ STR (immediate)
 460 @------------------------------------------------------------------------------
 461         str r2, [r7]
 462         str r2, [r7, #0]
 463         str r5, [r1, #4]
 464         str r3, [r7, #124]
 465         str r2, [sp]
 466         str r3, [sp, #0]
 467         str r4, [sp, #20]
 468         str r5, [sp, #1020]
 469
 470 @ CHECK: str    r2, [r7]                @ encoding: [0x3a,0x60]
 471 @ CHECK: str    r2, [r7]                @ encoding: [0x3a,0x60]
 472 @ CHECK: str    r5, [r1, #4]            @ encoding: [0x4d,0x60]
 473 @ CHECK: str    r3, [r7, #124]          @ encoding: [0xfb,0x67]
 474 @ CHECK: str    r2, [sp]                @ encoding: [0x00,0x92]
 475 @ CHECK: str    r3, [sp]                @ encoding: [0x00,0x93]
 476 @ CHECK: str    r4, [sp, #20]           @ encoding: [0x05,0x94]
 477 @ CHECK: str    r5, [sp, #1020]         @ encoding: [0xff,0x95]
 478
 479
 480 @------------------------------------------------------------------------------
 481 @ STR (register)
 482 @------------------------------------------------------------------------------
 483         str r2, [r7, r3]
 484
 485 @ CHECK: str    r2, [r7, r3]            @ encoding: [0xfa,0x50]
 486
 487
 488 @------------------------------------------------------------------------------
 489 @ STRB (immediate)
 490 @------------------------------------------------------------------------------
 491         strb r4, [r3]
 492         strb r5, [r6, #0]
 493         strb r6, [r7, #31]
 494
 495 @ CHECK: strb   r4, [r3]                @ encoding: [0x1c,0x70]
 496 @ CHECK: strb   r5, [r6]                @ encoding: [0x35,0x70]
 497 @ CHECK: strb   r6, [r7, #31]           @ encoding: [0xfe,0x77]
 498
 499
 500 @------------------------------------------------------------------------------
 501 @ STRB (register)
 502 @------------------------------------------------------------------------------
 503         strb r6, [r4, r5]
 504
 505 @ CHECK: strb   r6, [r4, r5]            @ encoding: [0x66,0x55]
 506
 507
 508 @------------------------------------------------------------------------------
 509 @ STRH (immediate)
 510 @------------------------------------------------------------------------------
 511         strh r3, [r3]
 512         strh r4, [r6, #2]
 513         strh r5, [r7, #62]
 514
 515 @ CHECK: strh   r3, [r3]                @ encoding: [0x1b,0x80]
 516 @ CHECK: strh   r4, [r6, #2]            @ encoding: [0x74,0x80]
 517 @ CHECK: strh   r5, [r7, #62]           @ encoding: [0xfd,0x87]
 518
 519
 520 @------------------------------------------------------------------------------
 521 @ STRH (register)
 522 @------------------------------------------------------------------------------
 523         strh r6, [r2, r6]
 524
 525 @ CHECK: strh   r6, [r2, r6]            @ encoding: [0x96,0x53]
 526
 527
 528 @------------------------------------------------------------------------------
 529 @ SUB (immediate)
 530 @------------------------------------------------------------------------------
 531         subs r1, r2, #3
 532         subs r2, #3
 533         subs r2, #8
 534
 535 @ CHECK: subs   r1, r2, #3              @ encoding: [0xd1,0x1e]
 536 @ CHECK: subs   r2, #3                  @ encoding: [0x03,0x3a]
 537 @ CHECK: subs   r2, #8                  @ encoding: [0x08,0x3a]
 538
 539
 540 @------------------------------------------------------------------------------
 541 @ SUB (SP minus immediate)
 542 @------------------------------------------------------------------------------
 543         sub sp, #12
 544         sub sp, sp, #508
 545
 546 @ CHECK: sub    sp, #12                 @ encoding: [0x83,0xb0]
 547 @ CHECK: sub    sp, #508                @ encoding: [0xff,0xb0]
 548
 549
 550 @------------------------------------------------------------------------------
 551 @ SUB (register)
 552 @------------------------------------------------------------------------------
 553         subs r1, r2, r3
 554
 555 @ CHECK: subs   r1, r2, r3              @ encoding: [0xd1,0x1a]
 556
 557
 558 @------------------------------------------------------------------------------
 559 @ SVC
 560 @------------------------------------------------------------------------------
 561         svc #0
 562         svc #255
 563
 564 @ CHECK: svc    #0                      @ encoding: [0x00,0xdf]
 565 @ CHECK: svc    #255                    @ encoding: [0xff,0xdf]
 566
 567
 568 @------------------------------------------------------------------------------
 569 @ SXTB/SXTH
 570 @------------------------------------------------------------------------------
 571         sxtb r3, r5
 572         sxth r3, r5
 573
 574 @ CHECK: sxtb   r3, r5                  @ encoding: [0x6b,0xb2]
 575 @ CHECK: sxth   r3, r5                  @ encoding: [0x2b,0xb2]
 576
 577
 578 @------------------------------------------------------------------------------
 579 @ TST
 580 @------------------------------------------------------------------------------
 581         tst r6, r1
 582
 583 @ CHECK: tst    r6, r1                  @ encoding: [0x0e,0x42]
 584
 585
 586 @------------------------------------------------------------------------------
 587 @ UXTB/UXTH
 588 @------------------------------------------------------------------------------
 589         uxtb  r7, r2
 590         uxth  r1, r4
 591
 592 @ CHECK: uxtb   r7, r2                  @ encoding: [0xd7,0xb2]
 593 @ CHECK: uxth   r1, r4                  @ encoding: [0xa1,0xb2]
 594
 595
 596 @------------------------------------------------------------------------------
 597 @ WFE/WFI/YIELD
 598 @------------------------------------------------------------------------------
 599         wfe
 600         wfi
 601         yield
 602
 603 @ CHECK: wfe                             @ encoding: [0x20,0xbf]
 604 @ CHECK: wfi                             @ encoding: [0x30,0xbf]
 605 @ CHECK: yield                           @ encoding: [0x10,0xbf]