2 @ Run these test in both Thumb1 and Thumb2 modes, as all of the encodings
3 @ should be valid, and parse the same, in both.
5 @ RUN: llvm-mc -triple=thumbv6-apple-darwin -show-encoding < %s | FileCheck %s
6 @ RUN: llvm-mc -triple=thumbv7-apple-darwin -show-encoding < %s | FileCheck %s
7 @ RUN: llvm-mc -triple=thumbebv7-unknown-unknown -show-encoding < %s | FileCheck --check-prefix=CHECK-BE %s
11 @ Check that the assembler can handle the documented syntax from the ARM ARM.
12 @ For complex constructs like shifter operands, check more thoroughly for them
13 @ once then spot check that following instructions accept the form generally.
14 @ This gives us good coverage while keeping the overall size of the test
18 @ FIXME: Some 3-operand instructions have a 2-operand assembly syntax.
23 @------------------------------------------------------------------------------
25 @------------------------------------------------------------------------------
28 @ CHECK: adcs r4, r6 @ encoding: [0x74,0x41]
31 @------------------------------------------------------------------------------
33 @------------------------------------------------------------------------------
35 @ When Rd is not explicitly specified, encoding T2 is preferred even though
36 @ the literal is in the range [0,7] which would allow encoding T1.
40 @ CHECK: adds r1, r2, #3 @ encoding: [0xd1,0x1c]
41 @ CHECK: adds r2, #3 @ encoding: [0x03,0x32]
42 @ CHECK: adds r2, #8 @ encoding: [0x08,0x32]
45 @------------------------------------------------------------------------------
47 @------------------------------------------------------------------------------
51 @ CHECK: adds r1, r2, r3 @ encoding: [0xd1,0x18]
52 @ CHECK: add r2, r8 @ encoding: [0x42,0x44]
55 @------------------------------------------------------------------------------
56 @ ADD (SP plus immediate)
57 @------------------------------------------------------------------------------
66 @ CHECK: add sp, #4 @ encoding: [0x01,0xb0]
67 @ CHECK: add sp, #508 @ encoding: [0x7f,0xb0]
68 @ CHECK: add sp, #4 @ encoding: [0x01,0xb0]
69 @ CHECK: add r2, sp, #8 @ encoding: [0x02,0xaa]
70 @ CHECK: add r2, sp, #1020 @ encoding: [0xff,0xaa]
71 @ CHECK: sub sp, #8 @ encoding: [0x82,0xb0]
72 @ CHECK: sub sp, #8 @ encoding: [0x82,0xb0]
75 @------------------------------------------------------------------------------
76 @ ADD (SP plus register)
77 @------------------------------------------------------------------------------
81 @ CHECK: add sp, r3 @ encoding: [0x9d,0x44]
82 @ CHECK: add r2, sp, r2 @ encoding: [0x6a,0x44]
85 @------------------------------------------------------------------------------
87 @------------------------------------------------------------------------------
93 @ CHECK: adr r2, _baz @ encoding: [A,0xa2]
94 @ CHECK: @ fixup A - offset: 0, value: _baz, kind: fixup_thumb_adr_pcrel_10
95 @ CHECK-BE: adr r2, _baz @ encoding: [0xa2,A]
96 @ CHECK-BE: @ fixup A - offset: 0, value: _baz, kind: fixup_thumb_adr_pcrel_10
97 @ CHECK: adr r5, #0 @ encoding: [0x00,0xa5]
98 @ CHECK: adr r2, #4 @ encoding: [0x01,0xa2]
99 @ CHECK: adr r3, #1020 @ encoding: [0xff,0xa3]
101 @------------------------------------------------------------------------------
103 @------------------------------------------------------------------------------
111 @ CHECK: asrs r2, r3, #32 @ encoding: [0x1a,0x10]
112 @ CHECK: asrs r2, r3, #5 @ encoding: [0x5a,0x11]
113 @ CHECK: asrs r2, r3, #1 @ encoding: [0x5a,0x10]
114 @ CHECK: asrs r5, r5, #21 @ encoding: [0x6d,0x15]
115 @ CHECK: asrs r5, r5, #21 @ encoding: [0x6d,0x15]
116 @ CHECK: asrs r3, r5, #21 @ encoding: [0x6b,0x15]
119 @------------------------------------------------------------------------------
121 @------------------------------------------------------------------------------
124 @ CHECK: asrs r5, r2 @ encoding: [0x15,0x41]
127 @------------------------------------------------------------------------------
129 @------------------------------------------------------------------------------
137 @ CHECK: b _baz @ encoding: [A,0xe0'A']
138 @ CHECK: @ fixup A - offset: 0, value: _baz, kind: fixup_arm_thumb_br
139 @ CHECK-BE: b _baz @ encoding: [0xe0'A',A]
140 @ CHECK-BE: @ fixup A - offset: 0, value: _baz, kind: fixup_arm_thumb_br
141 @ CHECK: beq _bar @ encoding: [A,0xd0]
142 @ CHECK: @ fixup A - offset: 0, value: _bar, kind: fixup_arm_thumb_bcc
143 @ CHECK-BE: beq _bar @ encoding: [0xd0,A]
144 @ CHECK-BE: @ fixup A - offset: 0, value: _bar, kind: fixup_arm_thumb_bcc
145 @ CHECK: b #1838 @ encoding: [0x97,0xe3]
146 @ CHECK: b #-420 @ encoding: [0x2e,0xe7]
147 @ CHECK: beq #-256 @ encoding: [0x80,0xd0]
148 @ CHECK: beq #160 @ encoding: [0x50,0xd0]
150 @------------------------------------------------------------------------------
152 @------------------------------------------------------------------------------
156 @ CHECK: blx #884800 @ encoding: [0xd8,0xf0,0x20,0xe8]
157 @ CHECK: blx #1769600 @ encoding: [0xb0,0xf1,0x40,0xe8]
159 @------------------------------------------------------------------------------
161 @------------------------------------------------------------------------------
164 @ CHECK: bics r1, r6 @ encoding: [0xb1,0x43]
167 @------------------------------------------------------------------------------
169 @------------------------------------------------------------------------------
173 @ CHECK: bkpt #0 @ encoding: [0x00,0xbe]
174 @ CHECK: bkpt #255 @ encoding: [0xff,0xbe]
177 @------------------------------------------------------------------------------
179 @------------------------------------------------------------------------------
183 @ CHECK: bl _bar @ encoding: [A,0xf0'A',A,0xd0'A']
184 @ CHECK: @ fixup A - offset: 0, value: _bar, kind: fixup_arm_thumb_bl
185 @ CHECK-BE: bl _bar @ encoding: [0xf0'A',A,0xd0'A',A]
186 @ CHECK-BE: @ fixup A - offset: 0, value: _bar, kind: fixup_arm_thumb_bl
187 @ CHECK: blx _baz @ encoding: [A,0xf0'A',A,0xc0'A']
188 @ CHECK: @ fixup A - offset: 0, value: _baz, kind: fixup_arm_thumb_blx
189 @ CHECK-BE: blx _baz @ encoding: [0xf0'A',A,0xc0'A',A]
190 @ CHECK-BE: @ fixup A - offset: 0, value: _baz, kind: fixup_arm_thumb_blx
193 @------------------------------------------------------------------------------
195 @------------------------------------------------------------------------------
198 @ CHECK: blx r4 @ encoding: [0xa0,0x47]
201 @------------------------------------------------------------------------------
203 @------------------------------------------------------------------------------
206 @ CHECK: bx r2 @ encoding: [0x10,0x47]
209 @------------------------------------------------------------------------------
211 @------------------------------------------------------------------------------
215 @ CHECK: cmn r5, r1 @ encoding: [0xcd,0x42]
218 @------------------------------------------------------------------------------
220 @------------------------------------------------------------------------------
225 @ CHECK: cmp r6, #32 @ encoding: [0x20,0x2e]
226 @ CHECK: cmp r3, r4 @ encoding: [0xa3,0x42]
227 @ CHECK: cmp r8, r1 @ encoding: [0x88,0x45]
229 @------------------------------------------------------------------------------
231 @------------------------------------------------------------------------------
236 @ CHECK: cpsie f @ encoding: [0x61,0xb6]
237 @ CHECK: cpsid a @ encoding: [0x74,0xb6]
239 @------------------------------------------------------------------------------
241 @------------------------------------------------------------------------------
244 @ CHECK: eors r4, r5 @ encoding: [0x6c,0x40]
247 @------------------------------------------------------------------------------
249 @------------------------------------------------------------------------------
250 ldm r3, {r0, r1, r2, r3, r4, r5, r6, r7}
251 ldm r2!, {r1, r3, r4, r5, r7}
254 @ CHECK: ldm r3, {r0, r1, r2, r3, r4, r5, r6, r7} @ encoding: [0xff,0xcb]
255 @ CHECK: ldm r2!, {r1, r3, r4, r5, r7} @ encoding: [0xba,0xca]
256 @ CHECK: ldm r1, {r1} @ encoding: [0x02,0xc9]
259 @------------------------------------------------------------------------------
261 @------------------------------------------------------------------------------
270 @ CHECK: ldr r1, [r5] @ encoding: [0x29,0x68]
271 @ CHECK: ldr r2, [r6, #32] @ encoding: [0x32,0x6a]
272 @ CHECK: ldr r3, [r7, #124] @ encoding: [0xfb,0x6f]
273 @ CHECK: ldr r1, [sp] @ encoding: [0x00,0x99]
274 @ CHECK: ldr r2, [sp, #24] @ encoding: [0x06,0x9a]
275 @ CHECK: ldr r3, [sp, #1020] @ encoding: [0xff,0x9b]
278 @------------------------------------------------------------------------------
280 @------------------------------------------------------------------------------
285 @ CHECK: ldr r1, _foo @ encoding: [A,0x49]
286 @ CHECK: @ fixup A - offset: 0, value: _foo, kind: fixup_arm_thumb_cp
287 @ CHECK-BE: ldr r1, _foo @ encoding: [0x49,A]
288 @ CHECK-BE: @ fixup A - offset: 0, value: _foo, kind: fixup_arm_thumb_cp
289 @ CHECK: ldr r3, [pc, #604] @ encoding: [0x97,0x4b]
290 @ CHECK: ldr r3, [pc, #368] @ encoding: [0x5c,0x4b]
292 @------------------------------------------------------------------------------
294 @------------------------------------------------------------------------------
297 @ CHECK: ldr r1, [r2, r3] @ encoding: [0xd1,0x58]
300 @------------------------------------------------------------------------------
302 @------------------------------------------------------------------------------
307 @ CHECK: ldrb r4, [r3] @ encoding: [0x1c,0x78]
308 @ CHECK: ldrb r5, [r6] @ encoding: [0x35,0x78]
309 @ CHECK: ldrb r6, [r7, #31] @ encoding: [0xfe,0x7f]
312 @------------------------------------------------------------------------------
314 @------------------------------------------------------------------------------
317 @ CHECK: ldrb r6, [r4, r5] @ encoding: [0x66,0x5d]
320 @------------------------------------------------------------------------------
322 @------------------------------------------------------------------------------
327 @ CHECK: ldrh r3, [r3] @ encoding: [0x1b,0x88]
328 @ CHECK: ldrh r4, [r6, #2] @ encoding: [0x74,0x88]
329 @ CHECK: ldrh r5, [r7, #62] @ encoding: [0xfd,0x8f]
332 @------------------------------------------------------------------------------
334 @------------------------------------------------------------------------------
337 @ CHECK: ldrh r6, [r2, r6] @ encoding: [0x96,0x5b]
340 @------------------------------------------------------------------------------
342 @------------------------------------------------------------------------------
346 @ CHECK: ldrsb r6, [r2, r6] @ encoding: [0x96,0x57]
347 @ CHECK: ldrsh r3, [r7, r1] @ encoding: [0x7b,0x5e]
350 @------------------------------------------------------------------------------
352 @------------------------------------------------------------------------------
359 @ CHECK: lsls r4, r5, #0 @ encoding: [0x2c,0x00]
360 @ CHECK: lsls r4, r5, #4 @ encoding: [0x2c,0x01]
361 @ CHECK: lsls r3, r3, #12 @ encoding: [0x1b,0x03]
362 @ CHECK: lsls r3, r3, #12 @ encoding: [0x1b,0x03]
363 @ CHECK: lsls r1, r3, #12 @ encoding: [0x19,0x03]
366 @------------------------------------------------------------------------------
368 @------------------------------------------------------------------------------
371 @ CHECK: lsls r2, r6 @ encoding: [0xb2,0x40]
374 @------------------------------------------------------------------------------
376 @------------------------------------------------------------------------------
383 @ CHECK: lsrs r1, r3, #1 @ encoding: [0x59,0x08]
384 @ CHECK: lsrs r1, r3, #32 @ encoding: [0x19,0x08]
385 @ CHECK: lsrs r4, r4, #20 @ encoding: [0x24,0x0d]
386 @ CHECK: lsrs r4, r4, #20 @ encoding: [0x24,0x0d]
387 @ CHECK: lsrs r2, r4, #20 @ encoding: [0x22,0x0d]
390 @------------------------------------------------------------------------------
392 @------------------------------------------------------------------------------
395 @ CHECK: lsrs r2, r6 @ encoding: [0xf2,0x40]
398 @------------------------------------------------------------------------------
400 @------------------------------------------------------------------------------
405 @ CHECK: movs r2, #0 @ encoding: [0x00,0x22]
406 @ CHECK: movs r2, #255 @ encoding: [0xff,0x22]
407 @ CHECK: movs r2, #23 @ encoding: [0x17,0x22]
410 @------------------------------------------------------------------------------
412 @------------------------------------------------------------------------------
416 @ CHECK: mov r3, r4 @ encoding: [0x23,0x46]
417 @ CHECK: movs r1, r3 @ encoding: [0x19,0x00]
420 @------------------------------------------------------------------------------
422 @------------------------------------------------------------------------------
427 @ CHECK: muls r1, r2, r1 @ encoding: [0x51,0x43]
428 @ CHECK: muls r2, r3, r2 @ encoding: [0x5a,0x43]
429 @ CHECK: muls r3, r4, r3 @ encoding: [0x63,0x43]
432 @------------------------------------------------------------------------------
434 @------------------------------------------------------------------------------
437 @ CHECK: mvns r6, r3 @ encoding: [0xde,0x43]
440 @------------------------------------------------------------------------------
442 @------------------------------------------------------------------------------
445 @ CHECK: rsbs r3, r4, #0 @ encoding: [0x63,0x42]
447 @------------------------------------------------------------------------------
449 @------------------------------------------------------------------------------
452 @ CHECK-ERRORS: orrs r3, r4 @ encoding: [0x23,0x43]
455 @------------------------------------------------------------------------------
457 @------------------------------------------------------------------------------
460 @ CHECK: pop {r2, r3, r6} @ encoding: [0x4c,0xbc]
463 @------------------------------------------------------------------------------
465 @------------------------------------------------------------------------------
468 @ CHECK: push {r1, r2, r7} @ encoding: [0x86,0xb4]
471 @------------------------------------------------------------------------------
473 @------------------------------------------------------------------------------
478 @ CHECK: rev r6, r3 @ encoding: [0x1e,0xba]
479 @ CHECK: rev16 r7, r2 @ encoding: [0x57,0xba]
480 @ CHECK: revsh r5, r1 @ encoding: [0xcd,0xba]
483 @------------------------------------------------------------------------------
485 @------------------------------------------------------------------------------
488 @ CHECK: rors r2, r7 @ encoding: [0xfa,0x41]
491 @------------------------------------------------------------------------------
493 @------------------------------------------------------------------------------
496 @ CHECK: rsbs r1, r3, #0 @ encoding: [0x59,0x42]
499 @------------------------------------------------------------------------------
501 @------------------------------------------------------------------------------
504 @ CHECK: sbcs r4, r3 @ encoding: [0x9c,0x41]
507 @------------------------------------------------------------------------------
509 @------------------------------------------------------------------------------
513 @ CHECK: setend be @ encoding: [0x58,0xb6]
514 @ CHECK: setend le @ encoding: [0x50,0xb6]
517 @------------------------------------------------------------------------------
519 @------------------------------------------------------------------------------
521 stm r1!, {r1, r2, r3, r7}
523 @ CHECK: stm r1!, {r2, r6} @ encoding: [0x44,0xc1]
524 @ CHECK: stm r1!, {r1, r2, r3, r7} @ encoding: [0x8e,0xc1]
527 @------------------------------------------------------------------------------
529 @------------------------------------------------------------------------------
539 @ CHECK: str r2, [r7] @ encoding: [0x3a,0x60]
540 @ CHECK: str r2, [r7] @ encoding: [0x3a,0x60]
541 @ CHECK: str r5, [r1, #4] @ encoding: [0x4d,0x60]
542 @ CHECK: str r3, [r7, #124] @ encoding: [0xfb,0x67]
543 @ CHECK: str r2, [sp] @ encoding: [0x00,0x92]
544 @ CHECK: str r3, [sp] @ encoding: [0x00,0x93]
545 @ CHECK: str r4, [sp, #20] @ encoding: [0x05,0x94]
546 @ CHECK: str r5, [sp, #1020] @ encoding: [0xff,0x95]
549 @------------------------------------------------------------------------------
551 @------------------------------------------------------------------------------
554 @ CHECK: str r2, [r7, r3] @ encoding: [0xfa,0x50]
557 @------------------------------------------------------------------------------
559 @------------------------------------------------------------------------------
564 @ CHECK: strb r4, [r3] @ encoding: [0x1c,0x70]
565 @ CHECK: strb r5, [r6] @ encoding: [0x35,0x70]
566 @ CHECK: strb r6, [r7, #31] @ encoding: [0xfe,0x77]
569 @------------------------------------------------------------------------------
571 @------------------------------------------------------------------------------
574 @ CHECK: strb r6, [r4, r5] @ encoding: [0x66,0x55]
577 @------------------------------------------------------------------------------
579 @------------------------------------------------------------------------------
584 @ CHECK: strh r3, [r3] @ encoding: [0x1b,0x80]
585 @ CHECK: strh r4, [r6, #2] @ encoding: [0x74,0x80]
586 @ CHECK: strh r5, [r7, #62] @ encoding: [0xfd,0x87]
589 @------------------------------------------------------------------------------
591 @------------------------------------------------------------------------------
594 @ CHECK: strh r6, [r2, r6] @ encoding: [0x96,0x53]
597 @------------------------------------------------------------------------------
599 @------------------------------------------------------------------------------
604 @ CHECK: subs r1, r2, #3 @ encoding: [0xd1,0x1e]
605 @ CHECK: subs r2, #3 @ encoding: [0x03,0x3a]
606 @ CHECK: subs r2, #8 @ encoding: [0x08,0x3a]
609 @------------------------------------------------------------------------------
610 @ SUB (SP minus immediate)
611 @------------------------------------------------------------------------------
615 @ CHECK: sub sp, #12 @ encoding: [0x83,0xb0]
616 @ CHECK: sub sp, #508 @ encoding: [0xff,0xb0]
619 @------------------------------------------------------------------------------
621 @------------------------------------------------------------------------------
624 @ CHECK: subs r1, r2, r3 @ encoding: [0xd1,0x1a]
627 @------------------------------------------------------------------------------
629 @------------------------------------------------------------------------------
633 @ CHECK: svc #0 @ encoding: [0x00,0xdf]
634 @ CHECK: svc #255 @ encoding: [0xff,0xdf]
637 @------------------------------------------------------------------------------
639 @------------------------------------------------------------------------------
643 @ CHECK: sxtb r3, r5 @ encoding: [0x6b,0xb2]
644 @ CHECK: sxth r3, r5 @ encoding: [0x2b,0xb2]
647 @------------------------------------------------------------------------------
649 @------------------------------------------------------------------------------
652 @ CHECK: tst r6, r1 @ encoding: [0x0e,0x42]
655 @------------------------------------------------------------------------------
657 @------------------------------------------------------------------------------
661 @ CHECK: uxtb r7, r2 @ encoding: [0xd7,0xb2]
662 @ CHECK: uxth r1, r4 @ encoding: [0xa1,0xb2]