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