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
10 @ Check that the assembler can handle the documented syntax from the ARM ARM.
11 @ For complex constructs like shifter operands, check more thoroughly for them
12 @ once then spot check that following instructions accept the form generally.
13 @ This gives us good coverage while keeping the overall size of the test
17 @ FIXME: Some 3-operand instructions have a 2-operand assembly syntax.
22 @------------------------------------------------------------------------------
24 @------------------------------------------------------------------------------
27 @ CHECK: adcs r4, r6 @ encoding: [0x74,0x41]
30 @------------------------------------------------------------------------------
32 @------------------------------------------------------------------------------
34 @ When Rd is not explicitly specified, encoding T2 is preferred even though
35 @ the literal is in the range [0,7] which would allow encoding T1.
39 @ CHECK: adds r1, r2, #3 @ encoding: [0xd1,0x1c]
40 @ CHECK: adds r2, #3 @ encoding: [0x03,0x32]
41 @ CHECK: adds r2, #8 @ encoding: [0x08,0x32]
44 @------------------------------------------------------------------------------
46 @------------------------------------------------------------------------------
50 @ CHECK: adds r1, r2, r3 @ encoding: [0xd1,0x18]
51 @ CHECK: add r2, r8 @ encoding: [0x42,0x44]
54 @------------------------------------------------------------------------------
55 @ ADD (SP plus immediate)
56 @------------------------------------------------------------------------------
63 @ CHECK: add sp, #4 @ encoding: [0x01,0xb0]
64 @ CHECK: add sp, #508 @ encoding: [0x7f,0xb0]
65 @ CHECK: add sp, #4 @ encoding: [0x01,0xb0]
66 @ CHECK: add r2, sp, #8 @ encoding: [0x02,0xaa]
67 @ CHECK: add r2, sp, #1020 @ encoding: [0xff,0xaa]
70 @------------------------------------------------------------------------------
71 @ ADD (SP plus register)
72 @------------------------------------------------------------------------------
76 @ CHECK: add sp, r3 @ encoding: [0x9d,0x44]
77 @ CHECK: add r2, sp, r2 @ encoding: [0x6a,0x44]
80 @------------------------------------------------------------------------------
82 @------------------------------------------------------------------------------
86 @ CHECK: adr r2, _baz @ encoding: [A,0xa2]
87 @ fixup A - offset: 0, value: _baz, kind: fixup_thumb_adr_pcrel_10
88 @ CHECK: adr r2, #3 @ encoding: [0x03,0xa2]
90 @------------------------------------------------------------------------------
92 @------------------------------------------------------------------------------
97 @ CHECK: asrs r2, r3, #32 @ encoding: [0x1a,0x10]
98 @ CHECK: asrs r2, r3, #5 @ encoding: [0x5a,0x11]
99 @ CHECK: asrs r2, r3, #1 @ encoding: [0x5a,0x10]
102 @------------------------------------------------------------------------------
104 @------------------------------------------------------------------------------
107 @ CHECK: asrs r5, r2 @ encoding: [0x15,0x41]
110 @------------------------------------------------------------------------------
112 @------------------------------------------------------------------------------
120 @ CHECK: b _baz @ encoding: [A,0xe0'A']
121 @ fixup A - offset: 0, value: _baz, kind: fixup_arm_thumb_br
122 @ CHECK: beq _bar @ encoding: [A,0xd0]
123 @ fixup A - offset: 0, value: _bar, kind: fixup_arm_thumb_bcc
124 @ CHECK: b #1838 @ encoding: [0x97,0xe3]
125 @ CHECK: b #-420 @ encoding: [0x2e,0xe7]
126 @ CHECK: beq #336 @ encoding: [0xa8,0xd0]
127 @ CHECK: beq #160 @ encoding: [0x50,0xd0]
129 @------------------------------------------------------------------------------
131 @------------------------------------------------------------------------------
135 @ CHECK: blx #884800 @ encoding: [0xd8,0xf0,0x20,0xe8]
136 @ CHECK: blx #1769600 @ encoding: [0xb0,0xf1,0x40,0xe8]
138 @------------------------------------------------------------------------------
140 @------------------------------------------------------------------------------
143 @ CHECK: bics r1, r6 @ encoding: [0xb1,0x43]
146 @------------------------------------------------------------------------------
148 @------------------------------------------------------------------------------
152 @ CHECK: bkpt #0 @ encoding: [0x00,0xbe]
153 @ CHECK: bkpt #255 @ encoding: [0xff,0xbe]
156 @------------------------------------------------------------------------------
158 @------------------------------------------------------------------------------
162 @ CHECK: bl _bar @ encoding: [A,0xf0'A',A,0xf8'A']
163 @ fixup A - offset: 0, value: _bar, kind: fixup_arm_thumb_bl
164 @ CHECK: blx _baz @ encoding: [A,0xf0'A',A,0xe8'A']
165 @ fixup A - offset: 0, value: _baz, kind: fixup_arm_thumb_blx
168 @------------------------------------------------------------------------------
170 @------------------------------------------------------------------------------
173 @ CHECK: blx r4 @ encoding: [0xa0,0x47]
176 @------------------------------------------------------------------------------
178 @------------------------------------------------------------------------------
181 @ CHECK: bx r2 @ encoding: [0x10,0x47]
184 @------------------------------------------------------------------------------
186 @------------------------------------------------------------------------------
190 @ CHECK: cmn r5, r1 @ encoding: [0xcd,0x42]
193 @------------------------------------------------------------------------------
195 @------------------------------------------------------------------------------
200 @ CHECK: cmp r6, #32 @ encoding: [0x20,0x2e]
201 @ CHECK: cmp r3, r4 @ encoding: [0xa3,0x42]
202 @ CHECK: cmp r8, r1 @ encoding: [0x88,0x45]
204 @------------------------------------------------------------------------------
206 @------------------------------------------------------------------------------
209 @ CHECK: eors r4, r5 @ encoding: [0x6c,0x40]
212 @------------------------------------------------------------------------------
214 @------------------------------------------------------------------------------
215 ldm r3, {r0, r1, r2, r3, r4, r5, r6, r7}
216 ldm r2!, {r1, r3, r4, r5, r7}
219 @ CHECK: ldm r3, {r0, r1, r2, r3, r4, r5, r6, r7} @ encoding: [0xff,0xcb]
220 @ CHECK: ldm r2!, {r1, r3, r4, r5, r7} @ encoding: [0xba,0xca]
221 @ CHECK: ldm r1, {r1} @ encoding: [0x02,0xc9]
224 @------------------------------------------------------------------------------
226 @------------------------------------------------------------------------------
235 @ CHECK: ldr r1, [r5] @ encoding: [0x29,0x68]
236 @ CHECK: ldr r2, [r6, #32] @ encoding: [0x32,0x6a]
237 @ CHECK: ldr r3, [r7, #124] @ encoding: [0xfb,0x6f]
238 @ CHECK: ldr r1, [sp] @ encoding: [0x00,0x99]
239 @ CHECK: ldr r2, [sp, #24] @ encoding: [0x06,0x9a]
240 @ CHECK: ldr r3, [sp, #1020] @ encoding: [0xff,0x9b]
243 @------------------------------------------------------------------------------
245 @------------------------------------------------------------------------------
250 @ CHECK: ldr r1, _foo @ encoding: [A,0x49]
251 @ fixup A - offset: 0, value: _foo, kind: fixup_arm_thumb_cp
252 @ CHECK: ldr r3, #604 @ encoding: [0x97,0x4b]
253 @ CHECK: ldr r3, #368 @ encoding: [0x5c,0x4b]
255 @------------------------------------------------------------------------------
257 @------------------------------------------------------------------------------
260 @ CHECK: ldr r1, [r2, r3] @ encoding: [0xd1,0x58]
263 @------------------------------------------------------------------------------
265 @------------------------------------------------------------------------------
270 @ CHECK: ldrb r4, [r3] @ encoding: [0x1c,0x78]
271 @ CHECK: ldrb r5, [r6] @ encoding: [0x35,0x78]
272 @ CHECK: ldrb r6, [r7, #31] @ encoding: [0xfe,0x7f]
275 @------------------------------------------------------------------------------
277 @------------------------------------------------------------------------------
280 @ CHECK: ldrb r6, [r4, r5] @ encoding: [0x66,0x5d]
283 @------------------------------------------------------------------------------
285 @------------------------------------------------------------------------------
290 @ CHECK: ldrh r3, [r3] @ encoding: [0x1b,0x88]
291 @ CHECK: ldrh r4, [r6, #2] @ encoding: [0x74,0x88]
292 @ CHECK: ldrh r5, [r7, #62] @ encoding: [0xfd,0x8f]
295 @------------------------------------------------------------------------------
297 @------------------------------------------------------------------------------
300 @ CHECK: ldrh r6, [r2, r6] @ encoding: [0x96,0x5b]
303 @------------------------------------------------------------------------------
305 @------------------------------------------------------------------------------
309 @ CHECK: ldrsb r6, [r2, r6] @ encoding: [0x96,0x57]
310 @ CHECK: ldrsh r3, [r7, r1] @ encoding: [0x7b,0x5e]
313 @------------------------------------------------------------------------------
315 @------------------------------------------------------------------------------
319 @ CHECK: lsls r4, r5, #0 @ encoding: [0x2c,0x00]
320 @ CHECK: lsls r4, r5, #4 @ encoding: [0x2c,0x01]
323 @------------------------------------------------------------------------------
325 @------------------------------------------------------------------------------
328 @ CHECK: lsls r2, r6 @ encoding: [0xb2,0x40]
331 @------------------------------------------------------------------------------
333 @------------------------------------------------------------------------------
337 @ CHECK: lsrs r1, r3, #1 @ encoding: [0x59,0x08]
338 @ CHECK: lsrs r1, r3, #32 @ encoding: [0x19,0x08]
341 @------------------------------------------------------------------------------
343 @------------------------------------------------------------------------------
346 @ CHECK: lsrs r2, r6 @ encoding: [0xf2,0x40]
349 @------------------------------------------------------------------------------
351 @------------------------------------------------------------------------------
356 @ CHECK: movs r2, #0 @ encoding: [0x00,0x22]
357 @ CHECK: movs r2, #255 @ encoding: [0xff,0x22]
358 @ CHECK: movs r2, #23 @ encoding: [0x17,0x22]
361 @------------------------------------------------------------------------------
363 @------------------------------------------------------------------------------
367 @ CHECK: mov r3, r4 @ encoding: [0x23,0x46]
368 @ CHECK: movs r1, r3 @ encoding: [0x19,0x00]
371 @------------------------------------------------------------------------------
373 @------------------------------------------------------------------------------
378 @ CHECK: muls r1, r2, r1 @ encoding: [0x51,0x43]
379 @ CHECK: muls r2, r3, r2 @ encoding: [0x5a,0x43]
380 @ CHECK: muls r3, r4, r3 @ encoding: [0x63,0x43]
383 @------------------------------------------------------------------------------
385 @------------------------------------------------------------------------------
388 @ CHECK: mvns r6, r3 @ encoding: [0xde,0x43]
391 @------------------------------------------------------------------------------
393 @------------------------------------------------------------------------------
396 @ CHECK: rsbs r3, r4, #0 @ encoding: [0x63,0x42]
398 @------------------------------------------------------------------------------
400 @------------------------------------------------------------------------------
403 @ CHECK-ERRORS: orrs r3, r4 @ encoding: [0x23,0x43]
406 @------------------------------------------------------------------------------
408 @------------------------------------------------------------------------------
411 @ CHECK: pop {r2, r3, r6} @ encoding: [0x4c,0xbc]
414 @------------------------------------------------------------------------------
416 @------------------------------------------------------------------------------
419 @ CHECK: push {r1, r2, r7} @ encoding: [0x86,0xb4]
422 @------------------------------------------------------------------------------
424 @------------------------------------------------------------------------------
429 @ CHECK: rev r6, r3 @ encoding: [0x1e,0xba]
430 @ CHECK: rev16 r7, r2 @ encoding: [0x57,0xba]
431 @ CHECK: revsh r5, r1 @ encoding: [0xcd,0xba]
434 @------------------------------------------------------------------------------
436 @------------------------------------------------------------------------------
439 @ CHECK: rors r2, r7 @ encoding: [0xfa,0x41]
442 @------------------------------------------------------------------------------
444 @------------------------------------------------------------------------------
447 @ CHECK: rsbs r1, r3, #0 @ encoding: [0x59,0x42]
450 @------------------------------------------------------------------------------
452 @------------------------------------------------------------------------------
455 @ CHECK: sbcs r4, r3 @ encoding: [0x9c,0x41]
458 @------------------------------------------------------------------------------
460 @------------------------------------------------------------------------------
464 @ CHECK: setend be @ encoding: [0x58,0xb6]
465 @ CHECK: setend le @ encoding: [0x50,0xb6]
468 @------------------------------------------------------------------------------
470 @------------------------------------------------------------------------------
472 stm r1!, {r1, r2, r3, r7}
474 @ CHECK: stm r1!, {r2, r6} @ encoding: [0x44,0xc1]
475 @ CHECK: stm r1!, {r1, r2, r3, r7} @ encoding: [0x8e,0xc1]
478 @------------------------------------------------------------------------------
480 @------------------------------------------------------------------------------
490 @ CHECK: str r2, [r7] @ encoding: [0x3a,0x60]
491 @ CHECK: str r2, [r7] @ encoding: [0x3a,0x60]
492 @ CHECK: str r5, [r1, #4] @ encoding: [0x4d,0x60]
493 @ CHECK: str r3, [r7, #124] @ encoding: [0xfb,0x67]
494 @ CHECK: str r2, [sp] @ encoding: [0x00,0x92]
495 @ CHECK: str r3, [sp] @ encoding: [0x00,0x93]
496 @ CHECK: str r4, [sp, #20] @ encoding: [0x05,0x94]
497 @ CHECK: str r5, [sp, #1020] @ encoding: [0xff,0x95]
500 @------------------------------------------------------------------------------
502 @------------------------------------------------------------------------------
505 @ CHECK: str r2, [r7, r3] @ encoding: [0xfa,0x50]
508 @------------------------------------------------------------------------------
510 @------------------------------------------------------------------------------
515 @ CHECK: strb r4, [r3] @ encoding: [0x1c,0x70]
516 @ CHECK: strb r5, [r6] @ encoding: [0x35,0x70]
517 @ CHECK: strb r6, [r7, #31] @ encoding: [0xfe,0x77]
520 @------------------------------------------------------------------------------
522 @------------------------------------------------------------------------------
525 @ CHECK: strb r6, [r4, r5] @ encoding: [0x66,0x55]
528 @------------------------------------------------------------------------------
530 @------------------------------------------------------------------------------
535 @ CHECK: strh r3, [r3] @ encoding: [0x1b,0x80]
536 @ CHECK: strh r4, [r6, #2] @ encoding: [0x74,0x80]
537 @ CHECK: strh r5, [r7, #62] @ encoding: [0xfd,0x87]
540 @------------------------------------------------------------------------------
542 @------------------------------------------------------------------------------
545 @ CHECK: strh r6, [r2, r6] @ encoding: [0x96,0x53]
548 @------------------------------------------------------------------------------
550 @------------------------------------------------------------------------------
555 @ CHECK: subs r1, r2, #3 @ encoding: [0xd1,0x1e]
556 @ CHECK: subs r2, #3 @ encoding: [0x03,0x3a]
557 @ CHECK: subs r2, #8 @ encoding: [0x08,0x3a]
560 @------------------------------------------------------------------------------
561 @ SUB (SP minus immediate)
562 @------------------------------------------------------------------------------
566 @ CHECK: sub sp, #12 @ encoding: [0x83,0xb0]
567 @ CHECK: sub sp, #508 @ encoding: [0xff,0xb0]
570 @------------------------------------------------------------------------------
572 @------------------------------------------------------------------------------
575 @ CHECK: subs r1, r2, r3 @ encoding: [0xd1,0x1a]
578 @------------------------------------------------------------------------------
580 @------------------------------------------------------------------------------
584 @ CHECK: svc #0 @ encoding: [0x00,0xdf]
585 @ CHECK: svc #255 @ encoding: [0xff,0xdf]
588 @------------------------------------------------------------------------------
590 @------------------------------------------------------------------------------
594 @ CHECK: sxtb r3, r5 @ encoding: [0x6b,0xb2]
595 @ CHECK: sxth r3, r5 @ encoding: [0x2b,0xb2]
598 @------------------------------------------------------------------------------
600 @------------------------------------------------------------------------------
603 @ CHECK: tst r6, r1 @ encoding: [0x0e,0x42]
606 @------------------------------------------------------------------------------
608 @------------------------------------------------------------------------------
612 @ CHECK: uxtb r7, r2 @ encoding: [0xd7,0xb2]
613 @ CHECK: uxth r1, r4 @ encoding: [0xa1,0xb2]
616 @------------------------------------------------------------------------------
618 @------------------------------------------------------------------------------
623 @ CHECK: wfe @ encoding: [0x20,0xbf]
624 @ CHECK: wfi @ encoding: [0x30,0xbf]
625 @ CHECK: yield @ encoding: [0x10,0xbf]