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