1 @ RUN: llvm-mc -triple=armv7-apple-darwin -show-encoding < %s | FileCheck %s
5 @ Check that the assembler can handle the documented syntax from the ARM ARM.
6 @ For complex constructs like shifter operands, check more thoroughly for them
7 @ once then spot check that following instructions accept the form generally.
8 @ This gives us good coverage while keeping the overall size of the test
14 @------------------------------------------------------------------------------
16 @------------------------------------------------------------------------------
23 adc r1, r2, #0xf000000
24 adc r1, r2, #0xf0000000
25 adc r1, r2, #0xf000000f
30 @ CHECK: adc r1, r2, #15 @ encoding: [0x0f,0x10,0xa2,0xe2]
31 @ CHECK: adc r1, r2, #240 @ encoding: [0xf0,0x10,0xa2,0xe2]
32 @ CHECK: adc r1, r2, #3840 @ encoding: [0x0f,0x1c,0xa2,0xe2]
33 @ CHECK: adc r1, r2, #61440 @ encoding: [0x0f,0x1a,0xa2,0xe2]
34 @ CHECK: adc r1, r2, #983040 @ encoding: [0x0f,0x18,0xa2,0xe2]
35 @ CHECK: adc r1, r2, #15728640 @ encoding: [0x0f,0x16,0xa2,0xe2]
36 @ CHECK: adc r1, r2, #251658240 @ encoding: [0x0f,0x14,0xa2,0xe2]
37 @ CHECK: adc r1, r2, #4026531840 @ encoding: [0x0f,0x12,0xa2,0xe2]
38 @ CHECK: adc r1, r2, #4026531855 @ encoding: [0xff,0x12,0xa2,0xe2]
40 @ CHECK: adcs r1, r2, #3840 @ encoding: [0x0f,0x1c,0xb2,0xe2]
41 @ CHECK: adcseq r1, r2, #3840 @ encoding: [0x0f,0x1c,0xb2,0x02]
42 @ CHECK: adceq r1, r2, #3840 @ encoding: [0x0f,0x1c,0xa2,0x02]
44 @------------------------------------------------------------------------------
46 @ ADC (shifted register)
47 @------------------------------------------------------------------------------
50 adc r4, r5, r6, lsl #1
51 adc r4, r5, r6, lsl #31
52 adc r4, r5, r6, lsr #1
53 adc r4, r5, r6, lsr #31
54 adc r4, r5, r6, lsr #32
55 adc r4, r5, r6, asr #1
56 adc r4, r5, r6, asr #31
57 adc r4, r5, r6, asr #32
58 adc r4, r5, r6, ror #1
59 adc r4, r5, r6, ror #31
62 adc r6, r7, r8, lsl r9
63 adc r6, r7, r8, lsr r9
64 adc r6, r7, r8, asr r9
65 adc r6, r7, r8, ror r9
68 @ Destination register is optional
87 @ CHECK: adc r4, r5, r6 @ encoding: [0x06,0x40,0xa5,0xe0]
89 @ CHECK: adc r4, r5, r6, lsl #1 @ encoding: [0x86,0x40,0xa5,0xe0]
90 @ CHECK: adc r4, r5, r6, lsl #31 @ encoding: [0x86,0x4f,0xa5,0xe0]
91 @ CHECK: adc r4, r5, r6, lsr #1 @ encoding: [0xa6,0x40,0xa5,0xe0]
92 @ CHECK: adc r4, r5, r6, lsr #31 @ encoding: [0xa6,0x4f,0xa5,0xe0]
93 @ CHECK: adc r4, r5, r6, lsr #32 @ encoding: [0x26,0x40,0xa5,0xe0]
94 @ CHECK: adc r4, r5, r6, asr #1 @ encoding: [0xc6,0x40,0xa5,0xe0]
95 @ CHECK: adc r4, r5, r6, asr #31 @ encoding: [0xc6,0x4f,0xa5,0xe0]
96 @ CHECK: adc r4, r5, r6, asr #32 @ encoding: [0x46,0x40,0xa5,0xe0]
97 @ CHECK: adc r4, r5, r6, ror #1 @ encoding: [0xe6,0x40,0xa5,0xe0]
98 @ CHECK: adc r4, r5, r6, ror #31 @ encoding: [0xe6,0x4f,0xa5,0xe0]
100 @ CHECK: adc r6, r7, r8, lsl r9 @ encoding: [0x18,0x69,0xa7,0xe0]
101 @ CHECK: adc r6, r7, r8, lsr r9 @ encoding: [0x38,0x69,0xa7,0xe0]
102 @ CHECK: adc r6, r7, r8, asr r9 @ encoding: [0x58,0x69,0xa7,0xe0]
103 @ CHECK: adc r6, r7, r8, ror r9 @ encoding: [0x78,0x69,0xa7,0xe0]
104 @ CHECK: adc r4, r5, r6, rrx @ encoding: [0x66,0x40,0xa5,0xe0]
106 @ CHECK: adc r5, r5, r6 @ encoding: [0x06,0x50,0xa5,0xe0]
107 @ CHECK: adc r4, r4, r5, lsl #1 @ encoding: [0x85,0x40,0xa4,0xe0]
108 @ CHECK: adc r4, r4, r5, lsl #31 @ encoding: [0x85,0x4f,0xa4,0xe0]
109 @ CHECK: adc r4, r4, r5, lsr #1 @ encoding: [0xa5,0x40,0xa4,0xe0]
110 @ CHECK: adc r4, r4, r5, lsr #31 @ encoding: [0xa5,0x4f,0xa4,0xe0]
111 @ CHECK: adc r4, r4, r5, lsr #32 @ encoding: [0x25,0x40,0xa4,0xe0]
112 @ CHECK: adc r4, r4, r5, asr #1 @ encoding: [0xc5,0x40,0xa4,0xe0]
113 @ CHECK: adc r4, r4, r5, asr #31 @ encoding: [0xc5,0x4f,0xa4,0xe0]
114 @ CHECK: adc r4, r4, r5, asr #32 @ encoding: [0x45,0x40,0xa4,0xe0]
115 @ CHECK: adc r4, r4, r5, ror #1 @ encoding: [0xe5,0x40,0xa4,0xe0]
116 @ CHECK: adc r4, r4, r5, ror #31 @ encoding: [0xe5,0x4f,0xa4,0xe0]
117 @ CHECK: adc r4, r4, r5, rrx @ encoding: [0x65,0x40,0xa4,0xe0]
118 @ CHECK: adc r6, r6, r7, lsl r9 @ encoding: [0x17,0x69,0xa6,0xe0]
119 @ CHECK: adc r6, r6, r7, lsr r9 @ encoding: [0x37,0x69,0xa6,0xe0]
120 @ CHECK: adc r6, r6, r7, asr r9 @ encoding: [0x57,0x69,0xa6,0xe0]
121 @ CHECK: adc r6, r6, r7, ror r9 @ encoding: [0x77,0x69,0xa6,0xe0]
122 @ CHECK: adc r4, r4, r5, rrx @ encoding: [0x65,0x40,0xa4,0xe0]
125 @------------------------------------------------------------------------------
127 @------------------------------------------------------------------------------
129 @------------------------------------------------------------------------------
131 @------------------------------------------------------------------------------
134 add r4, r5, r6, lsl #5
135 add r4, r5, r6, lsr #5
136 add r4, r5, r6, lsr #5
137 add r4, r5, r6, asr #5
138 add r4, r5, r6, ror #5
139 add r6, r7, r8, lsl r9
140 add r6, r7, r8, lsr r9
141 add r6, r7, r8, asr r9
142 add r6, r7, r8, ror r9
145 @ destination register is optional
159 @ CHECK: add r4, r5, #61440 @ encoding: [0x0f,0x4a,0x85,0xe2]
160 @ CHECK: add r4, r5, r6 @ encoding: [0x06,0x40,0x85,0xe0]
161 @ CHECK: add r4, r5, r6, lsl #5 @ encoding: [0x86,0x42,0x85,0xe0]
162 @ CHECK: add r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0x85,0xe0]
163 @ CHECK: add r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0x85,0xe0]
164 @ CHECK: add r4, r5, r6, asr #5 @ encoding: [0xc6,0x42,0x85,0xe0]
165 @ CHECK: add r4, r5, r6, ror #5 @ encoding: [0xe6,0x42,0x85,0xe0]
166 @ CHECK: add r6, r7, r8, lsl r9 @ encoding: [0x18,0x69,0x87,0xe0]
167 @ CHECK: add r6, r7, r8, lsr r9 @ encoding: [0x38,0x69,0x87,0xe0]
168 @ CHECK: add r6, r7, r8, asr r9 @ encoding: [0x58,0x69,0x87,0xe0]
169 @ CHECK: add r6, r7, r8, ror r9 @ encoding: [0x78,0x69,0x87,0xe0]
170 @ CHECK: add r4, r5, r6, rrx @ encoding: [0x66,0x40,0x85,0xe0]
173 @ CHECK: add r5, r5, #61440 @ encoding: [0x0f,0x5a,0x85,0xe2]
174 @ CHECK: add r4, r4, r5 @ encoding: [0x05,0x40,0x84,0xe0]
175 @ CHECK: add r4, r4, r5, lsl #5 @ encoding: [0x85,0x42,0x84,0xe0]
176 @ CHECK: add r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0x84,0xe0]
177 @ CHECK: add r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0x84,0xe0]
178 @ CHECK: add r4, r4, r5, asr #5 @ encoding: [0xc5,0x42,0x84,0xe0]
179 @ CHECK: add r4, r4, r5, ror #5 @ encoding: [0xe5,0x42,0x84,0xe0]
180 @ CHECK: add r6, r6, r7, lsl r9 @ encoding: [0x17,0x69,0x86,0xe0]
181 @ CHECK: add r6, r6, r7, lsr r9 @ encoding: [0x37,0x69,0x86,0xe0]
182 @ CHECK: add r6, r6, r7, asr r9 @ encoding: [0x57,0x69,0x86,0xe0]
183 @ CHECK: add r6, r6, r7, ror r9 @ encoding: [0x77,0x69,0x86,0xe0]
184 @ CHECK: add r4, r4, r5, rrx @ encoding: [0x65,0x40,0x84,0xe0]
187 @------------------------------------------------------------------------------
189 @------------------------------------------------------------------------------
192 and r10, r1, r6, lsl #10
193 and r10, r1, r6, lsr #10
194 and r10, r1, r6, lsr #10
195 and r10, r1, r6, asr #10
196 and r10, r1, r6, ror #10
197 and r6, r7, r8, lsl r2
198 and r6, r7, r8, lsr r2
199 and r6, r7, r8, asr r2
200 and r6, r7, r8, ror r2
203 @ destination register is optional
217 @ CHECK: and r10, r1, #15 @ encoding: [0x0f,0xa0,0x01,0xe2]
218 @ CHECK: and r10, r1, r6 @ encoding: [0x06,0xa0,0x01,0xe0]
219 @ CHECK: and r10, r1, r6, lsl #10 @ encoding: [0x06,0xa5,0x01,0xe0]
220 @ CHECK: and r10, r1, r6, lsr #10 @ encoding: [0x26,0xa5,0x01,0xe0]
221 @ CHECK: and r10, r1, r6, lsr #10 @ encoding: [0x26,0xa5,0x01,0xe0]
222 @ CHECK: and r10, r1, r6, asr #10 @ encoding: [0x46,0xa5,0x01,0xe0]
223 @ CHECK: and r10, r1, r6, ror #10 @ encoding: [0x66,0xa5,0x01,0xe0]
224 @ CHECK: and r6, r7, r8, lsl r2 @ encoding: [0x18,0x62,0x07,0xe0]
225 @ CHECK: and r6, r7, r8, lsr r2 @ encoding: [0x38,0x62,0x07,0xe0]
226 @ CHECK: and r6, r7, r8, asr r2 @ encoding: [0x58,0x62,0x07,0xe0]
227 @ CHECK: and r6, r7, r8, ror r2 @ encoding: [0x78,0x62,0x07,0xe0]
228 @ CHECK: and r10, r1, r6, rrx @ encoding: [0x66,0xa0,0x01,0xe0]
230 @ CHECK: and r1, r1, #15 @ encoding: [0x0f,0x10,0x01,0xe2]
231 @ CHECK: and r10, r10, r1 @ encoding: [0x01,0xa0,0x0a,0xe0]
232 @ CHECK: and r10, r10, r1, lsl #10 @ encoding: [0x01,0xa5,0x0a,0xe0]
233 @ CHECK: and r10, r10, r1, lsr #10 @ encoding: [0x21,0xa5,0x0a,0xe0]
234 @ CHECK: and r10, r10, r1, lsr #10 @ encoding: [0x21,0xa5,0x0a,0xe0]
235 @ CHECK: and r10, r10, r1, asr #10 @ encoding: [0x41,0xa5,0x0a,0xe0]
236 @ CHECK: and r10, r10, r1, ror #10 @ encoding: [0x61,0xa5,0x0a,0xe0]
237 @ CHECK: and r6, r6, r7, lsl r2 @ encoding: [0x17,0x62,0x06,0xe0]
238 @ CHECK: and r6, r6, r7, lsr r2 @ encoding: [0x37,0x62,0x06,0xe0]
239 @ CHECK: and r6, r6, r7, asr r2 @ encoding: [0x57,0x62,0x06,0xe0]
240 @ CHECK: and r6, r6, r7, ror r2 @ encoding: [0x77,0x62,0x06,0xe0]
241 @ CHECK: and r10, r10, r1, rrx @ encoding: [0x61,0xa0,0x0a,0xe0]
243 @------------------------------------------------------------------------------
245 @------------------------------------------------------------------------------
246 @------------------------------------------------------------------------------
248 @------------------------------------------------------------------------------
249 @------------------------------------------------------------------------------
251 @------------------------------------------------------------------------------
252 @------------------------------------------------------------------------------
254 @------------------------------------------------------------------------------
256 @------------------------------------------------------------------------------
258 @------------------------------------------------------------------------------
261 bic r10, r1, r6, lsl #10
262 bic r10, r1, r6, lsr #10
263 bic r10, r1, r6, lsr #10
264 bic r10, r1, r6, asr #10
265 bic r10, r1, r6, ror #10
266 bic r6, r7, r8, lsl r2
267 bic r6, r7, r8, lsr r2
268 bic r6, r7, r8, asr r2
269 bic r6, r7, r8, ror r2
272 @ destination register is optional
286 @ CHECK: bic r10, r1, #15 @ encoding: [0x0f,0xa0,0xc1,0xe3]
287 @ CHECK: bic r10, r1, r6 @ encoding: [0x06,0xa0,0xc1,0xe1]
288 @ CHECK: bic r10, r1, r6, lsl #10 @ encoding: [0x06,0xa5,0xc1,0xe1]
289 @ CHECK: bic r10, r1, r6, lsr #10 @ encoding: [0x26,0xa5,0xc1,0xe1]
290 @ CHECK: bic r10, r1, r6, lsr #10 @ encoding: [0x26,0xa5,0xc1,0xe1]
291 @ CHECK: bic r10, r1, r6, asr #10 @ encoding: [0x46,0xa5,0xc1,0xe1]
292 @ CHECK: bic r10, r1, r6, ror #10 @ encoding: [0x66,0xa5,0xc1,0xe1]
293 @ CHECK: bic r6, r7, r8, lsl r2 @ encoding: [0x18,0x62,0xc7,0xe1]
294 @ CHECK: bic r6, r7, r8, lsr r2 @ encoding: [0x38,0x62,0xc7,0xe1]
295 @ CHECK: bic r6, r7, r8, asr r2 @ encoding: [0x58,0x62,0xc7,0xe1]
296 @ CHECK: bic r6, r7, r8, ror r2 @ encoding: [0x78,0x62,0xc7,0xe1]
297 @ CHECK: bic r10, r1, r6, rrx @ encoding: [0x66,0xa0,0xc1,0xe1]
300 @ CHECK: bic r1, r1, #15 @ encoding: [0x0f,0x10,0xc1,0xe3]
301 @ CHECK: bic r10, r10, r1 @ encoding: [0x01,0xa0,0xca,0xe1]
302 @ CHECK: bic r10, r10, r1, lsl #10 @ encoding: [0x01,0xa5,0xca,0xe1]
303 @ CHECK: bic r10, r10, r1, lsr #10 @ encoding: [0x21,0xa5,0xca,0xe1]
304 @ CHECK: bic r10, r10, r1, lsr #10 @ encoding: [0x21,0xa5,0xca,0xe1]
305 @ CHECK: bic r10, r10, r1, asr #10 @ encoding: [0x41,0xa5,0xca,0xe1]
306 @ CHECK: bic r10, r10, r1, ror #10 @ encoding: [0x61,0xa5,0xca,0xe1]
307 @ CHECK: bic r6, r6, r7, lsl r2 @ encoding: [0x17,0x62,0xc6,0xe1]
308 @ CHECK: bic r6, r6, r7, lsr r2 @ encoding: [0x37,0x62,0xc6,0xe1]
309 @ CHECK: bic r6, r6, r7, asr r2 @ encoding: [0x57,0x62,0xc6,0xe1]
310 @ CHECK: bic r6, r6, r7, ror r2 @ encoding: [0x77,0x62,0xc6,0xe1]
311 @ CHECK: bic r10, r10, r1, rrx @ encoding: [0x61,0xa0,0xca,0xe1]
313 @------------------------------------------------------------------------------
315 @------------------------------------------------------------------------------
319 @ CHECK: bkpt #10 @ encoding: [0x7a,0x00,0x20,0xe1]
320 @ CHECK: bkpt #65535 @ encoding: [0x7f,0xff,0x2f,0xe1]
322 @------------------------------------------------------------------------------
324 @------------------------------------------------------------------------------
329 @ CHECK: bl _bar @ encoding: [A,A,A,0xeb]
330 @ CHECK: @ fixup A - offset: 0, value: _bar, kind: fixup_arm_uncondbranch
332 @------------------------------------------------------------------------------
334 @------------------------------------------------------------------------------
338 @ CHECK: blx r2 @ encoding: [0x32,0xff,0x2f,0xe1]
339 @ CHECK: blxne r2 @ encoding: [0x32,0xff,0x2f,0x11]
341 @------------------------------------------------------------------------------
343 @------------------------------------------------------------------------------
348 @ CHECK: bx r2 @ encoding: [0x12,0xff,0x2f,0xe1]
349 @ CHECK: bxne r2 @ encoding: [0x12,0xff,0x2f,0x11]
351 @------------------------------------------------------------------------------
353 @------------------------------------------------------------------------------
358 @ CHECK: bxj r2 @ encoding: [0x22,0xff,0x2f,0xe1]
359 @ CHECK: bxjne r2 @ encoding: [0x22,0xff,0x2f,0x11]
361 @------------------------------------------------------------------------------
363 @------------------------------------------------------------------------------
366 @------------------------------------------------------------------------------
368 @------------------------------------------------------------------------------
369 cdp p7, #1, c1, c1, c1, #4
370 cdp2 p7, #1, c1, c1, c1, #4
372 @ CHECK: cdp p7, #1, c1, c1, c1, #4 @ encoding: [0x81,0x17,0x11,0xee]
373 @ CHECK: cdp2 p7, #1, c1, c1, c1, #4 @ encoding: [0x81,0x17,0x11,0xfe]
376 @------------------------------------------------------------------------------
378 @------------------------------------------------------------------------------
381 @ CHECK: clrex @ encoding: [0x1f,0xf0,0x7f,0xf5]
384 @------------------------------------------------------------------------------
386 @------------------------------------------------------------------------------
390 @ CHECK: clz r1, r2 @ encoding: [0x12,0x1f,0x6f,0xe1]
391 @ CHECK: clzeq r1, r2 @ encoding: [0x12,0x1f,0x6f,0x01]
393 @------------------------------------------------------------------------------
395 @------------------------------------------------------------------------------
409 @ CHECK: cmn r1, #15 @ encoding: [0x0f,0x00,0x71,0xe3]
410 @ CHECK: cmn r1, r6 @ encoding: [0x06,0x00,0x71,0xe1]
411 @ CHECK: cmn r1, r6, lsl #10 @ encoding: [0x06,0x05,0x71,0xe1]
412 @ CHECK: cmn r1, r6, lsr #10 @ encoding: [0x26,0x05,0x71,0xe1]
413 @ CHECK: cmn sp, r6, lsr #10 @ encoding: [0x26,0x05,0x7d,0xe1]
414 @ CHECK: cmn r1, r6, asr #10 @ encoding: [0x46,0x05,0x71,0xe1]
415 @ CHECK: cmn r1, r6, ror #10 @ encoding: [0x66,0x05,0x71,0xe1]
416 @ CHECK: cmn r7, r8, lsl r2 @ encoding: [0x18,0x02,0x77,0xe1]
417 @ CHECK: cmn sp, r8, lsr r2 @ encoding: [0x38,0x02,0x7d,0xe1]
418 @ CHECK: cmn r7, r8, asr r2 @ encoding: [0x58,0x02,0x77,0xe1]
419 @ CHECK: cmn r7, r8, ror r2 @ encoding: [0x78,0x02,0x77,0xe1]
420 @ CHECK: cmn r1, r6, rrx @ encoding: [0x66,0x00,0x71,0xe1]
422 @------------------------------------------------------------------------------
424 @------------------------------------------------------------------------------
438 @ CHECK: cmp r1, #15 @ encoding: [0x0f,0x00,0x51,0xe3]
439 @ CHECK: cmp r1, r6 @ encoding: [0x06,0x00,0x51,0xe1]
440 @ CHECK: cmp r1, r6, lsl #10 @ encoding: [0x06,0x05,0x51,0xe1]
441 @ CHECK: cmp r1, r6, lsr #10 @ encoding: [0x26,0x05,0x51,0xe1]
442 @ CHECK: cmp sp, r6, lsr #10 @ encoding: [0x26,0x05,0x5d,0xe1]
443 @ CHECK: cmp r1, r6, asr #10 @ encoding: [0x46,0x05,0x51,0xe1]
444 @ CHECK: cmp r1, r6, ror #10 @ encoding: [0x66,0x05,0x51,0xe1]
445 @ CHECK: cmp r7, r8, lsl r2 @ encoding: [0x18,0x02,0x57,0xe1]
446 @ CHECK: cmp sp, r8, lsr r2 @ encoding: [0x38,0x02,0x5d,0xe1]
447 @ CHECK: cmp r7, r8, asr r2 @ encoding: [0x58,0x02,0x57,0xe1]
448 @ CHECK: cmp r7, r8, ror r2 @ encoding: [0x78,0x02,0x57,0xe1]
449 @ CHECK: cmp r1, r6, rrx @ encoding: [0x66,0x00,0x51,0xe1]
451 @------------------------------------------------------------------------------
453 @------------------------------------------------------------------------------
458 @ CHECK: dbg #0 @ encoding: [0xf0,0xf0,0x20,0xe3]
459 @ CHECK: dbg #5 @ encoding: [0xf5,0xf0,0x20,0xe3]
460 @ CHECK: dbg #15 @ encoding: [0xff,0xf0,0x20,0xe3]
463 @------------------------------------------------------------------------------
465 @------------------------------------------------------------------------------
480 @ CHECK: dmb sy @ encoding: [0x5f,0xf0,0x7f,0xf5]
481 @ CHECK: dmb st @ encoding: [0x5e,0xf0,0x7f,0xf5]
482 @ CHECK: dmb ish @ encoding: [0x5b,0xf0,0x7f,0xf5]
483 @ CHECK: dmb ish @ encoding: [0x5b,0xf0,0x7f,0xf5]
484 @ CHECK: dmb ishst @ encoding: [0x5a,0xf0,0x7f,0xf5]
485 @ CHECK: dmb ishst @ encoding: [0x5a,0xf0,0x7f,0xf5]
486 @ CHECK: dmb nsh @ encoding: [0x57,0xf0,0x7f,0xf5]
487 @ CHECK: dmb nsh @ encoding: [0x57,0xf0,0x7f,0xf5]
488 @ CHECK: dmb nshst @ encoding: [0x56,0xf0,0x7f,0xf5]
489 @ CHECK: dmb nshst @ encoding: [0x56,0xf0,0x7f,0xf5]
490 @ CHECK: dmb osh @ encoding: [0x53,0xf0,0x7f,0xf5]
491 @ CHECK: dmb oshst @ encoding: [0x52,0xf0,0x7f,0xf5]
492 @ CHECK: dmb sy @ encoding: [0x5f,0xf0,0x7f,0xf5]
494 @------------------------------------------------------------------------------
496 @------------------------------------------------------------------------------
511 @ CHECK: dsb sy @ encoding: [0x4f,0xf0,0x7f,0xf5]
512 @ CHECK: dsb st @ encoding: [0x4e,0xf0,0x7f,0xf5]
513 @ CHECK: dsb ish @ encoding: [0x4b,0xf0,0x7f,0xf5]
514 @ CHECK: dsb ish @ encoding: [0x4b,0xf0,0x7f,0xf5]
515 @ CHECK: dsb ishst @ encoding: [0x4a,0xf0,0x7f,0xf5]
516 @ CHECK: dsb ishst @ encoding: [0x4a,0xf0,0x7f,0xf5]
517 @ CHECK: dsb nsh @ encoding: [0x47,0xf0,0x7f,0xf5]
518 @ CHECK: dsb nsh @ encoding: [0x47,0xf0,0x7f,0xf5]
519 @ CHECK: dsb nshst @ encoding: [0x46,0xf0,0x7f,0xf5]
520 @ CHECK: dsb nshst @ encoding: [0x46,0xf0,0x7f,0xf5]
521 @ CHECK: dsb osh @ encoding: [0x43,0xf0,0x7f,0xf5]
522 @ CHECK: dsb oshst @ encoding: [0x42,0xf0,0x7f,0xf5]
523 @ CHECK: dsb sy @ encoding: [0x4f,0xf0,0x7f,0xf5]
525 @------------------------------------------------------------------------------
527 @------------------------------------------------------------------------------
530 eor r4, r5, r6, lsl #5
531 eor r4, r5, r6, lsr #5
532 eor r4, r5, r6, lsr #5
533 eor r4, r5, r6, asr #5
534 eor r4, r5, r6, ror #5
535 eor r6, r7, r8, lsl r9
536 eor r6, r7, r8, lsr r9
537 eor r6, r7, r8, asr r9
538 eor r6, r7, r8, ror r9
541 @ destination register is optional
555 @ CHECK: eor r4, r5, #61440 @ encoding: [0x0f,0x4a,0x25,0xe2]
556 @ CHECK: eor r4, r5, r6 @ encoding: [0x06,0x40,0x25,0xe0]
557 @ CHECK: eor r4, r5, r6, lsl #5 @ encoding: [0x86,0x42,0x25,0xe0]
558 @ CHECK: eor r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0x25,0xe0]
559 @ CHECK: eor r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0x25,0xe0]
560 @ CHECK: eor r4, r5, r6, asr #5 @ encoding: [0xc6,0x42,0x25,0xe0]
561 @ CHECK: eor r4, r5, r6, ror #5 @ encoding: [0xe6,0x42,0x25,0xe0]
562 @ CHECK: eor r6, r7, r8, lsl r9 @ encoding: [0x18,0x69,0x27,0xe0]
563 @ CHECK: eor r6, r7, r8, lsr r9 @ encoding: [0x38,0x69,0x27,0xe0]
564 @ CHECK: eor r6, r7, r8, asr r9 @ encoding: [0x58,0x69,0x27,0xe0]
565 @ CHECK: eor r6, r7, r8, ror r9 @ encoding: [0x78,0x69,0x27,0xe0]
566 @ CHECK: eor r4, r5, r6, rrx @ encoding: [0x66,0x40,0x25,0xe0]
569 @ CHECK: eor r5, r5, #61440 @ encoding: [0x0f,0x5a,0x25,0xe2]
570 @ CHECK: eor r4, r4, r5 @ encoding: [0x05,0x40,0x24,0xe0]
571 @ CHECK: eor r4, r4, r5, lsl #5 @ encoding: [0x85,0x42,0x24,0xe0]
572 @ CHECK: eor r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0x24,0xe0]
573 @ CHECK: eor r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0x24,0xe0]
574 @ CHECK: eor r4, r4, r5, asr #5 @ encoding: [0xc5,0x42,0x24,0xe0]
575 @ CHECK: eor r4, r4, r5, ror #5 @ encoding: [0xe5,0x42,0x24,0xe0]
576 @ CHECK: eor r6, r6, r7, lsl r9 @ encoding: [0x17,0x69,0x26,0xe0]
577 @ CHECK: eor r6, r6, r7, lsr r9 @ encoding: [0x37,0x69,0x26,0xe0]
578 @ CHECK: eor r6, r6, r7, asr r9 @ encoding: [0x57,0x69,0x26,0xe0]
579 @ CHECK: eor r6, r6, r7, ror r9 @ encoding: [0x77,0x69,0x26,0xe0]
580 @ CHECK: eor r4, r4, r5, rrx @ encoding: [0x65,0x40,0x24,0xe0]
583 @------------------------------------------------------------------------------
585 @------------------------------------------------------------------------------
589 @ CHECK: isb sy @ encoding: [0x6f,0xf0,0x7f,0xf5]
590 @ CHECK: isb sy @ encoding: [0x6f,0xf0,0x7f,0xf5]
594 @------------------------------------------------------------------------------
596 @------------------------------------------------------------------------------
597 ldm r2, {r1,r3-r6,sp}
598 ldmia r2, {r1,r3-r6,sp}
599 ldmib r2, {r1,r3-r6,sp}
600 ldmda r2, {r1,r3-r6,sp}
601 ldmdb r2, {r1,r3-r6,sp}
602 ldmfd r2, {r1,r3-r6,sp}
605 ldm r2!, {r1,r3-r6,sp}
606 ldmib r2!, {r1,r3-r6,sp}
607 ldmda r2!, {r1,r3-r6,sp}
608 ldmdb r2!, {r1,r3-r6,sp}
610 @ CHECK: ldm r2, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x92,0xe8]
611 @ CHECK: ldm r2, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x92,0xe8]
612 @ CHECK: ldmib r2, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x92,0xe9]
613 @ CHECK: ldmda r2, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x12,0xe8]
614 @ CHECK: ldmdb r2, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x12,0xe9]
615 @ CHECK: ldm r2, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x92,0xe8]
617 @ CHECK: ldm r2!, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0xb2,0xe8]
618 @ CHECK: ldmib r2!, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0xb2,0xe9]
619 @ CHECK: ldmda r2!, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x32,0xe8]
620 @ CHECK: ldmdb r2!, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x32,0xe9]
622 @------------------------------------------------------------------------------
624 @------------------------------------------------------------------------------
626 @------------------------------------------------------------------------------
627 @ LDREX/LDREXB/LDREXH/LDREXD
628 @------------------------------------------------------------------------------
634 @ CHECK: ldrexb r3, [r4] @ encoding: [0x9f,0x3f,0xd4,0xe1]
635 @ CHECK: ldrexh r2, [r5] @ encoding: [0x9f,0x2f,0xf5,0xe1]
636 @ CHECK: ldrex r1, [r7] @ encoding: [0x9f,0x1f,0x97,0xe1]
637 @ CHECK: ldrexd r6, r7, [r8] @ encoding: [0x9f,0x6f,0xb8,0xe1]
640 @------------------------------------------------------------------------------
642 @------------------------------------------------------------------------------
643 @------------------------------------------------------------------------------
645 @------------------------------------------------------------------------------
647 @------------------------------------------------------------------------------
649 @------------------------------------------------------------------------------
650 mcr p7, #1, r5, c1, c1, #4
651 mcr2 p7, #1, r5, c1, c1, #4
653 @ CHECK: mcr p7, #1, r5, c1, c1, #4 @ encoding: [0x91,0x57,0x21,0xee]
654 @ CHECK: mcr2 p7, #1, r5, c1, c1, #4 @ encoding: [0x91,0x57,0x21,0xfe]
656 @------------------------------------------------------------------------------
658 @------------------------------------------------------------------------------
659 mcrr p7, #15, r5, r4, c1
660 mcrr2 p7, #15, r5, r4, c1
662 @ CHECK: mcrr p7, #15, r5, r4, c1 @ encoding: [0xf1,0x57,0x44,0xec]
663 @ CHECK: mcrr2 p7, #15, r5, r4, c1 @ encoding: [0xf1,0x57,0x44,0xfc]
666 @------------------------------------------------------------------------------
668 @------------------------------------------------------------------------------
674 @ CHECK: mla r1, r2, r3, r4 @ encoding: [0x92,0x43,0x21,0xe0]
675 @ CHECK: mlas r1, r2, r3, r4 @ encoding: [0x92,0x43,0x31,0xe0]
676 @ CHECK: mlane r1, r2, r3, r4 @ encoding: [0x92,0x43,0x21,0x10]
677 @ CHECK: mlasne r1, r2, r3, r4 @ encoding: [0x92,0x43,0x31,0x10]
679 @------------------------------------------------------------------------------
681 @------------------------------------------------------------------------------
685 @ CHECK: mls r2, r5, r6, r3 @ encoding: [0x95,0x36,0x62,0xe0]
686 @ CHECK: mlsne r2, r5, r6, r3 @ encoding: [0x95,0x36,0x62,0x10]
688 @------------------------------------------------------------------------------
690 @------------------------------------------------------------------------------
700 @ CHECK: mov r3, #7 @ encoding: [0x07,0x30,0xa0,0xe3]
701 @ CHECK: mov r4, #4080 @ encoding: [0xff,0x4e,0xa0,0xe3]
702 @ CHECK: mov r5, #16711680 @ encoding: [0xff,0x58,0xa0,0xe3]
703 @ CHECK: movw r6, #65535 @ encoding: [0xff,0x6f,0x0f,0xe3]
704 @ CHECK: movw r9, #65535 @ encoding: [0xff,0x9f,0x0f,0xe3]
705 @ CHECK: movs r3, #7 @ encoding: [0x07,0x30,0xb0,0xe3]
706 @ CHECK: moveq r4, #4080 @ encoding: [0xff,0x4e,0xa0,0x03]
707 @ CHECK: movseq r5, #16711680 @ encoding: [0xff,0x58,0xb0,0x03]
709 @------------------------------------------------------------------------------
711 @------------------------------------------------------------------------------
717 @ CHECK: mov r2, r3 @ encoding: [0x03,0x20,0xa0,0xe1]
718 @ CHECK: movs r2, r3 @ encoding: [0x03,0x20,0xb0,0xe1]
719 @ CHECK: moveq r2, r3 @ encoding: [0x03,0x20,0xa0,0x01]
720 @ CHECK: movseq r2, r3 @ encoding: [0x03,0x20,0xb0,0x01]
722 @------------------------------------------------------------------------------
724 @------------------------------------------------------------------------------
729 @ CHECK: movt r3, #7 @ encoding: [0x07,0x30,0x40,0xe3]
730 @ CHECK: movt r6, #65535 @ encoding: [0xff,0x6f,0x4f,0xe3]
731 @ CHECK: movteq r4, #4080 @ encoding: [0xf0,0x4f,0x40,0x03]
734 @------------------------------------------------------------------------------
736 @------------------------------------------------------------------------------
737 mrc p14, #0, r1, c1, c2, #4
738 mrc2 p14, #0, r1, c1, c2, #4
740 @ CHECK: mrc p14, #0, r1, c1, c2, #4 @ encoding: [0x92,0x1e,0x11,0xee]
741 @ CHECK: mrc2 p14, #0, r1, c1, c2, #4 @ encoding: [0x92,0x1e,0x11,0xfe]
743 @------------------------------------------------------------------------------
745 @------------------------------------------------------------------------------
746 mrrc p7, #1, r5, r4, c1
747 mrrc2 p7, #1, r5, r4, c1
749 @ CHECK: mrrc p7, #1, r5, r4, c1 @ encoding: [0x11,0x57,0x54,0xec]
750 @ CHECK: mrrc2 p7, #1, r5, r4, c1 @ encoding: [0x11,0x57,0x54,0xfc]
753 @------------------------------------------------------------------------------
755 @------------------------------------------------------------------------------
759 @ CHECK: mrs r8, apsr @ encoding: [0x00,0x80,0x0f,0xe1]
760 @ CHECK: mrs r8, apsr @ encoding: [0x00,0x80,0x0f,0xe1]
761 @ CHECK: mrs r8, spsr @ encoding: [0x00,0x80,0x4f,0xe1]
765 @------------------------------------------------------------------------------
767 @------------------------------------------------------------------------------
784 @ CHECK: msr CPSR_fc, #5 @ encoding: [0x05,0xf0,0x29,0xe3]
785 @ CHECK: msr APSR_g, #5 @ encoding: [0x05,0xf0,0x24,0xe3]
786 @ CHECK: msr APSR_nzcvq, #5 @ encoding: [0x05,0xf0,0x28,0xe3]
787 @ CHECK: msr APSR_nzcvq, #5 @ encoding: [0x05,0xf0,0x28,0xe3]
788 @ CHECK: msr APSR_nzcvqg, #5 @ encoding: [0x05,0xf0,0x2c,0xe3]
789 @ CHECK: msr CPSR_fc, #5 @ encoding: [0x05,0xf0,0x29,0xe3]
790 @ CHECK: msr CPSR_c, #5 @ encoding: [0x05,0xf0,0x21,0xe3]
791 @ CHECK: msr CPSR_x, #5 @ encoding: [0x05,0xf0,0x22,0xe3]
792 @ CHECK: msr CPSR_fc, #5 @ encoding: [0x05,0xf0,0x29,0xe3]
793 @ CHECK: msr CPSR_fc, #5 @ encoding: [0x05,0xf0,0x29,0xe3]
794 @ CHECK: msr CPSR_fsx, #5 @ encoding: [0x05,0xf0,0x2e,0xe3]
795 @ CHECK: msr SPSR_fc, #5 @ encoding: [0x05,0xf0,0x69,0xe3]
796 @ CHECK: msr SPSR_fsxc, #5 @ encoding: [0x05,0xf0,0x6f,0xe3]
797 @ CHECK: msr CPSR_fsxc, #5 @ encoding: [0x05,0xf0,0x2f,0xe3]
814 @ CHECK: msr CPSR_fc, r0 @ encoding: [0x00,0xf0,0x29,0xe1]
815 @ CHECK: msr APSR_g, r0 @ encoding: [0x00,0xf0,0x24,0xe1]
816 @ CHECK: msr APSR_nzcvq, r0 @ encoding: [0x00,0xf0,0x28,0xe1]
817 @ CHECK: msr APSR_nzcvq, r0 @ encoding: [0x00,0xf0,0x28,0xe1]
818 @ CHECK: msr APSR_nzcvqg, r0 @ encoding: [0x00,0xf0,0x2c,0xe1]
819 @ CHECK: msr CPSR_fc, r0 @ encoding: [0x00,0xf0,0x29,0xe1]
820 @ CHECK: msr CPSR_c, r0 @ encoding: [0x00,0xf0,0x21,0xe1]
821 @ CHECK: msr CPSR_x, r0 @ encoding: [0x00,0xf0,0x22,0xe1]
822 @ CHECK: msr CPSR_fc, r0 @ encoding: [0x00,0xf0,0x29,0xe1]
823 @ CHECK: msr CPSR_fc, r0 @ encoding: [0x00,0xf0,0x29,0xe1]
824 @ CHECK: msr CPSR_fsx, r0 @ encoding: [0x00,0xf0,0x2e,0xe1]
825 @ CHECK: msr SPSR_fc, r0 @ encoding: [0x00,0xf0,0x69,0xe1]
826 @ CHECK: msr SPSR_fsxc, r0 @ encoding: [0x00,0xf0,0x6f,0xe1]
827 @ CHECK: msr CPSR_fsxc, r0 @ encoding: [0x00,0xf0,0x2f,0xe1]
829 @------------------------------------------------------------------------------
831 @------------------------------------------------------------------------------
838 @ CHECK: mul r5, r6, r7 @ encoding: [0x96,0x07,0x05,0xe0]
839 @ CHECK: muls r5, r6, r7 @ encoding: [0x96,0x07,0x15,0xe0]
840 @ CHECK: mulgt r5, r6, r7 @ encoding: [0x96,0x07,0x05,0xc0]
841 @ CHECK: mulsle r5, r6, r7 @ encoding: [0x96,0x07,0x15,0xd0]
844 @------------------------------------------------------------------------------
846 @------------------------------------------------------------------------------
854 @ CHECK: mvn r3, #7 @ encoding: [0x07,0x30,0xe0,0xe3]
855 @ CHECK: mvn r4, #4080 @ encoding: [0xff,0x4e,0xe0,0xe3]
856 @ CHECK: mvn r5, #16711680 @ encoding: [0xff,0x58,0xe0,0xe3]
857 @ CHECK: mvns r3, #7 @ encoding: [0x07,0x30,0xf0,0xe3]
858 @ CHECK: mvneq r4, #4080 @ encoding: [0xff,0x4e,0xe0,0x03]
859 @ CHECK: mvnseq r5, #16711680 @ encoding: [0xff,0x58,0xf0,0x03]
862 @------------------------------------------------------------------------------
864 @------------------------------------------------------------------------------
873 mvnseq r2, r3, lsl #10
875 @ CHECK: mvn r2, r3 @ encoding: [0x03,0x20,0xe0,0xe1]
876 @ CHECK: mvns r2, r3 @ encoding: [0x03,0x20,0xf0,0xe1]
877 @ CHECK: mvn r5, r6, lsl #19 @ encoding: [0x86,0x59,0xe0,0xe1]
878 @ CHECK: mvn r5, r6, lsr #9 @ encoding: [0xa6,0x54,0xe0,0xe1]
879 @ CHECK: mvn r5, r6, asr #4 @ encoding: [0x46,0x52,0xe0,0xe1]
880 @ CHECK: mvn r5, r6, ror #6 @ encoding: [0x66,0x53,0xe0,0xe1]
881 @ CHECK: mvn r5, r6, rrx @ encoding: [0x66,0x50,0xe0,0xe1]
882 @ CHECK: mvneq r2, r3 @ encoding: [0x03,0x20,0xe0,0x01]
883 @ CHECK: mvnseq r2, r3, lsl #10 @ encoding: [0x03,0x25,0xf0,0x01]
886 @------------------------------------------------------------------------------
887 @ MVN (shifted register)
888 @------------------------------------------------------------------------------
892 mvnslt r5, r6, ror r7
894 @ CHECK: mvn r5, r6, lsl r7 @ encoding: [0x16,0x57,0xe0,0xe1]
895 @ CHECK: mvns r5, r6, lsr r7 @ encoding: [0x36,0x57,0xf0,0xe1]
896 @ CHECK: mvngt r5, r6, asr r7 @ encoding: [0x56,0x57,0xe0,0xc1]
897 @ CHECK: mvnslt r5, r6, ror r7 @ encoding: [0x76,0x57,0xf0,0xb1]
899 @------------------------------------------------------------------------------
901 @------------------------------------------------------------------------------
905 @ CHECK: nop @ encoding: [0x00,0xf0,0x20,0xe3]
906 @ CHECK: nopgt @ encoding: [0x00,0xf0,0x20,0xc3]
909 @------------------------------------------------------------------------------
911 @------------------------------------------------------------------------------
914 orr r4, r5, r6, lsl #5
915 orr r4, r5, r6, lsr #5
916 orr r4, r5, r6, lsr #5
917 orr r4, r5, r6, asr #5
918 orr r4, r5, r6, ror #5
919 orr r6, r7, r8, lsl r9
920 orr r6, r7, r8, lsr r9
921 orr r6, r7, r8, asr r9
922 orr r6, r7, r8, ror r9
925 @ destination register is optional
939 @ CHECK: orr r4, r5, #61440 @ encoding: [0x0f,0x4a,0x85,0xe3]
940 @ CHECK: orr r4, r5, r6 @ encoding: [0x06,0x40,0x85,0xe1]
941 @ CHECK: orr r4, r5, r6, lsl #5 @ encoding: [0x86,0x42,0x85,0xe1]
942 @ CHECK: orr r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0x85,0xe1]
943 @ CHECK: orr r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0x85,0xe1]
944 @ CHECK: orr r4, r5, r6, asr #5 @ encoding: [0xc6,0x42,0x85,0xe1]
945 @ CHECK: orr r4, r5, r6, ror #5 @ encoding: [0xe6,0x42,0x85,0xe1]
946 @ CHECK: orr r6, r7, r8, lsl r9 @ encoding: [0x18,0x69,0x87,0xe1]
947 @ CHECK: orr r6, r7, r8, lsr r9 @ encoding: [0x38,0x69,0x87,0xe1]
948 @ CHECK: orr r6, r7, r8, asr r9 @ encoding: [0x58,0x69,0x87,0xe1]
949 @ CHECK: orr r6, r7, r8, ror r9 @ encoding: [0x78,0x69,0x87,0xe1]
950 @ CHECK: orr r4, r5, r6, rrx @ encoding: [0x66,0x40,0x85,0xe1]
952 @ CHECK: orr r5, r5, #61440 @ encoding: [0x0f,0x5a,0x85,0xe3]
953 @ CHECK: orr r4, r4, r5 @ encoding: [0x05,0x40,0x84,0xe1]
954 @ CHECK: orr r4, r4, r5, lsl #5 @ encoding: [0x85,0x42,0x84,0xe1]
955 @ CHECK: orr r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0x84,0xe1]
956 @ CHECK: orr r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0x84,0xe1]
957 @ CHECK: orr r4, r4, r5, asr #5 @ encoding: [0xc5,0x42,0x84,0xe1]
958 @ CHECK: orr r4, r4, r5, ror #5 @ encoding: [0xe5,0x42,0x84,0xe1]
959 @ CHECK: orr r6, r6, r7, lsl r9 @ encoding: [0x17,0x69,0x86,0xe1]
960 @ CHECK: orr r6, r6, r7, lsr r9 @ encoding: [0x37,0x69,0x86,0xe1]
961 @ CHECK: orr r6, r6, r7, asr r9 @ encoding: [0x57,0x69,0x86,0xe1]
962 @ CHECK: orr r6, r6, r7, ror r9 @ encoding: [0x77,0x69,0x86,0xe1]
963 @ CHECK: orr r4, r4, r5, rrx @ encoding: [0x65,0x40,0x84,0xe1]
965 orrseq r4, r5, #0xf000
967 orrseq r4, r5, r6, lsl #5
968 orrlo r6, r7, r8, ror r9
969 orrshi r4, r5, r6, rrx
973 orrslt r6, r7, ror r9
976 @ CHECK: orrseq r4, r5, #61440 @ encoding: [0x0f,0x4a,0x95,0x03]
977 @ CHECK: orrne r4, r5, r6 @ encoding: [0x06,0x40,0x85,0x11]
978 @ CHECK: orrseq r4, r5, r6, lsl #5 @ encoding: [0x86,0x42,0x95,0x01]
979 @ CHECK: orrlo r6, r7, r8, ror r9 @ encoding: [0x78,0x69,0x87,0x31]
980 @ CHECK: orrshi r4, r5, r6, rrx @ encoding: [0x66,0x40,0x95,0x81]
981 @ CHECK: orrhs r5, r5, #61440 @ encoding: [0x0f,0x5a,0x85,0x23]
982 @ CHECK: orrseq r4, r4, r5 @ encoding: [0x05,0x40,0x94,0x01]
983 @ CHECK: orrne r6, r6, r7, asr r9 @ encoding: [0x57,0x69,0x86,0x11]
984 @ CHECK: orrslt r6, r6, r7, ror r9 @ encoding: [0x77,0x69,0x96,0xb1]
985 @ CHECK: orrsgt r4, r4, r5, rrx @ encoding: [0x65,0x40,0x94,0xc1]
987 @------------------------------------------------------------------------------
989 @------------------------------------------------------------------------------
991 pkhbt r2, r2, r3, lsl #31
992 pkhbt r2, r2, r3, lsl #0
993 pkhbt r2, r2, r3, lsl #15
996 pkhtb r2, r2, r3, asr #31
997 pkhtb r2, r2, r3, asr #15
999 @ CHECK: pkhbt r2, r2, r3 @ encoding: [0x13,0x20,0x82,0xe6]
1000 @ CHECK: pkhbt r2, r2, r3, lsl #31 @ encoding: [0x93,0x2f,0x82,0xe6]
1001 @ CHECK: pkhbt r2, r2, r3 @ encoding: [0x13,0x20,0x82,0xe6]
1002 @ CHECK: pkhbt r2, r2, r3, lsl #15 @ encoding: [0x93,0x27,0x82,0xe6]
1004 @ CHECK: pkhbt r2, r2, r3 @ encoding: [0x13,0x20,0x82,0xe6]
1005 @ CHECK: pkhtb r2, r2, r3, asr #31 @ encoding: [0xd3,0x2f,0x82,0xe6]
1006 @ CHECK: pkhtb r2, r2, r3, asr #15 @ encoding: [0xd3,0x27,0x82,0xe6]
1008 @------------------------------------------------------------------------------
1010 @------------------------------------------------------------------------------
1011 @------------------------------------------------------------------------------
1013 @------------------------------------------------------------------------------
1016 @------------------------------------------------------------------------------
1018 @------------------------------------------------------------------------------
1020 pop {r7, r8, r9, r10}
1022 @ FIXME: pop of a single register should encode as "ldr r7, [sp], #4"
1023 @ CHECK-FIXME: pop {r7} @ encoding: [0x04,0x70,0x9d,0xe4]
1024 @ CHECK: pop {r7, r8, r9, r10} @ encoding: [0x80,0x07,0xbd,0xe8]
1027 @------------------------------------------------------------------------------
1029 @------------------------------------------------------------------------------
1031 push {r7, r8, r9, r10}
1033 @ FIXME: push of a single register should encode as "str r7, [sp, #-4]!"
1034 @ CHECK-FIXME: push {r7} @ encoding: [0x04,0x70,0x2d,0xe5]
1035 @ CHECK: push {r7, r8, r9, r10} @ encoding: [0x80,0x07,0x2d,0xe9]
1038 @------------------------------------------------------------------------------
1040 @------------------------------------------------------------------------------
1048 @ CHECK: qadd r1, r2, r3 @ encoding: [0x52,0x10,0x03,0xe1]
1049 @ CHECK: qaddne r1, r2, r3 @ encoding: [0x52,0x10,0x03,0x11]
1050 @ CHECK: qadd16 r1, r2, r3 @ encoding: [0x13,0x1f,0x22,0xe6]
1051 @ CHECK: qadd16gt r1, r2, r3 @ encoding: [0x13,0x1f,0x22,0xc6]
1052 @ CHECK: qadd8 r1, r2, r3 @ encoding: [0x93,0x1f,0x22,0xe6]
1053 @ CHECK: qadd8le r1, r2, r3 @ encoding: [0x93,0x1f,0x22,0xd6]
1056 @------------------------------------------------------------------------------
1058 @------------------------------------------------------------------------------
1064 @ CHECK: qdadd r6, r7, r8 @ encoding: [0x57,0x60,0x48,0xe1]
1065 @ CHECK: qdaddhi r6, r7, r8 @ encoding: [0x57,0x60,0x48,0x81]
1066 @ CHECK: qdsub r6, r7, r8 @ encoding: [0x57,0x60,0x68,0xe1]
1067 @ CHECK: qdsubhi r6, r7, r8 @ encoding: [0x57,0x60,0x68,0x81]
1070 @------------------------------------------------------------------------------
1072 @------------------------------------------------------------------------------
1076 @ CHECK: qsax r9, r12, r0 @ encoding: [0x50,0x9f,0x2c,0xe6]
1077 @ CHECK: qsaxeq r9, r12, r0 @ encoding: [0x50,0x9f,0x2c,0x06]
1080 @------------------------------------------------------------------------------
1082 @------------------------------------------------------------------------------
1090 @ CHECK: qsub r1, r2, r3 @ encoding: [0x52,0x10,0x23,0xe1]
1091 @ CHECK: qsubne r1, r2, r3 @ encoding: [0x52,0x10,0x23,0x11]
1092 @ CHECK: qsub16 r1, r2, r3 @ encoding: [0x73,0x1f,0x22,0xe6]
1093 @ CHECK: qsub16gt r1, r2, r3 @ encoding: [0x73,0x1f,0x22,0xc6]
1094 @ CHECK: qsub8 r1, r2, r3 @ encoding: [0xf3,0x1f,0x22,0xe6]
1095 @ CHECK: qsub8le r1, r2, r3 @ encoding: [0xf3,0x1f,0x22,0xd6]
1098 @------------------------------------------------------------------------------
1100 @------------------------------------------------------------------------------
1104 @ CHECK: rbit r1, r2 @ encoding: [0x32,0x1f,0xff,0xe6]
1105 @ CHECK: rbitne r1, r2 @ encoding: [0x32,0x1f,0xff,0x16]
1108 @------------------------------------------------------------------------------
1110 @------------------------------------------------------------------------------
1118 @ CHECK: rev r1, r9 @ encoding: [0x39,0x1f,0xbf,0xe6]
1119 @ CHECK: revne r1, r5 @ encoding: [0x35,0x1f,0xbf,0x16]
1120 @ CHECK: rev16 r8, r3 @ encoding: [0xb3,0x8f,0xbf,0xe6]
1121 @ CHECK: rev16ne r12, r4 @ encoding: [0xb4,0xcf,0xbf,0x16]
1122 @ CHECK: revsh r4, r9 @ encoding: [0xb9,0x4f,0xff,0xe6]
1123 @ CHECK: revshne r9, r1 @ encoding: [0xb1,0x9f,0xff,0x16]
1126 @------------------------------------------------------------------------------
1128 @------------------------------------------------------------------------------
1131 rsb r4, r5, r6, lsl #5
1132 rsblo r4, r5, r6, lsr #5
1133 rsb r4, r5, r6, lsr #5
1134 rsb r4, r5, r6, asr #5
1135 rsb r4, r5, r6, ror #5
1136 rsb r6, r7, r8, lsl r9
1137 rsb r6, r7, r8, lsr r9
1138 rsb r6, r7, r8, asr r9
1139 rsble r6, r7, r8, ror r9
1142 @ destination register is optional
1147 rsbne r4, r5, lsr #5
1150 rsbgt r6, r7, lsl r9
1156 @ CHECK: rsb r4, r5, #61440 @ encoding: [0x0f,0x4a,0x65,0xe2]
1157 @ CHECK: rsb r4, r5, r6 @ encoding: [0x06,0x40,0x65,0xe0]
1158 @ CHECK: rsb r4, r5, r6, lsl #5 @ encoding: [0x86,0x42,0x65,0xe0]
1159 @ CHECK: rsblo r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0x65,0x30]
1160 @ CHECK: rsb r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0x65,0xe0]
1161 @ CHECK: rsb r4, r5, r6, asr #5 @ encoding: [0xc6,0x42,0x65,0xe0]
1162 @ CHECK: rsb r4, r5, r6, ror #5 @ encoding: [0xe6,0x42,0x65,0xe0]
1163 @ CHECK: rsb r6, r7, r8, lsl r9 @ encoding: [0x18,0x69,0x67,0xe0]
1164 @ CHECK: rsb r6, r7, r8, lsr r9 @ encoding: [0x38,0x69,0x67,0xe0]
1165 @ CHECK: rsb r6, r7, r8, asr r9 @ encoding: [0x58,0x69,0x67,0xe0]
1166 @ CHECK: rsble r6, r7, r8, ror r9 @ encoding: [0x78,0x69,0x67,0xd0]
1167 @ CHECK: rsb r4, r5, r6, rrx @ encoding: [0x66,0x40,0x65,0xe0]
1169 @ CHECK: rsb r5, r5, #61440 @ encoding: [0x0f,0x5a,0x65,0xe2]
1170 @ CHECK: rsb r4, r4, r5 @ encoding: [0x05,0x40,0x64,0xe0]
1171 @ CHECK: rsb r4, r4, r5, lsl #5 @ encoding: [0x85,0x42,0x64,0xe0]
1172 @ CHECK: rsb r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0x64,0xe0]
1173 @ CHECK: rsbne r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0x64,0x10]
1174 @ CHECK: rsb r4, r4, r5, asr #5 @ encoding: [0xc5,0x42,0x64,0xe0]
1175 @ CHECK: rsb r4, r4, r5, ror #5 @ encoding: [0xe5,0x42,0x64,0xe0]
1176 @ CHECK: rsbgt r6, r6, r7, lsl r9 @ encoding: [0x17,0x69,0x66,0xc0]
1177 @ CHECK: rsb r6, r6, r7, lsr r9 @ encoding: [0x37,0x69,0x66,0xe0]
1178 @ CHECK: rsb r6, r6, r7, asr r9 @ encoding: [0x57,0x69,0x66,0xe0]
1179 @ CHECK: rsb r6, r6, r7, ror r9 @ encoding: [0x77,0x69,0x66,0xe0]
1180 @ CHECK: rsb r4, r4, r5, rrx @ encoding: [0x65,0x40,0x64,0xe0]
1182 @------------------------------------------------------------------------------
1184 @------------------------------------------------------------------------------
1187 rsc r4, r5, r6, lsl #5
1188 rsclo r4, r5, r6, lsr #5
1189 rsc r4, r5, r6, lsr #5
1190 rsc r4, r5, r6, asr #5
1191 rsc r4, r5, r6, ror #5
1192 rsc r6, r7, r8, lsl r9
1193 rsc r6, r7, r8, lsr r9
1194 rsc r6, r7, r8, asr r9
1195 rscle r6, r7, r8, ror r9
1197 @ destination register is optional
1202 rscne r4, r5, lsr #5
1205 rscgt r6, r7, lsl r9
1210 @ CHECK: rsc r4, r5, #61440 @ encoding: [0x0f,0x4a,0xe5,0xe2]
1211 @ CHECK: rsc r4, r5, r6 @ encoding: [0x06,0x40,0xe5,0xe0]
1212 @ CHECK: rsc r4, r5, r6, lsl #5 @ encoding: [0x86,0x42,0xe5,0xe0]
1213 @ CHECK: rsclo r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0xe5,0x30]
1214 @ CHECK: rsc r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0xe5,0xe0]
1215 @ CHECK: rsc r4, r5, r6, asr #5 @ encoding: [0xc6,0x42,0xe5,0xe0]
1216 @ CHECK: rsc r4, r5, r6, ror #5 @ encoding: [0xe6,0x42,0xe5,0xe0]
1217 @ CHECK: rsc r6, r7, r8, lsl r9 @ encoding: [0x18,0x69,0xe7,0xe0]
1218 @ CHECK: rsc r6, r7, r8, lsr r9 @ encoding: [0x38,0x69,0xe7,0xe0]
1219 @ CHECK: rsc r6, r7, r8, asr r9 @ encoding: [0x58,0x69,0xe7,0xe0]
1220 @ CHECK: rscle r6, r7, r8, ror r9 @ encoding: [0x78,0x69,0xe7,0xd0]
1222 @ CHECK: rsc r5, r5, #61440 @ encoding: [0x0f,0x5a,0xe5,0xe2]
1223 @ CHECK: rsc r4, r4, r5 @ encoding: [0x05,0x40,0xe4,0xe0]
1224 @ CHECK: rsc r4, r4, r5, lsl #5 @ encoding: [0x85,0x42,0xe4,0xe0]
1225 @ CHECK: rsc r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0xe4,0xe0]
1226 @ CHECK: rscne r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0xe4,0x10]
1227 @ CHECK: rsc r4, r4, r5, asr #5 @ encoding: [0xc5,0x42,0xe4,0xe0]
1228 @ CHECK: rsc r4, r4, r5, ror #5 @ encoding: [0xe5,0x42,0xe4,0xe0]
1229 @ CHECK: rscgt r6, r6, r7, lsl r9 @ encoding: [0x17,0x69,0xe6,0xc0]
1230 @ CHECK: rsc r6, r6, r7, lsr r9 @ encoding: [0x37,0x69,0xe6,0xe0]
1231 @ CHECK: rsc r6, r6, r7, asr r9 @ encoding: [0x57,0x69,0xe6,0xe0]
1232 @ CHECK: rsc r6, r6, r7, ror r9 @ encoding: [0x77,0x69,0xe6,0xe0]
1234 @------------------------------------------------------------------------------
1236 @------------------------------------------------------------------------------
1242 @ CHECK: sadd16 r1, r2, r3 @ encoding: [0x13,0x1f,0x12,0xe6]
1243 @ CHECK: sadd16gt r1, r2, r3 @ encoding: [0x13,0x1f,0x12,0xc6]
1244 @ CHECK: sadd8 r1, r2, r3 @ encoding: [0x93,0x1f,0x12,0xe6]
1245 @ CHECK: sadd8le r1, r2, r3 @ encoding: [0x93,0x1f,0x12,0xd6]
1248 @------------------------------------------------------------------------------
1250 @------------------------------------------------------------------------------
1254 @ CHECK: sasx r9, r12, r0 @ encoding: [0x30,0x9f,0x1c,0xe6]
1255 @ CHECK: sasxeq r9, r12, r0 @ encoding: [0x30,0x9f,0x1c,0x06]
1258 @------------------------------------------------------------------------------
1260 @------------------------------------------------------------------------------
1263 sbc r4, r5, r6, lsl #5
1264 sbc r4, r5, r6, lsr #5
1265 sbc r4, r5, r6, lsr #5
1266 sbc r4, r5, r6, asr #5
1267 sbc r4, r5, r6, ror #5
1268 sbc r6, r7, r8, lsl r9
1269 sbc r6, r7, r8, lsr r9
1270 sbc r6, r7, r8, asr r9
1271 sbc r6, r7, r8, ror r9
1273 @ destination register is optional
1286 @ CHECK: sbc r4, r5, #61440 @ encoding: [0x0f,0x4a,0xc5,0xe2]
1287 @ CHECK: sbc r4, r5, r6 @ encoding: [0x06,0x40,0xc5,0xe0]
1288 @ CHECK: sbc r4, r5, r6, lsl #5 @ encoding: [0x86,0x42,0xc5,0xe0]
1289 @ CHECK: sbc r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0xc5,0xe0]
1290 @ CHECK: sbc r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0xc5,0xe0]
1291 @ CHECK: sbc r4, r5, r6, asr #5 @ encoding: [0xc6,0x42,0xc5,0xe0]
1292 @ CHECK: sbc r4, r5, r6, ror #5 @ encoding: [0xe6,0x42,0xc5,0xe0]
1293 @ CHECK: sbc r6, r7, r8, lsl r9 @ encoding: [0x18,0x69,0xc7,0xe0]
1294 @ CHECK: sbc r6, r7, r8, lsr r9 @ encoding: [0x38,0x69,0xc7,0xe0]
1295 @ CHECK: sbc r6, r7, r8, asr r9 @ encoding: [0x58,0x69,0xc7,0xe0]
1296 @ CHECK: sbc r6, r7, r8, ror r9 @ encoding: [0x78,0x69,0xc7,0xe0]
1298 @ CHECK: sbc r5, r5, #61440 @ encoding: [0x0f,0x5a,0xc5,0xe2]
1299 @ CHECK: sbc r4, r4, r5 @ encoding: [0x05,0x40,0xc4,0xe0]
1300 @ CHECK: sbc r4, r4, r5, lsl #5 @ encoding: [0x85,0x42,0xc4,0xe0]
1301 @ CHECK: sbc r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0xc4,0xe0]
1302 @ CHECK: sbc r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0xc4,0xe0]
1303 @ CHECK: sbc r4, r4, r5, asr #5 @ encoding: [0xc5,0x42,0xc4,0xe0]
1304 @ CHECK: sbc r4, r4, r5, ror #5 @ encoding: [0xe5,0x42,0xc4,0xe0]
1305 @ CHECK: sbc r6, r6, r7, lsl r9 @ encoding: [0x17,0x69,0xc6,0xe0]
1306 @ CHECK: sbc r6, r6, r7, lsr r9 @ encoding: [0x37,0x69,0xc6,0xe0]
1307 @ CHECK: sbc r6, r6, r7, asr r9 @ encoding: [0x57,0x69,0xc6,0xe0]
1308 @ CHECK: sbc r6, r6, r7, ror r9 @ encoding: [0x77,0x69,0xc6,0xe0]
1311 @------------------------------------------------------------------------------
1313 @------------------------------------------------------------------------------
1314 sbfx r4, r5, #16, #1
1315 sbfxgt r4, r5, #16, #16
1317 @ CHECK: sbfx r4, r5, #16, #1 @ encoding: [0x55,0x48,0xa0,0xe7]
1318 @ CHECK: sbfxgt r4, r5, #16, #16 @ encoding: [0x55,0x48,0xaf,0xc7]
1321 @------------------------------------------------------------------------------
1323 @------------------------------------------------------------------------------
1327 @ CHECK: sel r9, r2, r1 @ encoding: [0xb1,0x9f,0x82,0xe6]
1328 @ CHECK: selne r9, r2, r1 @ encoding: [0xb1,0x9f,0x82,0x16]
1331 @------------------------------------------------------------------------------
1333 @------------------------------------------------------------------------------
1337 sel r9, r2, r1 @ encoding: [0xb1,0x9f,0x82,0xe6]
1338 selne r9, r2, r1 @ encoding: [0xb1,0x9f,0x82,0x16]
1341 @------------------------------------------------------------------------------
1343 @------------------------------------------------------------------------------
1347 @ CHECK: sev @ encoding: [0x04,0xf0,0x20,0xe3]
1348 @ CHECK: seveq @ encoding: [0x04,0xf0,0x20,0x03]
1350 @------------------------------------------------------------------------------
1352 @------------------------------------------------------------------------------
1354 shadd16gt r4, r8, r2
1358 @ CHECK: shadd16 r4, r8, r2 @ encoding: [0x12,0x4f,0x38,0xe6]
1359 @ CHECK: shadd16gt r4, r8, r2 @ encoding: [0x12,0x4f,0x38,0xc6]
1360 @ CHECK: shadd8 r4, r8, r2 @ encoding: [0x92,0x4f,0x38,0xe6]
1361 @ CHECK: shadd8gt r4, r8, r2 @ encoding: [0x92,0x4f,0x38,0xc6]
1364 @------------------------------------------------------------------------------
1366 @------------------------------------------------------------------------------
1370 @ CHECK: shasx r4, r8, r2 @ encoding: [0x32,0x4f,0x38,0xe6]
1371 @ CHECK: shasxgt r4, r8, r2 @ encoding: [0x32,0x4f,0x38,0xc6]
1374 @------------------------------------------------------------------------------
1376 @------------------------------------------------------------------------------
1378 shsub16gt r4, r8, r2
1382 @ CHECK: shsub16 r4, r8, r2 @ encoding: [0x72,0x4f,0x38,0xe6]
1383 @ CHECK: shsub16gt r4, r8, r2 @ encoding: [0x72,0x4f,0x38,0xc6]
1384 @ CHECK: shsub8 r4, r8, r2 @ encoding: [0xf2,0x4f,0x38,0xe6]
1385 @ CHECK: shsub8gt r4, r8, r2 @ encoding: [0xf2,0x4f,0x38,0xc6]
1387 @------------------------------------------------------------------------------
1389 @------------------------------------------------------------------------------
1393 @ CHECK: smc #15 @ encoding: [0x7f,0x00,0x60,0xe1]
1394 @ CHECK: smceq #0 @ encoding: [0x70,0x00,0x60,0x01]
1396 @------------------------------------------------------------------------------
1397 @ SMLABB/SMLABT/SMLATB/SMLATT
1398 @------------------------------------------------------------------------------
1399 smlabb r3, r1, r9, r0
1400 smlabt r5, r6, r4, r1
1401 smlatb r4, r2, r3, r2
1402 smlatt r8, r3, r8, r4
1403 smlabbge r3, r1, r9, r0
1404 smlabtle r5, r6, r4, r1
1405 smlatbne r4, r2, r3, r2
1406 smlatteq r8, r3, r8, r4
1408 @ CHECK: smlabb r3, r1, r9, r0 @ encoding: [0x81,0x09,0x03,0xe1]
1409 @ CHECK: smlabt r5, r6, r4, r1 @ encoding: [0xc6,0x14,0x05,0xe1]
1410 @ CHECK: smlatb r4, r2, r3, r2 @ encoding: [0xa2,0x23,0x04,0xe1]
1411 @ CHECK: smlatt r8, r3, r8, r4 @ encoding: [0xe3,0x48,0x08,0xe1]
1412 @ CHECK: smlabbge r3, r1, r9, r0 @ encoding: [0x81,0x09,0x03,0xa1]
1413 @ CHECK: smlabtle r5, r6, r4, r1 @ encoding: [0xc6,0x14,0x05,0xd1]
1414 @ CHECK: smlatbne r4, r2, r3, r2 @ encoding: [0xa2,0x23,0x04,0x11]
1415 @ CHECK: smlatteq r8, r3, r8, r4 @ encoding: [0xe3,0x48,0x08,0x01]
1417 @------------------------------------------------------------------------------
1419 @------------------------------------------------------------------------------
1420 smlad r2, r3, r5, r8
1421 smladx r2, r3, r5, r8
1422 smladeq r2, r3, r5, r8
1423 smladxhi r2, r3, r5, r8
1425 @ CHECK: smlad r2, r3, r5, r8 @ encoding: [0x13,0x85,0x02,0xe7]
1426 @ CHECK: smladx r2, r3, r5, r8 @ encoding: [0x33,0x85,0x02,0xe7]
1427 @ CHECK: smladeq r2, r3, r5, r8 @ encoding: [0x13,0x85,0x02,0x07]
1428 @ CHECK: smladxhi r2, r3, r5, r8 @ encoding: [0x33,0x85,0x02,0x87]
1431 @------------------------------------------------------------------------------
1433 @------------------------------------------------------------------------------
1434 smlal r2, r3, r5, r8
1435 smlals r2, r3, r5, r8
1436 smlaleq r2, r3, r5, r8
1437 smlalshi r2, r3, r5, r8
1439 @ CHECK: smlal r2, r3, r5, r8 @ encoding: [0x95,0x28,0xe3,0xe0]
1440 @ CHECK: smlals r2, r3, r5, r8 @ encoding: [0x95,0x28,0xf3,0xe0]
1441 @ CHECK: smlaleq r2, r3, r5, r8 @ encoding: [0x95,0x28,0xe3,0x00]
1442 @ CHECK: smlalshi r2, r3, r5, r8 @ encoding: [0x95,0x28,0xf3,0x80]
1445 @------------------------------------------------------------------------------
1446 @ SMLALBB/SMLALBT/SMLALTB/SMLALTT
1447 @------------------------------------------------------------------------------
1448 smlalbb r3, r1, r9, r0
1449 smlalbt r5, r6, r4, r1
1450 smlaltb r4, r2, r3, r2
1451 smlaltt r8, r3, r8, r4
1452 smlalbbge r3, r1, r9, r0
1453 smlalbtle r5, r6, r4, r1
1454 smlaltbne r4, r2, r3, r2
1455 smlaltteq r8, r3, r8, r4
1457 @ CHECK: smlalbb r3, r1, r9, r0 @ encoding: [0x89,0x30,0x41,0xe1]
1458 @ CHECK: smlalbt r5, r6, r4, r1 @ encoding: [0xc4,0x51,0x46,0xe1]
1459 @ CHECK: smlaltb r4, r2, r3, r2 @ encoding: [0xa3,0x42,0x42,0xe1]
1460 @ CHECK: smlaltt r8, r3, r8, r4 @ encoding: [0xe8,0x84,0x43,0xe1]
1461 @ CHECK: smlalbbge r3, r1, r9, r0 @ encoding: [0x89,0x30,0x41,0xa1]
1462 @ CHECK: smlalbtle r5, r6, r4, r1 @ encoding: [0xc4,0x51,0x46,0xd1]
1463 @ CHECK: smlaltbne r4, r2, r3, r2 @ encoding: [0xa3,0x42,0x42,0x11]
1464 @ CHECK: smlaltteq r8, r3, r8, r4 @ encoding: [0xe8,0x84,0x43,0x01]
1467 @------------------------------------------------------------------------------
1469 @------------------------------------------------------------------------------
1470 smlald r2, r3, r5, r8
1471 smlaldx r2, r3, r5, r8
1472 smlaldeq r2, r3, r5, r8
1473 smlaldxhi r2, r3, r5, r8
1475 @ CHECK: smlald r2, r3, r5, r8 @ encoding: [0x15,0x28,0x43,0xe7]
1476 @ CHECK: smlaldx r2, r3, r5, r8 @ encoding: [0x35,0x28,0x43,0xe7]
1477 @ CHECK: smlaldeq r2, r3, r5, r8 @ encoding: [0x15,0x28,0x43,0x07]
1478 @ CHECK: smlaldxhi r2, r3, r5, r8 @ encoding: [0x35,0x28,0x43,0x87]
1481 @------------------------------------------------------------------------------
1483 @------------------------------------------------------------------------------
1484 smlawb r2, r3, r10, r8
1485 smlawt r8, r3, r5, r9
1486 smlawbeq r2, r7, r5, r8
1487 smlawthi r1, r3, r0, r8
1489 @ CHECK: smlawb r2, r3, r10, r8 @ encoding: [0x83,0x8a,0x22,0xe1]
1490 @ CHECK: smlawt r8, r3, r5, r9 @ encoding: [0xc3,0x95,0x28,0xe1]
1491 @ CHECK: smlawbeq r2, r7, r5, r8 @ encoding: [0x87,0x85,0x22,0x01]
1492 @ CHECK: smlawthi r1, r3, r0, r8 @ encoding: [0xc3,0x80,0x21,0x81]
1495 @------------------------------------------------------------------------------
1497 @------------------------------------------------------------------------------
1498 smlsd r2, r3, r5, r8
1499 smlsdx r2, r3, r5, r8
1500 smlsdeq r2, r3, r5, r8
1501 smlsdxhi r2, r3, r5, r8
1503 @ CHECK: smlsd r2, r3, r5, r8 @ encoding: [0x53,0x85,0x02,0xe7]
1504 @ CHECK: smlsdx r2, r3, r5, r8 @ encoding: [0x73,0x85,0x02,0xe7]
1505 @ CHECK: smlsdeq r2, r3, r5, r8 @ encoding: [0x53,0x85,0x02,0x07]
1506 @ CHECK: smlsdxhi r2, r3, r5, r8 @ encoding: [0x73,0x85,0x02,0x87]
1509 @------------------------------------------------------------------------------
1511 @------------------------------------------------------------------------------
1512 smlsld r2, r9, r5, r1
1513 smlsldx r4, r11, r2, r8
1514 smlsldeq r8, r2, r5, r6
1515 smlsldxhi r1, r0, r3, r8
1517 @ CHECK: smlsld r2, r9, r5, r1 @ encoding: [0x55,0x21,0x49,0xe7]
1518 @ CHECK: smlsldx r4, r11, r2, r8 @ encoding: [0x72,0x48,0x4b,0xe7]
1519 @ CHECK: smlsldeq r8, r2, r5, r6 @ encoding: [0x55,0x86,0x42,0x07]
1520 @ CHECK: smlsldxhi r1, r0, r3, r8 @ encoding: [0x73,0x18,0x40,0x87]
1523 @------------------------------------------------------------------------------
1525 @------------------------------------------------------------------------------
1526 smmla r1, r2, r3, r4
1527 smmlar r4, r3, r2, r1
1528 smmlalo r1, r2, r3, r4
1529 smmlarcs r4, r3, r2, r1
1531 @ CHECK: smmla r1, r2, r3, r4 @ encoding: [0x12,0x43,0x51,0xe7]
1532 @ CHECK: smmlar r4, r3, r2, r1 @ encoding: [0x33,0x12,0x54,0xe7]
1533 @ CHECK: smmlalo r1, r2, r3, r4 @ encoding: [0x12,0x43,0x51,0x37]
1534 @ CHECK: smmlarhs r4, r3, r2, r1 @ encoding: [0x33,0x12,0x54,0x27]
1537 @------------------------------------------------------------------------------
1539 @------------------------------------------------------------------------------
1540 smmls r1, r2, r3, r4
1541 smmlsr r4, r3, r2, r1
1542 smmlslo r1, r2, r3, r4
1543 smmlsrcs r4, r3, r2, r1
1545 @ CHECK: smmls r1, r2, r3, r4 @ encoding: [0xd2,0x43,0x51,0xe7]
1546 @ CHECK: smmlsr r4, r3, r2, r1 @ encoding: [0xf3,0x12,0x54,0xe7]
1547 @ CHECK: smmlslo r1, r2, r3, r4 @ encoding: [0xd2,0x43,0x51,0x37]
1548 @ CHECK: smmlsrhs r4, r3, r2, r1 @ encoding: [0xf3,0x12,0x54,0x27]
1551 @------------------------------------------------------------------------------
1553 @------------------------------------------------------------------------------
1559 @ CHECK: smmul r2, r3, r4 @ encoding: [0x13,0xf4,0x52,0xe7]
1560 @ CHECK: smmulr r3, r2, r1 @ encoding: [0x32,0xf1,0x53,0xe7]
1561 @ CHECK: smmullo r2, r3, r4 @ encoding: [0x13,0xf4,0x52,0x37]
1562 @ CHECK: smmulrhs r3, r2, r1 @ encoding: [0x32,0xf1,0x53,0x27]
1565 @------------------------------------------------------------------------------
1567 @------------------------------------------------------------------------------
1573 @ CHECK: smuad r2, r3, r4 @ encoding: [0x13,0xf4,0x02,0xe7]
1574 @ CHECK: smuadx r3, r2, r1 @ encoding: [0x32,0xf1,0x03,0xe7]
1575 @ CHECK: smuadlt r2, r3, r4 @ encoding: [0x13,0xf4,0x02,0xb7]
1576 @ CHECK: smuadxge r3, r2, r1 @ encoding: [0x32,0xf1,0x03,0xa7]
1579 @------------------------------------------------------------------------------
1580 @ SMULBB/SMLALBT/SMLALTB/SMLALTT
1581 @------------------------------------------------------------------------------
1591 @ CHECK: smulbb r3, r9, r0 @ encoding: [0x89,0x00,0x63,0xe1]
1592 @ CHECK: smulbt r5, r4, r1 @ encoding: [0xc4,0x01,0x65,0xe1]
1593 @ CHECK: smultb r4, r2, r2 @ encoding: [0xa2,0x02,0x64,0xe1]
1594 @ CHECK: smultt r8, r3, r4 @ encoding: [0xe3,0x04,0x68,0xe1]
1595 @ CHECK: smulbbge r1, r9, r0 @ encoding: [0x89,0x00,0x61,0xa1]
1596 @ CHECK: smulbtle r5, r6, r4 @ encoding: [0xc6,0x04,0x65,0xd1]
1597 @ CHECK: smultbne r2, r3, r2 @ encoding: [0xa3,0x02,0x62,0x11]
1598 @ CHECK: smultteq r8, r3, r4 @ encoding: [0xe3,0x04,0x68,0x01]
1601 @------------------------------------------------------------------------------
1603 @------------------------------------------------------------------------------
1604 smull r3, r9, r0, r1
1605 smulls r3, r9, r0, r2
1606 smulleq r8, r3, r4, r5
1607 smullseq r8, r3, r4, r3
1609 @ CHECK: smull r3, r9, r0, r1 @ encoding: [0x90,0x31,0xc9,0xe0]
1610 @ CHECK: smulls r3, r9, r0, r2 @ encoding: [0x90,0x32,0xd9,0xe0]
1611 @ CHECK: smulleq r8, r3, r4, r5 @ encoding: [0x94,0x85,0xc3,0x00]
1612 @ CHECK: smullseq r8, r3, r4, r3 @ encoding: [0x94,0x83,0xd3,0x00]
1615 @------------------------------------------------------------------------------
1617 @------------------------------------------------------------------------------
1621 @ CHECK: smulwb r3, r9, r0 @ encoding: [0xa9,0x00,0x23,0xe1]
1622 @ CHECK: smulwt r3, r9, r2 @ encoding: [0xe9,0x02,0x23,0xe1]
1625 @------------------------------------------------------------------------------
1627 @------------------------------------------------------------------------------
1633 @ CHECK: smusd r3, r0, r1 @ encoding: [0x50,0xf1,0x03,0xe7]
1634 @ CHECK: smusdx r3, r9, r2 @ encoding: [0x79,0xf2,0x03,0xe7]
1635 @ CHECK: smusdeq r8, r3, r2 @ encoding: [0x53,0xf2,0x08,0x07]
1636 @ CHECK: smusdxne r7, r4, r3 @ encoding: [0x74,0xf3,0x07,0x17]
1639 @------------------------------------------------------------------------------
1641 @------------------------------------------------------------------------------
1644 @------------------------------------------------------------------------------
1646 @------------------------------------------------------------------------------
1648 ssat r8, #1, r10, lsl #0
1649 ssat r8, #1, r10, lsl #31
1650 ssat r8, #1, r10, asr #32
1651 ssat r8, #1, r10, asr #1
1653 @ CHECK: ssat r8, #1, r10 @ encoding: [0x1a,0x80,0xa0,0xe6]
1654 @ CHECK: ssat r8, #1, r10 @ encoding: [0x1a,0x80,0xa0,0xe6]
1655 @ CHECK: ssat r8, #1, r10, lsl #31 @ encoding: [0x9a,0x8f,0xa0,0xe6]
1656 @ CHECK: ssat r8, #1, r10, asr #32 @ encoding: [0x5a,0x80,0xa0,0xe6]
1657 @ CHECK: ssat r8, #1, r10, asr #1 @ encoding: [0xda,0x80,0xa0,0xe6]
1660 @------------------------------------------------------------------------------
1662 @------------------------------------------------------------------------------
1666 @ CHECK: ssat16 r2, #1, r7 @ encoding: [0x37,0x2f,0xa0,0xe6]
1667 @ CHECK: ssat16 r3, #16, r5 @ encoding: [0x35,0x3f,0xaf,0xe6]
1670 @------------------------------------------------------------------------------
1672 @------------------------------------------------------------------------------
1676 @ CHECK: ssax r2, r3, r4 @ encoding: [0x54,0x2f,0x13,0xe6]
1677 @ CHECK: ssaxlt r2, r3, r4 @ encoding: [0x54,0x2f,0x13,0xb6]
1679 @------------------------------------------------------------------------------
1681 @------------------------------------------------------------------------------
1687 @ CHECK: ssub16 r1, r0, r6 @ encoding: [0x76,0x1f,0x10,0xe6]
1688 @ CHECK: ssub16ne r5, r3, r2 @ encoding: [0x72,0x5f,0x13,0x16]
1689 @ CHECK: ssub8 r9, r2, r4 @ encoding: [0xf4,0x9f,0x12,0xe6]
1690 @ CHECK: ssub8eq r5, r1, r2 @ encoding: [0xf2,0x5f,0x11,0x06]
1693 @------------------------------------------------------------------------------
1695 @------------------------------------------------------------------------------
1696 stm r2, {r1,r3-r6,sp}
1697 stmia r3, {r1,r3-r6,lr}
1698 stmib r4, {r1,r3-r6,sp}
1699 stmda r5, {r1,r3-r6,sp}
1700 stmdb r6, {r1,r3-r6,r8}
1701 stmfd sp, {r1,r3-r6,sp}
1704 stm r8!, {r1,r3-r6,sp}
1705 stmib r9!, {r1,r3-r6,sp}
1706 stmda sp!, {r1,r3-r6}
1707 stmdb r0!, {r1,r5,r7,sp}
1709 @ CHECK: stm r2, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x82,0xe8]
1710 @ CHECK: stm r3, {lr, r1, r3, r4, r5, r6} @ encoding: [0x7a,0x40,0x83,0xe8]
1711 @ CHECK: stmib r4, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x84,0xe9]
1712 @ CHECK: stmda r5, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x05,0xe8]
1713 @ CHECK: stmdb r6, {r1, r3, r4, r5, r6, r8} @ encoding: [0x7a,0x01,0x06,0xe9]
1714 @ CHECK: stmdb sp, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x0d,0xe9]
1716 @ CHECK: stm r8!, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0xa8,0xe8]
1717 @ CHECK: stmib r9!, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0xa9,0xe9]
1718 @ CHECK: stmda sp!, {r1, r3, r4, r5, r6} @ encoding: [0x7a,0x00,0x2d,0xe8]
1719 @ CHECK: stmdb r0!, {r1, r5, r7, sp} @ encoding: [0xa2,0x20,0x20,0xe9]
1722 @------------------------------------------------------------------------------
1724 @------------------------------------------------------------------------------
1725 @------------------------------------------------------------------------------
1726 @ STREX/STREXB/STREXH/STREXD
1727 @------------------------------------------------------------------------------
1731 strexd r6, r2, r3, [r8]
1733 @ CHECK: strexb r1, r3, [r4] @ encoding: [0x93,0x1f,0xc4,0xe1]
1734 @ CHECK: strexh r4, r2, [r5] @ encoding: [0x92,0x4f,0xe5,0xe1]
1735 @ CHECK: strex r2, r1, [r7] @ encoding: [0x91,0x2f,0x87,0xe1]
1736 @ CHECK: strexd r6, r2, r3, [r8] @ encoding: [0x92,0x6f,0xa8,0xe1]
1739 @------------------------------------------------------------------------------
1741 @------------------------------------------------------------------------------
1744 sub r4, r5, r6, lsl #5
1745 sub r4, r5, r6, lsr #5
1746 sub r4, r5, r6, lsr #5
1747 sub r4, r5, r6, asr #5
1748 sub r4, r5, r6, ror #5
1749 sub r6, r7, r8, lsl r9
1750 sub r6, r7, r8, lsr r9
1751 sub r6, r7, r8, asr r9
1752 sub r6, r7, r8, ror r9
1754 @ destination register is optional
1767 @ CHECK: sub r4, r5, #61440 @ encoding: [0x0f,0x4a,0x45,0xe2]
1768 @ CHECK: sub r4, r5, r6 @ encoding: [0x06,0x40,0x45,0xe0]
1769 @ CHECK: sub r4, r5, r6, lsl #5 @ encoding: [0x86,0x42,0x45,0xe0]
1770 @ CHECK: sub r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0x45,0xe0]
1771 @ CHECK: sub r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0x45,0xe0]
1772 @ CHECK: sub r4, r5, r6, asr #5 @ encoding: [0xc6,0x42,0x45,0xe0]
1773 @ CHECK: sub r4, r5, r6, ror #5 @ encoding: [0xe6,0x42,0x45,0xe0]
1774 @ CHECK: sub r6, r7, r8, lsl r9 @ encoding: [0x18,0x69,0x47,0xe0]
1775 @ CHECK: sub r6, r7, r8, lsr r9 @ encoding: [0x38,0x69,0x47,0xe0]
1776 @ CHECK: sub r6, r7, r8, asr r9 @ encoding: [0x58,0x69,0x47,0xe0]
1777 @ CHECK: sub r6, r7, r8, ror r9 @ encoding: [0x78,0x69,0x47,0xe0]
1780 @ CHECK: sub r5, r5, #61440 @ encoding: [0x0f,0x5a,0x45,0xe2]
1781 @ CHECK: sub r4, r4, r5 @ encoding: [0x05,0x40,0x44,0xe0]
1782 @ CHECK: sub r4, r4, r5, lsl #5 @ encoding: [0x85,0x42,0x44,0xe0]
1783 @ CHECK: sub r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0x44,0xe0]
1784 @ CHECK: sub r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0x44,0xe0]
1785 @ CHECK: sub r4, r4, r5, asr #5 @ encoding: [0xc5,0x42,0x44,0xe0]
1786 @ CHECK: sub r4, r4, r5, ror #5 @ encoding: [0xe5,0x42,0x44,0xe0]
1787 @ CHECK: sub r6, r6, r7, lsl r9 @ encoding: [0x17,0x69,0x46,0xe0]
1788 @ CHECK: sub r6, r6, r7, lsr r9 @ encoding: [0x37,0x69,0x46,0xe0]
1789 @ CHECK: sub r6, r6, r7, asr r9 @ encoding: [0x57,0x69,0x46,0xe0]
1790 @ CHECK: sub r6, r6, r7, ror r9 @ encoding: [0x77,0x69,0x46,0xe0]
1793 @------------------------------------------------------------------------------
1795 @------------------------------------------------------------------------------
1800 @ CHECK: svc #16 @ encoding: [0x10,0x00,0x00,0xef]
1801 @ CHECK: svc #0 @ encoding: [0x00,0x00,0x00,0xef]
1802 @ CHECK: svc #16777215 @ encoding: [0xff,0xff,0xff,0xef]
1805 @------------------------------------------------------------------------------
1807 @------------------------------------------------------------------------------
1812 @ CHECK: swp r1, r2, [r3] @ encoding: [0x92,0x10,0x03,0xe1]
1813 @ CHECK: swp r4, r4, [r6] @ encoding: [0x94,0x40,0x06,0xe1]
1814 @ CHECK: swpb r5, r1, [r9] @ encoding: [0x91,0x50,0x49,0xe1]
1817 @------------------------------------------------------------------------------
1819 @------------------------------------------------------------------------------
1821 sxtab r4, r5, r6, ror #0
1822 sxtablt r6, r2, r9, ror #8
1823 sxtab r5, r1, r4, ror #16
1824 sxtab r7, r8, r3, ror #24
1826 @ CHECK: sxtab r2, r3, r4 @ encoding: [0x74,0x20,0xa3,0xe6]
1827 @ CHECK: sxtab r4, r5, r6 @ encoding: [0x76,0x40,0xa5,0xe6]
1828 @ CHECK: sxtablt r6, r2, r9, ror #8
1829 @ encoding: [0x79,0x64,0xa2,0xb6]
1830 @ CHECK: sxtab r5, r1, r4, ror #16
1831 @ encoding: [0x74,0x58,0xa1,0xe6]
1832 @ CHECK: sxtab r7, r8, r3, ror #24
1833 @ encoding: [0x73,0x7c,0xa8,0xe6]
1836 @------------------------------------------------------------------------------
1838 @------------------------------------------------------------------------------
1839 sxtab16ge r0, r1, r4
1840 sxtab16 r6, r2, r7, ror #0
1841 sxtab16 r3, r5, r8, ror #8
1842 sxtab16 r3, r2, r1, ror #16
1843 sxtab16eq r1, r2, r3, ror #24
1845 @ CHECK: sxtab16ge r0, r1, r4 @ encoding: [0x74,0x00,0x81,0xa6]
1846 @ CHECK: sxtab16 r6, r2, r7 @ encoding: [0x77,0x60,0x82,0xe6]
1847 @ CHECK: sxtab16 r3, r5, r8, ror #8
1848 @ encoding: [0x78,0x34,0x85,0xe6]
1849 @ CHECK: sxtab16 r3, r2, r1, ror #16
1850 @ encoding: [0x71,0x38,0x82,0xe6]
1851 @ CHECK: sxtab16eq r1, r2, r3, ror #24
1852 @ encoding: [0x73,0x1c,0x82,0x06]
1854 @------------------------------------------------------------------------------
1856 @------------------------------------------------------------------------------
1858 sxtahhi r6, r1, r6, ror #0
1859 sxtah r3, r8, r3, ror #8
1860 sxtahlo r2, r2, r4, ror #16
1861 sxtah r9, r3, r3, ror #24
1863 @ CHECK: sxtah r1, r3, r9 @ encoding: [0x79,0x10,0xb3,0xe6]
1864 @ CHECK: sxtahhi r6, r1, r6 @ encoding: [0x76,0x60,0xb1,0x86]
1865 @ CHECK: sxtah r3, r8, r3, ror #8
1866 @ encoding: [0x73,0x34,0xb8,0xe6]
1867 @ CHECK: sxtahlo r2, r2, r4, ror #16
1868 @ encoding: [0x74,0x28,0xb2,0x36]
1869 @ CHECK: sxtah r9, r3, r3, ror #24
1870 @ encoding: [0x73,0x9c,0xb3,0xe6]
1872 @------------------------------------------------------------------------------
1874 @------------------------------------------------------------------------------
1878 sxtbcc r5, r1, ror #16
1879 sxtb r8, r3, ror #24
1881 @ CHECK: sxtbge r2, r4 @ encoding: [0x74,0x20,0xaf,0xa6]
1882 @ CHECK: sxtb r5, r6 @ encoding: [0x76,0x50,0xaf,0xe6]
1883 @ CHECK: sxtb r6, r9, ror #8
1884 @ encoding: [0x79,0x64,0xaf,0xe6]
1885 @ CHECK: sxtblo r5, r1, ror #16
1886 @ encoding: [0x71,0x58,0xaf,0x36]
1887 @ CHECK: sxtb r8, r3, ror #24
1888 @ encoding: [0x73,0x8c,0xaf,0xe6]
1891 @------------------------------------------------------------------------------
1893 @------------------------------------------------------------------------------
1895 sxtb16 r6, r7, ror #0
1896 sxtb16cs r3, r5, ror #8
1897 sxtb16 r3, r1, ror #16
1898 sxtb16ge r2, r3, ror #24
1900 @ CHECK: sxtb16 r1, r4 @ encoding: [0x74,0x10,0x8f,0xe6]
1901 @ CHECK: sxtb16 r6, r7 @ encoding: [0x77,0x60,0x8f,0xe6]
1902 @ CHECK: sxtb16hs r3, r5, ror #8
1903 @ encoding: [0x75,0x34,0x8f,0x26]
1904 @ CHECK: sxtb16 r3, r1, ror #16
1905 @ encoding: [0x71,0x38,0x8f,0xe6]
1906 @ CHECK: sxtb16ge r2, r3, ror #24
1907 @ encoding: [0x73,0x2c,0x8f,0xa6]
1910 @------------------------------------------------------------------------------
1912 @------------------------------------------------------------------------------
1916 sxthle r2, r2, ror #16
1917 sxth r9, r3, ror #24
1919 @ CHECK: sxthne r3, r9 @ encoding: [0x79,0x30,0xbf,0x16]
1920 @ CHECK: sxth r1, r6 @ encoding: [0x76,0x10,0xbf,0xe6]
1921 @ CHECK: sxth r3, r8, ror #8
1922 @ encoding: [0x78,0x34,0xbf,0xe6]
1923 @ CHECK: sxthle r2, r2, ror #16
1924 @ encoding: [0x72,0x28,0xbf,0xd6]
1925 @ CHECK: sxth r9, r3, ror #24
1926 @ encoding: [0x73,0x9c,0xbf,0xe6]
1929 @------------------------------------------------------------------------------
1931 @------------------------------------------------------------------------------
1934 @------------------------------------------------------------------------------
1936 @------------------------------------------------------------------------------
1949 @ CHECK: teq r5, #61440 @ encoding: [0x0f,0x0a,0x35,0xe3]
1950 @ CHECK: teq r4, r5 @ encoding: [0x05,0x00,0x34,0xe1]
1951 @ CHECK: teq r4, r5, lsl #5 @ encoding: [0x85,0x02,0x34,0xe1]
1952 @ CHECK: teq r4, r5, lsr #5 @ encoding: [0xa5,0x02,0x34,0xe1]
1953 @ CHECK: teq r4, r5, lsr #5 @ encoding: [0xa5,0x02,0x34,0xe1]
1954 @ CHECK: teq r4, r5, asr #5 @ encoding: [0xc5,0x02,0x34,0xe1]
1955 @ CHECK: teq r4, r5, ror #5 @ encoding: [0xe5,0x02,0x34,0xe1]
1956 @ CHECK: teq r6, r7, lsl r9 @ encoding: [0x17,0x09,0x36,0xe1]
1957 @ CHECK: teq r6, r7, lsr r9 @ encoding: [0x37,0x09,0x36,0xe1]
1958 @ CHECK: teq r6, r7, asr r9 @ encoding: [0x57,0x09,0x36,0xe1]
1959 @ CHECK: teq r6, r7, ror r9 @ encoding: [0x77,0x09,0x36,0xe1]
1962 @------------------------------------------------------------------------------
1964 @------------------------------------------------------------------------------
1977 @ CHECK: tst r5, #61440 @ encoding: [0x0f,0x0a,0x15,0xe3]
1978 @ CHECK: tst r4, r5 @ encoding: [0x05,0x00,0x14,0xe1]
1979 @ CHECK: tst r4, r5, lsl #5 @ encoding: [0x85,0x02,0x14,0xe1]
1980 @ CHECK: tst r4, r5, lsr #5 @ encoding: [0xa5,0x02,0x14,0xe1]
1981 @ CHECK: tst r4, r5, lsr #5 @ encoding: [0xa5,0x02,0x14,0xe1]
1982 @ CHECK: tst r4, r5, asr #5 @ encoding: [0xc5,0x02,0x14,0xe1]
1983 @ CHECK: tst r4, r5, ror #5 @ encoding: [0xe5,0x02,0x14,0xe1]
1984 @ CHECK: tst r6, r7, lsl r9 @ encoding: [0x17,0x09,0x16,0xe1]
1985 @ CHECK: tst r6, r7, lsr r9 @ encoding: [0x37,0x09,0x16,0xe1]
1986 @ CHECK: tst r6, r7, asr r9 @ encoding: [0x57,0x09,0x16,0xe1]
1987 @ CHECK: tst r6, r7, ror r9 @ encoding: [0x77,0x09,0x16,0xe1]
1990 @------------------------------------------------------------------------------
1992 @------------------------------------------------------------------------------
1998 @ CHECK: uadd16 r1, r2, r3 @ encoding: [0x13,0x1f,0x52,0xe6]
1999 @ CHECK: uadd16gt r1, r2, r3 @ encoding: [0x13,0x1f,0x52,0xc6]
2000 @ CHECK: uadd8 r1, r2, r3 @ encoding: [0x93,0x1f,0x52,0xe6]
2001 @ CHECK: uadd8le r1, r2, r3 @ encoding: [0x93,0x1f,0x52,0xd6]
2004 @------------------------------------------------------------------------------
2006 @------------------------------------------------------------------------------
2010 @ CHECK: uasx r9, r12, r0 @ encoding: [0x30,0x9f,0x5c,0xe6]
2011 @ CHECK: uasxeq r9, r12, r0 @ encoding: [0x30,0x9f,0x5c,0x06]
2014 @------------------------------------------------------------------------------
2016 @------------------------------------------------------------------------------
2017 ubfx r4, r5, #16, #1
2018 ubfxgt r4, r5, #16, #16
2020 @ CHECK: ubfx r4, r5, #16, #1 @ encoding: [0x55,0x48,0xe0,0xe7]
2021 @ CHECK: ubfxgt r4, r5, #16, #16 @ encoding: [0x55,0x48,0xef,0xc7]
2024 @------------------------------------------------------------------------------
2026 @------------------------------------------------------------------------------
2028 uhadd16gt r4, r8, r2
2032 @ CHECK: uhadd16 r4, r8, r2 @ encoding: [0x12,0x4f,0x78,0xe6]
2033 @ CHECK: uhadd16gt r4, r8, r2 @ encoding: [0x12,0x4f,0x78,0xc6]
2034 @ CHECK: uhadd8 r4, r8, r2 @ encoding: [0x92,0x4f,0x78,0xe6]
2035 @ CHECK: uhadd8gt r4, r8, r2 @ encoding: [0x92,0x4f,0x78,0xc6]
2038 @------------------------------------------------------------------------------
2040 @------------------------------------------------------------------------------
2044 @ CHECK: uhasx r4, r8, r2 @ encoding: [0x32,0x4f,0x78,0xe6]
2045 @ CHECK: uhasxgt r4, r8, r2 @ encoding: [0x32,0x4f,0x78,0xc6]
2048 @------------------------------------------------------------------------------
2050 @------------------------------------------------------------------------------
2052 uhsub16gt r4, r8, r2
2056 @ CHECK: uhsub16 r4, r8, r2 @ encoding: [0x72,0x4f,0x78,0xe6]
2057 @ CHECK: uhsub16gt r4, r8, r2 @ encoding: [0x72,0x4f,0x78,0xc6]
2058 @ CHECK: uhsub8 r4, r8, r2 @ encoding: [0xf2,0x4f,0x78,0xe6]
2059 @ CHECK: uhsub8gt r4, r8, r2 @ encoding: [0xf2,0x4f,0x78,0xc6]
2062 @------------------------------------------------------------------------------
2064 @------------------------------------------------------------------------------
2065 umaal r3, r4, r5, r6
2066 umaallt r3, r4, r5, r6
2068 @ CHECK: umaal r3, r4, r5, r6 @ encoding: [0x95,0x46,0x43,0xe0]
2069 @ CHECK: umaallt r3, r4, r5, r6 @ encoding: [0x95,0x46,0x43,0xb0]
2072 @------------------------------------------------------------------------------
2074 @------------------------------------------------------------------------------
2075 umlal r2, r4, r6, r8
2076 umlalgt r6, r1, r2, r6
2077 umlals r2, r9, r2, r3
2078 umlalseq r3, r5, r1, r2
2080 @ CHECK: umlal r2, r4, r6, r8 @ encoding: [0x96,0x28,0xa4,0xe0]
2081 @ CHECK: umlalgt r6, r1, r2, r6 @ encoding: [0x92,0x66,0xa1,0xc0]
2082 @ CHECK: umlals r2, r9, r2, r3 @ encoding: [0x92,0x23,0xb9,0xe0]
2083 @ CHECK: umlalseq r3, r5, r1, r2 @ encoding: [0x91,0x32,0xb5,0x00]
2086 @------------------------------------------------------------------------------
2088 @------------------------------------------------------------------------------
2089 umull r2, r4, r6, r8
2090 umullgt r6, r1, r2, r6
2091 umulls r2, r9, r2, r3
2092 umullseq r3, r5, r1, r2
2094 @ CHECK: umull r2, r4, r6, r8 @ encoding: [0x96,0x28,0x84,0xe0]
2095 @ CHECK: umullgt r6, r1, r2, r6 @ encoding: [0x92,0x66,0x81,0xc0]
2096 @ CHECK: umulls r2, r9, r2, r3 @ encoding: [0x92,0x23,0x99,0xe0]
2097 @ CHECK: umullseq r3, r5, r1, r2 @ encoding: [0x91,0x32,0x95,0x00]