1 @ RUN: llvm-mc -triple=thumbv6-apple-darwin -show-encoding < %s | FileCheck %s
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
12 @ FIXME: Some 3-operand instructions have a 2-operand assembly syntax.
17 @------------------------------------------------------------------------------
19 @------------------------------------------------------------------------------
22 @ CHECK: adcs r4, r6 @ encoding: [0x74,0x41]
25 @------------------------------------------------------------------------------
27 @------------------------------------------------------------------------------
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]
37 @------------------------------------------------------------------------------
39 @------------------------------------------------------------------------------
43 @ CHECK: adds r1, r2, r3 @ encoding: [0xd1,0x18]
44 @ CHECK: add r2, r8 @ encoding: [0x42,0x44]
47 @------------------------------------------------------------------------------
48 @ ADD (SP plus immediate)
49 @------------------------------------------------------------------------------
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]
63 @------------------------------------------------------------------------------
64 @ ADD (SP plus register)
65 @------------------------------------------------------------------------------
69 @ CHECK: add sp, r3 @ encoding: [0x9d,0x44]
70 @ CHECK: add r2, sp, r2 @ encoding: [0x6a,0x44]
73 @------------------------------------------------------------------------------
75 @------------------------------------------------------------------------------
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]
83 @------------------------------------------------------------------------------
85 @------------------------------------------------------------------------------
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]
95 @------------------------------------------------------------------------------
97 @------------------------------------------------------------------------------
100 @ CHECK: asrs r5, r2 @ encoding: [0x15,0x41]
103 @------------------------------------------------------------------------------
105 @------------------------------------------------------------------------------
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]
118 @------------------------------------------------------------------------------
120 @------------------------------------------------------------------------------
123 @ CHECK: bics r1, r6 @ encoding: [0xb1,0x43]
126 @------------------------------------------------------------------------------
128 @------------------------------------------------------------------------------
132 @ CHECK: bkpt #0 @ encoding: [0x00,0xbe]
133 @ CHECK: bkpt #255 @ encoding: [0xff,0xbe]
136 @------------------------------------------------------------------------------
138 @------------------------------------------------------------------------------
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
148 @------------------------------------------------------------------------------
150 @------------------------------------------------------------------------------
153 @ CHECK: blx r4 @ encoding: [0xa0,0x47]
156 @------------------------------------------------------------------------------
158 @------------------------------------------------------------------------------
161 @ CHECK: bx r2 @ encoding: [0x10,0x47]
164 @------------------------------------------------------------------------------
166 @------------------------------------------------------------------------------
170 @ CHECK: cmn r5, r1 @ encoding: [0xcd,0x42]
173 @------------------------------------------------------------------------------
175 @------------------------------------------------------------------------------
180 @ CHECK: cmp r6, #32 @ encoding: [0x20,0x2e]
181 @ CHECK: cmp r3, r4 @ encoding: [0xa3,0x42]
182 @ CHECK: cmp r8, r1 @ encoding: [0x88,0x45]
184 @------------------------------------------------------------------------------
186 @------------------------------------------------------------------------------
189 @ CHECK: eors r4, r5 @ encoding: [0x6c,0x40]
192 @------------------------------------------------------------------------------
194 @------------------------------------------------------------------------------
195 ldm r3, {r0, r1, r2, r3, r4, r5, r6, r7}
196 ldm r2!, {r1, r3, r4, r5, r7}
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]
204 @------------------------------------------------------------------------------
206 @------------------------------------------------------------------------------
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]
223 @------------------------------------------------------------------------------
225 @------------------------------------------------------------------------------
228 @ CHECK: ldr r1, _foo @ encoding: [A,0x49]
229 @ fixup A - offset: 0, value: _foo, kind: fixup_arm_thumb_cp
232 @------------------------------------------------------------------------------
234 @------------------------------------------------------------------------------
237 @ CHECK: ldr r1, [r2, r3] @ encoding: [0xd1,0x58]
240 @------------------------------------------------------------------------------
242 @------------------------------------------------------------------------------
247 @ CHECK: ldrb r4, [r3] @ encoding: [0x1c,0x78]
248 @ CHECK: ldrb r5, [r6] @ encoding: [0x35,0x78]
249 @ CHECK: ldrb r6, [r7, #31] @ encoding: [0xfe,0x7f]
252 @------------------------------------------------------------------------------
254 @------------------------------------------------------------------------------
257 @ CHECK: ldrb r6, [r4, r5] @ encoding: [0x66,0x5d]
260 @------------------------------------------------------------------------------
262 @------------------------------------------------------------------------------
267 @ CHECK: ldrh r3, [r3] @ encoding: [0x1b,0x88]
268 @ CHECK: ldrh r4, [r6, #2] @ encoding: [0x74,0x88]
269 @ CHECK: ldrh r5, [r7, #62] @ encoding: [0xfd,0x8f]
272 @------------------------------------------------------------------------------
274 @------------------------------------------------------------------------------
277 @ CHECK: ldrh r6, [r2, r6] @ encoding: [0x96,0x5b]
280 @------------------------------------------------------------------------------
282 @------------------------------------------------------------------------------
286 @ CHECK: ldrsb r6, [r2, r6] @ encoding: [0x96,0x57]
287 @ CHECK: ldrsh r3, [r7, r1] @ encoding: [0x7b,0x5e]
290 @------------------------------------------------------------------------------
292 @------------------------------------------------------------------------------
296 @ CHECK: lsls r4, r5, #0 @ encoding: [0x2c,0x00]
297 @ CHECK: lsls r4, r5, #4 @ encoding: [0x2c,0x01]
300 @------------------------------------------------------------------------------
302 @------------------------------------------------------------------------------
305 @ CHECK: lsls r2, r6 @ encoding: [0xb2,0x40]
308 @------------------------------------------------------------------------------
310 @------------------------------------------------------------------------------
314 @ CHECK: lsrs r1, r3, #1 @ encoding: [0x59,0x08]
315 @ CHECK: lsrs r1, r3, #32 @ encoding: [0x19,0x08]
318 @------------------------------------------------------------------------------
320 @------------------------------------------------------------------------------
323 @ CHECK: lsrs r2, r6 @ encoding: [0xf2,0x40]
326 @------------------------------------------------------------------------------
328 @------------------------------------------------------------------------------
333 @ CHECK: movs r2, #0 @ encoding: [0x00,0x22]
334 @ CHECK: movs r2, #255 @ encoding: [0xff,0x22]
335 @ CHECK: movs r2, #23 @ encoding: [0x17,0x22]
338 @------------------------------------------------------------------------------
340 @------------------------------------------------------------------------------
344 @ CHECK: mov r3, r4 @ encoding: [0x23,0x46]
345 @ CHECK: movs r1, r3 @ encoding: [0x19,0x00]
348 @------------------------------------------------------------------------------
350 @------------------------------------------------------------------------------
354 @ CHECK: muls r1, r2, r1 @ encoding: [0x51,0x43]
355 @ CHECK: muls r3, r4, r3 @ encoding: [0x63,0x43]
358 @------------------------------------------------------------------------------
360 @------------------------------------------------------------------------------
363 @ CHECK: mvns r6, r3 @ encoding: [0xde,0x43]
366 @------------------------------------------------------------------------------
368 @------------------------------------------------------------------------------
371 @ CHECK: rsbs r3, r4, #0 @ encoding: [0x63,0x42]
374 @------------------------------------------------------------------------------
376 @------------------------------------------------------------------------------
379 @ CHECK: nop @ encoding: [0xc0,0x46]
382 @------------------------------------------------------------------------------
384 @------------------------------------------------------------------------------
387 @ CHECK-ERRORS: orrs r3, r4 @ encoding: [0x23,0x43]
390 @------------------------------------------------------------------------------
392 @------------------------------------------------------------------------------
395 @ CHECK: pop {r2, r3, r6} @ encoding: [0x4c,0xbc]
398 @------------------------------------------------------------------------------
400 @------------------------------------------------------------------------------
403 @ CHECK: push {r1, r2, r7} @ encoding: [0x86,0xb4]
406 @------------------------------------------------------------------------------
408 @------------------------------------------------------------------------------
413 @ CHECK: rev r6, r3 @ encoding: [0x1e,0xba]
414 @ CHECK: rev16 r7, r2 @ encoding: [0x57,0xba]
415 @ CHECK: revsh r5, r1 @ encoding: [0xcd,0xba]
418 @------------------------------------------------------------------------------
420 @------------------------------------------------------------------------------
423 @ CHECK: rors r2, r7 @ encoding: [0xfa,0x41]
426 @------------------------------------------------------------------------------
428 @------------------------------------------------------------------------------
431 @ CHECK: rsbs r1, r3, #0 @ encoding: [0x59,0x42]
434 @------------------------------------------------------------------------------
436 @------------------------------------------------------------------------------
439 @ CHECK: sbcs r4, r3 @ encoding: [0x9c,0x41]
442 @------------------------------------------------------------------------------
444 @------------------------------------------------------------------------------
448 @ CHECK: setend be @ encoding: [0x58,0xb6]
449 @ CHECK: setend le @ encoding: [0x50,0xb6]
452 @------------------------------------------------------------------------------
454 @------------------------------------------------------------------------------
456 stm r1!, {r1, r2, r3, r7}
458 @ CHECK: stm r1!, {r2, r6} @ encoding: [0x44,0xc1]
459 @ CHECK: stm r1!, {r1, r2, r3, r7} @ encoding: [0x8e,0xc1]
462 @------------------------------------------------------------------------------
464 @------------------------------------------------------------------------------
474 @ CHECK: str r2, [r7] @ encoding: [0x3a,0x60]
475 @ CHECK: str r2, [r7] @ encoding: [0x3a,0x60]
476 @ CHECK: str r5, [r1, #4] @ encoding: [0x4d,0x60]
477 @ CHECK: str r3, [r7, #124] @ encoding: [0xfb,0x67]
478 @ CHECK: str r2, [sp] @ encoding: [0x00,0x92]
479 @ CHECK: str r3, [sp] @ encoding: [0x00,0x93]
480 @ CHECK: str r4, [sp, #20] @ encoding: [0x05,0x94]
481 @ CHECK: str r5, [sp, #1020] @ encoding: [0xff,0x95]
484 @------------------------------------------------------------------------------
486 @------------------------------------------------------------------------------
489 @ CHECK: str r2, [r7, r3] @ encoding: [0xfa,0x50]
492 @------------------------------------------------------------------------------
494 @------------------------------------------------------------------------------
499 @ CHECK: strb r4, [r3] @ encoding: [0x1c,0x70]
500 @ CHECK: strb r5, [r6] @ encoding: [0x35,0x70]
501 @ CHECK: strb r6, [r7, #31] @ encoding: [0xfe,0x77]
504 @------------------------------------------------------------------------------
506 @------------------------------------------------------------------------------
509 @ CHECK: strb r6, [r4, r5] @ encoding: [0x66,0x55]
512 @------------------------------------------------------------------------------
514 @------------------------------------------------------------------------------
519 @ CHECK: strh r3, [r3] @ encoding: [0x1b,0x80]
520 @ CHECK: strh r4, [r6, #2] @ encoding: [0x74,0x80]
521 @ CHECK: strh r5, [r7, #62] @ encoding: [0xfd,0x87]
524 @------------------------------------------------------------------------------
526 @------------------------------------------------------------------------------
529 @ CHECK: strh r6, [r2, r6] @ encoding: [0x96,0x53]
532 @------------------------------------------------------------------------------
534 @------------------------------------------------------------------------------
539 @ CHECK: subs r1, r2, #3 @ encoding: [0xd1,0x1e]
540 @ CHECK: subs r2, #3 @ encoding: [0x03,0x3a]
541 @ CHECK: subs r2, #8 @ encoding: [0x08,0x3a]
544 @------------------------------------------------------------------------------
545 @ SUB (SP minus immediate)
546 @------------------------------------------------------------------------------
550 @ CHECK: sub sp, #12 @ encoding: [0x83,0xb0]
551 @ CHECK: sub sp, #508 @ encoding: [0xff,0xb0]
554 @------------------------------------------------------------------------------
556 @------------------------------------------------------------------------------
559 @ CHECK: subs r1, r2, r3 @ encoding: [0xd1,0x1a]
562 @------------------------------------------------------------------------------
564 @------------------------------------------------------------------------------
568 @ CHECK: svc #0 @ encoding: [0x00,0xdf]
569 @ CHECK: svc #255 @ encoding: [0xff,0xdf]
572 @------------------------------------------------------------------------------
574 @------------------------------------------------------------------------------
578 @ CHECK: sxtb r3, r5 @ encoding: [0x6b,0xb2]
579 @ CHECK: sxth r3, r5 @ encoding: [0x2b,0xb2]
582 @------------------------------------------------------------------------------
584 @------------------------------------------------------------------------------
587 @ CHECK: tst r6, r1 @ encoding: [0x0e,0x42]
590 @------------------------------------------------------------------------------
592 @------------------------------------------------------------------------------
596 @ CHECK: uxtb r7, r2 @ encoding: [0xd7,0xb2]
597 @ CHECK: uxth r1, r4 @ encoding: [0xa1,0xb2]
600 @------------------------------------------------------------------------------
602 @------------------------------------------------------------------------------
607 @ CHECK: wfe @ encoding: [0x20,0xbf]
608 @ CHECK: wfi @ encoding: [0x30,0xbf]
609 @ CHECK: yield @ encoding: [0x10,0xbf]