1 @ RUN: llvm-mc -triple=thumbv7-apple-darwin -mcpu=cortex-a8 -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 @------------------------------------------------------------------------------
23 adc r3, r7, #0x00550055
24 adc r8, r12, #0xaa00aa00
25 adc r9, r7, #0xa5a5a5a5
26 adc r5, r3, #0x87000000
27 adc r4, r2, #0x7f800000
28 adc r4, r2, #0x00000680
30 @ CHECK: adc r0, r1, #4 @ encoding: [0x41,0xf1,0x04,0x00]
31 @ CHECK: adcs r0, r1, #0 @ encoding: [0x51,0xf1,0x00,0x00]
32 @ CHECK: adc r1, r2, #255 @ encoding: [0x42,0xf1,0xff,0x01]
33 @ CHECK: adc r3, r7, #5570645 @ encoding: [0x47,0xf1,0x55,0x13]
34 @ CHECK: adc r8, r12, #2852170240 @ encoding: [0x4c,0xf1,0xaa,0x28]
35 @ CHECK: adc r9, r7, #2779096485 @ encoding: [0x47,0xf1,0xa5,0x39]
36 @ CHECK: adc r5, r3, #2264924160 @ encoding: [0x43,0xf1,0x07,0x45]
37 @ CHECK: adc r4, r2, #2139095040 @ encoding: [0x42,0xf1,0xff,0x44]
38 @ CHECK: adc r4, r2, #1664 @ encoding: [0x42,0xf5,0xd0,0x64]
40 @------------------------------------------------------------------------------
42 @------------------------------------------------------------------------------
47 adc r0, r1, r3, ror #4
48 adcs r0, r1, r3, lsl #7
49 adc.w r0, r1, r3, lsr #31
50 adcs.w r0, r1, r3, asr #32
53 @ CHECK: adc.w r4, r5, r6 @ encoding: [0x45,0xeb,0x06,0x04]
54 @ CHECK: adcs.w r4, r5, r6 @ encoding: [0x55,0xeb,0x06,0x04]
55 @ CHECK: adc.w r9, r1, r3 @ encoding: [0x41,0xeb,0x03,0x09]
56 @ CHECK: adcs.w r9, r1, r3 @ encoding: [0x51,0xeb,0x03,0x09]
57 @ CHECK: adc.w r0, r1, r3, ror #4 @ encoding: [0x41,0xeb,0x33,0x10]
58 @ CHECK: adcs.w r0, r1, r3, lsl #7 @ encoding: [0x51,0xeb,0xc3,0x10]
59 @ CHECK: adc.w r0, r1, r3, lsr #31 @ encoding: [0x41,0xeb,0xd3,0x70]
60 @ CHECK: adcs.w r0, r1, r3, asr #32 @ encoding: [0x51,0xeb,0x23,0x00]
61 @ CHECK: add.w r2, sp, r12 @ encoding: [0x0d,0xeb,0x0c,0x02]
64 @------------------------------------------------------------------------------
66 @------------------------------------------------------------------------------
82 add r1, r7, #0xcbcbcbcb
83 add sp, sp, #0x1fe0000
91 @ CHECK: itet eq @ encoding: [0x0a,0xbf]
92 @ CHECK: addeq r1, r2, #4 @ encoding: [0x11,0x1d]
93 @ CHECK: addwne r5, r3, #1023 @ encoding: [0x03,0xf2,0xff,0x35]
94 @ CHECK: addweq r4, r5, #293 @ encoding: [0x05,0xf2,0x25,0x14]
95 @ CHECK: add.w r2, sp, #1024 @ encoding: [0x0d,0xf5,0x80,0x62]
96 @ CHECK: add.w r2, r8, #65280 @ encoding: [0x08,0xf5,0x7f,0x42]
97 @ CHECK: addw r2, r3, #257 @ encoding: [0x03,0xf2,0x01,0x12]
98 @ CHECK: addw r2, r3, #257 @ encoding: [0x03,0xf2,0x01,0x12]
99 @ CHECK: add.w r12, r6, #256 @ encoding: [0x06,0xf5,0x80,0x7c]
100 @ CHECK: addw r12, r6, #256 @ encoding: [0x06,0xf2,0x00,0x1c]
101 @ CHECK: adds.w r1, r2, #496 @ encoding: [0x12,0xf5,0xf8,0x71]
102 @ CHECK: add.w r2, r2, #1 @ encoding: [0x02,0xf1,0x01,0x02]
103 @ CHECK: add.w r0, r0, #32 @ encoding: [0x00,0xf1,0x20,0x00]
104 @ CHECK: adds r2, #56 @ encoding: [0x38,0x32]
105 @ CHECK: adds r2, #56 @ encoding: [0x38,0x32]
106 @ CHECK: add.w r1, r7, #3419130827 @ encoding: [0x07,0xf1,0xcb,0x31]
107 @ CHECK: add.w sp, sp, #33423360 @ encoding: [0x0d,0xf1,0xff,0x7d]
109 @ CHECK: subs.w r2, r2, #16 @ encoding: [0xb2,0xf1,0x10,0x02]
110 @ CHECK: subs.w r2, r2, #16 @ encoding: [0xb2,0xf1,0x10,0x02]
111 @ CHECK: subw r2, r2, #16 @ encoding: [0xa2,0xf2,0x10,0x02]
112 @ CHECK: subw r2, r2, #16 @ encoding: [0xa2,0xf2,0x10,0x02]
113 @ CHECK: subw r2, r2, #16 @ encoding: [0xa2,0xf2,0x10,0x02]
116 @------------------------------------------------------------------------------
118 @------------------------------------------------------------------------------
120 add r5, r9, r2, asr #32
121 adds r7, r3, r1, lsl #31
122 adds.w r0, r3, r6, lsr #25
123 add.w r4, r8, r1, ror #12
127 @ CHECK: add.w r1, r2, r8 @ encoding: [0x02,0xeb,0x08,0x01]
128 @ CHECK: add.w r5, r9, r2, asr #32 @ encoding: [0x09,0xeb,0x22,0x05]
129 @ CHECK: adds.w r7, r3, r1, lsl #31 @ encoding: [0x13,0xeb,0xc1,0x77]
130 @ CHECK: adds.w r0, r3, r6, lsr #25 @ encoding: [0x13,0xeb,0x56,0x60]
131 @ CHECK: add.w r4, r8, r1, ror #12 @ encoding: [0x08,0xeb,0x31,0x34]
132 @ CHECK: add r10, r8 @ encoding: [0xc2,0x44]
133 @ CHECK: add r10, r8 @ encoding: [0xc2,0x44]
136 @------------------------------------------------------------------------------
138 @------------------------------------------------------------------------------
145 @ CHECK: subw r11, pc, #3270 @ encoding: [0xaf,0xf6,0xc6,0x4b]
146 @ CHECK: adr.w r2, #3 @ encoding: [0x0f,0xf2,0x03,0x02]
147 @ CHECK: adr.w r11, #-826 @ encoding: [0xaf,0xf2,0x3a,0x3b]
148 @ CHECK: adr.w r1, #-0 @ encoding: [0xaf,0xf2,0x00,0x01]
150 @------------------------------------------------------------------------------
152 @------------------------------------------------------------------------------
157 and r5, r4, #0xffffffff
158 ands r1, r9, #0xffffffff
160 @ CHECK: and r2, r5, #1044480 @ encoding: [0x05,0xf4,0x7f,0x22]
161 @ CHECK: ands r3, r12, #15 @ encoding: [0x1c,0xf0,0x0f,0x03]
162 @ CHECK: and r1, r1, #255 @ encoding: [0x01,0xf0,0xff,0x01]
163 @ CHECK: and r1, r1, #255 @ encoding: [0x01,0xf0,0xff,0x01]
164 @ CHECK: and r5, r4, #4294967295 @ encoding: [0x04,0xf0,0xff,0x35]
165 @ CHECK: ands r1, r9, #4294967295 @ encoding: [0x19,0xf0,0xff,0x31]
167 @------------------------------------------------------------------------------
169 @------------------------------------------------------------------------------
171 and r1, r4, r8, asr #3
172 ands r2, r1, r7, lsl #1
173 ands.w r4, r5, r2, lsr #20
174 and.w r9, r12, r1, ror #17
176 @ CHECK: and.w r4, r9, r8 @ encoding: [0x09,0xea,0x08,0x04]
177 @ CHECK: and.w r1, r4, r8, asr #3 @ encoding: [0x04,0xea,0xe8,0x01]
178 @ CHECK: ands.w r2, r1, r7, lsl #1 @ encoding: [0x11,0xea,0x47,0x02]
179 @ CHECK: ands.w r4, r5, r2, lsr #20 @ encoding: [0x15,0xea,0x12,0x54]
180 @ CHECK: and.w r9, r12, r1, ror #17 @ encoding: [0x0c,0xea,0x71,0x49]
182 @------------------------------------------------------------------------------
184 @------------------------------------------------------------------------------
196 @ CHECK: asr.w r2, r3, #12 @ encoding: [0x4f,0xea,0x23,0x32]
197 @ CHECK: asrs.w r8, r3, #32 @ encoding: [0x5f,0xea,0x23,0x08]
198 @ CHECK: asrs.w r2, r3, #1 @ encoding: [0x5f,0xea,0x63,0x02]
199 @ CHECK: asr.w r2, r3, #4 @ encoding: [0x4f,0xea,0x23,0x12]
200 @ CHECK: asrs.w r2, r12, #15 @ encoding: [0x5f,0xea,0xec,0x32]
202 @ CHECK: asr.w r3, r3, #19 @ encoding: [0x4f,0xea,0xe3,0x43]
203 @ CHECK: asrs.w r8, r8, #2 @ encoding: [0x5f,0xea,0xa8,0x08]
204 @ CHECK: asrs.w r7, r7, #5 @ encoding: [0x5f,0xea,0x67,0x17]
205 @ CHECK: asr.w r12, r12, #21 @ encoding: [0x4f,0xea,0x6c,0x5c]
208 @------------------------------------------------------------------------------
210 @------------------------------------------------------------------------------
215 @ CHECK: asr.w r3, r4, r2 @ encoding: [0x44,0xfa,0x02,0xf3]
216 @ CHECK: asr.w r1, r1, r2 @ encoding: [0x41,0xfa,0x02,0xf1]
217 @ CHECK: asrs.w r3, r4, r8 @ encoding: [0x54,0xfa,0x08,0xf3]
220 @------------------------------------------------------------------------------
222 @------------------------------------------------------------------------------
229 @ CHECK: b.w _bar @ encoding: [A,0xf0'A',A,0x90'A']
230 @ fixup A - offset: 0, value: _bar, kind: fixup_t2_uncondbranch
231 @ CHECK: beq.w _bar @ encoding: [A,0xf0'A',A,0x80'A']
232 @ fixup A - offset: 0, value: _bar, kind: fixup_t2_condbranch
233 @ CHECK: it eq @ encoding: [0x08,0xbf]
234 @ CHECK: beq.w _bar @ encoding: [A,0xf0'A',A,0x90'A']
235 @ fixup A - offset: 0, value: _bar, kind: fixup_t2_uncondbranch
236 @ CHECK: bmi.w #-183396 @ encoding: [0x13,0xf5,0xce,0xa9]
239 @------------------------------------------------------------------------------
241 @------------------------------------------------------------------------------
246 @ CHECK: bfc r5, #3, #17 @ encoding: [0x6f,0xf3,0xd3,0x05]
247 @ CHECK: it lo @ encoding: [0x38,0xbf]
248 @ CHECK: bfclo r5, #3, #17 @ encoding: [0x6f,0xf3,0xd3,0x05]
251 @------------------------------------------------------------------------------
253 @------------------------------------------------------------------------------
256 bfine r5, r2, #3, #17
258 @ CHECK: bfi r5, r2, #3, #17 @ encoding: [0x62,0xf3,0xd3,0x05]
259 @ CHECK: it ne @ encoding: [0x18,0xbf]
260 @ CHECK: bfine r5, r2, #3, #17 @ encoding: [0x62,0xf3,0xd3,0x05]
263 @------------------------------------------------------------------------------
265 @------------------------------------------------------------------------------
267 bic r5, r2, #0xffffffff
268 bics r11, r10, #0xffffffff
270 bic r11, r2, r6, lsl #12
271 bic r8, r4, r1, lsr #11
272 bic r7, r5, r7, lsr #15
273 bic r6, r7, r9, asr #32
274 bic r5, r6, r8, ror #1
276 @ destination register is optional
285 @ CHECK: bic r10, r1, #15 @ encoding: [0x21,0xf0,0x0f,0x0a]
286 @ CHECK: bic r5, r2, #4294967295 @ encoding: [0x22,0xf0,0xff,0x35]
287 @ CHECK: bics r11, r10, #4294967295 @ encoding: [0x3a,0xf0,0xff,0x3b]
288 @ CHECK: bic.w r12, r3, r6 @ encoding: [0x23,0xea,0x06,0x0c]
289 @ CHECK: bic.w r11, r2, r6, lsl #12 @ encoding: [0x22,0xea,0x06,0x3b]
290 @ CHECK: bic.w r8, r4, r1, lsr #11 @ encoding: [0x24,0xea,0xd1,0x28]
291 @ CHECK: bic.w r7, r5, r7, lsr #15 @ encoding: [0x25,0xea,0xd7,0x37]
292 @ CHECK: bic.w r6, r7, r9, asr #32 @ encoding: [0x27,0xea,0x29,0x06]
293 @ CHECK: bic.w r5, r6, r8, ror #1 @ encoding: [0x26,0xea,0x78,0x05]
295 @ CHECK: bic r1, r1, #15 @ encoding: [0x21,0xf0,0x0f,0x01]
296 @ CHECK: bic.w r1, r1, r1 @ encoding: [0x21,0xea,0x01,0x01]
297 @ CHECK: bic.w r4, r4, r2, lsl #31 @ encoding: [0x24,0xea,0xc2,0x74]
298 @ CHECK: bic.w r6, r6, r3, lsr #12 @ encoding: [0x26,0xea,0x13,0x36]
299 @ CHECK: bic.w r7, r7, r4, lsr #7 @ encoding: [0x27,0xea,0xd4,0x17]
300 @ CHECK: bic.w r8, r8, r5, asr #15 @ encoding: [0x28,0xea,0xe5,0x38]
301 @ CHECK: bic.w r12, r12, r6, ror #29 @ encoding: [0x2c,0xea,0x76,0x7c]
303 @------------------------------------------------------------------------------
305 @------------------------------------------------------------------------------
309 @ CHECK: it pl @ encoding: [0x58,0xbf]
310 @ CHECK: bkpt #234 @ encoding: [0xea,0xbe]
312 @------------------------------------------------------------------------------
314 @------------------------------------------------------------------------------
319 @ CHECK: bxj r5 @ encoding: [0xc5,0xf3,0x00,0x8f]
320 @ CHECK: it ne @ encoding: [0x18,0xbf]
321 @ CHECK: bxjne r7 @ encoding: [0xc7,0xf3,0x00,0x8f]
324 @------------------------------------------------------------------------------
326 @------------------------------------------------------------------------------
332 @ CHECK: cbnz r7, #6 @ encoding: [0x1f,0xb9]
333 @ CHECK: cbnz r7, #12 @ encoding: [0x37,0xb9]
334 @ CHECK: cbz r6, _bar @ encoding: [0x06'A',0xb1'A']
335 @ fixup A - offset: 0, value: _bar, kind: fixup_arm_thumb_cb
336 @ CHECK: cbnz r6, _bar @ encoding: [0x06'A',0xb9'A']
337 @ fixup A - offset: 0, value: _bar, kind: fixup_arm_thumb_cb
340 @------------------------------------------------------------------------------
342 @------------------------------------------------------------------------------
343 cdp p7, #1, c1, c1, c1, #4
344 cdp2 p7, #1, c1, c1, c1, #4
346 @ CHECK: cdp p7, #1, c1, c1, c1, #4 @ encoding: [0x11,0xee,0x81,0x17]
347 @ CHECK: cdp2 p7, #1, c1, c1, c1, #4 @ encoding: [0x11,0xfe,0x81,0x17]
350 @------------------------------------------------------------------------------
352 @------------------------------------------------------------------------------
357 @ CHECK: clrex @ encoding: [0xbf,0xf3,0x2f,0x8f]
358 @ CHECK: it ne @ encoding: [0x18,0xbf]
359 @ CHECK: clrexne @ encoding: [0xbf,0xf3,0x2f,0x8f]
362 @------------------------------------------------------------------------------
364 @------------------------------------------------------------------------------
369 @ CHECK: clz r1, r2 @ encoding: [0xb2,0xfa,0x82,0xf1]
370 @ CHECK: it eq @ encoding: [0x08,0xbf]
371 @ CHECK: clzeq r1, r2 @ encoding: [0xb2,0xfa,0x82,0xf1]
374 @------------------------------------------------------------------------------
376 @------------------------------------------------------------------------------
385 @ CHECK: cmn.w r1, #15 @ encoding: [0x11,0xf1,0x0f,0x0f]
386 @ CHECK: cmn.w r8, r6 @ encoding: [0x18,0xeb,0x06,0x0f]
387 @ CHECK: cmn.w r1, r6, lsl #10 @ encoding: [0x11,0xeb,0x86,0x2f]
388 @ CHECK: cmn.w r1, r6, lsr #10 @ encoding: [0x11,0xeb,0x96,0x2f]
389 @ CHECK: cmn.w sp, r6, lsr #10 @ encoding: [0x1d,0xeb,0x96,0x2f]
390 @ CHECK: cmn.w r1, r6, asr #10 @ encoding: [0x11,0xeb,0xa6,0x2f]
391 @ CHECK: cmn.w r1, r6, ror #10 @ encoding: [0x11,0xeb,0xb6,0x2f]
394 @------------------------------------------------------------------------------
396 @------------------------------------------------------------------------------
407 @ CHECK: cmp.w r5, #65280 @ encoding: [0xb5,0xf5,0x7f,0x4f]
408 @ CHECK: cmp.w r4, r12 @ encoding: [0xb4,0xeb,0x0c,0x0f]
409 @ CHECK: cmp.w r9, r6, lsl #12 @ encoding: [0xb9,0xeb,0x06,0x3f]
410 @ CHECK: cmp.w r3, r7, lsr #31 @ encoding: [0xb3,0xeb,0xd7,0x7f]
411 @ CHECK: cmp.w sp, r6, lsr #1 @ encoding: [0xbd,0xeb,0x56,0x0f]
412 @ CHECK: cmp.w r2, r5, asr #24 @ encoding: [0xb2,0xeb,0x25,0x6f]
413 @ CHECK: cmp.w r1, r4, ror #15 @ encoding: [0xb1,0xeb,0xf4,0x3f]
414 @ CHECK: cmn.w r2, #2 @ encoding: [0x12,0xf1,0x02,0x0f]
415 @ CHECK: cmp.w r9, #1 @ encoding: [0xb9,0xf1,0x01,0x0f]
417 @------------------------------------------------------------------------------
419 @------------------------------------------------------------------------------
432 @ CHECK: cpsie f @ encoding: [0x61,0xb6]
433 @ CHECK: cpsid a @ encoding: [0x74,0xb6]
434 @ CHECK: cpsie.w f @ encoding: [0xaf,0xf3,0x20,0x84]
435 @ CHECK: cpsid.w a @ encoding: [0xaf,0xf3,0x80,0x86]
436 @ CHECK: cpsie i, #3 @ encoding: [0xaf,0xf3,0x43,0x85]
437 @ CHECK: cpsie i, #3 @ encoding: [0xaf,0xf3,0x43,0x85]
438 @ CHECK: cpsid f, #9 @ encoding: [0xaf,0xf3,0x29,0x87]
439 @ CHECK: cpsid f, #9 @ encoding: [0xaf,0xf3,0x29,0x87]
440 @ CHECK: cps #0 @ encoding: [0xaf,0xf3,0x00,0x81]
441 @ CHECK: cps #0 @ encoding: [0xaf,0xf3,0x00,0x81]
443 @------------------------------------------------------------------------------
445 @------------------------------------------------------------------------------
450 @ CHECK: dbg #5 @ encoding: [0xaf,0xf3,0xf5,0x80]
451 @ CHECK: dbg #0 @ encoding: [0xaf,0xf3,0xf0,0x80]
452 @ CHECK: dbg #15 @ encoding: [0xaf,0xf3,0xff,0x80]
455 @------------------------------------------------------------------------------
457 @------------------------------------------------------------------------------
489 @ CHECK: dmb sy @ encoding: [0xbf,0xf3,0x5f,0x8f]
490 @ CHECK: dmb st @ encoding: [0xbf,0xf3,0x5e,0x8f]
491 @ CHECK: dmb #0xd @ encoding: [0xbf,0xf3,0x5d,0x8f]
492 @ CHECK: dmb #0xc @ encoding: [0xbf,0xf3,0x5c,0x8f]
493 @ CHECK: dmb ish @ encoding: [0xbf,0xf3,0x5b,0x8f]
494 @ CHECK: dmb ishst @ encoding: [0xbf,0xf3,0x5a,0x8f]
495 @ CHECK: dmb #0x9 @ encoding: [0xbf,0xf3,0x59,0x8f]
496 @ CHECK: dmb #0x8 @ encoding: [0xbf,0xf3,0x58,0x8f]
497 @ CHECK: dmb nsh @ encoding: [0xbf,0xf3,0x57,0x8f]
498 @ CHECK: dmb nshst @ encoding: [0xbf,0xf3,0x56,0x8f]
499 @ CHECK: dmb #0x5 @ encoding: [0xbf,0xf3,0x55,0x8f]
500 @ CHECK: dmb #0x4 @ encoding: [0xbf,0xf3,0x54,0x8f]
501 @ CHECK: dmb osh @ encoding: [0xbf,0xf3,0x53,0x8f]
502 @ CHECK: dmb oshst @ encoding: [0xbf,0xf3,0x52,0x8f]
503 @ CHECK: dmb #0x1 @ encoding: [0xbf,0xf3,0x51,0x8f]
504 @ CHECK: dmb #0x0 @ encoding: [0xbf,0xf3,0x50,0x8f]
506 @ CHECK: dmb sy @ encoding: [0xbf,0xf3,0x5f,0x8f]
507 @ CHECK: dmb st @ encoding: [0xbf,0xf3,0x5e,0x8f]
508 @ CHECK: dmb ish @ encoding: [0xbf,0xf3,0x5b,0x8f]
509 @ CHECK: dmb ish @ encoding: [0xbf,0xf3,0x5b,0x8f]
510 @ CHECK: dmb ishst @ encoding: [0xbf,0xf3,0x5a,0x8f]
511 @ CHECK: dmb ishst @ encoding: [0xbf,0xf3,0x5a,0x8f]
512 @ CHECK: dmb nsh @ encoding: [0xbf,0xf3,0x57,0x8f]
513 @ CHECK: dmb nsh @ encoding: [0xbf,0xf3,0x57,0x8f]
514 @ CHECK: dmb nshst @ encoding: [0xbf,0xf3,0x56,0x8f]
515 @ CHECK: dmb nshst @ encoding: [0xbf,0xf3,0x56,0x8f]
516 @ CHECK: dmb osh @ encoding: [0xbf,0xf3,0x53,0x8f]
517 @ CHECK: dmb oshst @ encoding: [0xbf,0xf3,0x52,0x8f]
518 @ CHECK: dmb sy @ encoding: [0xbf,0xf3,0x5f,0x8f]
521 @------------------------------------------------------------------------------
523 @------------------------------------------------------------------------------
555 @ CHECK: dsb sy @ encoding: [0xbf,0xf3,0x4f,0x8f]
556 @ CHECK: dsb st @ encoding: [0xbf,0xf3,0x4e,0x8f]
557 @ CHECK: dsb #0xd @ encoding: [0xbf,0xf3,0x4d,0x8f]
558 @ CHECK: dsb #0xc @ encoding: [0xbf,0xf3,0x4c,0x8f]
559 @ CHECK: dsb ish @ encoding: [0xbf,0xf3,0x4b,0x8f]
560 @ CHECK: dsb ishst @ encoding: [0xbf,0xf3,0x4a,0x8f]
561 @ CHECK: dsb #0x9 @ encoding: [0xbf,0xf3,0x49,0x8f]
562 @ CHECK: dsb #0x8 @ encoding: [0xbf,0xf3,0x48,0x8f]
563 @ CHECK: dsb nsh @ encoding: [0xbf,0xf3,0x47,0x8f]
564 @ CHECK: dsb nshst @ encoding: [0xbf,0xf3,0x46,0x8f]
565 @ CHECK: dsb #0x5 @ encoding: [0xbf,0xf3,0x45,0x8f]
566 @ CHECK: dsb #0x4 @ encoding: [0xbf,0xf3,0x44,0x8f]
567 @ CHECK: dsb osh @ encoding: [0xbf,0xf3,0x43,0x8f]
568 @ CHECK: dsb oshst @ encoding: [0xbf,0xf3,0x42,0x8f]
569 @ CHECK: dsb #0x1 @ encoding: [0xbf,0xf3,0x41,0x8f]
570 @ CHECK: dsb #0x0 @ encoding: [0xbf,0xf3,0x40,0x8f]
572 @ CHECK: dsb sy @ encoding: [0xbf,0xf3,0x4f,0x8f]
573 @ CHECK: dsb st @ encoding: [0xbf,0xf3,0x4e,0x8f]
574 @ CHECK: dsb ish @ encoding: [0xbf,0xf3,0x4b,0x8f]
575 @ CHECK: dsb ish @ encoding: [0xbf,0xf3,0x4b,0x8f]
576 @ CHECK: dsb ishst @ encoding: [0xbf,0xf3,0x4a,0x8f]
577 @ CHECK: dsb ishst @ encoding: [0xbf,0xf3,0x4a,0x8f]
578 @ CHECK: dsb nsh @ encoding: [0xbf,0xf3,0x47,0x8f]
579 @ CHECK: dsb nsh @ encoding: [0xbf,0xf3,0x47,0x8f]
580 @ CHECK: dsb nshst @ encoding: [0xbf,0xf3,0x46,0x8f]
581 @ CHECK: dsb nshst @ encoding: [0xbf,0xf3,0x46,0x8f]
582 @ CHECK: dsb osh @ encoding: [0xbf,0xf3,0x43,0x8f]
583 @ CHECK: dsb oshst @ encoding: [0xbf,0xf3,0x42,0x8f]
584 @ CHECK: dsb sy @ encoding: [0xbf,0xf3,0x4f,0x8f]
587 @------------------------------------------------------------------------------
589 @------------------------------------------------------------------------------
592 eor r4, r5, r6, lsl #5
593 eor r4, r5, r6, lsr #5
594 eor r4, r5, r6, lsr #5
595 eor r4, r5, r6, asr #5
596 eor r4, r5, r6, ror #5
598 @ CHECK: eor r4, r5, #61440 @ encoding: [0x85,0xf4,0x70,0x44]
599 @ CHECK: eor.w r4, r5, r6 @ encoding: [0x85,0xea,0x06,0x04]
600 @ CHECK: eor.w r4, r5, r6, lsl #5 @ encoding: [0x85,0xea,0x46,0x14]
601 @ CHECK: eor.w r4, r5, r6, lsr #5 @ encoding: [0x85,0xea,0x56,0x14]
602 @ CHECK: eor.w r4, r5, r6, lsr #5 @ encoding: [0x85,0xea,0x56,0x14]
603 @ CHECK: eor.w r4, r5, r6, asr #5 @ encoding: [0x85,0xea,0x66,0x14]
604 @ CHECK: eor.w r4, r5, r6, ror #5 @ encoding: [0x85,0xea,0x76,0x14]
607 @------------------------------------------------------------------------------
609 @------------------------------------------------------------------------------
615 @ CHECK: isb sy @ encoding: [0xbf,0xf3,0x6f,0x8f]
616 @ CHECK: isb sy @ encoding: [0xbf,0xf3,0x6f,0x8f]
617 @ CHECK: isb sy @ encoding: [0xbf,0xf3,0x6f,0x8f]
618 @ CHECK: isb #0x1 @ encoding: [0xbf,0xf3,0x61,0x8f]
621 @------------------------------------------------------------------------------
623 @------------------------------------------------------------------------------
624 @ Test encodings of a few full IT blocks, not just the IT instruction
632 @ CHECK: iteet eq @ encoding: [0x0d,0xbf]
633 @ CHECK: addeq r0, r1, r2 @ encoding: [0x88,0x18]
634 @ CHECK: nopne @ encoding: [0x00,0xbf]
635 @ CHECK: subne r5, r6, r7 @ encoding: [0xf5,0x1b]
636 @ CHECK: addeq r1, r2, #4 @ encoding: [0x11,0x1d]
638 @ Should also work for UPPER CASE condition codes.
646 @ CHECK: iteet eq @ encoding: [0x0d,0xbf]
647 @ CHECK: addeq r0, r1, r2 @ encoding: [0x88,0x18]
648 @ CHECK: nopne @ encoding: [0x00,0xbf]
649 @ CHECK: subne r5, r6, r7 @ encoding: [0xf5,0x1b]
650 @ CHECK: addeq r1, r2, #4 @ encoding: [0x11,0x1d]
652 @------------------------------------------------------------------------------
654 @------------------------------------------------------------------------------
655 ldc2 p0, c8, [r1, #4]
657 ldc2 p2, c6, [r3, #-224]
658 ldc2 p3, c5, [r4, #-120]!
659 ldc2 p4, c4, [r5], #16
660 ldc2 p5, c3, [r6], #-72
661 ldc2l p6, c2, [r7, #4]
663 ldc2l p8, c0, [r9, #-224]
664 ldc2l p9, c1, [r10, #-120]!
665 ldc2l p0, c2, [r11], #16
666 ldc2l p1, c3, [r12], #-72
668 ldc p12, c4, [r0, #4]
670 ldc p14, c6, [r2, #-224]
671 ldc p15, c7, [r3, #-120]!
672 ldc p5, c8, [r4], #16
673 ldc p4, c9, [r5], #-72
674 ldcl p3, c10, [r6, #4]
676 ldcl p1, c12, [r8, #-224]
677 ldcl p0, c13, [r9, #-120]!
678 ldcl p6, c14, [r10], #16
679 ldcl p7, c15, [r11], #-72
681 ldc2 p2, c8, [r1], { 25 }
683 @ CHECK: ldc2 p0, c8, [r1, #4] @ encoding: [0x91,0xfd,0x01,0x80]
684 @ CHECK: ldc2 p1, c7, [r2] @ encoding: [0x92,0xfd,0x00,0x71]
685 @ CHECK: ldc2 p2, c6, [r3, #-224] @ encoding: [0x13,0xfd,0x38,0x62]
686 @ CHECK: ldc2 p3, c5, [r4, #-120]! @ encoding: [0x34,0xfd,0x1e,0x53]
687 @ CHECK: ldc2 p4, c4, [r5], #16 @ encoding: [0xb5,0xfc,0x04,0x44]
688 @ CHECK: ldc2 p5, c3, [r6], #-72 @ encoding: [0x36,0xfc,0x12,0x35]
689 @ CHECK: ldc2l p6, c2, [r7, #4] @ encoding: [0xd7,0xfd,0x01,0x26]
690 @ CHECK: ldc2l p7, c1, [r8] @ encoding: [0xd8,0xfd,0x00,0x17]
691 @ CHECK: ldc2l p8, c0, [r9, #-224] @ encoding: [0x59,0xfd,0x38,0x08]
692 @ CHECK: ldc2l p9, c1, [r10, #-120]! @ encoding: [0x7a,0xfd,0x1e,0x19]
693 @ CHECK: ldc2l p0, c2, [r11], #16 @ encoding: [0xfb,0xfc,0x04,0x20]
694 @ CHECK: ldc2l p1, c3, [r12], #-72 @ encoding: [0x7c,0xfc,0x12,0x31]
696 @ CHECK: ldc p12, c4, [r0, #4] @ encoding: [0x90,0xed,0x01,0x4c]
697 @ CHECK: ldc p13, c5, [r1] @ encoding: [0x91,0xed,0x00,0x5d]
698 @ CHECK: ldc p14, c6, [r2, #-224] @ encoding: [0x12,0xed,0x38,0x6e]
699 @ CHECK: ldc p15, c7, [r3, #-120]! @ encoding: [0x33,0xed,0x1e,0x7f]
700 @ CHECK: ldc p5, c8, [r4], #16 @ encoding: [0xb4,0xec,0x04,0x85]
701 @ CHECK: ldc p4, c9, [r5], #-72 @ encoding: [0x35,0xec,0x12,0x94]
702 @ CHECK: ldcl p3, c10, [r6, #4] @ encoding: [0xd6,0xed,0x01,0xa3]
703 @ CHECK: ldcl p2, c11, [r7] @ encoding: [0xd7,0xed,0x00,0xb2]
704 @ CHECK: ldcl p1, c12, [r8, #-224] @ encoding: [0x58,0xed,0x38,0xc1]
705 @ CHECK: ldcl p0, c13, [r9, #-120]! @ encoding: [0x79,0xed,0x1e,0xd0]
706 @ CHECK: ldcl p6, c14, [r10], #16 @ encoding: [0xfa,0xec,0x04,0xe6]
707 @ CHECK: ldcl p7, c15, [r11], #-72 @ encoding: [0x7b,0xec,0x12,0xf7]
709 @ CHECK: ldc2 p2, c8, [r1], {25} @ encoding: [0x91,0xfc,0x19,0x82]
712 @------------------------------------------------------------------------------
714 @------------------------------------------------------------------------------
715 ldmia.w r4, {r4, r5, r8, r9}
717 ldmia.w r5!, {r3, r8}
718 ldm.w r4, {r4, r5, r8, r9}
724 ldmia r4, {r4, r5, r8, r9}
727 ldm r4, {r4, r5, r8, r9}
731 ldmia sp!, {r4-r11, pc}
733 @ CHECK: ldm.w r4, {r4, r5, r8, r9} @ encoding: [0x94,0xe8,0x30,0x03]
734 @ CHECK: ldm.w r4, {r5, r6} @ encoding: [0x94,0xe8,0x60,0x00]
735 @ CHECK: ldm.w r5!, {r3, r8} @ encoding: [0xb5,0xe8,0x08,0x01]
736 @ CHECK: ldm.w r4, {r4, r5, r8, r9} @ encoding: [0x94,0xe8,0x30,0x03]
737 @ CHECK: ldm.w r4, {r5, r6} @ encoding: [0x94,0xe8,0x60,0x00]
738 @ CHECK: ldm.w r5!, {r3, r8} @ encoding: [0xb5,0xe8,0x08,0x01]
739 @ CHECK: ldm.w r5!, {r1, r2} @ encoding: [0xb5,0xe8,0x06,0x00]
740 @ CHECK: ldm.w r2, {r1, r2} @ encoding: [0x92,0xe8,0x06,0x00]
742 @ CHECK: ldm.w r4, {r4, r5, r8, r9} @ encoding: [0x94,0xe8,0x30,0x03]
743 @ CHECK: ldm.w r4, {r5, r6} @ encoding: [0x94,0xe8,0x60,0x00]
744 @ CHECK: ldm.w r5!, {r3, r8} @ encoding: [0xb5,0xe8,0x08,0x01]
745 @ CHECK: ldm.w r4, {r4, r5, r8, r9} @ encoding: [0x94,0xe8,0x30,0x03]
746 @ CHECK: ldm.w r4, {r5, r6} @ encoding: [0x94,0xe8,0x60,0x00]
747 @ CHECK: ldm.w r5!, {r3, r8} @ encoding: [0xb5,0xe8,0x08,0x01]
748 @ CHECK: ldm.w r5!, {r3, r8} @ encoding: [0xb5,0xe8,0x08,0x01]
749 @ CHECK: pop.w {r4, r5, r6, r7, r8, r9, r10, r11, pc} @ encoding: [0xbd,0xe8,0xf0,0x8f]
752 @------------------------------------------------------------------------------
754 @------------------------------------------------------------------------------
755 ldmdb r4, {r4, r5, r8, r9}
760 ldmdb.w r5!, {r3, r8}
762 @ CHECK: ldmdb r4, {r4, r5, r8, r9} @ encoding: [0x14,0xe9,0x30,0x03]
763 @ CHECK: ldmdb r4, {r5, r6} @ encoding: [0x14,0xe9,0x60,0x00]
764 @ CHECK: ldmdb r5!, {r3, r8} @ encoding: [0x35,0xe9,0x08,0x01]
765 @ CHECK: ldmdb r5!, {r3, r8} @ encoding: [0x35,0xe9,0x08,0x01]
766 @ CHECK: ldmdb r4, {r5, r6} @ encoding: [0x14,0xe9,0x60,0x00]
767 @ CHECK: ldmdb r5!, {r3, r8} @ encoding: [0x35,0xe9,0x08,0x01]
770 @------------------------------------------------------------------------------
772 @------------------------------------------------------------------------------
785 @ CHECK: ldr r5, [r5, #-4] @ encoding: [0x55,0xf8,0x04,0x5c]
786 @ CHECK: ldr r5, [r6, #32] @ encoding: [0x35,0x6a]
787 @ CHECK: ldr.w r5, [r6, #33] @ encoding: [0xd6,0xf8,0x21,0x50]
788 @ CHECK: ldr.w r5, [r6, #257] @ encoding: [0xd6,0xf8,0x01,0x51]
789 @ CHECK: ldr.w pc, [r7, #257] @ encoding: [0xd7,0xf8,0x01,0xf1]
790 @ CHECK: ldr r2, [r4, #255]! @ encoding: [0x54,0xf8,0xff,0x2f]
791 @ CHECK: ldr r8, [sp, #4]! @ encoding: [0x5d,0xf8,0x04,0x8f]
792 @ CHECK: ldr lr, [sp, #-4]! @ encoding: [0x5d,0xf8,0x04,0xed]
793 @ CHECK: ldr r2, [r4], #255 @ encoding: [0x54,0xf8,0xff,0x2b]
794 @ CHECK: ldr r8, [sp], #4 @ encoding: [0x5d,0xf8,0x04,0x8b]
795 @ CHECK: ldr lr, [sp], #-4 @ encoding: [0x5d,0xf8,0x04,0xe9]
798 @------------------------------------------------------------------------------
800 @------------------------------------------------------------------------------
804 @ CHECK: ldr.w r5, _foo @ encoding: [0x5f'A',0xf8'A',A,0x50'A']
805 @ CHECK: @ fixup A - offset: 0, value: _foo, kind: fixup_t2_ldst_pcrel_12
806 @ CHECK: ldr.w lr, _strcmp-4 @ encoding: [0x5f'A',0xf8'A',A,0xe0'A']
807 @ CHECK: @ fixup A - offset: 0, value: _strcmp-4, kind: fixup_t2_ldst_pcrel_12
822 @ CHECK: ldr r7, [pc, #8] @ encoding: [0x02,0x4f]
823 @ CHECK: ldr r7, [pc, #8] @ encoding: [0x02,0x4f]
824 @ CHECK: ldr.w r7, [pc, #8] @ encoding: [0xdf,0xf8,0x08,0x70]
825 @ CHECK: ldr r4, [pc, #1020] @ encoding: [0xff,0x4c]
826 @ CHECK: ldr.w r3, [pc, #-1020] @ encoding: [0x5f,0xf8,0xfc,0x33]
827 @ CHECK: ldr.w r6, [pc, #1024] @ encoding: [0xdf,0xf8,0x00,0x64]
828 @ CHECK: ldr.w r0, [pc, #-1024] @ encoding: [0x5f,0xf8,0x00,0x04]
829 @ CHECK: ldr.w r2, [pc, #4095] @ encoding: [0xdf,0xf8,0xff,0x2f]
830 @ CHECK: ldr.w r1, [pc, #-4095] @ encoding: [0x5f,0xf8,0xff,0x1f]
831 @ CHECK: ldr.w r8, [pc, #132] @ encoding: [0xdf,0xf8,0x84,0x80]
832 @ CHECK: ldr.w pc, [pc, #256] @ encoding: [0xdf,0xf8,0x00,0xf1]
833 @ CHECK: ldr.w pc, [pc, #-400] @ encoding: [0x5f,0xf8,0x90,0xf1]
841 @ CHECK: ldrb.w r9, [pc, #-0] @ encoding: [0x1f,0xf8,0x00,0x90]
842 @ CHECK: ldrsb.w r11, [pc, #-0] @ encoding: [0x1f,0xf9,0x00,0xb0]
843 @ CHECK: ldrh.w r10, [pc, #-0] @ encoding: [0x3f,0xf8,0x00,0xa0]
844 @ CHECK: ldrsh.w r1, [pc, #-0] @ encoding: [0x3f,0xf9,0x00,0x10]
845 @ CHECK: ldr.w r5, [pc, #-0] @ encoding: [0x5f,0xf8,0x00,0x50]
847 @------------------------------------------------------------------------------
849 @------------------------------------------------------------------------------
852 ldr r6, [r0, r2, lsl #3]
853 ldr r8, [r8, r2, lsl #2]
854 ldr r7, [sp, r2, lsl #1]
855 ldr r7, [sp, r2, lsl #0]
857 @ CHECK: ldr.w r1, [r8, r1] @ encoding: [0x58,0xf8,0x01,0x10]
858 @ CHECK: ldr.w r4, [r5, r2] @ encoding: [0x55,0xf8,0x02,0x40]
859 @ CHECK: ldr.w r6, [r0, r2, lsl #3] @ encoding: [0x50,0xf8,0x32,0x60]
860 @ CHECK: ldr.w r8, [r8, r2, lsl #2] @ encoding: [0x58,0xf8,0x22,0x80]
861 @ CHECK: ldr.w r7, [sp, r2, lsl #1] @ encoding: [0x5d,0xf8,0x12,0x70]
862 @ CHECK: ldr.w r7, [sp, r2] @ encoding: [0x5d,0xf8,0x02,0x70]
865 @------------------------------------------------------------------------------
867 @------------------------------------------------------------------------------
872 ldrb.w lr, [r7, #257]
880 @ CHECK: ldrb r5, [r5, #-4] @ encoding: [0x15,0xf8,0x04,0x5c]
881 @ CHECK: ldrb.w r5, [r6, #32] @ encoding: [0x96,0xf8,0x20,0x50]
882 @ CHECK: ldrb.w r5, [r6, #33] @ encoding: [0x96,0xf8,0x21,0x50]
883 @ CHECK: ldrb.w r5, [r6, #257] @ encoding: [0x96,0xf8,0x01,0x51]
884 @ CHECK: ldrb.w lr, [r7, #257] @ encoding: [0x97,0xf8,0x01,0xe1]
885 @ CHECK: ldrb r5, [r8, #255]! @ encoding: [0x18,0xf8,0xff,0x5f]
886 @ CHECK: ldrb r2, [r5, #4]! @ encoding: [0x15,0xf8,0x04,0x2f]
887 @ CHECK: ldrb r1, [r4, #-4]! @ encoding: [0x14,0xf8,0x04,0x1d]
888 @ CHECK: ldrb lr, [r3], #255 @ encoding: [0x13,0xf8,0xff,0xeb]
889 @ CHECK: ldrb r9, [r2], #4 @ encoding: [0x12,0xf8,0x04,0x9b]
890 @ CHECK: ldrb r3, [sp], #-4 @ encoding: [0x1d,0xf8,0x04,0x39]
893 @------------------------------------------------------------------------------
895 @------------------------------------------------------------------------------
898 ldrb r6, [r0, r2, lsl #3]
899 ldrb r8, [r8, r2, lsl #2]
900 ldrb r7, [sp, r2, lsl #1]
901 ldrb r7, [sp, r2, lsl #0]
903 @ CHECK: ldrb.w r1, [r8, r1] @ encoding: [0x18,0xf8,0x01,0x10]
904 @ CHECK: ldrb.w r4, [r5, r2] @ encoding: [0x15,0xf8,0x02,0x40]
905 @ CHECK: ldrb.w r6, [r0, r2, lsl #3] @ encoding: [0x10,0xf8,0x32,0x60]
906 @ CHECK: ldrb.w r8, [r8, r2, lsl #2] @ encoding: [0x18,0xf8,0x22,0x80]
907 @ CHECK: ldrb.w r7, [sp, r2, lsl #1] @ encoding: [0x1d,0xf8,0x12,0x70]
908 @ CHECK: ldrb.w r7, [sp, r2] @ encoding: [0x1d,0xf8,0x02,0x70]
911 @------------------------------------------------------------------------------
913 @------------------------------------------------------------------------------
919 @ CHECK: ldrbt r1, [r2] @ encoding: [0x12,0xf8,0x00,0x1e]
920 @ CHECK: ldrbt r1, [r8] @ encoding: [0x18,0xf8,0x00,0x1e]
921 @ CHECK: ldrbt r1, [r8, #3] @ encoding: [0x18,0xf8,0x03,0x1e]
922 @ CHECK: ldrbt r1, [r8, #255] @ encoding: [0x18,0xf8,0xff,0x1e]
925 @------------------------------------------------------------------------------
927 @------------------------------------------------------------------------------
928 ldrd r3, r5, [r6, #24]
929 ldrd r3, r5, [r6, #24]!
930 ldrd r3, r5, [r6], #4
931 ldrd r3, r5, [r6], #-8
933 ldrd r8, r1, [r3, #0]
934 ldrd r0, r1, [r2, #-0]
935 ldrd r0, r1, [r2, #-0]!
936 ldrd r0, r1, [r2], #-0
938 @ CHECK: ldrd r3, r5, [r6, #24] @ encoding: [0xd6,0xe9,0x06,0x35]
939 @ CHECK: ldrd r3, r5, [r6, #24]! @ encoding: [0xf6,0xe9,0x06,0x35]
940 @ CHECK: ldrd r3, r5, [r6], #4 @ encoding: [0xf6,0xe8,0x01,0x35]
941 @ CHECK: ldrd r3, r5, [r6], #-8 @ encoding: [0x76,0xe8,0x02,0x35]
942 @ CHECK: ldrd r3, r5, [r6] @ encoding: [0xd6,0xe9,0x00,0x35]
943 @ CHECK: ldrd r8, r1, [r3] @ encoding: [0xd3,0xe9,0x00,0x81]
944 @ CHECK: ldrd r0, r1, [r2, #-0] @ encoding: [0x52,0xe9,0x00,0x01]
945 @ CHECK: ldrd r0, r1, [r2, #-0]! @ encoding: [0x72,0xe9,0x00,0x01]
946 @ CHECK: ldrd r0, r1, [r2], #-0 @ encoding: [0x72,0xe8,0x00,0x01]
949 @------------------------------------------------------------------------------
950 @ FIXME: LDRD(literal)
951 @------------------------------------------------------------------------------
954 @------------------------------------------------------------------------------
955 @ LDREX/LDREXB/LDREXH/LDREXD
956 @------------------------------------------------------------------------------
964 @ CHECK: ldrex r1, [r4] @ encoding: [0x54,0xe8,0x00,0x1f]
965 @ CHECK: ldrex r8, [r4] @ encoding: [0x54,0xe8,0x00,0x8f]
966 @ CHECK: ldrex r2, [sp, #128] @ encoding: [0x5d,0xe8,0x20,0x2f]
967 @ CHECK: ldrexb r5, [r7] @ encoding: [0xd7,0xe8,0x4f,0x5f]
968 @ CHECK: ldrexh r9, [r12] @ encoding: [0xdc,0xe8,0x5f,0x9f]
969 @ CHECK: ldrexd r9, r3, [r4] @ encoding: [0xd4,0xe8,0x7f,0x93]
972 @------------------------------------------------------------------------------
974 @------------------------------------------------------------------------------
979 ldrh.w lr, [r7, #257]
987 @ CHECK: ldrh r5, [r5, #-4] @ encoding: [0x35,0xf8,0x04,0x5c]
988 @ CHECK: ldrh r5, [r6, #32] @ encoding: [0x35,0x8c]
989 @ CHECK: ldrh.w r5, [r6, #33] @ encoding: [0xb6,0xf8,0x21,0x50]
990 @ CHECK: ldrh.w r5, [r6, #257] @ encoding: [0xb6,0xf8,0x01,0x51]
991 @ CHECK: ldrh.w lr, [r7, #257] @ encoding: [0xb7,0xf8,0x01,0xe1]
992 @ CHECK: ldrh r5, [r8, #255]! @ encoding: [0x38,0xf8,0xff,0x5f]
993 @ CHECK: ldrh r2, [r5, #4]! @ encoding: [0x35,0xf8,0x04,0x2f]
994 @ CHECK: ldrh r1, [r4, #-4]! @ encoding: [0x34,0xf8,0x04,0x1d]
995 @ CHECK: ldrh lr, [r3], #255 @ encoding: [0x33,0xf8,0xff,0xeb]
996 @ CHECK: ldrh r9, [r2], #4 @ encoding: [0x32,0xf8,0x04,0x9b]
997 @ CHECK: ldrh r3, [sp], #-4 @ encoding: [0x3d,0xf8,0x04,0x39]
1000 @------------------------------------------------------------------------------
1002 @------------------------------------------------------------------------------
1005 ldrh r6, [r0, r2, lsl #3]
1006 ldrh r8, [r8, r2, lsl #2]
1007 ldrh r7, [sp, r2, lsl #1]
1008 ldrh r7, [sp, r2, lsl #0]
1010 @ CHECK: ldrh.w r1, [r8, r1] @ encoding: [0x38,0xf8,0x01,0x10]
1011 @ CHECK: ldrh.w r4, [r5, r2] @ encoding: [0x35,0xf8,0x02,0x40]
1012 @ CHECK: ldrh.w r6, [r0, r2, lsl #3] @ encoding: [0x30,0xf8,0x32,0x60]
1013 @ CHECK: ldrh.w r8, [r8, r2, lsl #2] @ encoding: [0x38,0xf8,0x22,0x80]
1014 @ CHECK: ldrh.w r7, [sp, r2, lsl #1] @ encoding: [0x3d,0xf8,0x12,0x70]
1015 @ CHECK: ldrh.w r7, [sp, r2] @ encoding: [0x3d,0xf8,0x02,0x70]
1018 @------------------------------------------------------------------------------
1020 @------------------------------------------------------------------------------
1023 @ CHECK: ldrh.w r5, _bar @ encoding: [0x3f'A',0xf8'A',A,0x50'A']
1024 @ CHECK: @ fixup A - offset: 0, value: _bar, kind: fixup_t2_ldst_pcrel_12
1027 @------------------------------------------------------------------------------
1029 @------------------------------------------------------------------------------
1033 ldrht r1, [r8, #255]
1035 @ CHECK: ldrht r1, [r2] @ encoding: [0x32,0xf8,0x00,0x1e]
1036 @ CHECK: ldrht r1, [r8] @ encoding: [0x38,0xf8,0x00,0x1e]
1037 @ CHECK: ldrht r1, [r8, #3] @ encoding: [0x38,0xf8,0x03,0x1e]
1038 @ CHECK: ldrht r1, [r8, #255] @ encoding: [0x38,0xf8,0xff,0x1e]
1041 @------------------------------------------------------------------------------
1043 @------------------------------------------------------------------------------
1047 ldrsb r5, [r6, #257]
1048 ldrsb.w lr, [r7, #257]
1050 @ CHECK: ldrsb r5, [r5, #-4] @ encoding: [0x15,0xf9,0x04,0x5c]
1051 @ CHECK: ldrsb.w r5, [r6, #32] @ encoding: [0x96,0xf9,0x20,0x50]
1052 @ CHECK: ldrsb.w r5, [r6, #33] @ encoding: [0x96,0xf9,0x21,0x50]
1053 @ CHECK: ldrsb.w r5, [r6, #257] @ encoding: [0x96,0xf9,0x01,0x51]
1054 @ CHECK: ldrsb.w lr, [r7, #257] @ encoding: [0x97,0xf9,0x01,0xe1]
1057 @------------------------------------------------------------------------------
1059 @------------------------------------------------------------------------------
1061 ldrsb.w r4, [r5, r2]
1062 ldrsb r6, [r0, r2, lsl #3]
1063 ldrsb r8, [r8, r2, lsl #2]
1064 ldrsb r7, [sp, r2, lsl #1]
1065 ldrsb r7, [sp, r2, lsl #0]
1066 ldrsb r5, [r8, #255]!
1068 ldrsb r1, [r4, #-4]!
1069 ldrsb lr, [r3], #255
1073 @ CHECK: ldrsb.w r1, [r8, r1] @ encoding: [0x18,0xf9,0x01,0x10]
1074 @ CHECK: ldrsb.w r4, [r5, r2] @ encoding: [0x15,0xf9,0x02,0x40]
1075 @ CHECK: ldrsb.w r6, [r0, r2, lsl #3] @ encoding: [0x10,0xf9,0x32,0x60]
1076 @ CHECK: ldrsb.w r8, [r8, r2, lsl #2] @ encoding: [0x18,0xf9,0x22,0x80]
1077 @ CHECK: ldrsb.w r7, [sp, r2, lsl #1] @ encoding: [0x1d,0xf9,0x12,0x70]
1078 @ CHECK: ldrsb.w r7, [sp, r2] @ encoding: [0x1d,0xf9,0x02,0x70]
1079 @ CHECK: ldrsb r5, [r8, #255]! @ encoding: [0x18,0xf9,0xff,0x5f]
1080 @ CHECK: ldrsb r2, [r5, #4]! @ encoding: [0x15,0xf9,0x04,0x2f]
1081 @ CHECK: ldrsb r1, [r4, #-4]! @ encoding: [0x14,0xf9,0x04,0x1d]
1082 @ CHECK: ldrsb lr, [r3], #255 @ encoding: [0x13,0xf9,0xff,0xeb]
1083 @ CHECK: ldrsb r9, [r2], #4 @ encoding: [0x12,0xf9,0x04,0x9b]
1084 @ CHECK: ldrsb r3, [sp], #-4 @ encoding: [0x1d,0xf9,0x04,0x39]
1087 @------------------------------------------------------------------------------
1089 @------------------------------------------------------------------------------
1092 @ CHECK: ldrsb.w r5, _bar @ encoding: [0x1f'A',0xf9'A',A,0x50'A']
1093 @ CHECK: @ fixup A - offset: 0, value: _bar, kind: fixup_t2_ldst_pcrel_12
1096 @------------------------------------------------------------------------------
1098 @------------------------------------------------------------------------------
1102 ldrsbt r1, [r8, #255]
1104 @ CHECK: ldrsbt r1, [r2] @ encoding: [0x12,0xf9,0x00,0x1e]
1105 @ CHECK: ldrsbt r1, [r8] @ encoding: [0x18,0xf9,0x00,0x1e]
1106 @ CHECK: ldrsbt r1, [r8, #3] @ encoding: [0x18,0xf9,0x03,0x1e]
1107 @ CHECK: ldrsbt r1, [r8, #255] @ encoding: [0x18,0xf9,0xff,0x1e]
1110 @------------------------------------------------------------------------------
1112 @------------------------------------------------------------------------------
1116 ldrsh r5, [r6, #257]
1117 ldrsh.w lr, [r7, #257]
1119 @ CHECK: ldrsh r5, [r5, #-4] @ encoding: [0x35,0xf9,0x04,0x5c]
1120 @ CHECK: ldrsh.w r5, [r6, #32] @ encoding: [0xb6,0xf9,0x20,0x50]
1121 @ CHECK: ldrsh.w r5, [r6, #33] @ encoding: [0xb6,0xf9,0x21,0x50]
1122 @ CHECK: ldrsh.w r5, [r6, #257] @ encoding: [0xb6,0xf9,0x01,0x51]
1123 @ CHECK: ldrsh.w lr, [r7, #257] @ encoding: [0xb7,0xf9,0x01,0xe1]
1126 @------------------------------------------------------------------------------
1128 @------------------------------------------------------------------------------
1130 ldrsh.w r4, [r5, r2]
1131 ldrsh r6, [r0, r2, lsl #3]
1132 ldrsh r8, [r8, r2, lsl #2]
1133 ldrsh r7, [sp, r2, lsl #1]
1134 ldrsh r7, [sp, r2, lsl #0]
1135 ldrsh r5, [r8, #255]!
1137 ldrsh r1, [r4, #-4]!
1138 ldrsh lr, [r3], #255
1142 @ CHECK: ldrsh.w r1, [r8, r1] @ encoding: [0x38,0xf9,0x01,0x10]
1143 @ CHECK: ldrsh.w r4, [r5, r2] @ encoding: [0x35,0xf9,0x02,0x40]
1144 @ CHECK: ldrsh.w r6, [r0, r2, lsl #3] @ encoding: [0x30,0xf9,0x32,0x60]
1145 @ CHECK: ldrsh.w r8, [r8, r2, lsl #2] @ encoding: [0x38,0xf9,0x22,0x80]
1146 @ CHECK: ldrsh.w r7, [sp, r2, lsl #1] @ encoding: [0x3d,0xf9,0x12,0x70]
1147 @ CHECK: ldrsh.w r7, [sp, r2] @ encoding: [0x3d,0xf9,0x02,0x70]
1148 @ CHECK: ldrsh r5, [r8, #255]! @ encoding: [0x38,0xf9,0xff,0x5f]
1149 @ CHECK: ldrsh r2, [r5, #4]! @ encoding: [0x35,0xf9,0x04,0x2f]
1150 @ CHECK: ldrsh r1, [r4, #-4]! @ encoding: [0x34,0xf9,0x04,0x1d]
1151 @ CHECK: ldrsh lr, [r3], #255 @ encoding: [0x33,0xf9,0xff,0xeb]
1152 @ CHECK: ldrsh r9, [r2], #4 @ encoding: [0x32,0xf9,0x04,0x9b]
1153 @ CHECK: ldrsh r3, [sp], #-4 @ encoding: [0x3d,0xf9,0x04,0x39]
1156 @------------------------------------------------------------------------------
1158 @------------------------------------------------------------------------------
1161 @ CHECK: ldrsh.w r5, _bar @ encoding: [0x3f'A',0xf9'A',A,0x50'A']
1162 @ CHECK: @ fixup A - offset: 0, value: _bar, kind: fixup_t2_ldst_pcrel_12
1164 @ TEMPORARILY DISABLED:
1165 @ ldrsh.w r4, [pc, #1435]
1166 @ : ldrsh.w r4, [pc, #1435] @ encoding: [0x3f,0xf9,0x9b,0x45]
1168 @------------------------------------------------------------------------------
1170 @------------------------------------------------------------------------------
1174 ldrsht r1, [r8, #255]
1176 @ CHECK: ldrsht r1, [r2] @ encoding: [0x32,0xf9,0x00,0x1e]
1177 @ CHECK: ldrsht r1, [r8] @ encoding: [0x38,0xf9,0x00,0x1e]
1178 @ CHECK: ldrsht r1, [r8, #3] @ encoding: [0x38,0xf9,0x03,0x1e]
1179 @ CHECK: ldrsht r1, [r8, #255] @ encoding: [0x38,0xf9,0xff,0x1e]
1182 @------------------------------------------------------------------------------
1184 @------------------------------------------------------------------------------
1190 @ CHECK: ldrt r1, [r2] @ encoding: [0x52,0xf8,0x00,0x1e]
1191 @ CHECK: ldrt r2, [r6] @ encoding: [0x56,0xf8,0x00,0x2e]
1192 @ CHECK: ldrt r3, [r7, #3] @ encoding: [0x57,0xf8,0x03,0x3e]
1193 @ CHECK: ldrt r4, [r9, #255] @ encoding: [0x59,0xf8,0xff,0x4e]
1196 @------------------------------------------------------------------------------
1198 @------------------------------------------------------------------------------
1210 @ CHECK: lsl.w r2, r3, #12 @ encoding: [0x4f,0xea,0x03,0x32]
1211 @ CHECK: lsls.w r8, r3, #31 @ encoding: [0x5f,0xea,0xc3,0x78]
1212 @ CHECK: lsls.w r2, r3, #1 @ encoding: [0x5f,0xea,0x43,0x02]
1213 @ CHECK: lsl.w r2, r3, #4 @ encoding: [0x4f,0xea,0x03,0x12]
1214 @ CHECK: lsls.w r2, r12, #15 @ encoding: [0x5f,0xea,0xcc,0x32]
1216 @ CHECK: lsl.w r3, r3, #19 @ encoding: [0x4f,0xea,0xc3,0x43]
1217 @ CHECK: lsls.w r8, r8, #2 @ encoding: [0x5f,0xea,0x88,0x08]
1218 @ CHECK: lsls.w r7, r7, #5 @ encoding: [0x5f,0xea,0x47,0x17]
1219 @ CHECK: lsl.w r12, r12, #21 @ encoding: [0x4f,0xea,0x4c,0x5c]
1222 @------------------------------------------------------------------------------
1224 @------------------------------------------------------------------------------
1229 @ CHECK: lsl.w r3, r4, r2 @ encoding: [0x04,0xfa,0x02,0xf3]
1230 @ CHECK: lsl.w r1, r1, r2 @ encoding: [0x01,0xfa,0x02,0xf1]
1231 @ CHECK: lsls.w r3, r4, r8 @ encoding: [0x14,0xfa,0x08,0xf3]
1234 @------------------------------------------------------------------------------
1236 @------------------------------------------------------------------------------
1248 @ CHECK: lsr.w r2, r3, #12 @ encoding: [0x4f,0xea,0x13,0x32]
1249 @ CHECK: lsrs.w r8, r3, #32 @ encoding: [0x5f,0xea,0x13,0x08]
1250 @ CHECK: lsrs.w r2, r3, #1 @ encoding: [0x5f,0xea,0x53,0x02]
1251 @ CHECK: lsr.w r2, r3, #4 @ encoding: [0x4f,0xea,0x13,0x12]
1252 @ CHECK: lsrs.w r2, r12, #15 @ encoding: [0x5f,0xea,0xdc,0x32]
1254 @ CHECK: lsr.w r3, r3, #19 @ encoding: [0x4f,0xea,0xd3,0x43]
1255 @ CHECK: lsrs.w r8, r8, #2 @ encoding: [0x5f,0xea,0x98,0x08]
1256 @ CHECK: lsrs.w r7, r7, #5 @ encoding: [0x5f,0xea,0x57,0x17]
1257 @ CHECK: lsr.w r12, r12, #21 @ encoding: [0x4f,0xea,0x5c,0x5c]
1260 @------------------------------------------------------------------------------
1262 @------------------------------------------------------------------------------
1267 @ CHECK: lsr.w r3, r4, r2 @ encoding: [0x24,0xfa,0x02,0xf3]
1268 @ CHECK: lsr.w r1, r1, r2 @ encoding: [0x21,0xfa,0x02,0xf1]
1269 @ CHECK: lsrs.w r3, r4, r8 @ encoding: [0x34,0xfa,0x08,0xf3]
1271 @------------------------------------------------------------------------------
1273 @------------------------------------------------------------------------------
1274 mcr p7, #1, r5, c1, c1, #4
1275 mcr2 p7, #1, r5, c1, c1, #4
1276 mcr p14, #0, r4, c0, c5
1277 mcr2 p4, #2, r2, c1, c3
1279 @ CHECK: mcr p7, #1, r5, c1, c1, #4 @ encoding: [0x21,0xee,0x91,0x57]
1280 @ CHECK: mcr2 p7, #1, r5, c1, c1, #4 @ encoding: [0x21,0xfe,0x91,0x57]
1281 @ CHECK: mcr p14, #0, r4, c0, c5, #0 @ encoding: [0x00,0xee,0x15,0x4e]
1282 @ CHECK: mcr2 p4, #2, r2, c1, c3, #0 @ encoding: [0x41,0xfe,0x13,0x24]
1285 @------------------------------------------------------------------------------
1287 @------------------------------------------------------------------------------
1288 mcrr p7, #15, r5, r4, c1
1289 mcrr2 p7, #15, r5, r4, c1
1291 @ CHECK: mcrr p7, #15, r5, r4, c1 @ encoding: [0x44,0xec,0xf1,0x57]
1292 @ CHECK: mcrr2 p7, #15, r5, r4, c1 @ encoding: [0x44,0xfc,0xf1,0x57]
1295 @------------------------------------------------------------------------------
1297 @------------------------------------------------------------------------------
1301 @ CHECK: mla r1, r2, r3, r4 @ encoding: [0x02,0xfb,0x03,0x41]
1302 @ CHECK: mls r1, r2, r3, r4 @ encoding: [0x02,0xfb,0x13,0x41]
1305 @------------------------------------------------------------------------------
1307 @------------------------------------------------------------------------------
1314 mov.w r0, #0x3fc0000
1316 movs.w r0, #0x3fc0000
1336 @ CHECK: movs r1, #21 @ encoding: [0x15,0x21]
1337 @ CHECK: movs.w r1, #21 @ encoding: [0x5f,0xf0,0x15,0x01]
1338 @ CHECK: movs.w r8, #21 @ encoding: [0x5f,0xf0,0x15,0x08]
1339 @ CHECK: movw r0, #65535 @ encoding: [0x4f,0xf6,0xff,0x70]
1340 @ CHECK: movw r1, #43777 @ encoding: [0x4a,0xf6,0x01,0x31]
1341 @ CHECK: movw r1, #43792 @ encoding: [0x4a,0xf6,0x10,0x31]
1342 @ CHECK: mov.w r0, #66846720 @ encoding: [0x4f,0xf0,0x7f,0x70]
1343 @ CHECK: mov.w r0, #66846720 @ encoding: [0x4f,0xf0,0x7f,0x70]
1344 @ CHECK: movs.w r0, #66846720 @ encoding: [0x5f,0xf0,0x7f,0x70]
1345 @ CHECK: itte eq @ encoding: [0x06,0xbf]
1346 @ CHECK: movseq.w r1, #12 @ encoding: [0x5f,0xf0,0x0c,0x01]
1347 @ CHECK: moveq r1, #12 @ encoding: [0x0c,0x21]
1348 @ CHECK: movne.w r1, #12 @ encoding: [0x4f,0xf0,0x0c,0x01]
1349 @ CHECK: mov.w r6, #450 @ encoding: [0x4f,0xf4,0xe1,0x76]
1350 @ CHECK: it lo @ encoding: [0x38,0xbf]
1351 @ CHECK: movlo.w r1, #-1 @ encoding: [0x4f,0xf0,0xff,0x31]
1352 @ CHECK: mvn r3, #2 @ encoding: [0x6f,0xf0,0x02,0x03]
1353 @ CHECK: movw r11, #43981 @ encoding: [0x4a,0xf6,0xcd,0x3b]
1354 @ CHECK: movs r0, #1 @ encoding: [0x01,0x20]
1355 @ CHECK: it ne @ encoding: [0x18,0xbf]
1356 @ CHECK: movne r3, #15 @ encoding: [0x0f,0x23]
1358 @ CHECK: itt eq @ encoding: [0x04,0xbf]
1359 @ CHECK: moveq r0, #255 @ encoding: [0xff,0x20]
1360 @ CHECK: movweq r1, #256 @ encoding: [0x40,0xf2,0x00,0x11]
1362 @------------------------------------------------------------------------------
1363 @ MOV(shifted register)
1364 @------------------------------------------------------------------------------
1367 movs r6, r2, asr #32
1377 moveq r4, r4, lsl r5
1378 moveq r4, r4, lsr r5
1379 moveq r4, r4, asr r5
1380 moveq r4, r4, ror r5
1383 @ CHECK: lsl.w r6, r2, #16 @ encoding: [0x4f,0xea,0x02,0x46]
1384 @ CHECK: lsr.w r6, r2, #16 @ encoding: [0x4f,0xea,0x12,0x46]
1385 @ CHECK: asrs r6, r2, #32 @ encoding: [0x16,0x10]
1386 @ CHECK: rors.w r6, r2, #5 @ encoding: [0x5f,0xea,0x72,0x16]
1387 @ CHECK: lsls r4, r5 @ encoding: [0xac,0x40]
1388 @ CHECK: lsrs r4, r5 @ encoding: [0xec,0x40]
1389 @ CHECK: asrs r4, r5 @ encoding: [0x2c,0x41]
1390 @ CHECK: rors r4, r5 @ encoding: [0xec,0x41]
1391 @ CHECK: lsl.w r4, r4, r5 @ encoding: [0x04,0xfa,0x05,0xf4]
1392 @ CHECK: rors.w r4, r4, r8 @ encoding: [0x74,0xfa,0x08,0xf4]
1393 @ CHECK: lsrs.w r4, r5, r6 @ encoding: [0x35,0xfa,0x06,0xf4]
1394 @ CHECK: itttt eq @ encoding: [0x01,0xbf]
1395 @ CHECK: lsleq r4, r5 @ encoding: [0xac,0x40]
1396 @ CHECK: lsreq r4, r5 @ encoding: [0xec,0x40]
1397 @ CHECK: asreq r4, r5 @ encoding: [0x2c,0x41]
1398 @ CHECK: roreq r4, r5 @ encoding: [0xec,0x41]
1399 @ CHECK: rrx r4, r4 @ encoding: [0x4f,0xea,0x34,0x04]
1402 @------------------------------------------------------------------------------
1404 @------------------------------------------------------------------------------
1410 @ CHECK: movt r3, #7 @ encoding: [0xc0,0xf2,0x07,0x03]
1411 @ CHECK: movt r6, #65535 @ encoding: [0xcf,0xf6,0xff,0x76]
1412 @ CHECK: it eq @ encoding: [0x08,0xbf]
1413 @ CHECK: movteq r4, #4080 @ encoding: [0xc0,0xf6,0xf0,0x74]
1415 @------------------------------------------------------------------------------
1417 @------------------------------------------------------------------------------
1418 mrc p14, #0, r1, c1, c2, #4
1419 mrc p15, #7, apsr_nzcv, c15, c6, #6
1420 mrc p9, #1, r1, c2, c2
1421 mrc2 p12, #3, r3, c3, c4
1422 mrc2 p14, #0, r1, c1, c2, #4
1423 mrc2 p8, #7, apsr_nzcv, c15, c0, #1
1425 @ CHECK: mrc p14, #0, r1, c1, c2, #4 @ encoding: [0x11,0xee,0x92,0x1e]
1426 @ CHECK: mrc p15, #7, apsr_nzcv, c15, c6, #6 @ encoding: [0xff,0xee,0xd6,0xff]
1427 @ CHECK: mrc p9, #1, r1, c2, c2, #0 @ encoding: [0x32,0xee,0x12,0x19]
1428 @ CHECK: mrc2 p12, #3, r3, c3, c4, #0 @ encoding: [0x73,0xfe,0x14,0x3c]
1429 @ CHECK: mrc2 p14, #0, r1, c1, c2, #4 @ encoding: [0x11,0xfe,0x92,0x1e]
1430 @ CHECK: mrc2 p8, #7, apsr_nzcv, c15, c0, #1 @ encoding: [0xff,0xfe,0x30,0xf8]
1432 @------------------------------------------------------------------------------
1434 @------------------------------------------------------------------------------
1435 mrrc p7, #1, r5, r4, c1
1436 mrrc2 p7, #1, r5, r4, c1
1438 @ CHECK: mrrc p7, #1, r5, r4, c1 @ encoding: [0x54,0xec,0x11,0x57]
1439 @ CHECK: mrrc2 p7, #1, r5, r4, c1 @ encoding: [0x54,0xfc,0x11,0x57]
1442 @------------------------------------------------------------------------------
1444 @------------------------------------------------------------------------------
1449 @ CHECK: mrs r8, apsr @ encoding: [0xef,0xf3,0x00,0x88]
1450 @ CHECK: mrs r8, apsr @ encoding: [0xef,0xf3,0x00,0x88]
1451 @ CHECK: mrs r8, spsr @ encoding: [0xff,0xf3,0x00,0x88]
1454 @------------------------------------------------------------------------------
1456 @------------------------------------------------------------------------------
1473 @ CHECK: msr APSR_nzcvq, r1 @ encoding: [0x81,0xf3,0x00,0x88]
1474 @ CHECK: msr APSR_g, r2 @ encoding: [0x82,0xf3,0x00,0x84]
1475 @ CHECK: msr APSR_nzcvq, r3 @ encoding: [0x83,0xf3,0x00,0x88]
1476 @ CHECK: msr APSR_nzcvq, r4 @ encoding: [0x84,0xf3,0x00,0x88]
1477 @ CHECK: msr APSR_nzcvqg, r5 @ encoding: [0x85,0xf3,0x00,0x8c]
1478 @ CHECK: msr CPSR_fc, r6 @ encoding: [0x86,0xf3,0x00,0x89]
1479 @ CHECK: msr CPSR_c, r7 @ encoding: [0x87,0xf3,0x00,0x81]
1480 @ CHECK: msr CPSR_x, r8 @ encoding: [0x88,0xf3,0x00,0x82]
1481 @ CHECK: msr CPSR_fc, r9 @ encoding: [0x89,0xf3,0x00,0x89]
1482 @ CHECK: msr CPSR_fc, r11 @ encoding: [0x8b,0xf3,0x00,0x89]
1483 @ CHECK: msr CPSR_fsx, r12 @ encoding: [0x8c,0xf3,0x00,0x8e]
1484 @ CHECK: msr SPSR_fc, r0 @ encoding: [0x90,0xf3,0x00,0x89]
1485 @ CHECK: msr SPSR_fsxc, r5 @ encoding: [0x95,0xf3,0x00,0x8f]
1486 @ CHECK: msr CPSR_fsxc, r8 @ encoding: [0x88,0xf3,0x00,0x8f]
1487 @ CHECK: msr CPSR_fc, r3 @ encoding: [0x83,0xf3,0x00,0x89]
1490 @------------------------------------------------------------------------------
1492 @------------------------------------------------------------------------------
1502 @ CHECK: muls r3, r4, r3 @ encoding: [0x63,0x43]
1503 @ CHECK: mul r3, r4, r3 @ encoding: [0x04,0xfb,0x03,0xf3]
1504 @ CHECK: mul r3, r4, r6 @ encoding: [0x04,0xfb,0x06,0xf3]
1505 @ CHECK: it eq @ encoding: [0x08,0xbf]
1506 @ CHECK: muleq r3, r4, r5 @ encoding: [0x04,0xfb,0x05,0xf3]
1507 @ CHECK: it le @ encoding: [0xd8,0xbf]
1508 @ CHECK: mulle r4, r4, r8 @ encoding: [0x04,0xfb,0x08,0xf4]
1509 @ CHECK: mul r5, r6, r5 @ encoding: [0x06,0xfb,0x05,0xf5]
1512 @------------------------------------------------------------------------------
1514 @------------------------------------------------------------------------------
1523 @ CHECK: mvns r8, #21 @ encoding: [0x7f,0xf0,0x15,0x08]
1524 @ CHECK: mvn r0, #66846720 @ encoding: [0x6f,0xf0,0x7f,0x70]
1525 @ CHECK: mvns r0, #66846720 @ encoding: [0x7f,0xf0,0x7f,0x70]
1526 @ CHECK: itte eq @ encoding: [0x06,0xbf]
1527 @ CHECK: mvnseq r1, #12 @ encoding: [0x7f,0xf0,0x0c,0x01]
1528 @ CHECK: mvneq r1, #12 @ encoding: [0x6f,0xf0,0x0c,0x01]
1529 @ CHECK: mvnne r1, #12 @ encoding: [0x6f,0xf0,0x0c,0x01]
1532 @------------------------------------------------------------------------------
1534 @------------------------------------------------------------------------------
1539 mvn.w r5, r6, asr #4
1545 @ CHECK: mvn.w r2, r3 @ encoding: [0x6f,0xea,0x03,0x02]
1546 @ CHECK: mvns r2, r3 @ encoding: [0xda,0x43]
1547 @ CHECK: mvn.w r5, r6, lsl #19 @ encoding: [0x6f,0xea,0xc6,0x45]
1548 @ CHECK: mvn.w r5, r6, lsr #9 @ encoding: [0x6f,0xea,0x56,0x25]
1549 @ CHECK: mvn.w r5, r6, asr #4 @ encoding: [0x6f,0xea,0x26,0x15]
1550 @ CHECK: mvn.w r5, r6, ror #6 @ encoding: [0x6f,0xea,0xb6,0x15]
1551 @ CHECK: mvn.w r5, r6, rrx @ encoding: [0x6f,0xea,0x36,0x05]
1552 @ CHECK: it eq @ encoding: [0x08,0xbf]
1553 @ CHECK: mvneq r2, r3 @ encoding: [0xda,0x43]
1555 @------------------------------------------------------------------------------
1557 @------------------------------------------------------------------------------
1561 @ CHECK: rsb.w r5, r2, #0 @ encoding: [0xc2,0xf1,0x00,0x05]
1562 @ CHECK: rsb.w r5, r8, #0 @ encoding: [0xc8,0xf1,0x00,0x05]
1565 @------------------------------------------------------------------------------
1567 @------------------------------------------------------------------------------
1570 @ CHECK: nop.w @ encoding: [0xaf,0xf3,0x00,0x80]
1573 @------------------------------------------------------------------------------
1575 @------------------------------------------------------------------------------
1579 orn r4, r5, r6, lsl #5
1580 orns r4, r5, r6, lsr #5
1581 orn r4, r5, r6, lsr #5
1582 orns r4, r5, r6, asr #5
1583 orn r4, r5, r6, ror #5
1585 @ CHECK: orn r4, r5, #61440 @ encoding: [0x65,0xf4,0x70,0x44]
1586 @ CHECK: orn r4, r5, r6 @ encoding: [0x65,0xea,0x06,0x04]
1587 @ CHECK: orns r4, r5, r6 @ encoding: [0x75,0xea,0x06,0x04]
1588 @ CHECK: orn r4, r5, r6, lsl #5 @ encoding: [0x65,0xea,0x46,0x14]
1589 @ CHECK: orns r4, r5, r6, lsr #5 @ encoding: [0x75,0xea,0x56,0x14]
1590 @ CHECK: orn r4, r5, r6, lsr #5 @ encoding: [0x65,0xea,0x56,0x14]
1591 @ CHECK: orns r4, r5, r6, asr #5 @ encoding: [0x75,0xea,0x66,0x14]
1592 @ CHECK: orn r4, r5, r6, ror #5 @ encoding: [0x65,0xea,0x76,0x14]
1595 @------------------------------------------------------------------------------
1597 @------------------------------------------------------------------------------
1600 orr r4, r5, r6, lsl #5
1601 orrs r4, r5, r6, lsr #5
1602 orr r4, r5, r6, lsr #5
1603 orrs r4, r5, r6, asr #5
1604 orr r4, r5, r6, ror #5
1606 @ CHECK: orr r4, r5, #61440 @ encoding: [0x45,0xf4,0x70,0x44]
1607 @ CHECK: orr.w r4, r5, r6 @ encoding: [0x45,0xea,0x06,0x04]
1608 @ CHECK: orr.w r4, r5, r6, lsl #5 @ encoding: [0x45,0xea,0x46,0x14]
1609 @ CHECK: orrs.w r4, r5, r6, lsr #5 @ encoding: [0x55,0xea,0x56,0x14]
1610 @ CHECK: orr.w r4, r5, r6, lsr #5 @ encoding: [0x45,0xea,0x56,0x14]
1611 @ CHECK: orrs.w r4, r5, r6, asr #5 @ encoding: [0x55,0xea,0x66,0x14]
1612 @ CHECK: orr.w r4, r5, r6, ror #5 @ encoding: [0x45,0xea,0x76,0x14]
1615 @------------------------------------------------------------------------------
1617 @------------------------------------------------------------------------------
1619 pkhbt r2, r2, r3, lsl #31
1620 pkhbt r2, r2, r3, lsl #0
1621 pkhbt r2, r2, r3, lsl #15
1624 pkhtb r2, r2, r3, asr #31
1625 pkhtb r2, r2, r3, asr #15
1627 @ CHECK: pkhbt r2, r2, r3 @ encoding: [0xc2,0xea,0x03,0x02]
1628 @ CHECK: pkhbt r2, r2, r3, lsl #31 @ encoding: [0xc2,0xea,0xc3,0x72]
1629 @ CHECK: pkhbt r2, r2, r3 @ encoding: [0xc2,0xea,0x03,0x02]
1630 @ CHECK: pkhbt r2, r2, r3, lsl #15 @ encoding: [0xc2,0xea,0xc3,0x32]
1632 @ CHECK: pkhbt r2, r2, r3 @ encoding: [0xc2,0xea,0x03,0x02]
1633 @ CHECK: pkhtb r2, r2, r3, asr #31 @ encoding: [0xc2,0xea,0xe3,0x72]
1634 @ CHECK: pkhtb r2, r2, r3, asr #15 @ encoding: [0xc2,0xea,0xe3,0x32]
1637 @------------------------------------------------------------------------------
1639 @------------------------------------------------------------------------------
1648 @ CHECK: pld [r5, #-4] @ encoding: [0x15,0xf8,0x04,0xfc]
1649 @ CHECK: pld [r6, #32] @ encoding: [0x96,0xf8,0x20,0xf0]
1650 @ CHECK: pld [r6, #33] @ encoding: [0x96,0xf8,0x21,0xf0]
1651 @ CHECK: pld [r6, #257] @ encoding: [0x96,0xf8,0x01,0xf1]
1652 @ CHECK: pld [r7, #257] @ encoding: [0x97,0xf8,0x01,0xf1]
1653 @ CHECK: pld [r1] @ encoding: [0x91,0xf8,0x00,0xf0]
1654 @ CHECK: pld [r1, #-0] @ encoding: [0x11,0xf8,0x00,0xfc]
1657 @------------------------------------------------------------------------------
1659 @------------------------------------------------------------------------------
1662 @ FIXME: pld _foo @ encoding: [0x9f'A',0xf8'A',A,0xf0'A']
1663 @ fixup A - offset: 0, value: _foo, kind: fixup_t2_ldst_pcrel_12
1666 @ CHECK: pld [pc, #-4095] @ encoding: [0x1f,0xf8,0xff,0xff]
1669 @------------------------------------------------------------------------------
1671 @------------------------------------------------------------------------------
1674 pld [r0, r2, lsl #3]
1675 pld [r8, r2, lsl #2]
1676 pld [sp, r2, lsl #1]
1677 pld [sp, r2, lsl #0]
1679 @ CHECK: pld [r8, r1] @ encoding: [0x18,0xf8,0x01,0xf0]
1680 @ CHECK: pld [r5, r2] @ encoding: [0x15,0xf8,0x02,0xf0]
1681 @ CHECK: pld [r0, r2, lsl #3] @ encoding: [0x10,0xf8,0x32,0xf0]
1682 @ CHECK: pld [r8, r2, lsl #2] @ encoding: [0x18,0xf8,0x22,0xf0]
1683 @ CHECK: pld [sp, r2, lsl #1] @ encoding: [0x1d,0xf8,0x12,0xf0]
1684 @ CHECK: pld [sp, r2] @ encoding: [0x1d,0xf8,0x02,0xf0]
1686 @------------------------------------------------------------------------------
1688 @------------------------------------------------------------------------------
1697 @ CHECK: pli [r5, #-4] @ encoding: [0x15,0xf9,0x04,0xfc]
1698 @ CHECK: pli [r6, #32] @ encoding: [0x96,0xf9,0x20,0xf0]
1699 @ CHECK: pli [r6, #33] @ encoding: [0x96,0xf9,0x21,0xf0]
1700 @ CHECK: pli [r6, #257] @ encoding: [0x96,0xf9,0x01,0xf1]
1701 @ CHECK: pli [r7, #257] @ encoding: [0x97,0xf9,0x01,0xf1]
1702 @ CHECK: pli [pc, #4095] @ encoding: [0x9f,0xf9,0xff,0xff]
1703 @ CHECK: pli [pc, #-4095] @ encoding: [0x1f,0xf9,0xff,0xff]
1706 @------------------------------------------------------------------------------
1708 @------------------------------------------------------------------------------
1712 @ FIXME: pli _foo @ encoding: [0x9f'A',0xf9'A',A,0xf0'A']
1713 @ fixup A - offset: 0, value: _foo, kind: fixup_t2_ldst_pcrel_12
1716 @------------------------------------------------------------------------------
1718 @------------------------------------------------------------------------------
1721 pli [r0, r2, lsl #3]
1722 pli [r8, r2, lsl #2]
1723 pli [sp, r2, lsl #1]
1724 pli [sp, r2, lsl #0]
1726 @ CHECK: pli [r8, r1] @ encoding: [0x18,0xf9,0x01,0xf0]
1727 @ CHECK: pli [r5, r2] @ encoding: [0x15,0xf9,0x02,0xf0]
1728 @ CHECK: pli [r0, r2, lsl #3] @ encoding: [0x10,0xf9,0x32,0xf0]
1729 @ CHECK: pli [r8, r2, lsl #2] @ encoding: [0x18,0xf9,0x22,0xf0]
1730 @ CHECK: pli [sp, r2, lsl #1] @ encoding: [0x1d,0xf9,0x12,0xf0]
1731 @ CHECK: pli [sp, r2] @ encoding: [0x1d,0xf9,0x02,0xf0]
1733 @------------------------------------------------------------------------------
1735 @------------------------------------------------------------------------------
1738 @ CHECK: pop.w {r2, r9} @ encoding: [0xbd,0xe8,0x04,0x02]
1741 @------------------------------------------------------------------------------
1743 @------------------------------------------------------------------------------
1746 @ CHECK: push.w {r2, r9} @ encoding: [0x2d,0xe9,0x04,0x02]
1749 @------------------------------------------------------------------------------
1751 @------------------------------------------------------------------------------
1760 @ CHECK: qadd r1, r2, r3 @ encoding: [0x83,0xfa,0x82,0xf1]
1761 @ CHECK: qadd16 r1, r2, r3 @ encoding: [0x92,0xfa,0x13,0xf1]
1762 @ CHECK: qadd8 r1, r2, r3 @ encoding: [0x82,0xfa,0x13,0xf1]
1763 @ CHECK: itte gt @ encoding: [0xc6,0xbf]
1764 @ CHECK: qaddgt r1, r2, r3 @ encoding: [0x83,0xfa,0x82,0xf1]
1765 @ CHECK: qadd16gt r1, r2, r3 @ encoding: [0x92,0xfa,0x13,0xf1]
1766 @ CHECK: qadd8le r1, r2, r3 @ encoding: [0x82,0xfa,0x13,0xf1]
1769 @------------------------------------------------------------------------------
1771 @------------------------------------------------------------------------------
1778 @ CHECK: qdadd r6, r7, r8 @ encoding: [0x88,0xfa,0x97,0xf6]
1779 @ CHECK: qdsub r6, r7, r8 @ encoding: [0x88,0xfa,0xb7,0xf6]
1780 @ CHECK: itt hi @ encoding: [0x84,0xbf]
1781 @ CHECK: qdaddhi r6, r7, r8 @ encoding: [0x88,0xfa,0x97,0xf6]
1782 @ CHECK: qdsubhi r6, r7, r8 @ encoding: [0x88,0xfa,0xb7,0xf6]
1785 @------------------------------------------------------------------------------
1787 @------------------------------------------------------------------------------
1792 @ CHECK: qsax r9, r12, r0 @ encoding: [0xec,0xfa,0x10,0xf9]
1793 @ CHECK: it eq @ encoding: [0x08,0xbf]
1794 @ CHECK: qsaxeq r9, r12, r0 @ encoding: [0xec,0xfa,0x10,0xf9]
1797 @------------------------------------------------------------------------------
1799 @------------------------------------------------------------------------------
1808 @ CHECK: qsub r1, r2, r3 @ encoding: [0x83,0xfa,0xa2,0xf1]
1809 @ CHECK: qsub16 r1, r2, r3 @ encoding: [0xd2,0xfa,0x13,0xf1]
1810 @ CHECK: qsub8 r1, r2, r3 @ encoding: [0xc2,0xfa,0x13,0xf1]
1811 @ CHECK: itet le @ encoding: [0xd6,0xbf]
1812 @ CHECK: qsuble r1, r2, r3 @ encoding: [0x83,0xfa,0xa2,0xf1]
1813 @ CHECK: qsub16gt r1, r2, r3 @ encoding: [0xd2,0xfa,0x13,0xf1]
1814 @ CHECK: qsub8le r1, r2, r3 @ encoding: [0xc2,0xfa,0x13,0xf1]
1817 @------------------------------------------------------------------------------
1819 @------------------------------------------------------------------------------
1824 @ CHECK: rbit r1, r2 @ encoding: [0x92,0xfa,0xa2,0xf1]
1825 @ CHECK: it ne @ encoding: [0x18,0xbf]
1826 @ CHECK: rbitne r1, r2 @ encoding: [0x92,0xfa,0xa2,0xf1]
1829 @------------------------------------------------------------------------------
1831 @------------------------------------------------------------------------------
1838 @ CHECK: rev.w r1, r2 @ encoding: [0x92,0xfa,0x82,0xf1]
1839 @ CHECK: rev.w r2, r8 @ encoding: [0x98,0xfa,0x88,0xf2]
1840 @ CHECK: itt ne @ encoding: [0x1c,0xbf]
1841 @ CHECK: revne r1, r2 @ encoding: [0x11,0xba]
1842 @ CHECK: revne.w r1, r8 @ encoding: [0x98,0xfa,0x88,0xf1]
1845 @------------------------------------------------------------------------------
1847 @------------------------------------------------------------------------------
1854 @ CHECK: rev16.w r1, r2 @ encoding: [0x92,0xfa,0x92,0xf1]
1855 @ CHECK: rev16.w r2, r8 @ encoding: [0x98,0xfa,0x98,0xf2]
1856 @ CHECK: itt ne @ encoding: [0x1c,0xbf]
1857 @ CHECK: rev16ne r1, r2 @ encoding: [0x51,0xba]
1858 @ CHECK: rev16ne.w r1, r8 @ encoding: [0x98,0xfa,0x98,0xf1]
1861 @------------------------------------------------------------------------------
1863 @------------------------------------------------------------------------------
1870 @ CHECK: revsh.w r1, r2 @ encoding: [0x92,0xfa,0xb2,0xf1]
1871 @ CHECK: revsh.w r2, r8 @ encoding: [0x98,0xfa,0xb8,0xf2]
1872 @ CHECK: itt ne @ encoding: [0x1c,0xbf]
1873 @ CHECK: revshne r1, r2 @ encoding: [0xd1,0xba]
1874 @ CHECK: revshne.w r1, r8 @ encoding: [0x98,0xfa,0xb8,0xf1]
1877 @------------------------------------------------------------------------------
1879 @------------------------------------------------------------------------------
1891 @ CHECK: ror.w r2, r3, #12 @ encoding: [0x4f,0xea,0x33,0x32]
1892 @ CHECK: rors.w r8, r3, #31 @ encoding: [0x5f,0xea,0xf3,0x78]
1893 @ CHECK: rors.w r2, r3, #1 @ encoding: [0x5f,0xea,0x73,0x02]
1894 @ CHECK: ror.w r2, r3, #4 @ encoding: [0x4f,0xea,0x33,0x12]
1895 @ CHECK: rors.w r2, r12, #15 @ encoding: [0x5f,0xea,0xfc,0x32]
1897 @ CHECK: ror.w r3, r3, #19 @ encoding: [0x4f,0xea,0xf3,0x43]
1898 @ CHECK: rors.w r8, r8, #2 @ encoding: [0x5f,0xea,0xb8,0x08]
1899 @ CHECK: rors.w r7, r7, #5 @ encoding: [0x5f,0xea,0x77,0x17]
1900 @ CHECK: ror.w r12, r12, #21 @ encoding: [0x4f,0xea,0x7c,0x5c]
1903 @------------------------------------------------------------------------------
1905 @------------------------------------------------------------------------------
1910 @ CHECK: ror.w r3, r4, r2 @ encoding: [0x64,0xfa,0x02,0xf3]
1911 @ CHECK: ror.w r1, r1, r2 @ encoding: [0x61,0xfa,0x02,0xf1]
1912 @ CHECK: rors.w r3, r4, r8 @ encoding: [0x74,0xfa,0x08,0xf3]
1915 @------------------------------------------------------------------------------
1917 @------------------------------------------------------------------------------
1924 @ CHECK: rrx r1, r2 @ encoding: [0x4f,0xea,0x32,0x01]
1925 @ CHECK: rrxs r1, r2 @ encoding: [0x5f,0xea,0x32,0x01]
1926 @ CHECK: ite lt @ encoding: [0xb4,0xbf]
1927 @ CHECK: rrxlt r9, r12 @ encoding: [0x4f,0xea,0x3c,0x09]
1928 @ CHECK: rrxsge r8, r3 @ encoding: [0x5f,0xea,0x33,0x08]
1930 @------------------------------------------------------------------------------
1932 @------------------------------------------------------------------------------
1933 rsb r2, r5, #0xff000
1942 @ CHECK: rsb.w r2, r5, #1044480 @ encoding: [0xc5,0xf5,0x7f,0x22]
1943 @ CHECK: rsbs.w r3, r12, #15 @ encoding: [0xdc,0xf1,0x0f,0x03]
1944 @ CHECK: rsb.w r1, r1, #255 @ encoding: [0xc1,0xf1,0xff,0x01]
1945 @ CHECK: rsb.w r1, r1, #255 @ encoding: [0xc1,0xf1,0xff,0x01]
1946 @ CHECK: rsb.w r11, r11, #0 @ encoding: [0xcb,0xf1,0x00,0x0b]
1947 @ CHECK: rsb.w r9, r9, #0 @ encoding: [0xc9,0xf1,0x00,0x09]
1948 @ CHECK: rsbs r3, r1, #0 @ encoding: [0x4b,0x42]
1949 @ CHECK: rsb.w r3, r1, #0 @ encoding: [0xc1,0xf1,0x00,0x03]
1952 @------------------------------------------------------------------------------
1954 @------------------------------------------------------------------------------
1957 rsb r1, r4, r8, asr #3
1958 rsbs r2, r1, r7, lsl #1
1960 @ CHECK: rsb r4, r4, r8 @ encoding: [0xc4,0xeb,0x08,0x04]
1961 @ CHECK: rsb r4, r9, r8 @ encoding: [0xc9,0xeb,0x08,0x04]
1962 @ CHECK: rsb r1, r4, r8, asr #3 @ encoding: [0xc4,0xeb,0xe8,0x01]
1963 @ CHECK: rsbs r2, r1, r7, lsl #1 @ encoding: [0xd1,0xeb,0x47,0x02]
1966 @------------------------------------------------------------------------------
1968 @------------------------------------------------------------------------------
1973 @ CHECK: sadd16 r3, r4, r8 @ encoding: [0x94,0xfa,0x08,0xf3]
1974 @ CHECK: it ne @ encoding: [0x18,0xbf]
1975 @ CHECK: sadd16ne r3, r4, r8 @ encoding: [0x94,0xfa,0x08,0xf3]
1978 @------------------------------------------------------------------------------
1980 @------------------------------------------------------------------------------
1985 @ CHECK: sadd8 r3, r4, r8 @ encoding: [0x84,0xfa,0x08,0xf3]
1986 @ CHECK: it ne @ encoding: [0x18,0xbf]
1987 @ CHECK: sadd8ne r3, r4, r8 @ encoding: [0x84,0xfa,0x08,0xf3]
1990 @------------------------------------------------------------------------------
1992 @------------------------------------------------------------------------------
1995 saddsubxne r2, r5, r6
2000 @ CHECK: sasx r9, r2, r7 @ encoding: [0xa2,0xfa,0x07,0xf9]
2001 @ CHECK: it ne @ encoding: [0x18,0xbf]
2002 @ CHECK: sasxne r2, r5, r6 @ encoding: [0xa5,0xfa,0x06,0xf2]
2003 @ CHECK: sasx r9, r2, r7 @ encoding: [0xa2,0xfa,0x07,0xf9]
2004 @ CHECK: it ne @ encoding: [0x18,0xbf]
2005 @ CHECK: sasxne r2, r5, r6 @ encoding: [0xa5,0xfa,0x06,0xf2]
2008 @------------------------------------------------------------------------------
2010 @------------------------------------------------------------------------------
2014 sbc r3, r7, #0x00550055
2015 sbc r8, r12, #0xaa00aa00
2016 sbc r9, r7, #0xa5a5a5a5
2017 sbc r5, r3, #0x87000000
2018 sbc r4, r2, #0x7f800000
2019 sbc r4, r2, #0x00000680
2021 @ CHECK: sbc r0, r1, #4 @ encoding: [0x61,0xf1,0x04,0x00]
2022 @ CHECK: sbcs r0, r1, #0 @ encoding: [0x71,0xf1,0x00,0x00]
2023 @ CHECK: sbc r1, r2, #255 @ encoding: [0x62,0xf1,0xff,0x01]
2024 @ CHECK: sbc r3, r7, #5570645 @ encoding: [0x67,0xf1,0x55,0x13]
2025 @ CHECK: sbc r8, r12, #2852170240 @ encoding: [0x6c,0xf1,0xaa,0x28]
2026 @ CHECK: sbc r9, r7, #2779096485 @ encoding: [0x67,0xf1,0xa5,0x39]
2027 @ CHECK: sbc r5, r3, #2264924160 @ encoding: [0x63,0xf1,0x07,0x45]
2028 @ CHECK: sbc r4, r2, #2139095040 @ encoding: [0x62,0xf1,0xff,0x44]
2029 @ CHECK: sbc r4, r2, #1664 @ encoding: [0x62,0xf5,0xd0,0x64]
2032 @------------------------------------------------------------------------------
2034 @------------------------------------------------------------------------------
2039 sbc r0, r1, r3, ror #4
2040 sbcs r0, r1, r3, lsl #7
2041 sbc.w r0, r1, r3, lsr #31
2042 sbcs.w r0, r1, r3, asr #32
2044 @ CHECK: sbc.w r4, r5, r6 @ encoding: [0x65,0xeb,0x06,0x04]
2045 @ CHECK: sbcs.w r4, r5, r6 @ encoding: [0x75,0xeb,0x06,0x04]
2046 @ CHECK: sbc.w r9, r1, r3 @ encoding: [0x61,0xeb,0x03,0x09]
2047 @ CHECK: sbcs.w r9, r1, r3 @ encoding: [0x71,0xeb,0x03,0x09]
2048 @ CHECK: sbc.w r0, r1, r3, ror #4 @ encoding: [0x61,0xeb,0x33,0x10]
2049 @ CHECK: sbcs.w r0, r1, r3, lsl #7 @ encoding: [0x71,0xeb,0xc3,0x10]
2050 @ CHECK: sbc.w r0, r1, r3, lsr #31 @ encoding: [0x61,0xeb,0xd3,0x70]
2051 @ CHECK: sbcs.w r0, r1, r3, asr #32 @ encoding: [0x71,0xeb,0x23,0x00]
2054 @------------------------------------------------------------------------------
2056 @------------------------------------------------------------------------------
2057 sbfx r4, r5, #16, #1
2059 sbfxgt r4, r5, #16, #16
2061 @ CHECK: sbfx r4, r5, #16, #1 @ encoding: [0x45,0xf3,0x00,0x44]
2062 @ CHECK: it gt @ encoding: [0xc8,0xbf]
2063 @ CHECK: sbfxgt r4, r5, #16, #16 @ encoding: [0x45,0xf3,0x0f,0x44]
2066 @------------------------------------------------------------------------------
2068 @------------------------------------------------------------------------------
2073 @ CHECK: sel r5, r9, r2 @ encoding: [0xa9,0xfa,0x82,0xf5]
2074 @ CHECK: it le @ encoding: [0xd8,0xbf]
2075 @ CHECK: selle r5, r9, r2 @ encoding: [0xa9,0xfa,0x82,0xf5]
2078 @------------------------------------------------------------------------------
2080 @------------------------------------------------------------------------------
2085 @ CHECK: sev.w @ encoding: [0xaf,0xf3,0x04,0x80]
2086 @ CHECK: it eq @ encoding: [0x08,0xbf]
2087 @ CHECK: seveq.w @ encoding: [0xaf,0xf3,0x04,0x80]
2090 @------------------------------------------------------------------------------
2092 @------------------------------------------------------------------------------
2099 @ CHECK: sadd16 r1, r2, r3 @ encoding: [0x92,0xfa,0x03,0xf1]
2100 @ CHECK: sadd8 r1, r2, r3 @ encoding: [0x82,0xfa,0x03,0xf1]
2101 @ CHECK: ite gt @ encoding: [0xcc,0xbf]
2102 @ CHECK: sadd16gt r1, r2, r3 @ encoding: [0x92,0xfa,0x03,0xf1]
2103 @ CHECK: sadd8le r1, r2, r3 @ encoding: [0x82,0xfa,0x03,0xf1]
2106 @------------------------------------------------------------------------------
2108 @------------------------------------------------------------------------------
2112 shaddsubx r4, r8, r2
2114 shaddsubxgt r4, r8, r2
2116 @ CHECK: shasx r4, r8, r2 @ encoding: [0xa8,0xfa,0x22,0xf4]
2117 @ CHECK: it gt @ encoding: [0xc8,0xbf]
2118 @ CHECK: shasxgt r4, r8, r2 @ encoding: [0xa8,0xfa,0x22,0xf4]
2119 @ CHECK: shasx r4, r8, r2 @ encoding: [0xa8,0xfa,0x22,0xf4]
2120 @ CHECK: it gt @ encoding: [0xc8,0xbf]
2121 @ CHECK: shasxgt r4, r8, r2 @ encoding: [0xa8,0xfa,0x22,0xf4]
2124 @------------------------------------------------------------------------------
2126 @------------------------------------------------------------------------------
2130 shsubaddx r4, r8, r2
2132 shsubaddxgt r4, r8, r2
2134 @ CHECK: shsax r4, r8, r2 @ encoding: [0xe8,0xfa,0x22,0xf4]
2135 @ CHECK: it gt @ encoding: [0xc8,0xbf]
2136 @ CHECK: shsaxgt r4, r8, r2 @ encoding: [0xe8,0xfa,0x22,0xf4]
2137 @ CHECK: shsax r4, r8, r2 @ encoding: [0xe8,0xfa,0x22,0xf4]
2138 @ CHECK: it gt @ encoding: [0xc8,0xbf]
2139 @ CHECK: shsaxgt r4, r8, r2 @ encoding: [0xe8,0xfa,0x22,0xf4]
2142 @------------------------------------------------------------------------------
2144 @------------------------------------------------------------------------------
2148 shsub16gt r4, r8, r2
2151 @ CHECK: shsub16 r4, r8, r2 @ encoding: [0xd8,0xfa,0x22,0xf4]
2152 @ CHECK: shsub8 r4, r8, r2 @ encoding: [0xc8,0xfa,0x22,0xf4]
2153 @ CHECK: itt gt @ encoding: [0xc4,0xbf]
2154 @ CHECK: shsub16gt r4, r8, r2 @ encoding: [0xd8,0xfa,0x22,0xf4]
2155 @ CHECK: shsub8gt r4, r8, r2 @ encoding: [0xc8,0xfa,0x22,0xf4]
2158 @------------------------------------------------------------------------------
2159 @ SMLABB/SMLABT/SMLATB/SMLATT
2160 @------------------------------------------------------------------------------
2161 smlabb r3, r1, r9, r0
2162 smlabt r5, r6, r4, r1
2163 smlatb r4, r2, r3, r2
2164 smlatt r8, r3, r8, r4
2166 smlabbgt r3, r1, r9, r0
2167 smlabtle r5, r6, r4, r1
2168 smlatbgt r4, r2, r3, r2
2169 smlattle r8, r3, r8, r4
2171 @ CHECK: smlabb r3, r1, r9, r0 @ encoding: [0x11,0xfb,0x09,0x03]
2172 @ CHECK: smlabt r5, r6, r4, r1 @ encoding: [0x16,0xfb,0x14,0x15]
2173 @ CHECK: smlatb r4, r2, r3, r2 @ encoding: [0x12,0xfb,0x23,0x24]
2174 @ CHECK: smlatt r8, r3, r8, r4 @ encoding: [0x13,0xfb,0x38,0x48]
2175 @ CHECK: itete gt @ encoding: [0xcb,0xbf]
2176 @ CHECK: smlabbgt r3, r1, r9, r0 @ encoding: [0x11,0xfb,0x09,0x03]
2177 @ CHECK: smlabtle r5, r6, r4, r1 @ encoding: [0x16,0xfb,0x14,0x15]
2178 @ CHECK: smlatbgt r4, r2, r3, r2 @ encoding: [0x12,0xfb,0x23,0x24]
2179 @ CHECK: smlattle r8, r3, r8, r4 @ encoding: [0x13,0xfb,0x38,0x48]
2182 @------------------------------------------------------------------------------
2184 @------------------------------------------------------------------------------
2185 smlad r2, r3, r5, r8
2186 smladx r2, r3, r5, r8
2188 smladhi r2, r3, r5, r8
2189 smladxhi r2, r3, r5, r8
2191 @ CHECK: smlad r2, r3, r5, r8 @ encoding: [0x23,0xfb,0x05,0x82]
2192 @ CHECK: smladx r2, r3, r5, r8 @ encoding: [0x23,0xfb,0x15,0x82]
2193 @ CHECK: itt hi @ encoding: [0x84,0xbf]
2194 @ CHECK: smladhi r2, r3, r5, r8 @ encoding: [0x23,0xfb,0x05,0x82]
2195 @ CHECK: smladxhi r2, r3, r5, r8 @ encoding: [0x23,0xfb,0x15,0x82]
2198 @------------------------------------------------------------------------------
2200 @------------------------------------------------------------------------------
2201 smlal r2, r3, r5, r8
2203 smlaleq r2, r3, r5, r8
2205 @ CHECK: smlal r2, r3, r5, r8 @ encoding: [0xc5,0xfb,0x08,0x23]
2206 @ CHECK: it eq @ encoding: [0x08,0xbf]
2207 @ CHECK: smlaleq r2, r3, r5, r8 @ encoding: [0xc5,0xfb,0x08,0x23]
2210 @------------------------------------------------------------------------------
2211 @ SMLALBB/SMLALBT/SMLALTB/SMLALTT
2212 @------------------------------------------------------------------------------
2213 smlalbb r3, r1, r9, r0
2214 smlalbt r5, r6, r4, r1
2215 smlaltb r4, r2, r3, r2
2216 smlaltt r8, r3, r8, r4
2218 smlalbbge r3, r1, r9, r0
2219 smlalbtlt r5, r6, r4, r1
2220 smlaltblt r4, r2, r3, r2
2221 smlalttge r8, r3, r8, r4
2223 @ CHECK: smlalbb r3, r1, r9, r0 @ encoding: [0xc9,0xfb,0x80,0x31]
2224 @ CHECK: smlalbt r5, r6, r4, r1 @ encoding: [0xc4,0xfb,0x91,0x56]
2225 @ CHECK: smlaltb r4, r2, r3, r2 @ encoding: [0xc3,0xfb,0xa2,0x42]
2226 @ CHECK: smlaltt r8, r3, r8, r4 @ encoding: [0xc8,0xfb,0xb4,0x83]
2227 @ CHECK: iteet ge @ encoding: [0xad,0xbf]
2228 @ CHECK: smlalbbge r3, r1, r9, r0 @ encoding: [0xc9,0xfb,0x80,0x31]
2229 @ CHECK: smlalbtlt r5, r6, r4, r1 @ encoding: [0xc4,0xfb,0x91,0x56]
2230 @ CHECK: smlaltblt r4, r2, r3, r2 @ encoding: [0xc3,0xfb,0xa2,0x42]
2231 @ CHECK: smlalttge r8, r3, r8, r4 @ encoding: [0xc8,0xfb,0xb4,0x83]
2234 @------------------------------------------------------------------------------
2236 @------------------------------------------------------------------------------
2237 smlald r2, r3, r5, r8
2238 smlaldx r2, r3, r5, r8
2240 smlaldeq r2, r3, r5, r8
2241 smlaldxne r2, r3, r5, r8
2243 @ CHECK: smlald r2, r3, r5, r8 @ encoding: [0xc5,0xfb,0xc8,0x23]
2244 @ CHECK: smlaldx r2, r3, r5, r8 @ encoding: [0xc5,0xfb,0xd8,0x23]
2245 @ CHECK: ite eq @ encoding: [0x0c,0xbf]
2246 @ CHECK: smlaldeq r2, r3, r5, r8 @ encoding: [0xc5,0xfb,0xc8,0x23]
2247 @ CHECK: smlaldxne r2, r3, r5, r8 @ encoding: [0xc5,0xfb,0xd8,0x23]
2250 @------------------------------------------------------------------------------
2252 @------------------------------------------------------------------------------
2253 smlawb r2, r3, r10, r8
2254 smlawt r8, r3, r5, r9
2256 smlawbeq r2, r7, r5, r8
2257 smlawtne r1, r3, r0, r8
2259 @ CHECK: smlawb r2, r3, r10, r8 @ encoding: [0x33,0xfb,0x0a,0x82]
2260 @ CHECK: smlawt r8, r3, r5, r9 @ encoding: [0x33,0xfb,0x15,0x98]
2261 @ CHECK: ite eq @ encoding: [0x0c,0xbf]
2262 @ CHECK: smlawbeq r2, r7, r5, r8 @ encoding: [0x37,0xfb,0x05,0x82]
2263 @ CHECK: smlawtne r1, r3, r0, r8 @ encoding: [0x33,0xfb,0x10,0x81]
2266 @------------------------------------------------------------------------------
2268 @------------------------------------------------------------------------------
2269 smlsd r2, r3, r5, r8
2270 smlsdx r2, r3, r5, r8
2272 smlsdle r2, r3, r5, r8
2273 smlsdxgt r2, r3, r5, r8
2275 @ CHECK: smlsd r2, r3, r5, r8 @ encoding: [0x43,0xfb,0x05,0x82]
2276 @ CHECK: smlsdx r2, r3, r5, r8 @ encoding: [0x43,0xfb,0x15,0x82]
2277 @ CHECK: ite le @ encoding: [0xd4,0xbf]
2278 @ CHECK: smlsdle r2, r3, r5, r8 @ encoding: [0x43,0xfb,0x05,0x82]
2279 @ CHECK: smlsdxgt r2, r3, r5, r8 @ encoding: [0x43,0xfb,0x15,0x82]
2282 @------------------------------------------------------------------------------
2284 @------------------------------------------------------------------------------
2285 smlsld r2, r9, r5, r1
2286 smlsldx r4, r11, r2, r8
2288 smlsldge r8, r2, r5, r6
2289 smlsldxlt r1, r0, r3, r8
2291 @ CHECK: smlsld r2, r9, r5, r1 @ encoding: [0xd5,0xfb,0xc1,0x29]
2292 @ CHECK: smlsldx r4, r11, r2, r8 @ encoding: [0xd2,0xfb,0xd8,0x4b]
2293 @ CHECK: ite ge @ encoding: [0xac,0xbf]
2294 @ CHECK: smlsldge r8, r2, r5, r6 @ encoding: [0xd5,0xfb,0xc6,0x82]
2295 @ CHECK: smlsldxlt r1, r0, r3, r8 @ encoding: [0xd3,0xfb,0xd8,0x10]
2298 @------------------------------------------------------------------------------
2300 @------------------------------------------------------------------------------
2301 smmla r1, r2, r3, r4
2302 smmlar r4, r3, r2, r1
2304 smmlalo r1, r2, r3, r4
2305 smmlarcs r4, r3, r2, r1
2307 @ CHECK: smmla r1, r2, r3, r4 @ encoding: [0x52,0xfb,0x03,0x41]
2308 @ CHECK: smmlar r4, r3, r2, r1 @ encoding: [0x53,0xfb,0x12,0x14]
2309 @ CHECK: ite lo @ encoding: [0x34,0xbf]
2310 @ CHECK: smmlalo r1, r2, r3, r4 @ encoding: [0x52,0xfb,0x03,0x41]
2311 @ CHECK: smmlarhs r4, r3, r2, r1 @ encoding: [0x53,0xfb,0x12,0x14]
2314 @------------------------------------------------------------------------------
2316 @------------------------------------------------------------------------------
2317 smmls r1, r2, r3, r4
2318 smmlsr r4, r3, r2, r1
2320 smmlslo r1, r2, r3, r4
2321 smmlsrcs r4, r3, r2, r1
2323 @ CHECK: smmls r1, r2, r3, r4 @ encoding: [0x62,0xfb,0x03,0x41]
2324 @ CHECK: smmlsr r4, r3, r2, r1 @ encoding: [0x63,0xfb,0x12,0x14]
2325 @ CHECK: ite lo @ encoding: [0x34,0xbf]
2326 @ CHECK: smmlslo r1, r2, r3, r4 @ encoding: [0x62,0xfb,0x03,0x41]
2327 @ CHECK: smmlsrhs r4, r3, r2, r1 @ encoding: [0x63,0xfb,0x12,0x14]
2330 @------------------------------------------------------------------------------
2332 @------------------------------------------------------------------------------
2339 @ CHECK: smmul r2, r3, r4 @ encoding: [0x53,0xfb,0x04,0xf2]
2340 @ CHECK: smmulr r3, r2, r1 @ encoding: [0x52,0xfb,0x11,0xf3]
2341 @ CHECK: ite lo @ encoding: [0x34,0xbf]
2342 @ CHECK: smmullo r2, r3, r4 @ encoding: [0x53,0xfb,0x04,0xf2]
2343 @ CHECK: smmulrhs r3, r2, r1 @ encoding: [0x52,0xfb,0x11,0xf3]
2346 @------------------------------------------------------------------------------
2348 @------------------------------------------------------------------------------
2355 @ CHECK: smuad r2, r3, r4 @ encoding: [0x23,0xfb,0x04,0xf2]
2356 @ CHECK: smuadx r3, r2, r1 @ encoding: [0x22,0xfb,0x11,0xf3]
2357 @ CHECK: ite lt @ encoding: [0xb4,0xbf]
2358 @ CHECK: smuadlt r2, r3, r4 @ encoding: [0x23,0xfb,0x04,0xf2]
2359 @ CHECK: smuadxge r3, r2, r1 @ encoding: [0x22,0xfb,0x11,0xf3]
2362 @------------------------------------------------------------------------------
2363 @ SMULBB/SMULBT/SMULTB/SMULTT
2364 @------------------------------------------------------------------------------
2375 @ CHECK: smulbb r3, r9, r0 @ encoding: [0x19,0xfb,0x00,0xf3]
2376 @ CHECK: smulbt r5, r4, r1 @ encoding: [0x14,0xfb,0x11,0xf5]
2377 @ CHECK: smultb r4, r2, r2 @ encoding: [0x12,0xfb,0x22,0xf4]
2378 @ CHECK: smultt r8, r3, r4 @ encoding: [0x13,0xfb,0x34,0xf8]
2379 @ CHECK: itete ge @ encoding: [0xab,0xbf]
2380 @ CHECK: smulbbge r1, r9, r0 @ encoding: [0x19,0xfb,0x00,0xf1]
2381 @ CHECK: smulbtlt r5, r6, r4 @ encoding: [0x16,0xfb,0x14,0xf5]
2382 @ CHECK: smultbge r2, r3, r2 @ encoding: [0x13,0xfb,0x22,0xf2]
2383 @ CHECK: smulttlt r8, r3, r4 @ encoding: [0x13,0xfb,0x34,0xf8]
2386 @------------------------------------------------------------------------------
2388 @------------------------------------------------------------------------------
2389 smull r3, r9, r0, r1
2391 smulleq r8, r3, r4, r5
2393 @ CHECK: smull r3, r9, r0, r1 @ encoding: [0x80,0xfb,0x01,0x39]
2394 @ CHECK: it eq @ encoding: [0x08,0xbf]
2395 @ CHECK: smulleq r8, r3, r4, r5 @ encoding: [0x84,0xfb,0x05,0x83]
2398 @------------------------------------------------------------------------------
2400 @------------------------------------------------------------------------------
2407 @ CHECK: smulwb r3, r9, r0 @ encoding: [0x39,0xfb,0x00,0xf3]
2408 @ CHECK: smulwt r3, r9, r2 @ encoding: [0x39,0xfb,0x12,0xf3]
2409 @ CHECK: ite gt @ encoding: [0xcc,0xbf]
2410 @ CHECK: smulwbgt r3, r9, r0 @ encoding: [0x39,0xfb,0x00,0xf3]
2411 @ CHECK: smulwtle r3, r9, r2 @ encoding: [0x39,0xfb,0x12,0xf3]
2414 @------------------------------------------------------------------------------
2416 @------------------------------------------------------------------------------
2423 @ CHECK: smusd r3, r0, r1 @ encoding: [0x40,0xfb,0x01,0xf3]
2424 @ CHECK: smusdx r3, r9, r2 @ encoding: [0x49,0xfb,0x12,0xf3]
2425 @ CHECK: ite eq @ encoding: [0x0c,0xbf]
2426 @ CHECK: smusdeq r8, r3, r2 @ encoding: [0x43,0xfb,0x02,0xf8]
2427 @ CHECK: smusdxne r7, r4, r3 @ encoding: [0x44,0xfb,0x13,0xf7]
2430 @------------------------------------------------------------------------------
2432 @------------------------------------------------------------------------------
2448 @ CHECK: srsdb sp, #1 @ encoding: [0x0d,0xe8,0x01,0xc0]
2449 @ CHECK: srsia sp, #0 @ encoding: [0x8d,0xe9,0x00,0xc0]
2450 @ CHECK: srsdb sp!, #19 @ encoding: [0x2d,0xe8,0x13,0xc0]
2451 @ CHECK: srsia sp!, #2 @ encoding: [0xad,0xe9,0x02,0xc0]
2452 @ CHECK: srsia sp, #10 @ encoding: [0x8d,0xe9,0x0a,0xc0]
2453 @ CHECK: srsdb sp, #9 @ encoding: [0x0d,0xe8,0x09,0xc0]
2454 @ CHECK: srsia sp!, #5 @ encoding: [0xad,0xe9,0x05,0xc0]
2455 @ CHECK: srsdb sp!, #5 @ encoding: [0x2d,0xe8,0x05,0xc0]
2456 @ CHECK: srsia sp, #5 @ encoding: [0x8d,0xe9,0x05,0xc0]
2457 @ CHECK: srsia sp!, #5 @ encoding: [0xad,0xe9,0x05,0xc0]
2474 @ CHECK: srsdb sp, #1 @ encoding: [0x0d,0xe8,0x01,0xc0]
2475 @ CHECK: srsia sp, #0 @ encoding: [0x8d,0xe9,0x00,0xc0]
2476 @ CHECK: srsdb sp!, #19 @ encoding: [0x2d,0xe8,0x13,0xc0]
2477 @ CHECK: srsia sp!, #2 @ encoding: [0xad,0xe9,0x02,0xc0]
2478 @ CHECK: srsia sp, #10 @ encoding: [0x8d,0xe9,0x0a,0xc0]
2479 @ CHECK: srsdb sp, #9 @ encoding: [0x0d,0xe8,0x09,0xc0]
2480 @ CHECK: srsia sp!, #5 @ encoding: [0xad,0xe9,0x05,0xc0]
2481 @ CHECK: srsdb sp!, #5 @ encoding: [0x2d,0xe8,0x05,0xc0]
2482 @ CHECK: srsia sp, #5 @ encoding: [0x8d,0xe9,0x05,0xc0]
2483 @ CHECK: srsia sp!, #5 @ encoding: [0xad,0xe9,0x05,0xc0]
2486 @------------------------------------------------------------------------------
2488 @------------------------------------------------------------------------------
2490 ssat r8, #1, r10, lsl #0
2491 ssat r8, #1, r10, lsl #31
2492 ssat r8, #1, r10, asr #1
2494 @ CHECK: ssat r8, #1, r10 @ encoding: [0x0a,0xf3,0x00,0x08]
2495 @ CHECK: ssat r8, #1, r10 @ encoding: [0x0a,0xf3,0x00,0x08]
2496 @ CHECK: ssat r8, #1, r10, lsl #31 @ encoding: [0x0a,0xf3,0xc0,0x78]
2497 @ CHECK: ssat r8, #1, r10, asr #1 @ encoding: [0x2a,0xf3,0x40,0x08]
2500 @------------------------------------------------------------------------------
2502 @------------------------------------------------------------------------------
2506 @ CHECK: ssat16 r2, #1, r7 @ encoding: [0x27,0xf3,0x00,0x02]
2507 @ CHECK: ssat16 r3, #16, r5 @ encoding: [0x25,0xf3,0x0f,0x03]
2510 @------------------------------------------------------------------------------
2512 @------------------------------------------------------------------------------
2515 ssubaddxlt r2, r3, r4
2520 @ CHECK: ssax r2, r3, r4 @ encoding: [0xe3,0xfa,0x04,0xf2]
2521 @ CHECK: it lt @ encoding: [0xb8,0xbf]
2522 @ CHECK: ssaxlt r2, r3, r4 @ encoding: [0xe3,0xfa,0x04,0xf2]
2523 @ CHECK: ssax r2, r3, r4 @ encoding: [0xe3,0xfa,0x04,0xf2]
2524 @ CHECK: it lt @ encoding: [0xb8,0xbf]
2525 @ CHECK: ssaxlt r2, r3, r4 @ encoding: [0xe3,0xfa,0x04,0xf2]
2528 @------------------------------------------------------------------------------
2530 @------------------------------------------------------------------------------
2537 @ CHECK: ssub16 r1, r0, r6 @ encoding: [0xd0,0xfa,0x06,0xf1]
2538 @ CHECK: ssub8 r9, r2, r4 @ encoding: [0xc2,0xfa,0x04,0xf9]
2539 @ CHECK: ite ne @ encoding: [0x14,0xbf]
2540 @ CHECK: ssub16ne r5, r3, r2 @ encoding: [0xd3,0xfa,0x02,0xf5]
2541 @ CHECK: ssub8eq r5, r1, r2 @ encoding: [0xc1,0xfa,0x02,0xf5]
2544 @------------------------------------------------------------------------------
2546 @------------------------------------------------------------------------------
2547 stc2 p0, c8, [r1, #4]
2549 stc2 p2, c6, [r3, #-224]
2550 stc2 p3, c5, [r4, #-120]!
2551 stc2 p4, c4, [r5], #16
2552 stc2 p5, c3, [r6], #-72
2553 stc2l p6, c2, [r7, #4]
2555 stc2l p8, c0, [r9, #-224]
2556 stc2l p9, c1, [r10, #-120]!
2557 stc2l p0, c2, [r11], #16
2558 stc2l p1, c3, [r12], #-72
2560 stc p12, c4, [r0, #4]
2562 stc p14, c6, [r2, #-224]
2563 stc p15, c7, [r3, #-120]!
2564 stc p5, c8, [r4], #16
2565 stc p4, c9, [r5], #-72
2566 stcl p3, c10, [r6, #4]
2568 stcl p1, c12, [r8, #-224]
2569 stcl p0, c13, [r9, #-120]!
2570 stcl p6, c14, [r10], #16
2571 stcl p7, c15, [r11], #-72
2573 stc2 p2, c8, [r1], { 25 }
2575 @ CHECK: stc2 p0, c8, [r1, #4] @ encoding: [0x81,0xfd,0x01,0x80]
2576 @ CHECK: stc2 p1, c7, [r2] @ encoding: [0x82,0xfd,0x00,0x71]
2577 @ CHECK: stc2 p2, c6, [r3, #-224] @ encoding: [0x03,0xfd,0x38,0x62]
2578 @ CHECK: stc2 p3, c5, [r4, #-120]! @ encoding: [0x24,0xfd,0x1e,0x53]
2579 @ CHECK: stc2 p4, c4, [r5], #16 @ encoding: [0xa5,0xfc,0x04,0x44]
2580 @ CHECK: stc2 p5, c3, [r6], #-72 @ encoding: [0x26,0xfc,0x12,0x35]
2581 @ CHECK: stc2l p6, c2, [r7, #4] @ encoding: [0xc7,0xfd,0x01,0x26]
2582 @ CHECK: stc2l p7, c1, [r8] @ encoding: [0xc8,0xfd,0x00,0x17]
2583 @ CHECK: stc2l p8, c0, [r9, #-224] @ encoding: [0x49,0xfd,0x38,0x08]
2584 @ CHECK: stc2l p9, c1, [r10, #-120]! @ encoding: [0x6a,0xfd,0x1e,0x19]
2585 @ CHECK: stc2l p0, c2, [r11], #16 @ encoding: [0xeb,0xfc,0x04,0x20]
2586 @ CHECK: stc2l p1, c3, [r12], #-72 @ encoding: [0x6c,0xfc,0x12,0x31]
2588 @ CHECK: stc p12, c4, [r0, #4] @ encoding: [0x80,0xed,0x01,0x4c]
2589 @ CHECK: stc p13, c5, [r1] @ encoding: [0x81,0xed,0x00,0x5d]
2590 @ CHECK: stc p14, c6, [r2, #-224] @ encoding: [0x02,0xed,0x38,0x6e]
2591 @ CHECK: stc p15, c7, [r3, #-120]! @ encoding: [0x23,0xed,0x1e,0x7f]
2592 @ CHECK: stc p5, c8, [r4], #16 @ encoding: [0xa4,0xec,0x04,0x85]
2593 @ CHECK: stc p4, c9, [r5], #-72 @ encoding: [0x25,0xec,0x12,0x94]
2594 @ CHECK: stcl p3, c10, [r6, #4] @ encoding: [0xc6,0xed,0x01,0xa3]
2595 @ CHECK: stcl p2, c11, [r7] @ encoding: [0xc7,0xed,0x00,0xb2]
2596 @ CHECK: stcl p1, c12, [r8, #-224] @ encoding: [0x48,0xed,0x38,0xc1]
2597 @ CHECK: stcl p0, c13, [r9, #-120]! @ encoding: [0x69,0xed,0x1e,0xd0]
2598 @ CHECK: stcl p6, c14, [r10], #16 @ encoding: [0xea,0xec,0x04,0xe6]
2599 @ CHECK: stcl p7, c15, [r11], #-72 @ encoding: [0x6b,0xec,0x12,0xf7]
2601 @ CHECK: stc2 p2, c8, [r1], {25} @ encoding: [0x81,0xfc,0x19,0x82]
2604 @------------------------------------------------------------------------------
2606 @------------------------------------------------------------------------------
2607 stmia.w r4, {r4, r5, r8, r9}
2608 stmia.w r4, {r5, r6}
2609 stmia.w r5!, {r3, r8}
2610 stm.w r4, {r4, r5, r8, r9}
2616 stmia r4, {r4, r5, r8, r9}
2619 stm r4, {r4, r5, r8, r9}
2624 @ CHECK: stm.w r4, {r4, r5, r8, r9} @ encoding: [0x84,0xe8,0x30,0x03]
2625 @ CHECK: stm.w r4, {r5, r6} @ encoding: [0x84,0xe8,0x60,0x00]
2626 @ CHECK: stm.w r5!, {r3, r8} @ encoding: [0xa5,0xe8,0x08,0x01]
2627 @ CHECK: stm.w r4, {r4, r5, r8, r9} @ encoding: [0x84,0xe8,0x30,0x03]
2628 @ CHECK: stm.w r4, {r5, r6} @ encoding: [0x84,0xe8,0x60,0x00]
2629 @ CHECK: stm.w r5!, {r3, r8} @ encoding: [0xa5,0xe8,0x08,0x01]
2630 @ CHECK: stm.w r5!, {r1, r2} @ encoding: [0xa5,0xe8,0x06,0x00]
2631 @ CHECK: stm.w r2, {r1, r2} @ encoding: [0x82,0xe8,0x06,0x00]
2633 @ CHECK: stm.w r4, {r4, r5, r8, r9} @ encoding: [0x84,0xe8,0x30,0x03]
2634 @ CHECK: stm.w r4, {r5, r6} @ encoding: [0x84,0xe8,0x60,0x00]
2635 @ CHECK: stm.w r5!, {r3, r8} @ encoding: [0xa5,0xe8,0x08,0x01]
2636 @ CHECK: stm.w r4, {r4, r5, r8, r9} @ encoding: [0x84,0xe8,0x30,0x03]
2637 @ CHECK: stm.w r4, {r5, r6} @ encoding: [0x84,0xe8,0x60,0x00]
2638 @ CHECK: stm.w r5!, {r3, r8} @ encoding: [0xa5,0xe8,0x08,0x01]
2639 @ CHECK: stm.w r5!, {r3, r8} @ encoding: [0xa5,0xe8,0x08,0x01]
2642 @------------------------------------------------------------------------------
2644 @------------------------------------------------------------------------------
2645 stmdb r4, {r4, r5, r8, r9}
2649 stmdb.w r5, {r0, r1}
2651 @ CHECK: stmdb r4, {r4, r5, r8, r9} @ encoding: [0x04,0xe9,0x30,0x03]
2652 @ CHECK: stmdb r4, {r5, r6} @ encoding: [0x04,0xe9,0x60,0x00]
2653 @ CHECK: stmdb r5!, {r3, r8} @ encoding: [0x25,0xe9,0x08,0x01]
2654 @ CHECK: stm.w r5!, {r3, r8} @ encoding: [0xa5,0xe8,0x08,0x01]
2655 @ CHECK: stmdb r5, {r0, r1} @ encoding: [0x05,0xe9,0x03,0x00]
2658 @------------------------------------------------------------------------------
2660 @------------------------------------------------------------------------------
2665 str.w pc, [r7, #257]
2673 @ CHECK: str r5, [r5, #-4] @ encoding: [0x45,0xf8,0x04,0x5c]
2674 @ CHECK: str r5, [r6, #32] @ encoding: [0x35,0x62]
2675 @ CHECK: str.w r5, [r6, #33] @ encoding: [0xc6,0xf8,0x21,0x50]
2676 @ CHECK: str.w r5, [r6, #257] @ encoding: [0xc6,0xf8,0x01,0x51]
2677 @ CHECK: str.w pc, [r7, #257] @ encoding: [0xc7,0xf8,0x01,0xf1]
2678 @ CHECK: str r2, [r4, #255]! @ encoding: [0x44,0xf8,0xff,0x2f]
2679 @ CHECK: str r8, [sp, #4]! @ encoding: [0x4d,0xf8,0x04,0x8f]
2680 @ CHECK: str lr, [sp, #-4]! @ encoding: [0x4d,0xf8,0x04,0xed]
2681 @ CHECK: str r2, [r4], #255 @ encoding: [0x44,0xf8,0xff,0x2b]
2682 @ CHECK: str r8, [sp], #4 @ encoding: [0x4d,0xf8,0x04,0x8b]
2683 @ CHECK: str lr, [sp], #-4 @ encoding: [0x4d,0xf8,0x04,0xe9]
2686 @------------------------------------------------------------------------------
2688 @------------------------------------------------------------------------------
2691 str r6, [r0, r2, lsl #3]
2692 str r8, [r8, r2, lsl #2]
2693 str r7, [sp, r2, lsl #1]
2694 str r7, [sp, r2, lsl #0]
2696 @ CHECK: str.w r1, [r8, r1] @ encoding: [0x48,0xf8,0x01,0x10]
2697 @ CHECK: str.w r4, [r5, r2] @ encoding: [0x45,0xf8,0x02,0x40]
2698 @ CHECK: str.w r6, [r0, r2, lsl #3] @ encoding: [0x40,0xf8,0x32,0x60]
2699 @ CHECK: str.w r8, [r8, r2, lsl #2] @ encoding: [0x48,0xf8,0x22,0x80]
2700 @ CHECK: str.w r7, [sp, r2, lsl #1] @ encoding: [0x4d,0xf8,0x12,0x70]
2701 @ CHECK: str.w r7, [sp, r2] @ encoding: [0x4d,0xf8,0x02,0x70]
2704 @------------------------------------------------------------------------------
2706 @------------------------------------------------------------------------------
2711 strb.w lr, [r7, #257]
2712 strb r5, [r8, #255]!
2721 @ CHECK: strb r5, [r5, #-4] @ encoding: [0x05,0xf8,0x04,0x5c]
2722 @ CHECK: strb.w r5, [r6, #32] @ encoding: [0x86,0xf8,0x20,0x50]
2723 @ CHECK: strb.w r5, [r6, #33] @ encoding: [0x86,0xf8,0x21,0x50]
2724 @ CHECK: strb.w r5, [r6, #257] @ encoding: [0x86,0xf8,0x01,0x51]
2725 @ CHECK: strb.w lr, [r7, #257] @ encoding: [0x87,0xf8,0x01,0xe1]
2726 @ CHECK: strb r5, [r8, #255]! @ encoding: [0x08,0xf8,0xff,0x5f]
2727 @ CHECK: strb r2, [r5, #4]! @ encoding: [0x05,0xf8,0x04,0x2f]
2728 @ CHECK: strb r1, [r4, #-4]! @ encoding: [0x04,0xf8,0x04,0x1d]
2729 @ CHECK: strb lr, [r3], #255 @ encoding: [0x03,0xf8,0xff,0xeb]
2730 @ CHECK: strb r9, [r2], #4 @ encoding: [0x02,0xf8,0x04,0x9b]
2731 @ CHECK: strb r3, [sp], #-4 @ encoding: [0x0d,0xf8,0x04,0x39]
2732 @ CHECK: strb r4, [r8, #-0]! @ encoding: [0x08,0xf8,0x00,0x4d]
2733 @ CHECK: strb r1, [r0], #-0 @ encoding: [0x00,0xf8,0x00,0x19]
2736 @------------------------------------------------------------------------------
2738 @------------------------------------------------------------------------------
2741 strb r6, [r0, r2, lsl #3]
2742 strb r8, [r8, r2, lsl #2]
2743 strb r7, [sp, r2, lsl #1]
2744 strb r7, [sp, r2, lsl #0]
2746 @ CHECK: strb.w r1, [r8, r1] @ encoding: [0x08,0xf8,0x01,0x10]
2747 @ CHECK: strb.w r4, [r5, r2] @ encoding: [0x05,0xf8,0x02,0x40]
2748 @ CHECK: strb.w r6, [r0, r2, lsl #3] @ encoding: [0x00,0xf8,0x32,0x60]
2749 @ CHECK: strb.w r8, [r8, r2, lsl #2] @ encoding: [0x08,0xf8,0x22,0x80]
2750 @ CHECK: strb.w r7, [sp, r2, lsl #1] @ encoding: [0x0d,0xf8,0x12,0x70]
2751 @ CHECK: strb.w r7, [sp, r2] @ encoding: [0x0d,0xf8,0x02,0x70]
2754 @------------------------------------------------------------------------------
2756 @------------------------------------------------------------------------------
2760 strbt r1, [r8, #255]
2762 @ CHECK: strbt r1, [r2] @ encoding: [0x02,0xf8,0x00,0x1e]
2763 @ CHECK: strbt r1, [r8] @ encoding: [0x08,0xf8,0x00,0x1e]
2764 @ CHECK: strbt r1, [r8, #3] @ encoding: [0x08,0xf8,0x03,0x1e]
2765 @ CHECK: strbt r1, [r8, #255] @ encoding: [0x08,0xf8,0xff,0x1e]
2768 @------------------------------------------------------------------------------
2770 @------------------------------------------------------------------------------
2771 strd r3, r5, [r6, #24]
2772 strd r3, r5, [r6, #24]!
2773 strd r3, r5, [r6], #4
2774 strd r3, r5, [r6], #-8
2776 strd r8, r1, [r3, #0]
2777 strd r0, r1, [r2, #-0]
2778 strd r0, r1, [r2, #-0]!
2779 strd r0, r1, [r2], #-0
2781 @ CHECK: strd r3, r5, [r6, #24] @ encoding: [0xc6,0xe9,0x06,0x35]
2782 @ CHECK: strd r3, r5, [r6, #24]! @ encoding: [0xe6,0xe9,0x06,0x35]
2783 @ CHECK: strd r3, r5, [r6], #4 @ encoding: [0xe6,0xe8,0x01,0x35]
2784 @ CHECK: strd r3, r5, [r6], #-8 @ encoding: [0x66,0xe8,0x02,0x35]
2785 @ CHECK: strd r3, r5, [r6] @ encoding: [0xc6,0xe9,0x00,0x35]
2786 @ CHECK: strd r8, r1, [r3] @ encoding: [0xc3,0xe9,0x00,0x81]
2787 @ CHECK: strd r0, r1, [r2, #-0] @ encoding: [0x42,0xe9,0x00,0x01]
2788 @ CHECK: strd r0, r1, [r2, #-0]! @ encoding: [0x62,0xe9,0x00,0x01]
2789 @ CHECK: strd r0, r1, [r2], #-0 @ encoding: [0x62,0xe8,0x00,0x01]
2792 @------------------------------------------------------------------------------
2793 @ STREX/STREXB/STREXH/STREXD
2794 @------------------------------------------------------------------------------
2796 strex r8, r2, [r4, #0]
2797 strex r2, r12, [sp, #128]
2799 strexh r9, r7, [r12]
2800 strexd r9, r3, r6, [r4]
2802 @ CHECK: strex r1, r8, [r4] @ encoding: [0x44,0xe8,0x00,0x81]
2803 @ CHECK: strex r8, r2, [r4] @ encoding: [0x44,0xe8,0x00,0x28]
2804 @ CHECK: strex r2, r12, [sp, #128] @ encoding: [0x4d,0xe8,0x20,0xc2]
2805 @ CHECK: strexb r5, r1, [r7] @ encoding: [0xc7,0xe8,0x45,0x1f]
2806 @ CHECK: strexh r9, r7, [r12] @ encoding: [0xcc,0xe8,0x59,0x7f]
2807 @ CHECK: strexd r9, r3, r6, [r4] @ encoding: [0xc4,0xe8,0x79,0x36]
2810 @------------------------------------------------------------------------------
2812 @------------------------------------------------------------------------------
2817 strh.w lr, [r7, #257]
2818 strh r5, [r8, #255]!
2825 @ CHECK: strh r5, [r5, #-4] @ encoding: [0x25,0xf8,0x04,0x5c]
2826 @ CHECK: strh r5, [r6, #32] @ encoding: [0x35,0x84]
2827 @ CHECK: strh.w r5, [r6, #33] @ encoding: [0xa6,0xf8,0x21,0x50]
2828 @ CHECK: strh.w r5, [r6, #257] @ encoding: [0xa6,0xf8,0x01,0x51]
2829 @ CHECK: strh.w lr, [r7, #257] @ encoding: [0xa7,0xf8,0x01,0xe1]
2830 @ CHECK: strh r5, [r8, #255]! @ encoding: [0x28,0xf8,0xff,0x5f]
2831 @ CHECK: strh r2, [r5, #4]! @ encoding: [0x25,0xf8,0x04,0x2f]
2832 @ CHECK: strh r1, [r4, #-4]! @ encoding: [0x24,0xf8,0x04,0x1d]
2833 @ CHECK: strh lr, [r3], #255 @ encoding: [0x23,0xf8,0xff,0xeb]
2834 @ CHECK: strh r9, [r2], #4 @ encoding: [0x22,0xf8,0x04,0x9b]
2835 @ CHECK: strh r3, [sp], #-4 @ encoding: [0x2d,0xf8,0x04,0x39]
2838 @------------------------------------------------------------------------------
2840 @------------------------------------------------------------------------------
2843 strh r6, [r0, r2, lsl #3]
2844 strh r8, [r8, r2, lsl #2]
2845 strh r7, [sp, r2, lsl #1]
2846 strh r7, [sp, r2, lsl #0]
2848 @ CHECK: strh.w r1, [r8, r1] @ encoding: [0x28,0xf8,0x01,0x10]
2849 @ CHECK: strh.w r4, [r5, r2] @ encoding: [0x25,0xf8,0x02,0x40]
2850 @ CHECK: strh.w r6, [r0, r2, lsl #3] @ encoding: [0x20,0xf8,0x32,0x60]
2851 @ CHECK: strh.w r8, [r8, r2, lsl #2] @ encoding: [0x28,0xf8,0x22,0x80]
2852 @ CHECK: strh.w r7, [sp, r2, lsl #1] @ encoding: [0x2d,0xf8,0x12,0x70]
2853 @ CHECK: strh.w r7, [sp, r2] @ encoding: [0x2d,0xf8,0x02,0x70]
2856 @------------------------------------------------------------------------------
2858 @------------------------------------------------------------------------------
2862 strht r1, [r8, #255]
2864 @ CHECK: strht r1, [r2] @ encoding: [0x22,0xf8,0x00,0x1e]
2865 @ CHECK: strht r1, [r8] @ encoding: [0x28,0xf8,0x00,0x1e]
2866 @ CHECK: strht r1, [r8, #3] @ encoding: [0x28,0xf8,0x03,0x1e]
2867 @ CHECK: strht r1, [r8, #255] @ encoding: [0x28,0xf8,0xff,0x1e]
2870 @------------------------------------------------------------------------------
2872 @------------------------------------------------------------------------------
2878 @ CHECK: strt r1, [r2] @ encoding: [0x42,0xf8,0x00,0x1e]
2879 @ CHECK: strt r1, [r8] @ encoding: [0x48,0xf8,0x00,0x1e]
2880 @ CHECK: strt r1, [r8, #3] @ encoding: [0x48,0xf8,0x03,0x1e]
2881 @ CHECK: strt r1, [r8, #255] @ encoding: [0x48,0xf8,0xff,0x1e]
2884 @------------------------------------------------------------------------------
2886 @------------------------------------------------------------------------------
2889 subwne r5, r3, #1023
2896 subw r12, r6, #0x100
2903 @ CHECK: itet eq @ encoding: [0x0a,0xbf]
2904 @ CHECK: subeq r1, r2, #4 @ encoding: [0x11,0x1f]
2905 @ CHECK: subwne r5, r3, #1023 @ encoding: [0xa3,0xf2,0xff,0x35]
2906 @ CHECK: subweq r4, r5, #293 @ encoding: [0xa5,0xf2,0x25,0x14]
2907 @ CHECK: sub.w r2, sp, #1024 @ encoding: [0xad,0xf5,0x80,0x62]
2908 @ CHECK: sub.w r2, r8, #65280 @ encoding: [0xa8,0xf5,0x7f,0x42]
2909 @ CHECK: subw r2, r3, #257 @ encoding: [0xa3,0xf2,0x01,0x12]
2910 @ CHECK: subw r2, r3, #257 @ encoding: [0xa3,0xf2,0x01,0x12]
2911 @ CHECK: sub.w r12, r6, #256 @ encoding: [0xa6,0xf5,0x80,0x7c]
2912 @ CHECK: subw r12, r6, #256 @ encoding: [0xa6,0xf2,0x00,0x1c]
2913 @ CHECK: subs.w r1, r2, #496 @ encoding: [0xb2,0xf5,0xf8,0x71]
2914 @ CHECK: sub.w r2, r2, #1 @ encoding: [0xa2,0xf1,0x01,0x02]
2915 @ CHECK: sub.w r0, r0, #32 @ encoding: [0xa0,0xf1,0x20,0x00]
2916 @ CHECK: subs r2, #56 @ encoding: [0x38,0x3a]
2917 @ CHECK: subs r2, #56 @ encoding: [0x38,0x3a]
2920 @------------------------------------------------------------------------------
2922 @------------------------------------------------------------------------------
2924 sub r4, r5, r6, lsl #5
2925 sub r4, r5, r6, lsr #5
2926 sub.w r4, r5, r6, lsr #5
2927 sub r4, r5, r6, asr #5
2928 sub r4, r5, r6, ror #5
2929 sub.w r5, r2, r12, rrx
2937 @ CHECK: sub.w r4, r5, r6 @ encoding: [0xa5,0xeb,0x06,0x04]
2938 @ CHECK: sub.w r4, r5, r6, lsl #5 @ encoding: [0xa5,0xeb,0x46,0x14]
2939 @ CHECK: sub.w r4, r5, r6, lsr #5 @ encoding: [0xa5,0xeb,0x56,0x14]
2940 @ CHECK: sub.w r4, r5, r6, lsr #5 @ encoding: [0xa5,0xeb,0x56,0x14]
2941 @ CHECK: sub.w r4, r5, r6, asr #5 @ encoding: [0xa5,0xeb,0x66,0x14]
2942 @ CHECK: sub.w r4, r5, r6, ror #5 @ encoding: [0xa5,0xeb,0x76,0x14]
2943 @ CHECK: sub.w r5, r2, r12, rrx @ encoding: [0xa2,0xeb,0x3c,0x05]
2944 @ CHECK: sub.w r2, sp, r12 @ encoding: [0xad,0xeb,0x0c,0x02]
2945 @ CHECK: sub.w sp, sp, r12 @ encoding: [0xad,0xeb,0x0c,0x0d]
2946 @ CHECK: sub.w sp, sp, r12 @ encoding: [0xad,0xeb,0x0c,0x0d]
2947 @ CHECK: sub.w r2, sp, r12 @ encoding: [0xad,0xeb,0x0c,0x02]
2948 @ CHECK: sub.w sp, sp, r12 @ encoding: [0xad,0xeb,0x0c,0x0d]
2949 @ CHECK: sub.w sp, sp, r12 @ encoding: [0xad,0xeb,0x0c,0x0d]
2952 @------------------------------------------------------------------------------
2954 @------------------------------------------------------------------------------
2960 @ CHECK: svc #0 @ encoding: [0x00,0xdf]
2961 @ CHECK: ite eq @ encoding: [0x0c,0xbf]
2962 @ CHECK: svceq #255 @ encoding: [0xff,0xdf]
2963 @ CHECK: svcne #33 @ encoding: [0x21,0xdf]
2966 @------------------------------------------------------------------------------
2968 @------------------------------------------------------------------------------
2970 sxtab r4, r5, r6, ror #0
2972 sxtablt r6, r2, r9, ror #8
2973 sxtab r5, r1, r4, ror #16
2974 sxtab r7, r8, r3, ror #24
2976 @ CHECK: sxtab r2, r3, r4 @ encoding: [0x43,0xfa,0x84,0xf2]
2977 @ CHECK: sxtab r4, r5, r6 @ encoding: [0x45,0xfa,0x86,0xf4]
2978 @ CHECK: it lt @ encoding: [0xb8,0xbf]
2979 @ CHECK: sxtablt r6, r2, r9, ror #8 @ encoding: [0x42,0xfa,0x99,0xf6]
2980 @ CHECK: sxtab r5, r1, r4, ror #16 @ encoding: [0x41,0xfa,0xa4,0xf5]
2981 @ CHECK: sxtab r7, r8, r3, ror #24 @ encoding: [0x48,0xfa,0xb3,0xf7]
2984 @------------------------------------------------------------------------------
2986 @------------------------------------------------------------------------------
2987 sxtab16 r6, r2, r7, ror #0
2988 sxtab16 r3, r5, r8, ror #8
2989 sxtab16 r3, r2, r1, ror #16
2991 sxtab16ne r0, r1, r4
2992 sxtab16eq r1, r2, r3, ror #24
2994 @ CHECK: sxtab16 r6, r2, r7 @ encoding: [0x22,0xfa,0x87,0xf6]
2995 @ CHECK: sxtab16 r3, r5, r8, ror #8 @ encoding: [0x25,0xfa,0x98,0xf3]
2996 @ CHECK: sxtab16 r3, r2, r1, ror #16 @ encoding: [0x22,0xfa,0xa1,0xf3]
2997 @ CHECK: ite ne @ encoding: [0x14,0xbf]
2998 @ CHECK: sxtab16ne r0, r1, r4 @ encoding: [0x21,0xfa,0x84,0xf0]
2999 @ CHECK: sxtab16eq r1, r2, r3, ror #24 @ encoding: [0x22,0xfa,0xb3,0xf1]
3002 @------------------------------------------------------------------------------
3004 @------------------------------------------------------------------------------
3006 sxtah r3, r8, r3, ror #8
3007 sxtah r9, r3, r3, ror #24
3009 sxtahhi r6, r1, r6, ror #0
3010 sxtahls r2, r2, r4, ror #16
3012 @ CHECK: sxtah r1, r3, r9 @ encoding: [0x03,0xfa,0x89,0xf1]
3013 @ CHECK: sxtah r3, r8, r3, ror #8 @ encoding: [0x08,0xfa,0x93,0xf3]
3014 @ CHECK: sxtah r9, r3, r3, ror #24 @ encoding: [0x03,0xfa,0xb3,0xf9]
3015 @ CHECK: ite hi @ encoding: [0x8c,0xbf]
3016 @ CHECK: sxtahhi r6, r1, r6 @ encoding: [0x01,0xfa,0x86,0xf6]
3017 @ CHECK: sxtahls r2, r2, r4, ror #16 @ encoding: [0x02,0xfa,0xa4,0xf2]
3020 @------------------------------------------------------------------------------
3022 @------------------------------------------------------------------------------
3025 sxtb r8, r3, ror #24
3028 sxtblt r5, r1, ror #16
3031 @ CHECK: sxtb r5, r6 @ encoding: [0x75,0xb2]
3032 @ CHECK: sxtb.w r6, r9, ror #8 @ encoding: [0x4f,0xfa,0x99,0xf6]
3033 @ CHECK: sxtb.w r8, r3, ror #24 @ encoding: [0x4f,0xfa,0xb3,0xf8]
3034 @ CHECK: ite ge @ encoding: [0xac,0xbf]
3035 @ CHECK: sxtbge r2, r4 @ encoding: [0x62,0xb2]
3036 @ CHECK: sxtblt.w r5, r1, ror #16 @ encoding: [0x4f,0xfa,0xa1,0xf5]
3037 @ CHECK: sxtb.w r7, r8 @ encoding: [0x4f,0xfa,0x88,0xf7]
3040 @------------------------------------------------------------------------------
3042 @------------------------------------------------------------------------------
3044 sxtb16 r6, r7, ror #0
3045 sxtb16 r3, r1, ror #16
3047 sxtb16cs r3, r5, ror #8
3048 sxtb16lo r2, r3, ror #24
3050 @ CHECK: sxtb16 r1, r4 @ encoding: [0x2f,0xfa,0x84,0xf1]
3051 @ CHECK: sxtb16 r6, r7 @ encoding: [0x2f,0xfa,0x87,0xf6]
3052 @ CHECK: sxtb16 r3, r1, ror #16 @ encoding: [0x2f,0xfa,0xa1,0xf3]
3053 @ CHECK: ite hs @ encoding: [0x2c,0xbf]
3054 @ CHECK: sxtb16hs r3, r5, ror #8 @ encoding: [0x2f,0xfa,0x95,0xf3]
3055 @ CHECK: sxtb16lo r2, r3, ror #24 @ encoding: [0x2f,0xfa,0xb3,0xf2]
3058 @------------------------------------------------------------------------------
3060 @------------------------------------------------------------------------------
3063 sxth r9, r3, ror #24
3066 sxthne r2, r2, ror #16
3069 @ CHECK: sxth r1, r6 @ encoding: [0x31,0xb2]
3070 @ CHECK: sxth.w r3, r8, ror #8 @ encoding: [0x0f,0xfa,0x98,0xf3]
3071 @ CHECK: sxth.w r9, r3, ror #24 @ encoding: [0x0f,0xfa,0xb3,0xf9]
3072 @ CHECK: itt ne @ encoding: [0x1c,0xbf]
3073 @ CHECK: sxthne.w r3, r9 @ encoding: [0x0f,0xfa,0x89,0xf3]
3074 @ CHECK: sxthne.w r2, r2, ror #16 @ encoding: [0x0f,0xfa,0xa2,0xf2]
3075 @ CHECK: sxth.w r7, r8 @ encoding: [0x0f,0xfa,0x88,0xf7]
3078 @------------------------------------------------------------------------------
3080 @------------------------------------------------------------------------------
3082 sxtb.w r6, r9, ror #8
3083 sxtb r8, r3, ror #24
3086 sxtblt r5, r1, ror #16
3088 @ CHECK: sxtb r5, r6 @ encoding: [0x75,0xb2]
3089 @ CHECK: sxtb.w r6, r9, ror #8 @ encoding: [0x4f,0xfa,0x99,0xf6]
3090 @ CHECK: sxtb.w r8, r3, ror #24 @ encoding: [0x4f,0xfa,0xb3,0xf8]
3091 @ CHECK: ite ge @ encoding: [0xac,0xbf]
3092 @ CHECK: sxtbge r2, r4 @ encoding: [0x62,0xb2]
3093 @ CHECK: sxtblt.w r5, r1, ror #16 @ encoding: [0x4f,0xfa,0xa1,0xf5]
3096 @------------------------------------------------------------------------------
3098 @------------------------------------------------------------------------------
3100 sxtb16 r6, r7, ror #0
3101 sxtb16 r3, r1, ror #16
3103 sxtb16cs r3, r5, ror #8
3104 sxtb16lo r2, r3, ror #24
3106 @ CHECK: sxtb16 r1, r4 @ encoding: [0x2f,0xfa,0x84,0xf1]
3107 @ CHECK: sxtb16 r6, r7 @ encoding: [0x2f,0xfa,0x87,0xf6]
3108 @ CHECK: sxtb16 r3, r1, ror #16 @ encoding: [0x2f,0xfa,0xa1,0xf3]
3109 @ CHECK: ite hs @ encoding: [0x2c,0xbf]
3110 @ CHECK: sxtb16hs r3, r5, ror #8 @ encoding: [0x2f,0xfa,0x95,0xf3]
3111 @ CHECK: sxtb16lo r2, r3, ror #24 @ encoding: [0x2f,0xfa,0xb3,0xf2]
3114 @------------------------------------------------------------------------------
3116 @------------------------------------------------------------------------------
3118 sxth.w r3, r8, ror #8
3119 sxth r9, r3, ror #24
3122 sxthne r2, r2, ror #16
3124 @ CHECK: sxth r1, r6 @ encoding: [0x31,0xb2]
3125 @ CHECK: sxth.w r3, r8, ror #8 @ encoding: [0x0f,0xfa,0x98,0xf3]
3126 @ CHECK: sxth.w r9, r3, ror #24 @ encoding: [0x0f,0xfa,0xb3,0xf9]
3127 @ CHECK: itt ne @ encoding: [0x1c,0xbf]
3128 @ CHECK: sxthne.w r3, r9 @ encoding: [0x0f,0xfa,0x89,0xf3]
3129 @ CHECK: sxthne.w r2, r2, ror #16 @ encoding: [0x0f,0xfa,0xa2,0xf2]
3132 @------------------------------------------------------------------------------
3134 @------------------------------------------------------------------------------
3136 tbh [r3, r8, lsl #1]
3140 tbhcs [r3, r8, lsl #1]
3142 @ CHECK: tbb [r3, r8] @ encoding: [0xd3,0xe8,0x08,0xf0]
3143 @ CHECK: tbh [r3, r8, lsl #1] @ encoding: [0xd3,0xe8,0x18,0xf0]
3144 @ CHECK: it eq @ encoding: [0x08,0xbf]
3145 @ CHECK: tbbeq [r3, r8] @ encoding: [0xd3,0xe8,0x08,0xf0]
3146 @ CHECK: it hs @ encoding: [0x28,0xbf]
3147 @ CHECK: tbhhs [r3, r8, lsl #1] @ encoding: [0xd3,0xe8,0x18,0xf0]
3150 @------------------------------------------------------------------------------
3152 @------------------------------------------------------------------------------
3161 @ CHECK: teq.w r5, #61440 @ encoding: [0x95,0xf4,0x70,0x4f]
3162 @ CHECK: teq.w r4, r5 @ encoding: [0x94,0xea,0x05,0x0f]
3163 @ CHECK: teq.w r4, r5, lsl #5 @ encoding: [0x94,0xea,0x45,0x1f]
3164 @ CHECK: teq.w r4, r5, lsr #5 @ encoding: [0x94,0xea,0x55,0x1f]
3165 @ CHECK: teq.w r4, r5, lsr #5 @ encoding: [0x94,0xea,0x55,0x1f]
3166 @ CHECK: teq.w r4, r5, asr #5 @ encoding: [0x94,0xea,0x65,0x1f]
3167 @ CHECK: teq.w r4, r5, ror #5 @ encoding: [0x94,0xea,0x75,0x1f]
3170 @------------------------------------------------------------------------------
3172 @------------------------------------------------------------------------------
3177 tst r5, r10, lsr #12
3181 @ CHECK: tst.w r5, #61440 @ encoding: [0x15,0xf4,0x70,0x4f]
3182 @ CHECK: tst r2, r5 @ encoding: [0x2a,0x42]
3183 @ CHECK: tst.w r3, r12, lsl #5 @ encoding: [0x13,0xea,0x4c,0x1f]
3184 @ CHECK: tst.w r4, r11, lsr #4 @ encoding: [0x14,0xea,0x1b,0x1f]
3185 @ CHECK: tst.w r5, r10, lsr #12 @ encoding: [0x15,0xea,0x1a,0x3f]
3186 @ CHECK: tst.w r6, r9, asr #30 @ encoding: [0x16,0xea,0xa9,0x7f]
3187 @ CHECK: tst.w r7, r8, ror #2 @ encoding: [0x17,0xea,0xb8,0x0f]
3190 @------------------------------------------------------------------------------
3192 @------------------------------------------------------------------------------
3199 @ CHECK: uadd16 r1, r2, r3 @ encoding: [0x92,0xfa,0x43,0xf1]
3200 @ CHECK: uadd8 r1, r2, r3 @ encoding: [0x82,0xfa,0x43,0xf1]
3201 @ CHECK: ite gt @ encoding: [0xcc,0xbf]
3202 @ CHECK: uadd16gt r1, r2, r3 @ encoding: [0x92,0xfa,0x43,0xf1]
3203 @ CHECK: uadd8le r1, r2, r3 @ encoding: [0x82,0xfa,0x43,0xf1]
3206 @------------------------------------------------------------------------------
3208 @------------------------------------------------------------------------------
3212 uaddsubx r9, r12, r0
3214 uaddsubxeq r9, r12, r0
3216 @ CHECK: uasx r9, r12, r0 @ encoding: [0xac,0xfa,0x40,0xf9]
3217 @ CHECK: it eq @ encoding: [0x08,0xbf]
3218 @ CHECK: uasxeq r9, r12, r0 @ encoding: [0xac,0xfa,0x40,0xf9]
3219 @ CHECK: uasx r9, r12, r0 @ encoding: [0xac,0xfa,0x40,0xf9]
3220 @ CHECK: it eq @ encoding: [0x08,0xbf]
3221 @ CHECK: uasxeq r9, r12, r0 @ encoding: [0xac,0xfa,0x40,0xf9]
3224 @------------------------------------------------------------------------------
3226 @------------------------------------------------------------------------------
3227 ubfx r4, r5, #16, #1
3229 ubfxgt r4, r5, #16, #16
3231 @ CHECK: ubfx r4, r5, #16, #1 @ encoding: [0xc5,0xf3,0x00,0x44]
3232 @ CHECK: it gt @ encoding: [0xc8,0xbf]
3233 @ CHECK: ubfxgt r4, r5, #16, #16 @ encoding: [0xc5,0xf3,0x0f,0x44]
3236 @------------------------------------------------------------------------------
3238 @------------------------------------------------------------------------------
3242 uhadd16gt r4, r8, r2
3245 @ CHECK: uhadd16 r4, r8, r2 @ encoding: [0x98,0xfa,0x62,0xf4]
3246 @ CHECK: uhadd8 r4, r8, r2 @ encoding: [0x88,0xfa,0x62,0xf4]
3247 @ CHECK: itt gt @ encoding: [0xc4,0xbf]
3248 @ CHECK: uhadd16gt r4, r8, r2 @ encoding: [0x98,0xfa,0x62,0xf4]
3249 @ CHECK: uhadd8gt r4, r8, r2 @ encoding: [0x88,0xfa,0x62,0xf4]
3252 @------------------------------------------------------------------------------
3254 @------------------------------------------------------------------------------
3260 uhaddsubx r4, r1, r5
3261 uhsubaddx r5, r6, r6
3263 uhaddsubxgt r6, r9, r8
3264 uhsubaddxgt r7, r8, r12
3266 @ CHECK: uhasx r4, r1, r5 @ encoding: [0xa1,0xfa,0x65,0xf4]
3267 @ CHECK: uhsax r5, r6, r6 @ encoding: [0xe6,0xfa,0x66,0xf5]
3268 @ CHECK: itt gt @ encoding: [0xc4,0xbf]
3269 @ CHECK: uhasxgt r6, r9, r8 @ encoding: [0xa9,0xfa,0x68,0xf6]
3270 @ CHECK: uhsaxgt r7, r8, r12 @ encoding: [0xe8,0xfa,0x6c,0xf7]
3271 @ CHECK: uhasx r4, r1, r5 @ encoding: [0xa1,0xfa,0x65,0xf4]
3272 @ CHECK: uhsax r5, r6, r6 @ encoding: [0xe6,0xfa,0x66,0xf5]
3273 @ CHECK: itt gt @ encoding: [0xc4,0xbf]
3274 @ CHECK: uhasxgt r6, r9, r8 @ encoding: [0xa9,0xfa,0x68,0xf6]
3275 @ CHECK: uhsaxgt r7, r8, r12 @ encoding: [0xe8,0xfa,0x6c,0xf7]
3278 @------------------------------------------------------------------------------
3280 @------------------------------------------------------------------------------
3284 uhsub16lt r4, r9, r12
3287 @ CHECK: uhsub16 r5, r8, r3 @ encoding: [0xd8,0xfa,0x63,0xf5]
3288 @ CHECK: uhsub8 r1, r7, r6 @ encoding: [0xc7,0xfa,0x66,0xf1]
3289 @ CHECK: itt lt @ encoding: [0xbc,0xbf]
3290 @ CHECK: uhsub16lt r4, r9, r12 @ encoding: [0xd9,0xfa,0x6c,0xf4]
3291 @ CHECK: uhsub8lt r3, r1, r5 @ encoding: [0xc1,0xfa,0x65,0xf3]
3294 @------------------------------------------------------------------------------
3296 @------------------------------------------------------------------------------
3297 umaal r3, r4, r5, r6
3299 umaallt r3, r4, r5, r6
3301 @ CHECK: umaal r3, r4, r5, r6 @ encoding: [0xe5,0xfb,0x66,0x34]
3302 @ CHECK: it lt @ encoding: [0xb8,0xbf]
3303 @ CHECK: umaallt r3, r4, r5, r6 @ encoding: [0xe5,0xfb,0x66,0x34]
3306 @------------------------------------------------------------------------------
3308 @------------------------------------------------------------------------------
3309 umlal r2, r4, r6, r8
3311 umlalgt r6, r1, r2, r6
3313 @ CHECK: umlal r2, r4, r6, r8 @ encoding: [0xe6,0xfb,0x08,0x24]
3314 @ CHECK: it gt @ encoding: [0xc8,0xbf]
3315 @ CHECK: umlalgt r6, r1, r2, r6 @ encoding: [0xe2,0xfb,0x06,0x61]
3318 @------------------------------------------------------------------------------
3320 @------------------------------------------------------------------------------
3321 umull r2, r4, r6, r8
3323 umullgt r6, r1, r2, r6
3325 @ CHECK: umull r2, r4, r6, r8 @ encoding: [0xa6,0xfb,0x08,0x24]
3326 @ CHECK: it gt @ encoding: [0xc8,0xbf]
3327 @ CHECK: umullgt r6, r1, r2, r6 @ encoding: [0xa2,0xfb,0x06,0x61]
3330 @------------------------------------------------------------------------------
3332 @------------------------------------------------------------------------------
3336 uqadd16gt r4, r7, r9
3339 @ CHECK: uqadd16 r1, r2, r3 @ encoding: [0x92,0xfa,0x53,0xf1]
3340 @ CHECK: uqadd8 r3, r4, r8 @ encoding: [0x84,0xfa,0x58,0xf3]
3341 @ CHECK: ite gt @ encoding: [0xcc,0xbf]
3342 @ CHECK: uqadd16gt r4, r7, r9 @ encoding: [0x97,0xfa,0x59,0xf4]
3343 @ CHECK: uqadd8le r8, r1, r2 @ encoding: [0x81,0xfa,0x52,0xf8]
3346 @------------------------------------------------------------------------------
3348 @------------------------------------------------------------------------------
3355 uqaddsubx r1, r2, r3
3356 uqsubaddx r3, r4, r8
3358 uqaddsubxgt r4, r7, r9
3359 uqsubaddxle r8, r1, r2
3361 @ CHECK: uqasx r1, r2, r3 @ encoding: [0xa2,0xfa,0x53,0xf1]
3362 @ CHECK: uqsax r3, r4, r8 @ encoding: [0xe4,0xfa,0x58,0xf3]
3363 @ CHECK: ite gt @ encoding: [0xcc,0xbf]
3364 @ CHECK: uqasxgt r4, r7, r9 @ encoding: [0xa7,0xfa,0x59,0xf4]
3365 @ CHECK: uqsaxle r8, r1, r2 @ encoding: [0xe1,0xfa,0x52,0xf8]
3367 @ CHECK: uqasx r1, r2, r3 @ encoding: [0xa2,0xfa,0x53,0xf1]
3368 @ CHECK: uqsax r3, r4, r8 @ encoding: [0xe4,0xfa,0x58,0xf3]
3369 @ CHECK: ite gt @ encoding: [0xcc,0xbf]
3370 @ CHECK: uqasxgt r4, r7, r9 @ encoding: [0xa7,0xfa,0x59,0xf4]
3371 @ CHECK: uqsaxle r8, r1, r2 @ encoding: [0xe1,0xfa,0x52,0xf8]
3374 @------------------------------------------------------------------------------
3376 @------------------------------------------------------------------------------
3381 uqsub16le r4, r6, r4
3383 @ CHECK: uqsub8 r8, r2, r9 @ encoding: [0xc2,0xfa,0x59,0xf8]
3384 @ CHECK: uqsub16 r1, r9, r7 @ encoding: [0xd9,0xfa,0x57,0xf1]
3385 @ CHECK: ite gt @ encoding: [0xcc,0xbf]
3386 @ CHECK: uqsub8gt r3, r1, r6 @ encoding: [0xc1,0xfa,0x56,0xf3]
3387 @ CHECK: uqsub16le r4, r6, r4 @ encoding: [0xd6,0xfa,0x54,0xf4]
3390 @------------------------------------------------------------------------------
3392 @------------------------------------------------------------------------------
3394 usada8 r8, r2, r9, r12
3396 usada8gt r3, r1, r6, r9
3399 @ CHECK: usad8 r1, r9, r7 @ encoding: [0x79,0xfb,0x07,0xf1]
3400 @ CHECK: usada8 r8, r2, r9, r12 @ encoding: [0x72,0xfb,0x09,0xc8]
3401 @ CHECK: ite gt @ encoding: [0xcc,0xbf]
3402 @ CHECK: usada8gt r3, r1, r6, r9 @ encoding: [0x71,0xfb,0x06,0x93]
3403 @ CHECK: usad8le r4, r6, r4 @ encoding: [0x76,0xfb,0x04,0xf4]
3406 @------------------------------------------------------------------------------
3408 @------------------------------------------------------------------------------
3410 usat r8, #4, r10, lsl #0
3411 usat r8, #5, r10, lsl #31
3412 usat r8, #16, r10, asr #1
3414 @ CHECK: usat r8, #1, r10 @ encoding: [0x8a,0xf3,0x01,0x08]
3415 @ CHECK: usat r8, #4, r10 @ encoding: [0x8a,0xf3,0x04,0x08]
3416 @ CHECK: usat r8, #5, r10, lsl #31 @ encoding: [0x8a,0xf3,0xc5,0x78]
3417 @ CHECK: usat r8, #16, r10, asr #1 @ encoding: [0xaa,0xf3,0x50,0x08]
3420 @------------------------------------------------------------------------------
3422 @------------------------------------------------------------------------------
3426 @ CHECK: usat16 r2, #2, r7 @ encoding: [0xa7,0xf3,0x02,0x02]
3427 @ CHECK: usat16 r3, #15, r5 @ encoding: [0xa5,0xf3,0x0f,0x03]
3430 @------------------------------------------------------------------------------
3432 @------------------------------------------------------------------------------
3438 usubaddxne r6, r1, r9
3440 @ CHECK: usax r2, r3, r4 @ encoding: [0xe3,0xfa,0x44,0xf2]
3441 @ CHECK: it ne @ encoding: [0x18,0xbf]
3442 @ CHECK: usaxne r6, r1, r9 @ encoding: [0xe1,0xfa,0x49,0xf6]
3443 @ CHECK: usax r2, r3, r4 @ encoding: [0xe3,0xfa,0x44,0xf2]
3444 @ CHECK: it ne @ encoding: [0x18,0xbf]
3445 @ CHECK: usaxne r6, r1, r9 @ encoding: [0xe1,0xfa,0x49,0xf6]
3448 @------------------------------------------------------------------------------
3450 @------------------------------------------------------------------------------
3457 @ CHECK: usub16 r4, r2, r7 @ encoding: [0xd2,0xfa,0x47,0xf4]
3458 @ CHECK: usub8 r1, r8, r5 @ encoding: [0xc8,0xfa,0x45,0xf1]
3459 @ CHECK: ite hi @ encoding: [0x8c,0xbf]
3460 @ CHECK: usub16hi r1, r1, r3 @ encoding: [0xd1,0xfa,0x43,0xf1]
3461 @ CHECK: usub8ls r9, r2, r3 @ encoding: [0xc2,0xfa,0x43,0xf9]
3464 @------------------------------------------------------------------------------
3466 @------------------------------------------------------------------------------
3468 uxtab r4, r5, r6, ror #0
3470 uxtablt r6, r2, r9, ror #8
3471 uxtab r5, r1, r4, ror #16
3472 uxtab r7, r8, r3, ror #24
3474 @ CHECK: uxtab r2, r3, r4 @ encoding: [0x53,0xfa,0x84,0xf2]
3475 @ CHECK: uxtab r4, r5, r6 @ encoding: [0x55,0xfa,0x86,0xf4]
3476 @ CHECK: it lt @ encoding: [0xb8,0xbf]
3477 @ CHECK: uxtablt r6, r2, r9, ror #8 @ encoding: [0x52,0xfa,0x99,0xf6]
3478 @ CHECK: uxtab r5, r1, r4, ror #16 @ encoding: [0x51,0xfa,0xa4,0xf5]
3479 @ CHECK: uxtab r7, r8, r3, ror #24 @ encoding: [0x58,0xfa,0xb3,0xf7]
3482 @------------------------------------------------------------------------------
3484 @------------------------------------------------------------------------------
3486 uxtab16ge r0, r1, r4
3487 uxtab16 r6, r2, r7, ror #0
3488 uxtab16 r3, r5, r8, ror #8
3489 uxtab16 r3, r2, r1, ror #16
3491 uxtab16eq r1, r2, r3, ror #24
3493 @ CHECK: it ge @ encoding: [0xa8,0xbf]
3494 @ CHECK: uxtab16ge r0, r1, r4 @ encoding: [0x31,0xfa,0x84,0xf0]
3495 @ CHECK: uxtab16 r6, r2, r7 @ encoding: [0x32,0xfa,0x87,0xf6]
3496 @ CHECK: uxtab16 r3, r5, r8, ror #8 @ encoding: [0x35,0xfa,0x98,0xf3]
3497 @ CHECK: uxtab16 r3, r2, r1, ror #16 @ encoding: [0x32,0xfa,0xa1,0xf3]
3498 @ CHECK: it eq @ encoding: [0x08,0xbf]
3499 @ CHECK: uxtab16eq r1, r2, r3, ror #24 @ encoding: [0x32,0xfa,0xb3,0xf1]
3502 @------------------------------------------------------------------------------
3504 @------------------------------------------------------------------------------
3507 uxtahhi r6, r1, r6, ror #0
3508 uxtah r3, r8, r3, ror #8
3510 uxtahlo r2, r2, r4, ror #16
3511 uxtah r9, r3, r3, ror #24
3513 @ CHECK: uxtah r1, r3, r9 @ encoding: [0x13,0xfa,0x89,0xf1]
3514 @ CHECK: it hi @ encoding: [0x88,0xbf]
3515 @ CHECK: uxtahhi r6, r1, r6 @ encoding: [0x11,0xfa,0x86,0xf6]
3516 @ CHECK: uxtah r3, r8, r3, ror #8 @ encoding: [0x18,0xfa,0x93,0xf3]
3517 @ CHECK: it lo @ encoding: [0x38,0xbf]
3518 @ CHECK: uxtahlo r2, r2, r4, ror #16 @ encoding: [0x12,0xfa,0xa4,0xf2]
3519 @ CHECK: uxtah r9, r3, r3, ror #24 @ encoding: [0x13,0xfa,0xb3,0xf9]
3522 @------------------------------------------------------------------------------
3524 @------------------------------------------------------------------------------
3530 uxtbcc r5, r1, ror #16
3531 uxtb r8, r3, ror #24
3534 @ CHECK: it ge @ encoding: [0xa8,0xbf]
3535 @ CHECK: uxtbge r2, r4 @ encoding: [0xe2,0xb2]
3536 @ CHECK: uxtb r5, r6 @ encoding: [0xf5,0xb2]
3537 @ CHECK: uxtb.w r6, r9, ror #8 @ encoding: [0x5f,0xfa,0x99,0xf6]
3538 @ CHECK: it lo @ encoding: [0x38,0xbf]
3539 @ CHECK: uxtblo.w r5, r1, ror #16 @ encoding: [0x5f,0xfa,0xa1,0xf5]
3540 @ CHECK: uxtb.w r8, r3, ror #24 @ encoding: [0x5f,0xfa,0xb3,0xf8]
3541 @ CHECK: uxtb.w r7, r8 @ encoding: [0x5f,0xfa,0x88,0xf7]
3544 @------------------------------------------------------------------------------
3546 @------------------------------------------------------------------------------
3548 uxtb16 r6, r7, ror #0
3550 uxtb16cs r3, r5, ror #8
3551 uxtb16 r3, r1, ror #16
3553 uxtb16ge r2, r3, ror #24
3555 @ CHECK: uxtb16 r1, r4 @ encoding: [0x3f,0xfa,0x84,0xf1]
3556 @ CHECK: uxtb16 r6, r7 @ encoding: [0x3f,0xfa,0x87,0xf6]
3557 @ CHECK: it hs @ encoding: [0x28,0xbf]
3558 @ CHECK: uxtb16hs r3, r5, ror #8 @ encoding: [0x3f,0xfa,0x95,0xf3]
3559 @ CHECK: uxtb16 r3, r1, ror #16 @ encoding: [0x3f,0xfa,0xa1,0xf3]
3560 @ CHECK: it ge @ encoding: [0xa8,0xbf]
3561 @ CHECK: uxtb16ge r2, r3, ror #24 @ encoding: [0x3f,0xfa,0xb3,0xf2]
3564 @------------------------------------------------------------------------------
3566 @------------------------------------------------------------------------------
3572 uxthle r2, r2, ror #16
3573 uxth r9, r3, ror #24
3576 @ CHECK: it ne @ encoding: [0x18,0xbf]
3577 @ CHECK: uxthne.w r3, r9 @ encoding: [0x1f,0xfa,0x89,0xf3]
3578 @ CHECK: uxth r1, r6 @ encoding: [0xb1,0xb2]
3579 @ CHECK: uxth.w r3, r8, ror #8 @ encoding: [0x1f,0xfa,0x98,0xf3]
3580 @ CHECK: it le @ encoding: [0xd8,0xbf]
3581 @ CHECK: uxthle.w r2, r2, ror #16 @ encoding: [0x1f,0xfa,0xa2,0xf2]
3582 @ CHECK: uxth.w r9, r3, ror #24 @ encoding: [0x1f,0xfa,0xb3,0xf9]
3583 @ CHECK: uxth.w r7, r8 @ encoding: [0x1f,0xfa,0x88,0xf7]
3585 @------------------------------------------------------------------------------
3586 @ WFE/WFI/YIELD/HINT
3587 @------------------------------------------------------------------------------
3611 @ CHECK: wfe @ encoding: [0x20,0xbf]
3612 @ CHECK: wfi @ encoding: [0x30,0xbf]
3613 @ CHECK: yield @ encoding: [0x10,0xbf]
3614 @ CHECK: itet lt @ encoding: [0xb6,0xbf]
3615 @ CHECK: wfelt @ encoding: [0x20,0xbf]
3616 @ CHECK: wfige @ encoding: [0x30,0xbf]
3617 @ CHECK: yieldlt @ encoding: [0x10,0xbf]
3618 @ CHECK: sev.w @ encoding: [0xaf,0xf3,0x04,0x80]
3619 @ CHECK: wfi.w @ encoding: [0xaf,0xf3,0x03,0x80]
3620 @ CHECK: wfe.w @ encoding: [0xaf,0xf3,0x02,0x80]
3621 @ CHECK: yield.w @ encoding: [0xaf,0xf3,0x01,0x80]
3622 @ CHECK: nop.w @ encoding: [0xaf,0xf3,0x00,0x80]
3623 @ CHECK: sev @ encoding: [0x40,0xbf]
3624 @ CHECK: wfi @ encoding: [0x30,0xbf]
3625 @ CHECK: wfe @ encoding: [0x20,0xbf]
3626 @ CHECK: yield @ encoding: [0x10,0xbf]
3627 @ CHECK: nop @ encoding: [0x00,0xbf]
3629 @ CHECK: itet lt @ encoding: [0xb6,0xbf]
3630 @ CHECK: hintlt #15 @ encoding: [0xf0,0xbf]
3631 @ CHECK: hintge.w #16 @ encoding: [0xaf,0xf3,0x10,0x80]
3632 @ CHECK: hintlt.w #239 @ encoding: [0xaf,0xf3,0xef,0x80]
3634 @------------------------------------------------------------------------------
3635 @ Unallocated wide/narrow hints
3636 @------------------------------------------------------------------------------
3639 @ CHECK: hint #7 @ encoding: [0x70,0xbf]
3640 @ CHECK: hint.w #7 @ encoding: [0xaf,0xf3,0x07,0x80]
3642 @------------------------------------------------------------------------------
3643 @ Alternate syntax for LDR*(literal) encodings
3644 @------------------------------------------------------------------------------
3647 ldrsb r11, [pc, #22]
3648 ldrsh r11, [pc, #22]
3649 ldr.w r11, [pc, #22]
3650 ldrb.w r11, [pc, #22]
3651 ldrh.w r11, [pc, #22]
3652 ldrsb.w r11, [pc, #22]
3653 ldrsh.w r11, [pc, #22]
3655 @ CHECK: ldrb.w r11, [pc, #22] @ encoding: [0x9f,0xf8,0x16,0xb0]
3656 @ CHECK: ldrh.w r11, [pc, #22] @ encoding: [0xbf,0xf8,0x16,0xb0]
3657 @ CHECK: ldrsb.w r11, [pc, #22] @ encoding: [0x9f,0xf9,0x16,0xb0]
3658 @ CHECK: ldrsh.w r11, [pc, #22] @ encoding: [0xbf,0xf9,0x16,0xb0]
3659 @ CHECK: ldr.w r11, [pc, #22] @ encoding: [0xdf,0xf8,0x16,0xb0]
3660 @ CHECK: ldrb.w r11, [pc, #22] @ encoding: [0x9f,0xf8,0x16,0xb0]
3661 @ CHECK: ldrh.w r11, [pc, #22] @ encoding: [0xbf,0xf8,0x16,0xb0]
3662 @ CHECK: ldrsb.w r11, [pc, #22] @ encoding: [0x9f,0xf9,0x16,0xb0]
3663 @ CHECK: ldrsh.w r11, [pc, #22] @ encoding: [0xbf,0xf9,0x16,0xb0]
3666 ldrb r11, [pc, #-22]
3667 ldrh r11, [pc, #-22]
3668 ldrsb r11, [pc, #-22]
3669 ldrsh r11, [pc, #-22]
3670 ldr.w r11, [pc, #-22]
3671 ldrb.w r11, [pc, #-22]
3672 ldrh.w r11, [pc, #-22]
3673 ldrsb.w r11, [pc, #-22]
3674 ldrsh.w r11, [pc, #-22]
3676 @ CHECK: ldr.w r11, [pc, #-22] @ encoding: [0x5f,0xf8,0x16,0xb0]
3677 @ CHECK: ldrb.w r11, [pc, #-22] @ encoding: [0x1f,0xf8,0x16,0xb0]
3678 @ CHECK: ldrh.w r11, [pc, #-22] @ encoding: [0x3f,0xf8,0x16,0xb0]
3679 @ CHECK: ldrsb.w r11, [pc, #-22] @ encoding: [0x1f,0xf9,0x16,0xb0]
3680 @ CHECK: ldrsh.w r11, [pc, #-22] @ encoding: [0x3f,0xf9,0x16,0xb0]
3681 @ CHECK: ldr.w r11, [pc, #-22] @ encoding: [0x5f,0xf8,0x16,0xb0]
3682 @ CHECK: ldrb.w r11, [pc, #-22] @ encoding: [0x1f,0xf8,0x16,0xb0]
3683 @ CHECK: ldrh.w r11, [pc, #-22] @ encoding: [0x3f,0xf8,0x16,0xb0]
3684 @ CHECK: ldrsb.w r11, [pc, #-22] @ encoding: [0x1f,0xf9,0x16,0xb0]
3685 @ CHECK: ldrsh.w r11, [pc, #-22] @ encoding: [0x3f,0xf9,0x16,0xb0]
3689 @ CHECK: ldr r1, [pc, #12] @ encoding: [0x03,0x49]
3693 @ CHECK: subs pc, lr, #4 @ encoding: [0xde,0xf3,0x04,0x8f]