1 @ RUN: llvm-mc -triple=armv7-apple-darwin -mcpu=cortex-a8 -show-encoding < %s | FileCheck %s
2 @ RUN: llvm-mc -triple=armebv7-unknown-unknown -mcpu=cortex-a8 -show-encoding < %s | FileCheck --check-prefix=CHECK-BE %s
6 @ Check that the assembler can handle the documented syntax from the ARM ARM.
7 @ For complex constructs like shifter operands, check more thoroughly for them
8 @ once then spot check that following instructions accept the form generally.
9 @ This gives us good coverage while keeping the overall size of the test
15 @------------------------------------------------------------------------------
17 @------------------------------------------------------------------------------
24 adc r1, r2, #0xf000000
25 adc r1, r2, #0xf0000000
26 adc r1, r2, #0xf000000f
31 @ CHECK: adc r1, r2, #15 @ encoding: [0x0f,0x10,0xa2,0xe2]
32 @ CHECK: adc r1, r2, #240 @ encoding: [0xf0,0x10,0xa2,0xe2]
33 @ CHECK: adc r1, r2, #3840 @ encoding: [0x0f,0x1c,0xa2,0xe2]
34 @ CHECK: adc r1, r2, #61440 @ encoding: [0x0f,0x1a,0xa2,0xe2]
35 @ CHECK: adc r1, r2, #983040 @ encoding: [0x0f,0x18,0xa2,0xe2]
36 @ CHECK: adc r1, r2, #15728640 @ encoding: [0x0f,0x16,0xa2,0xe2]
37 @ CHECK: adc r1, r2, #251658240 @ encoding: [0x0f,0x14,0xa2,0xe2]
38 @ CHECK: adc r1, r2, #4026531840 @ encoding: [0x0f,0x12,0xa2,0xe2]
39 @ CHECK: adc r1, r2, #4026531855 @ encoding: [0xff,0x12,0xa2,0xe2]
41 @ CHECK: adcs r1, r2, #3840 @ encoding: [0x0f,0x1c,0xb2,0xe2]
42 @ CHECK: adcseq r1, r2, #3840 @ encoding: [0x0f,0x1c,0xb2,0x02]
43 @ CHECK: adceq r1, r2, #3840 @ encoding: [0x0f,0x1c,0xa2,0x02]
45 @------------------------------------------------------------------------------
47 @ ADC (shifted register)
48 @------------------------------------------------------------------------------
51 adc r4, r5, r6, lsl #1
52 adc r4, r5, r6, lsl #31
53 adc r4, r5, r6, lsr #1
54 adc r4, r5, r6, lsr #31
55 adc r4, r5, r6, lsr #32
56 adc r4, r5, r6, asr #1
57 adc r4, r5, r6, asr #31
58 adc r4, r5, r6, asr #32
59 adc r4, r5, r6, ror #1
60 adc r4, r5, r6, ror #31
63 adc r6, r7, r8, lsl r9
64 adc r6, r7, r8, lsr r9
65 adc r6, r7, r8, asr r9
66 adc r6, r7, r8, ror r9
69 @ Destination register is optional
88 @ CHECK: adc r4, r5, r6 @ encoding: [0x06,0x40,0xa5,0xe0]
90 @ CHECK: adc r4, r5, r6, lsl #1 @ encoding: [0x86,0x40,0xa5,0xe0]
91 @ CHECK: adc r4, r5, r6, lsl #31 @ encoding: [0x86,0x4f,0xa5,0xe0]
92 @ CHECK: adc r4, r5, r6, lsr #1 @ encoding: [0xa6,0x40,0xa5,0xe0]
93 @ CHECK: adc r4, r5, r6, lsr #31 @ encoding: [0xa6,0x4f,0xa5,0xe0]
94 @ CHECK: adc r4, r5, r6, lsr #32 @ encoding: [0x26,0x40,0xa5,0xe0]
95 @ CHECK: adc r4, r5, r6, asr #1 @ encoding: [0xc6,0x40,0xa5,0xe0]
96 @ CHECK: adc r4, r5, r6, asr #31 @ encoding: [0xc6,0x4f,0xa5,0xe0]
97 @ CHECK: adc r4, r5, r6, asr #32 @ encoding: [0x46,0x40,0xa5,0xe0]
98 @ CHECK: adc r4, r5, r6, ror #1 @ encoding: [0xe6,0x40,0xa5,0xe0]
99 @ CHECK: adc r4, r5, r6, ror #31 @ encoding: [0xe6,0x4f,0xa5,0xe0]
101 @ CHECK: adc r6, r7, r8, lsl r9 @ encoding: [0x18,0x69,0xa7,0xe0]
102 @ CHECK: adc r6, r7, r8, lsr r9 @ encoding: [0x38,0x69,0xa7,0xe0]
103 @ CHECK: adc r6, r7, r8, asr r9 @ encoding: [0x58,0x69,0xa7,0xe0]
104 @ CHECK: adc r6, r7, r8, ror r9 @ encoding: [0x78,0x69,0xa7,0xe0]
105 @ CHECK: adc r4, r5, r6, rrx @ encoding: [0x66,0x40,0xa5,0xe0]
107 @ CHECK: adc r5, r5, r6 @ encoding: [0x06,0x50,0xa5,0xe0]
108 @ CHECK: adc r4, r4, r5, lsl #1 @ encoding: [0x85,0x40,0xa4,0xe0]
109 @ CHECK: adc r4, r4, r5, lsl #31 @ encoding: [0x85,0x4f,0xa4,0xe0]
110 @ CHECK: adc r4, r4, r5, lsr #1 @ encoding: [0xa5,0x40,0xa4,0xe0]
111 @ CHECK: adc r4, r4, r5, lsr #31 @ encoding: [0xa5,0x4f,0xa4,0xe0]
112 @ CHECK: adc r4, r4, r5, lsr #32 @ encoding: [0x25,0x40,0xa4,0xe0]
113 @ CHECK: adc r4, r4, r5, asr #1 @ encoding: [0xc5,0x40,0xa4,0xe0]
114 @ CHECK: adc r4, r4, r5, asr #31 @ encoding: [0xc5,0x4f,0xa4,0xe0]
115 @ CHECK: adc r4, r4, r5, asr #32 @ encoding: [0x45,0x40,0xa4,0xe0]
116 @ CHECK: adc r4, r4, r5, ror #1 @ encoding: [0xe5,0x40,0xa4,0xe0]
117 @ CHECK: adc r4, r4, r5, ror #31 @ encoding: [0xe5,0x4f,0xa4,0xe0]
118 @ CHECK: adc r4, r4, r5, rrx @ encoding: [0x65,0x40,0xa4,0xe0]
119 @ CHECK: adc r6, r6, r7, lsl r9 @ encoding: [0x17,0x69,0xa6,0xe0]
120 @ CHECK: adc r6, r6, r7, lsr r9 @ encoding: [0x37,0x69,0xa6,0xe0]
121 @ CHECK: adc r6, r6, r7, asr r9 @ encoding: [0x57,0x69,0xa6,0xe0]
122 @ CHECK: adc r6, r6, r7, ror r9 @ encoding: [0x77,0x69,0xa6,0xe0]
123 @ CHECK: adc r4, r4, r5, rrx @ encoding: [0x65,0x40,0xa4,0xe0]
126 @------------------------------------------------------------------------------
128 @------------------------------------------------------------------------------
137 @ CHECK: adr r2, Lback @ encoding: [A,0x20'A',0x0f'A',0xe2'A']
138 @ CHECK: @ fixup A - offset: 0, value: Lback, kind: fixup_arm_adr_pcrel_12
139 @ CHECK-BE: adr r2, Lback @ encoding: [0xe2'A',0x0f'A',0x20'A',A]
140 @ CHECK-BE: @ fixup A - offset: 0, value: Lback, kind: fixup_arm_adr_pcrel_12
141 @ CHECK: adr r3, Lforward @ encoding: [A,0x30'A',0x0f'A',0xe2'A']
142 @ CHECK: @ fixup A - offset: 0, value: Lforward, kind: fixup_arm_adr_pcrel_12
143 @ CHECK-BE: adr r3, Lforward @ encoding: [0xe2'A',0x0f'A',0x30'A',A]
144 @ CHECK-BE: @ fixup A - offset: 0, value: Lforward, kind: fixup_arm_adr_pcrel_12
146 @ CHECK: adr r2, #3 @ encoding: [0x03,0x20,0x8f,0xe2]
147 @ CHECK: adr r2, #-3 @ encoding: [0x03,0x20,0x4f,0xe2]
155 @ CHECK: adr r1, #-0 @ encoding: [0x00,0x10,0x4f,0xe2]
156 @ CHECK: adr r1, #-301989888 @ encoding: [0x12,0x14,0x4f,0xe2]
157 @ CHECK: adr r1, #2147483647 @ encoding: [0x06,0x11,0x4f,0xe2]
158 @ CHECK: adr r1, #301989888 @ encoding: [0x12,0x14,0x8f,0xe2]
159 @ CHECK: adr r1, #-2147483647 @ encoding: [0x06,0x11,0x8f,0xe2]
161 @------------------------------------------------------------------------------
163 @------------------------------------------------------------------------------
166 add r4, r5, r6, lsl #5
167 add r4, r5, r6, lsr #5
168 add r4, r5, r6, lsr #5
169 add r4, r5, r6, asr #5
170 add r4, r5, r6, ror #5
171 add r6, r7, r8, lsl r9
172 add r4, r4, r3, asl r9
173 add r6, r7, r8, lsr r9
174 add r6, r7, r8, asr r9
175 add r6, r7, r8, ror r9
178 @ destination register is optional
194 add r0, pc, #0xc0000000
196 @ CHECK: add r4, r5, #61440 @ encoding: [0x0f,0x4a,0x85,0xe2]
197 @ CHECK: add r4, r5, r6 @ encoding: [0x06,0x40,0x85,0xe0]
198 @ CHECK: add r4, r5, r6, lsl #5 @ encoding: [0x86,0x42,0x85,0xe0]
199 @ CHECK: add r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0x85,0xe0]
200 @ CHECK: add r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0x85,0xe0]
201 @ CHECK: add r4, r5, r6, asr #5 @ encoding: [0xc6,0x42,0x85,0xe0]
202 @ CHECK: add r4, r5, r6, ror #5 @ encoding: [0xe6,0x42,0x85,0xe0]
203 @ CHECK: add r6, r7, r8, lsl r9 @ encoding: [0x18,0x69,0x87,0xe0]
204 @ CHECK: add r4, r4, r3, lsl r9 @ encoding: [0x13,0x49,0x84,0xe0]
205 @ CHECK: add r6, r7, r8, lsr r9 @ encoding: [0x38,0x69,0x87,0xe0]
206 @ CHECK: add r6, r7, r8, asr r9 @ encoding: [0x58,0x69,0x87,0xe0]
207 @ CHECK: add r6, r7, r8, ror r9 @ encoding: [0x78,0x69,0x87,0xe0]
208 @ CHECK: add r4, r5, r6, rrx @ encoding: [0x66,0x40,0x85,0xe0]
210 @ CHECK: add r5, r5, #61440 @ encoding: [0x0f,0x5a,0x85,0xe2]
211 @ CHECK: add r4, r4, r5 @ encoding: [0x05,0x40,0x84,0xe0]
212 @ CHECK: add r4, r4, r5, lsl #5 @ encoding: [0x85,0x42,0x84,0xe0]
213 @ CHECK: add r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0x84,0xe0]
214 @ CHECK: add r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0x84,0xe0]
215 @ CHECK: add r4, r4, r5, asr #5 @ encoding: [0xc5,0x42,0x84,0xe0]
216 @ CHECK: add r4, r4, r5, ror #5 @ encoding: [0xe5,0x42,0x84,0xe0]
217 @ CHECK: add r6, r6, r7, lsl r9 @ encoding: [0x17,0x69,0x86,0xe0]
218 @ CHECK: add r6, r6, r7, lsr r9 @ encoding: [0x37,0x69,0x86,0xe0]
219 @ CHECK: add r6, r6, r7, asr r9 @ encoding: [0x57,0x69,0x86,0xe0]
220 @ CHECK: add r6, r6, r7, ror r9 @ encoding: [0x77,0x69,0x86,0xe0]
221 @ CHECK: add r4, r4, r5, rrx @ encoding: [0x65,0x40,0x84,0xe0]
223 @ CHECK: sub r0, r0, #4 @ encoding: [0x04,0x00,0x40,0xe2]
224 @ CHECK: sub r4, r5, #21 @ encoding: [0x15,0x40,0x45,0xe2]
225 @ CHECK: adr r0, #-1073741824 @ encoding: [0x03,0x01,0x8f,0xe2]
227 @ Test right shift by 32, which is encoded as 0
228 add r3, r1, r2, lsr #32
229 add r3, r1, r2, asr #32
230 @ CHECK: add r3, r1, r2, lsr #32 @ encoding: [0x22,0x30,0x81,0xe0]
231 @ CHECK: add r3, r1, r2, asr #32 @ encoding: [0x42,0x30,0x81,0xe0]
233 @------------------------------------------------------------------------------
235 @------------------------------------------------------------------------------
238 and r10, r1, r6, lsl #10
239 and r10, r1, r6, lsr #10
240 and r10, r1, r6, lsr #10
241 and r10, r1, r6, asr #10
242 and r10, r1, r6, ror #10
243 and r6, r7, r8, lsl r2
244 and r6, r7, r8, lsr r2
245 and r6, r7, r8, asr r2
246 and r6, r7, r8, ror r2
248 and r2, r3, #0x7fffffff
250 @ destination register is optional
264 @ CHECK: and r10, r1, #15 @ encoding: [0x0f,0xa0,0x01,0xe2]
265 @ CHECK: and r10, r1, r6 @ encoding: [0x06,0xa0,0x01,0xe0]
266 @ CHECK: and r10, r1, r6, lsl #10 @ encoding: [0x06,0xa5,0x01,0xe0]
267 @ CHECK: and r10, r1, r6, lsr #10 @ encoding: [0x26,0xa5,0x01,0xe0]
268 @ CHECK: and r10, r1, r6, lsr #10 @ encoding: [0x26,0xa5,0x01,0xe0]
269 @ CHECK: and r10, r1, r6, asr #10 @ encoding: [0x46,0xa5,0x01,0xe0]
270 @ CHECK: and r10, r1, r6, ror #10 @ encoding: [0x66,0xa5,0x01,0xe0]
271 @ CHECK: and r6, r7, r8, lsl r2 @ encoding: [0x18,0x62,0x07,0xe0]
272 @ CHECK: and r6, r7, r8, lsr r2 @ encoding: [0x38,0x62,0x07,0xe0]
273 @ CHECK: and r6, r7, r8, asr r2 @ encoding: [0x58,0x62,0x07,0xe0]
274 @ CHECK: and r6, r7, r8, ror r2 @ encoding: [0x78,0x62,0x07,0xe0]
275 @ CHECK: and r10, r1, r6, rrx @ encoding: [0x66,0xa0,0x01,0xe0]
276 @ CHECK: bic r2, r3, #-2147483648 @ encoding: [0x02,0x21,0xc3,0xe3]
278 @ CHECK: and r1, r1, #15 @ encoding: [0x0f,0x10,0x01,0xe2]
279 @ CHECK: and r10, r10, r1 @ encoding: [0x01,0xa0,0x0a,0xe0]
280 @ CHECK: and r10, r10, r1, lsl #10 @ encoding: [0x01,0xa5,0x0a,0xe0]
281 @ CHECK: and r10, r10, r1, lsr #10 @ encoding: [0x21,0xa5,0x0a,0xe0]
282 @ CHECK: and r10, r10, r1, lsr #10 @ encoding: [0x21,0xa5,0x0a,0xe0]
283 @ CHECK: and r10, r10, r1, asr #10 @ encoding: [0x41,0xa5,0x0a,0xe0]
284 @ CHECK: and r10, r10, r1, ror #10 @ encoding: [0x61,0xa5,0x0a,0xe0]
285 @ CHECK: and r6, r6, r7, lsl r2 @ encoding: [0x17,0x62,0x06,0xe0]
286 @ CHECK: and r6, r6, r7, lsr r2 @ encoding: [0x37,0x62,0x06,0xe0]
287 @ CHECK: and r6, r6, r7, asr r2 @ encoding: [0x57,0x62,0x06,0xe0]
288 @ CHECK: and r6, r6, r7, ror r2 @ encoding: [0x77,0x62,0x06,0xe0]
289 @ CHECK: and r10, r10, r1, rrx @ encoding: [0x61,0xa0,0x0a,0xe0]
291 @ Test right shift by 32, which is encoded as 0
292 and r3, r1, r2, lsr #32
293 and r3, r1, r2, asr #32
294 @ CHECK: and r3, r1, r2, lsr #32 @ encoding: [0x22,0x30,0x01,0xe0]
295 @ CHECK: and r3, r1, r2, asr #32 @ encoding: [0x42,0x30,0x01,0xe0]
297 @------------------------------------------------------------------------------
299 @------------------------------------------------------------------------------
305 @ CHECK: asr r2, r4, #32 @ encoding: [0x44,0x20,0xa0,0xe1]
306 @ CHECK: asr r2, r4, #2 @ encoding: [0x44,0x21,0xa0,0xe1]
307 @ CHECK: mov r2, r4 @ encoding: [0x04,0x20,0xa0,0xe1]
308 @ CHECK: asr r4, r4, #2 @ encoding: [0x44,0x41,0xa0,0xe1]
311 @------------------------------------------------------------------------------
313 @------------------------------------------------------------------------------
317 @ CHECK: b _bar @ encoding: [A,A,A,0xea]
318 @ CHECK: @ fixup A - offset: 0, value: _bar, kind: fixup_arm_uncondbranch
319 @ CHECK-BE: b _bar @ encoding: [0xea,A,A,A]
320 @ CHECK-BE: @ fixup A - offset: 0, value: _bar, kind: fixup_arm_uncondbranch
321 @ CHECK: beq _baz @ encoding: [A,A,A,0x0a]
322 @ CHECK: @ fixup A - offset: 0, value: _baz, kind: fixup_arm_condbranch
323 @ CHECK-BE: beq _baz @ encoding: [0x0a,A,A,A]
324 @ CHECK-BE: @ fixup A - offset: 0, value: _baz, kind: fixup_arm_condbranch
327 @------------------------------------------------------------------------------
329 @------------------------------------------------------------------------------
333 @ CHECK: bfc r5, #3, #17 @ encoding: [0x9f,0x51,0xd3,0xe7]
334 @ CHECK: bfclo r5, #3, #17 @ encoding: [0x9f,0x51,0xd3,0x37]
337 @------------------------------------------------------------------------------
339 @------------------------------------------------------------------------------
341 bfine r5, r2, #3, #17
343 @ CHECK: bfi r5, r2, #3, #17 @ encoding: [0x92,0x51,0xd3,0xe7]
344 @ CHECK: bfine r5, r2, #3, #17 @ encoding: [0x92,0x51,0xd3,0x17]
347 @------------------------------------------------------------------------------
349 @------------------------------------------------------------------------------
352 bic r10, r1, r6, lsl #10
353 bic r10, r1, r6, lsr #10
354 bic r10, r1, r6, lsr #10
355 bic r10, r1, r6, asr #10
356 bic r10, r1, r6, ror #10
357 bic r6, r7, r8, lsl r2
358 bic r6, r7, r8, lsr r2
359 bic r6, r7, r8, asr r2
360 bic r6, r7, r8, ror r2
363 @ destination register is optional
377 @ CHECK: bic r10, r1, #15 @ encoding: [0x0f,0xa0,0xc1,0xe3]
378 @ CHECK: bic r10, r1, r6 @ encoding: [0x06,0xa0,0xc1,0xe1]
379 @ CHECK: bic r10, r1, r6, lsl #10 @ encoding: [0x06,0xa5,0xc1,0xe1]
380 @ CHECK: bic r10, r1, r6, lsr #10 @ encoding: [0x26,0xa5,0xc1,0xe1]
381 @ CHECK: bic r10, r1, r6, lsr #10 @ encoding: [0x26,0xa5,0xc1,0xe1]
382 @ CHECK: bic r10, r1, r6, asr #10 @ encoding: [0x46,0xa5,0xc1,0xe1]
383 @ CHECK: bic r10, r1, r6, ror #10 @ encoding: [0x66,0xa5,0xc1,0xe1]
384 @ CHECK: bic r6, r7, r8, lsl r2 @ encoding: [0x18,0x62,0xc7,0xe1]
385 @ CHECK: bic r6, r7, r8, lsr r2 @ encoding: [0x38,0x62,0xc7,0xe1]
386 @ CHECK: bic r6, r7, r8, asr r2 @ encoding: [0x58,0x62,0xc7,0xe1]
387 @ CHECK: bic r6, r7, r8, ror r2 @ encoding: [0x78,0x62,0xc7,0xe1]
388 @ CHECK: bic r10, r1, r6, rrx @ encoding: [0x66,0xa0,0xc1,0xe1]
391 @ CHECK: bic r1, r1, #15 @ encoding: [0x0f,0x10,0xc1,0xe3]
392 @ CHECK: bic r10, r10, r1 @ encoding: [0x01,0xa0,0xca,0xe1]
393 @ CHECK: bic r10, r10, r1, lsl #10 @ encoding: [0x01,0xa5,0xca,0xe1]
394 @ CHECK: bic r10, r10, r1, lsr #10 @ encoding: [0x21,0xa5,0xca,0xe1]
395 @ CHECK: bic r10, r10, r1, lsr #10 @ encoding: [0x21,0xa5,0xca,0xe1]
396 @ CHECK: bic r10, r10, r1, asr #10 @ encoding: [0x41,0xa5,0xca,0xe1]
397 @ CHECK: bic r10, r10, r1, ror #10 @ encoding: [0x61,0xa5,0xca,0xe1]
398 @ CHECK: bic r6, r6, r7, lsl r2 @ encoding: [0x17,0x62,0xc6,0xe1]
399 @ CHECK: bic r6, r6, r7, lsr r2 @ encoding: [0x37,0x62,0xc6,0xe1]
400 @ CHECK: bic r6, r6, r7, asr r2 @ encoding: [0x57,0x62,0xc6,0xe1]
401 @ CHECK: bic r6, r6, r7, ror r2 @ encoding: [0x77,0x62,0xc6,0xe1]
402 @ CHECK: bic r10, r10, r1, rrx @ encoding: [0x61,0xa0,0xca,0xe1]
404 @ Test right shift by 32, which is encoded as 0
405 bic r3, r1, r2, lsr #32
406 bic r3, r1, r2, asr #32
407 @ CHECK: bic r3, r1, r2, lsr #32 @ encoding: [0x22,0x30,0xc1,0xe1]
408 @ CHECK: bic r3, r1, r2, asr #32 @ encoding: [0x42,0x30,0xc1,0xe1]
410 @------------------------------------------------------------------------------
412 @------------------------------------------------------------------------------
416 @ CHECK: bkpt #10 @ encoding: [0x7a,0x00,0x20,0xe1]
417 @ CHECK: bkpt #65535 @ encoding: [0x7f,0xff,0x2f,0xe1]
419 @------------------------------------------------------------------------------
421 @------------------------------------------------------------------------------
430 @ CHECK: bl _bar @ encoding: [A,A,A,0xeb]
431 @ CHECK: @ fixup A - offset: 0, value: _bar, kind: fixup_arm_uncondbl
432 @ CHECK-BE: bl _bar @ encoding: [0xeb,A,A,A]
433 @ CHECK-BE: @ fixup A - offset: 0, value: _bar, kind: fixup_arm_uncondbl
434 @ CHECK: bleq _bar @ encoding: [A,A,A,0x0b]
435 @ CHECK: @ fixup A - offset: 0, value: _bar, kind: fixup_arm_condbl
436 @ CHECK-BE: bleq _bar @ encoding: [0x0b,A,A,A]
437 @ CHECK-BE: @ fixup A - offset: 0, value: _bar, kind: fixup_arm_condbl
438 @ CHECK: blx _bar @ encoding: [A,A,A,0xfa]
439 @ CHECK: @ fixup A - offset: 0, value: _bar, kind: fixup_arm_blx
440 @ CHECK-BE: blx _bar @ encoding: [0xfa,A,A,A]
441 @ CHECK-BE: @ fixup A - offset: 0, value: _bar, kind: fixup_arm_blx
442 @ CHECK: blls #28634268 @ encoding: [0x27,0x3b,0x6d,0x9b]
443 @ CHECK: blx #32424576 @ encoding: [0xa0,0xb0,0x7b,0xfa]
444 @ CHECK: blx #16212288 @ encoding: [0x50,0xd8,0x3d,0xfa]
445 @------------------------------------------------------------------------------
447 @------------------------------------------------------------------------------
451 @ CHECK: blx r2 @ encoding: [0x32,0xff,0x2f,0xe1]
452 @ CHECK: blxne r2 @ encoding: [0x32,0xff,0x2f,0x11]
454 @------------------------------------------------------------------------------
456 @------------------------------------------------------------------------------
460 @ CHECK: bx r2 @ encoding: [0x12,0xff,0x2f,0xe1]
461 @ CHECK: bxne r2 @ encoding: [0x12,0xff,0x2f,0x11]
463 @------------------------------------------------------------------------------
465 @------------------------------------------------------------------------------
469 @ CHECK: bxj r2 @ encoding: [0x22,0xff,0x2f,0xe1]
470 @ CHECK: bxjne r2 @ encoding: [0x22,0xff,0x2f,0x11]
473 @------------------------------------------------------------------------------
475 @------------------------------------------------------------------------------
476 cdp p7, #1, c1, c1, c1, #4
477 cdp2 p7, #1, c1, c1, c1, #4
478 cdp2 p12, #0, c6, c12, c0, #7
480 @ CHECK: cdp p7, #1, c1, c1, c1, #4 @ encoding: [0x81,0x17,0x11,0xee]
481 @ CHECK: cdp2 p7, #1, c1, c1, c1, #4 @ encoding: [0x81,0x17,0x11,0xfe]
482 @ CHECK: cdp2 p12, #0, c6, c12, c0, #7 @ encoding: [0xe0,0x6c,0x0c,0xfe]
484 cdpne p7, #1, c1, c1, c1, #4
485 @ CHECK: cdpne p7, #1, c1, c1, c1, #4 @ encoding: [0x81,0x17,0x11,0x1e]
487 @------------------------------------------------------------------------------
489 @------------------------------------------------------------------------------
492 @ CHECK: clrex @ encoding: [0x1f,0xf0,0x7f,0xf5]
495 @------------------------------------------------------------------------------
497 @------------------------------------------------------------------------------
501 @ CHECK: clz r1, r2 @ encoding: [0x12,0x1f,0x6f,0xe1]
502 @ CHECK: clzeq r1, r2 @ encoding: [0x12,0x1f,0x6f,0x01]
504 @------------------------------------------------------------------------------
506 @------------------------------------------------------------------------------
520 @ CHECK: cmn r1, #15 @ encoding: [0x0f,0x00,0x71,0xe3]
521 @ CHECK: cmn r1, r6 @ encoding: [0x06,0x00,0x71,0xe1]
522 @ CHECK: cmn r1, r6, lsl #10 @ encoding: [0x06,0x05,0x71,0xe1]
523 @ CHECK: cmn r1, r6, lsr #10 @ encoding: [0x26,0x05,0x71,0xe1]
524 @ CHECK: cmn sp, r6, lsr #10 @ encoding: [0x26,0x05,0x7d,0xe1]
525 @ CHECK: cmn r1, r6, asr #10 @ encoding: [0x46,0x05,0x71,0xe1]
526 @ CHECK: cmn r1, r6, ror #10 @ encoding: [0x66,0x05,0x71,0xe1]
527 @ CHECK: cmn r7, r8, lsl r2 @ encoding: [0x18,0x02,0x77,0xe1]
528 @ CHECK: cmn sp, r8, lsr r2 @ encoding: [0x38,0x02,0x7d,0xe1]
529 @ CHECK: cmn r7, r8, asr r2 @ encoding: [0x58,0x02,0x77,0xe1]
530 @ CHECK: cmn r7, r8, ror r2 @ encoding: [0x78,0x02,0x77,0xe1]
531 @ CHECK: cmn r1, r6, rrx @ encoding: [0x66,0x00,0x71,0xe1]
533 @------------------------------------------------------------------------------
535 @------------------------------------------------------------------------------
551 @ CHECK: cmp r1, #15 @ encoding: [0x0f,0x00,0x51,0xe3]
552 @ CHECK: cmp r1, r6 @ encoding: [0x06,0x00,0x51,0xe1]
553 @ CHECK: cmp r1, r6, lsl #10 @ encoding: [0x06,0x05,0x51,0xe1]
554 @ CHECK: cmp r1, r6, lsr #10 @ encoding: [0x26,0x05,0x51,0xe1]
555 @ CHECK: cmp sp, r6, lsr #10 @ encoding: [0x26,0x05,0x5d,0xe1]
556 @ CHECK: cmp r1, r6, asr #10 @ encoding: [0x46,0x05,0x51,0xe1]
557 @ CHECK: cmp r1, r6, ror #10 @ encoding: [0x66,0x05,0x51,0xe1]
558 @ CHECK: cmp r7, r8, lsl r2 @ encoding: [0x18,0x02,0x57,0xe1]
559 @ CHECK: cmp sp, r8, lsr r2 @ encoding: [0x38,0x02,0x5d,0xe1]
560 @ CHECK: cmp r7, r8, asr r2 @ encoding: [0x58,0x02,0x57,0xe1]
561 @ CHECK: cmp r7, r8, ror r2 @ encoding: [0x78,0x02,0x57,0xe1]
562 @ CHECK: cmp r1, r6, rrx @ encoding: [0x66,0x00,0x51,0xe1]
563 @ CHECK: cmn r0, #2 @ encoding: [0x02,0x00,0x70,0xe3]
564 @ CHECK: cmp lr, #0 @ encoding: [0x00,0x00,0x5e,0xe3]
567 @------------------------------------------------------------------------------
569 @------------------------------------------------------------------------------
574 @ CHECK: cpsie aif @ encoding: [0xc0,0x01,0x08,0xf1]
575 @ CHECK: cps #15 @ encoding: [0x0f,0x00,0x02,0xf1]
576 @ CHECK: cpsid if, #10 @ encoding: [0xca,0x00,0x0e,0xf1]
579 @------------------------------------------------------------------------------
581 @------------------------------------------------------------------------------
586 @ CHECK: dbg #0 @ encoding: [0xf0,0xf0,0x20,0xe3]
587 @ CHECK: dbg #5 @ encoding: [0xf5,0xf0,0x20,0xe3]
588 @ CHECK: dbg #15 @ encoding: [0xff,0xf0,0x20,0xe3]
591 @------------------------------------------------------------------------------
593 @------------------------------------------------------------------------------
625 @ CHECK: dmb sy @ encoding: [0x5f,0xf0,0x7f,0xf5]
626 @ CHECK: dmb st @ encoding: [0x5e,0xf0,0x7f,0xf5]
627 @ CHECK: dmb #0xd @ encoding: [0x5d,0xf0,0x7f,0xf5]
628 @ CHECK: dmb #0xc @ encoding: [0x5c,0xf0,0x7f,0xf5]
629 @ CHECK: dmb ish @ encoding: [0x5b,0xf0,0x7f,0xf5]
630 @ CHECK: dmb ishst @ encoding: [0x5a,0xf0,0x7f,0xf5]
631 @ CHECK: dmb #0x9 @ encoding: [0x59,0xf0,0x7f,0xf5]
632 @ CHECK: dmb #0x8 @ encoding: [0x58,0xf0,0x7f,0xf5]
633 @ CHECK: dmb nsh @ encoding: [0x57,0xf0,0x7f,0xf5]
634 @ CHECK: dmb nshst @ encoding: [0x56,0xf0,0x7f,0xf5]
635 @ CHECK: dmb #0x5 @ encoding: [0x55,0xf0,0x7f,0xf5]
636 @ CHECK: dmb #0x4 @ encoding: [0x54,0xf0,0x7f,0xf5]
637 @ CHECK: dmb osh @ encoding: [0x53,0xf0,0x7f,0xf5]
638 @ CHECK: dmb oshst @ encoding: [0x52,0xf0,0x7f,0xf5]
639 @ CHECK: dmb #0x1 @ encoding: [0x51,0xf0,0x7f,0xf5]
640 @ CHECK: dmb #0x0 @ encoding: [0x50,0xf0,0x7f,0xf5]
642 @ CHECK: dmb sy @ encoding: [0x5f,0xf0,0x7f,0xf5]
643 @ CHECK: dmb st @ encoding: [0x5e,0xf0,0x7f,0xf5]
644 @ CHECK: dmb ish @ encoding: [0x5b,0xf0,0x7f,0xf5]
645 @ CHECK: dmb ish @ encoding: [0x5b,0xf0,0x7f,0xf5]
646 @ CHECK: dmb ishst @ encoding: [0x5a,0xf0,0x7f,0xf5]
647 @ CHECK: dmb ishst @ encoding: [0x5a,0xf0,0x7f,0xf5]
648 @ CHECK: dmb nsh @ encoding: [0x57,0xf0,0x7f,0xf5]
649 @ CHECK: dmb nsh @ encoding: [0x57,0xf0,0x7f,0xf5]
650 @ CHECK: dmb nshst @ encoding: [0x56,0xf0,0x7f,0xf5]
651 @ CHECK: dmb nshst @ encoding: [0x56,0xf0,0x7f,0xf5]
652 @ CHECK: dmb osh @ encoding: [0x53,0xf0,0x7f,0xf5]
653 @ CHECK: dmb oshst @ encoding: [0x52,0xf0,0x7f,0xf5]
654 @ CHECK: dmb sy @ encoding: [0x5f,0xf0,0x7f,0xf5]
656 @------------------------------------------------------------------------------
658 @------------------------------------------------------------------------------
693 @ CHECK: dsb sy @ encoding: [0x4f,0xf0,0x7f,0xf5]
694 @ CHECK: dsb st @ encoding: [0x4e,0xf0,0x7f,0xf5]
695 @ CHECK: dsb #0xd @ encoding: [0x4d,0xf0,0x7f,0xf5]
696 @ CHECK: dsb #0xc @ encoding: [0x4c,0xf0,0x7f,0xf5]
697 @ CHECK: dsb ish @ encoding: [0x4b,0xf0,0x7f,0xf5]
698 @ CHECK: dsb ishst @ encoding: [0x4a,0xf0,0x7f,0xf5]
699 @ CHECK: dsb #0x9 @ encoding: [0x49,0xf0,0x7f,0xf5]
700 @ CHECK: dsb #0x8 @ encoding: [0x48,0xf0,0x7f,0xf5]
701 @ CHECK: dsb nsh @ encoding: [0x47,0xf0,0x7f,0xf5]
702 @ CHECK: dsb nshst @ encoding: [0x46,0xf0,0x7f,0xf5]
703 @ CHECK: dsb #0x5 @ encoding: [0x45,0xf0,0x7f,0xf5]
704 @ CHECK: dsb #0x4 @ encoding: [0x44,0xf0,0x7f,0xf5]
705 @ CHECK: dsb osh @ encoding: [0x43,0xf0,0x7f,0xf5]
706 @ CHECK: dsb oshst @ encoding: [0x42,0xf0,0x7f,0xf5]
707 @ CHECK: dsb #0x1 @ encoding: [0x41,0xf0,0x7f,0xf5]
708 @ CHECK: dsb #0x0 @ encoding: [0x40,0xf0,0x7f,0xf5]
710 @ CHECK: dsb #0x8 @ encoding: [0x48,0xf0,0x7f,0xf5]
711 @ CHECK: dsb nsh @ encoding: [0x47,0xf0,0x7f,0xf5]
713 @ CHECK: dsb sy @ encoding: [0x4f,0xf0,0x7f,0xf5]
714 @ CHECK: dsb st @ encoding: [0x4e,0xf0,0x7f,0xf5]
715 @ CHECK: dsb ish @ encoding: [0x4b,0xf0,0x7f,0xf5]
716 @ CHECK: dsb ish @ encoding: [0x4b,0xf0,0x7f,0xf5]
717 @ CHECK: dsb ishst @ encoding: [0x4a,0xf0,0x7f,0xf5]
718 @ CHECK: dsb ishst @ encoding: [0x4a,0xf0,0x7f,0xf5]
719 @ CHECK: dsb nsh @ encoding: [0x47,0xf0,0x7f,0xf5]
720 @ CHECK: dsb nsh @ encoding: [0x47,0xf0,0x7f,0xf5]
721 @ CHECK: dsb nshst @ encoding: [0x46,0xf0,0x7f,0xf5]
722 @ CHECK: dsb nshst @ encoding: [0x46,0xf0,0x7f,0xf5]
723 @ CHECK: dsb osh @ encoding: [0x43,0xf0,0x7f,0xf5]
724 @ CHECK: dsb oshst @ encoding: [0x42,0xf0,0x7f,0xf5]
725 @ CHECK: dsb sy @ encoding: [0x4f,0xf0,0x7f,0xf5]
731 @ CHECK: dsb sy @ encoding: [0x4f,0xf0,0x7f,0xf5]
732 @ CHECK: dsb oshst @ encoding: [0x42,0xf0,0x7f,0xf5]
733 @------------------------------------------------------------------------------
735 @------------------------------------------------------------------------------
738 eor r4, r5, r6, lsl #5
739 eor r4, r5, r6, lsr #5
740 eor r4, r5, r6, lsr #5
741 eor r4, r5, r6, asr #5
742 eor r4, r5, r6, ror #5
743 eor r6, r7, r8, lsl r9
744 eor r6, r7, r8, lsr r9
745 eor r6, r7, r8, asr r9
746 eor r6, r7, r8, ror r9
749 @ destination register is optional
763 @ CHECK: eor r4, r5, #61440 @ encoding: [0x0f,0x4a,0x25,0xe2]
764 @ CHECK: eor r4, r5, r6 @ encoding: [0x06,0x40,0x25,0xe0]
765 @ CHECK: eor r4, r5, r6, lsl #5 @ encoding: [0x86,0x42,0x25,0xe0]
766 @ CHECK: eor r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0x25,0xe0]
767 @ CHECK: eor r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0x25,0xe0]
768 @ CHECK: eor r4, r5, r6, asr #5 @ encoding: [0xc6,0x42,0x25,0xe0]
769 @ CHECK: eor r4, r5, r6, ror #5 @ encoding: [0xe6,0x42,0x25,0xe0]
770 @ CHECK: eor r6, r7, r8, lsl r9 @ encoding: [0x18,0x69,0x27,0xe0]
771 @ CHECK: eor r6, r7, r8, lsr r9 @ encoding: [0x38,0x69,0x27,0xe0]
772 @ CHECK: eor r6, r7, r8, asr r9 @ encoding: [0x58,0x69,0x27,0xe0]
773 @ CHECK: eor r6, r7, r8, ror r9 @ encoding: [0x78,0x69,0x27,0xe0]
774 @ CHECK: eor r4, r5, r6, rrx @ encoding: [0x66,0x40,0x25,0xe0]
777 @ CHECK: eor r5, r5, #61440 @ encoding: [0x0f,0x5a,0x25,0xe2]
778 @ CHECK: eor r4, r4, r5 @ encoding: [0x05,0x40,0x24,0xe0]
779 @ CHECK: eor r4, r4, r5, lsl #5 @ encoding: [0x85,0x42,0x24,0xe0]
780 @ CHECK: eor r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0x24,0xe0]
781 @ CHECK: eor r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0x24,0xe0]
782 @ CHECK: eor r4, r4, r5, asr #5 @ encoding: [0xc5,0x42,0x24,0xe0]
783 @ CHECK: eor r4, r4, r5, ror #5 @ encoding: [0xe5,0x42,0x24,0xe0]
784 @ CHECK: eor r6, r6, r7, lsl r9 @ encoding: [0x17,0x69,0x26,0xe0]
785 @ CHECK: eor r6, r6, r7, lsr r9 @ encoding: [0x37,0x69,0x26,0xe0]
786 @ CHECK: eor r6, r6, r7, asr r9 @ encoding: [0x57,0x69,0x26,0xe0]
787 @ CHECK: eor r6, r6, r7, ror r9 @ encoding: [0x77,0x69,0x26,0xe0]
788 @ CHECK: eor r4, r4, r5, rrx @ encoding: [0x65,0x40,0x24,0xe0]
790 @ Test right shift by 32, which is encoded as 0
791 eor r3, r1, r2, lsr #32
792 eor r3, r1, r2, asr #32
793 @ CHECK: eor r3, r1, r2, lsr #32 @ encoding: [0x22,0x30,0x21,0xe0]
794 @ CHECK: eor r3, r1, r2, asr #32 @ encoding: [0x42,0x30,0x21,0xe0]
796 @------------------------------------------------------------------------------
798 @------------------------------------------------------------------------------
804 @ CHECK: isb sy @ encoding: [0x6f,0xf0,0x7f,0xf5]
805 @ CHECK: isb sy @ encoding: [0x6f,0xf0,0x7f,0xf5]
806 @ CHECK: isb sy @ encoding: [0x6f,0xf0,0x7f,0xf5]
807 @ CHECK: isb #0x1 @ encoding: [0x61,0xf0,0x7f,0xf5]
810 @------------------------------------------------------------------------------
812 @------------------------------------------------------------------------------
813 ldc2 p0, c8, [r1, #4]
815 ldc2 p2, c6, [r3, #-224]
816 ldc2 p3, c5, [r4, #-120]!
817 ldc2 p4, c4, [r5], #16
818 ldc2 p5, c3, [r6], #-72
819 ldc2l p6, c2, [r7, #4]
821 ldc2l p8, c0, [r9, #-224]
822 ldc2l p9, c1, [r10, #-120]!
823 ldc2l p0, c2, [r11], #16
824 ldc2l p1, c3, [r12], #-72
826 ldc p12, c4, [r0, #4]
828 ldc p14, c6, [r2, #-224]
829 ldc p15, c7, [r3, #-120]!
830 ldc p5, c8, [r4], #16
831 ldc p4, c9, [r5], #-72
832 ldcl p3, c10, [r6, #4]
834 ldcl p1, c12, [r8, #-224]
835 ldcl p0, c13, [r9, #-120]!
836 ldcl p6, c14, [r10], #16
837 ldcl p7, c15, [r11], #-72
839 ldclo p12, c4, [r0, #4]
841 ldccs p14, c6, [r2, #-224]
842 ldccc p15, c7, [r3, #-120]!
843 ldceq p5, c8, [r4], #16
844 ldcgt p4, c9, [r5], #-72
845 ldcllt p3, c10, [r6, #4]
847 ldclle p1, c12, [r8, #-224]
848 ldclne p0, c13, [r9, #-120]!
849 ldcleq p6, c14, [r10], #16
850 ldclhi p7, c15, [r11], #-72
852 ldc2 p2, c8, [r1], { 25 }
854 @ CHECK: ldc2 p0, c8, [r1, #4] @ encoding: [0x01,0x80,0x91,0xfd]
855 @ CHECK: ldc2 p1, c7, [r2] @ encoding: [0x00,0x71,0x92,0xfd]
856 @ CHECK: ldc2 p2, c6, [r3, #-224] @ encoding: [0x38,0x62,0x13,0xfd]
857 @ CHECK: ldc2 p3, c5, [r4, #-120]! @ encoding: [0x1e,0x53,0x34,0xfd]
858 @ CHECK: ldc2 p4, c4, [r5], #16 @ encoding: [0x04,0x44,0xb5,0xfc]
859 @ CHECK: ldc2 p5, c3, [r6], #-72 @ encoding: [0x12,0x35,0x36,0xfc]
860 @ CHECK: ldc2l p6, c2, [r7, #4] @ encoding: [0x01,0x26,0xd7,0xfd]
861 @ CHECK: ldc2l p7, c1, [r8] @ encoding: [0x00,0x17,0xd8,0xfd]
862 @ CHECK: ldc2l p8, c0, [r9, #-224] @ encoding: [0x38,0x08,0x59,0xfd]
863 @ CHECK: ldc2l p9, c1, [r10, #-120]! @ encoding: [0x1e,0x19,0x7a,0xfd]
864 @ CHECK: ldc2l p0, c2, [r11], #16 @ encoding: [0x04,0x20,0xfb,0xfc]
865 @ CHECK: ldc2l p1, c3, [r12], #-72 @ encoding: [0x12,0x31,0x7c,0xfc]
867 @ CHECK: ldc p12, c4, [r0, #4] @ encoding: [0x01,0x4c,0x90,0xed]
868 @ CHECK: ldc p13, c5, [r1] @ encoding: [0x00,0x5d,0x91,0xed]
869 @ CHECK: ldc p14, c6, [r2, #-224] @ encoding: [0x38,0x6e,0x12,0xed]
870 @ CHECK: ldc p15, c7, [r3, #-120]! @ encoding: [0x1e,0x7f,0x33,0xed]
871 @ CHECK: ldc p5, c8, [r4], #16 @ encoding: [0x04,0x85,0xb4,0xec]
872 @ CHECK: ldc p4, c9, [r5], #-72 @ encoding: [0x12,0x94,0x35,0xec]
873 @ CHECK: ldcl p3, c10, [r6, #4] @ encoding: [0x01,0xa3,0xd6,0xed]
874 @ CHECK: ldcl p2, c11, [r7] @ encoding: [0x00,0xb2,0xd7,0xed]
875 @ CHECK: ldcl p1, c12, [r8, #-224] @ encoding: [0x38,0xc1,0x58,0xed]
876 @ CHECK: ldcl p0, c13, [r9, #-120]! @ encoding: [0x1e,0xd0,0x79,0xed]
877 @ CHECK: ldcl p6, c14, [r10], #16 @ encoding: [0x04,0xe6,0xfa,0xec]
878 @ CHECK: ldcl p7, c15, [r11], #-72 @ encoding: [0x12,0xf7,0x7b,0xec]
880 @ CHECK: ldclo p12, c4, [r0, #4] @ encoding: [0x01,0x4c,0x90,0x3d]
881 @ CHECK: ldchi p13, c5, [r1] @ encoding: [0x00,0x5d,0x91,0x8d]
882 @ CHECK: ldchs p14, c6, [r2, #-224] @ encoding: [0x38,0x6e,0x12,0x2d]
883 @ CHECK: ldclo p15, c7, [r3, #-120]! @ encoding: [0x1e,0x7f,0x33,0x3d]
884 @ CHECK: ldceq p5, c8, [r4], #16 @ encoding: [0x04,0x85,0xb4,0x0c]
885 @ CHECK: ldcgt p4, c9, [r5], #-72 @ encoding: [0x12,0x94,0x35,0xcc]
886 @ CHECK: ldcllt p3, c10, [r6, #4] @ encoding: [0x01,0xa3,0xd6,0xbd]
887 @ CHECK: ldclge p2, c11, [r7] @ encoding: [0x00,0xb2,0xd7,0xad]
888 @ CHECK: ldclle p1, c12, [r8, #-224] @ encoding: [0x38,0xc1,0x58,0xdd]
889 @ CHECK: ldclne p0, c13, [r9, #-120]! @ encoding: [0x1e,0xd0,0x79,0x1d]
890 @ CHECK: ldcleq p6, c14, [r10], #16 @ encoding: [0x04,0xe6,0xfa,0x0c]
891 @ CHECK: ldclhi p7, c15, [r11], #-72 @ encoding: [0x12,0xf7,0x7b,0x8c]
893 @ CHECK: ldc2 p2, c8, [r1], {25} @ encoding: [0x19,0x82,0x91,0xfc]
896 @------------------------------------------------------------------------------
898 @------------------------------------------------------------------------------
899 ldm r2, {r1,r3-r6,sp}
900 ldmia r2, {r1,r3-r6,sp}
901 ldmib r2, {r1,r3-r6,sp}
902 ldmda r2, {r1,r3-r6,sp}
903 ldmdb r2, {r1,r3-r6,sp}
904 ldmfd r2, {r1,r3-r6,sp}
907 ldm r2!, {r1,r3-r6,sp}
908 ldmib r2!, {r1,r3-r6,sp}
909 ldmda r2!, {r1,r3-r6,sp}
910 ldmdb r2!, {r1,r3-r6,sp}
913 ldm r0, {r0, r2, lr}^
914 ldm sp!, {r0-r3, pc}^
916 @ CHECK: ldm r2, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x92,0xe8]
917 @ CHECK: ldm r2, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x92,0xe8]
918 @ CHECK: ldmib r2, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x92,0xe9]
919 @ CHECK: ldmda r2, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x12,0xe8]
920 @ CHECK: ldmdb r2, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x12,0xe9]
921 @ CHECK: ldm r2, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x92,0xe8]
923 @ CHECK: ldm r2!, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0xb2,0xe8]
924 @ CHECK: ldmib r2!, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0xb2,0xe9]
925 @ CHECK: ldmda r2!, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x32,0xe8]
926 @ CHECK: ldmdb r2!, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x32,0xe9]
927 @ CHECK: ldm r0, {r0, r2, lr} ^ @ encoding: [0x05,0x40,0xd0,0xe8]
928 @ CHECK: ldm sp!, {r0, r1, r2, r3, pc} ^ @ encoding: [0x0f,0x80,0xfd,0xe8]
931 @------------------------------------------------------------------------------
932 @ LDREX/LDREXB/LDREXH/LDREXD
933 @------------------------------------------------------------------------------
939 @ CHECK: ldrexb r3, [r4] @ encoding: [0x9f,0x3f,0xd4,0xe1]
940 @ CHECK: ldrexh r2, [r5] @ encoding: [0x9f,0x2f,0xf5,0xe1]
941 @ CHECK: ldrex r1, [r7] @ encoding: [0x9f,0x1f,0x97,0xe1]
942 @ CHECK: ldrexd r6, r7, [r8] @ encoding: [0x9f,0x6f,0xb8,0xe1]
944 @------------------------------------------------------------------------------
946 @------------------------------------------------------------------------------
947 ldrhthi r8, [r11], #-0
948 ldrhthi r8, [r11], #0
950 @ CHECK: ldrhthi r8, [r11], #-0 @ encoding: [0xb0,0x80,0x7b,0x80]
951 @ CHECK: ldrhthi r8, [r11], #0 @ encoding: [0xb0,0x80,0xfb,0x80]
953 @------------------------------------------------------------------------------
955 @------------------------------------------------------------------------------
961 @ CHECK: lsl r2, r4, #31 @ encoding: [0x84,0x2f,0xa0,0xe1]
962 @ CHECK: lsl r2, r4, #1 @ encoding: [0x84,0x20,0xa0,0xe1]
963 @ CHECK: mov r2, r4 @ encoding: [0x04,0x20,0xa0,0xe1]
964 @ CHECK: lsl r4, r4, #1 @ encoding: [0x84,0x40,0xa0,0xe1]
967 @------------------------------------------------------------------------------
969 @------------------------------------------------------------------------------
975 @ CHECK: lsr r2, r4, #32 @ encoding: [0x24,0x20,0xa0,0xe1]
976 @ CHECK: lsr r2, r4, #2 @ encoding: [0x24,0x21,0xa0,0xe1]
977 @ CHECK: mov r2, r4 @ encoding: [0x04,0x20,0xa0,0xe1]
978 @ CHECK: lsr r4, r4, #2 @ encoding: [0x24,0x41,0xa0,0xe1]
981 @------------------------------------------------------------------------------
983 @------------------------------------------------------------------------------
984 mcr p7, #1, r5, c1, c1, #4
985 mcr2 p7, #1, r5, c1, c1, #4
987 @ CHECK: mcr p7, #1, r5, c1, c1, #4 @ encoding: [0x91,0x57,0x21,0xee]
988 @ CHECK: mcr2 p7, #1, r5, c1, c1, #4 @ encoding: [0x91,0x57,0x21,0xfe]
990 mcrls p7, #1, r5, c1, c1, #4
991 @ CHECK: mcrls p7, #1, r5, c1, c1, #4 @ encoding: [0x91,0x57,0x21,0x9e]
993 @------------------------------------------------------------------------------
995 @------------------------------------------------------------------------------
996 mcrr p7, #15, r5, r4, c1
997 mcrr2 p7, #15, r5, r4, c1
999 @ CHECK: mcrr p7, #15, r5, r4, c1 @ encoding: [0xf1,0x57,0x44,0xec]
1000 @ CHECK: mcrr2 p7, #15, r5, r4, c1 @ encoding: [0xf1,0x57,0x44,0xfc]
1002 mcrrgt p7, #15, r5, r4, c1
1003 @ CHECK: mcrrgt p7, #15, r5, r4, c1 @ encoding: [0xf1,0x57,0x44,0xcc]
1005 @------------------------------------------------------------------------------
1007 @------------------------------------------------------------------------------
1013 @ CHECK: mla r1, r2, r3, r4 @ encoding: [0x92,0x43,0x21,0xe0]
1014 @ CHECK: mlas r1, r2, r3, r4 @ encoding: [0x92,0x43,0x31,0xe0]
1015 @ CHECK: mlane r1, r2, r3, r4 @ encoding: [0x92,0x43,0x21,0x10]
1016 @ CHECK: mlasne r1, r2, r3, r4 @ encoding: [0x92,0x43,0x31,0x10]
1018 @------------------------------------------------------------------------------
1020 @------------------------------------------------------------------------------
1024 @ CHECK: mls r2, r5, r6, r3 @ encoding: [0x95,0x36,0x62,0xe0]
1025 @ CHECK: mlsne r2, r5, r6, r3 @ encoding: [0x95,0x36,0x62,0x10]
1027 @------------------------------------------------------------------------------
1029 @------------------------------------------------------------------------------
1037 movseq r5, #0xff0000
1039 @ CHECK: mov r3, #7 @ encoding: [0x07,0x30,0xa0,0xe3]
1040 @ CHECK: mov r4, #4080 @ encoding: [0xff,0x4e,0xa0,0xe3]
1041 @ CHECK: mov r5, #16711680 @ encoding: [0xff,0x58,0xa0,0xe3]
1042 @ CHECK: movw r6, #65535 @ encoding: [0xff,0x6f,0x0f,0xe3]
1043 @ CHECK: movw r9, #65535 @ encoding: [0xff,0x9f,0x0f,0xe3]
1044 @ CHECK: movs r3, #7 @ encoding: [0x07,0x30,0xb0,0xe3]
1045 @ CHECK: moveq r4, #4080 @ encoding: [0xff,0x4e,0xa0,0x03]
1046 @ CHECK: movseq r5, #16711680 @ encoding: [0xff,0x58,0xb0,0x03]
1048 @------------------------------------------------------------------------------
1050 @------------------------------------------------------------------------------
1055 mov r12, r8, lsl #(2 - 2)
1056 lsl r2, r3, #(2 - 2)
1057 mov r12, r8, lsr #(2 - 2)
1058 lsr r2, r3, #(2 - 2)
1059 mov r12, r8, asr #(2 - 2)
1060 asr r2, r3, #(2 - 2)
1061 mov r12, r8, ror #(2 - 2)
1062 ror r2, r3, #(2 - 2)
1064 @ CHECK: mov r2, r3 @ encoding: [0x03,0x20,0xa0,0xe1]
1065 @ CHECK: movs r2, r3 @ encoding: [0x03,0x20,0xb0,0xe1]
1066 @ CHECK: moveq r2, r3 @ encoding: [0x03,0x20,0xa0,0x01]
1067 @ CHECK: movseq r2, r3 @ encoding: [0x03,0x20,0xb0,0x01]
1068 @ CHECK: mov r12, r8 @ encoding: [0x08,0xc0,0xa0,0xe1]
1069 @ CHECK: mov r2, r3 @ encoding: [0x03,0x20,0xa0,0xe1]
1070 @ CHECK: mov r12, r8 @ encoding: [0x08,0xc0,0xa0,0xe1]
1071 @ CHECK: mov r2, r3 @ encoding: [0x03,0x20,0xa0,0xe1]
1072 @ CHECK: mov r12, r8 @ encoding: [0x08,0xc0,0xa0,0xe1]
1073 @ CHECK: mov r2, r3 @ encoding: [0x03,0x20,0xa0,0xe1]
1074 @ CHECK: mov r12, r8 @ encoding: [0x08,0xc0,0xa0,0xe1]
1075 @ CHECK: mov r2, r3 @ encoding: [0x03,0x20,0xa0,0xe1]
1078 @------------------------------------------------------------------------------
1080 @------------------------------------------------------------------------------
1085 @ CHECK: movt r3, #7 @ encoding: [0x07,0x30,0x40,0xe3]
1086 @ CHECK: movt r6, #65535 @ encoding: [0xff,0x6f,0x4f,0xe3]
1087 @ CHECK: movteq r4, #4080 @ encoding: [0xf0,0x4f,0x40,0x03]
1090 @------------------------------------------------------------------------------
1092 @------------------------------------------------------------------------------
1093 mrc p14, #0, r1, c1, c2, #4
1094 mrc p15, #7, apsr_nzcv, c15, c6, #6
1095 mrc2 p14, #0, r1, c1, c2, #4
1096 mrc2 p9, #7, apsr_nzcv, c15, c0, #1
1098 @ CHECK: mrc p14, #0, r1, c1, c2, #4 @ encoding: [0x92,0x1e,0x11,0xee]
1099 @ CHECK: mrc p15, #7, apsr_nzcv, c15, c6, #6 @ encoding: [0xd6,0xff,0xff,0xee]
1100 @ CHECK: mrc2 p14, #0, r1, c1, c2, #4 @ encoding: [0x92,0x1e,0x11,0xfe]
1101 @ CHECK: mrc2 p9, #7, apsr_nzcv, c15, c0, #1 @ encoding: [0x30,0xf9,0xff,0xfe]
1103 mrceq p15, #7, apsr_nzcv, c15, c6, #6
1104 @ CHECK: mrceq p15, #7, apsr_nzcv, c15, c6, #6 @ encoding: [0xd6,0xff,0xff,0x0e]
1106 @------------------------------------------------------------------------------
1108 @------------------------------------------------------------------------------
1109 mrrc p7, #1, r5, r4, c1
1110 mrrc2 p7, #1, r5, r4, c1
1112 @ CHECK: mrrc p7, #1, r5, r4, c1 @ encoding: [0x11,0x57,0x54,0xec]
1113 @ CHECK: mrrc2 p7, #1, r5, r4, c1 @ encoding: [0x11,0x57,0x54,0xfc]
1115 mrrclo p7, #1, r5, r4, c1
1116 @ CHECK: mrrclo p7, #1, r5, r4, c1 @ encoding: [0x11,0x57,0x54,0x3c]
1118 @------------------------------------------------------------------------------
1120 @------------------------------------------------------------------------------
1124 @ CHECK: mrs r8, apsr @ encoding: [0x00,0x80,0x0f,0xe1]
1125 @ CHECK: mrs r8, apsr @ encoding: [0x00,0x80,0x0f,0xe1]
1126 @ CHECK: mrs r8, spsr @ encoding: [0x00,0x80,0x4f,0xe1]
1130 @------------------------------------------------------------------------------
1132 @------------------------------------------------------------------------------
1149 @ CHECK: msr APSR_nzcvq, #5 @ encoding: [0x05,0xf0,0x28,0xe3]
1150 @ CHECK: msr APSR_g, #5 @ encoding: [0x05,0xf0,0x24,0xe3]
1151 @ CHECK: msr APSR_nzcvq, #5 @ encoding: [0x05,0xf0,0x28,0xe3]
1152 @ CHECK: msr APSR_nzcvq, #5 @ encoding: [0x05,0xf0,0x28,0xe3]
1153 @ CHECK: msr APSR_nzcvqg, #5 @ encoding: [0x05,0xf0,0x2c,0xe3]
1154 @ CHECK: msr CPSR_fc, #5 @ encoding: [0x05,0xf0,0x29,0xe3]
1155 @ CHECK: msr CPSR_c, #5 @ encoding: [0x05,0xf0,0x21,0xe3]
1156 @ CHECK: msr CPSR_x, #5 @ encoding: [0x05,0xf0,0x22,0xe3]
1157 @ CHECK: msr CPSR_fc, #5 @ encoding: [0x05,0xf0,0x29,0xe3]
1158 @ CHECK: msr CPSR_fc, #5 @ encoding: [0x05,0xf0,0x29,0xe3]
1159 @ CHECK: msr CPSR_fsx, #5 @ encoding: [0x05,0xf0,0x2e,0xe3]
1160 @ CHECK: msr SPSR_fc, #5 @ encoding: [0x05,0xf0,0x69,0xe3]
1161 @ CHECK: msr SPSR_fsxc, #5 @ encoding: [0x05,0xf0,0x6f,0xe3]
1162 @ CHECK: msr CPSR_fsxc, #5 @ encoding: [0x05,0xf0,0x2f,0xe3]
1179 @ CHECK: msr APSR_nzcvq, r0 @ encoding: [0x00,0xf0,0x28,0xe1]
1180 @ CHECK: msr APSR_g, r0 @ encoding: [0x00,0xf0,0x24,0xe1]
1181 @ CHECK: msr APSR_nzcvq, r0 @ encoding: [0x00,0xf0,0x28,0xe1]
1182 @ CHECK: msr APSR_nzcvq, r0 @ encoding: [0x00,0xf0,0x28,0xe1]
1183 @ CHECK: msr APSR_nzcvqg, r0 @ encoding: [0x00,0xf0,0x2c,0xe1]
1184 @ CHECK: msr CPSR_fc, r0 @ encoding: [0x00,0xf0,0x29,0xe1]
1185 @ CHECK: msr CPSR_c, r0 @ encoding: [0x00,0xf0,0x21,0xe1]
1186 @ CHECK: msr CPSR_x, r0 @ encoding: [0x00,0xf0,0x22,0xe1]
1187 @ CHECK: msr CPSR_fc, r0 @ encoding: [0x00,0xf0,0x29,0xe1]
1188 @ CHECK: msr CPSR_fc, r0 @ encoding: [0x00,0xf0,0x29,0xe1]
1189 @ CHECK: msr CPSR_fsx, r0 @ encoding: [0x00,0xf0,0x2e,0xe1]
1190 @ CHECK: msr SPSR_fc, r0 @ encoding: [0x00,0xf0,0x69,0xe1]
1191 @ CHECK: msr SPSR_fsxc, r0 @ encoding: [0x00,0xf0,0x6f,0xe1]
1192 @ CHECK: msr CPSR_fsxc, r0 @ encoding: [0x00,0xf0,0x2f,0xe1]
1194 @------------------------------------------------------------------------------
1196 @------------------------------------------------------------------------------
1203 @ CHECK: mul r5, r6, r7 @ encoding: [0x96,0x07,0x05,0xe0]
1204 @ CHECK: muls r5, r6, r7 @ encoding: [0x96,0x07,0x15,0xe0]
1205 @ CHECK: mulgt r5, r6, r7 @ encoding: [0x96,0x07,0x05,0xc0]
1206 @ CHECK: mulsle r5, r6, r7 @ encoding: [0x96,0x07,0x15,0xd0]
1209 @------------------------------------------------------------------------------
1211 @------------------------------------------------------------------------------
1217 mvnseq r5, #0xff0000
1219 @ CHECK: mvn r3, #7 @ encoding: [0x07,0x30,0xe0,0xe3]
1220 @ CHECK: mvn r4, #4080 @ encoding: [0xff,0x4e,0xe0,0xe3]
1221 @ CHECK: mvn r5, #16711680 @ encoding: [0xff,0x58,0xe0,0xe3]
1222 @ CHECK: mvns r3, #7 @ encoding: [0x07,0x30,0xf0,0xe3]
1223 @ CHECK: mvneq r4, #4080 @ encoding: [0xff,0x4e,0xe0,0x03]
1224 @ CHECK: mvnseq r5, #16711680 @ encoding: [0xff,0x58,0xf0,0x03]
1227 @------------------------------------------------------------------------------
1229 @------------------------------------------------------------------------------
1238 mvnseq r2, r3, lsl #10
1240 @ CHECK: mvn r2, r3 @ encoding: [0x03,0x20,0xe0,0xe1]
1241 @ CHECK: mvns r2, r3 @ encoding: [0x03,0x20,0xf0,0xe1]
1242 @ CHECK: mvn r5, r6, lsl #19 @ encoding: [0x86,0x59,0xe0,0xe1]
1243 @ CHECK: mvn r5, r6, lsr #9 @ encoding: [0xa6,0x54,0xe0,0xe1]
1244 @ CHECK: mvn r5, r6, asr #4 @ encoding: [0x46,0x52,0xe0,0xe1]
1245 @ CHECK: mvn r5, r6, ror #6 @ encoding: [0x66,0x53,0xe0,0xe1]
1246 @ CHECK: mvn r5, r6, rrx @ encoding: [0x66,0x50,0xe0,0xe1]
1247 @ CHECK: mvneq r2, r3 @ encoding: [0x03,0x20,0xe0,0x01]
1248 @ CHECK: mvnseq r2, r3, lsl #10 @ encoding: [0x03,0x25,0xf0,0x01]
1251 @------------------------------------------------------------------------------
1252 @ MVN (shifted register)
1253 @------------------------------------------------------------------------------
1256 mvngt r5, r6, asr r7
1257 mvnslt r5, r6, ror r7
1259 @ CHECK: mvn r5, r6, lsl r7 @ encoding: [0x16,0x57,0xe0,0xe1]
1260 @ CHECK: mvns r5, r6, lsr r7 @ encoding: [0x36,0x57,0xf0,0xe1]
1261 @ CHECK: mvngt r5, r6, asr r7 @ encoding: [0x56,0x57,0xe0,0xc1]
1262 @ CHECK: mvnslt r5, r6, ror r7 @ encoding: [0x76,0x57,0xf0,0xb1]
1264 @------------------------------------------------------------------------------
1266 @------------------------------------------------------------------------------
1269 @ CHECK: rsb r5, r8, #0 @ encoding: [0x00,0x50,0x68,0xe2]
1272 @------------------------------------------------------------------------------
1274 @------------------------------------------------------------------------------
1279 @ CHECK: nop @ encoding: [0x00,0xf0,0x20,0xe3]
1280 @ CHECK: nop @ encoding: [0x00,0xf0,0x20,0xe3]
1281 @ CHECK: nopgt @ encoding: [0x00,0xf0,0x20,0xc3]
1284 @------------------------------------------------------------------------------
1286 @------------------------------------------------------------------------------
1289 orr r4, r5, r6, lsl #5
1290 orr r4, r5, r6, lsr #5
1291 orr r4, r5, r6, lsr #5
1292 orr r4, r5, r6, asr #5
1293 orr r4, r5, r6, ror #5
1294 orr r6, r7, r8, lsl r9
1295 orr r6, r7, r8, lsr r9
1296 orr r6, r7, r8, asr r9
1297 orr r6, r7, r8, ror r9
1300 @ destination register is optional
1314 @ CHECK: orr r4, r5, #61440 @ encoding: [0x0f,0x4a,0x85,0xe3]
1315 @ CHECK: orr r4, r5, r6 @ encoding: [0x06,0x40,0x85,0xe1]
1316 @ CHECK: orr r4, r5, r6, lsl #5 @ encoding: [0x86,0x42,0x85,0xe1]
1317 @ CHECK: orr r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0x85,0xe1]
1318 @ CHECK: orr r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0x85,0xe1]
1319 @ CHECK: orr r4, r5, r6, asr #5 @ encoding: [0xc6,0x42,0x85,0xe1]
1320 @ CHECK: orr r4, r5, r6, ror #5 @ encoding: [0xe6,0x42,0x85,0xe1]
1321 @ CHECK: orr r6, r7, r8, lsl r9 @ encoding: [0x18,0x69,0x87,0xe1]
1322 @ CHECK: orr r6, r7, r8, lsr r9 @ encoding: [0x38,0x69,0x87,0xe1]
1323 @ CHECK: orr r6, r7, r8, asr r9 @ encoding: [0x58,0x69,0x87,0xe1]
1324 @ CHECK: orr r6, r7, r8, ror r9 @ encoding: [0x78,0x69,0x87,0xe1]
1325 @ CHECK: orr r4, r5, r6, rrx @ encoding: [0x66,0x40,0x85,0xe1]
1327 @ CHECK: orr r5, r5, #61440 @ encoding: [0x0f,0x5a,0x85,0xe3]
1328 @ CHECK: orr r4, r4, r5 @ encoding: [0x05,0x40,0x84,0xe1]
1329 @ CHECK: orr r4, r4, r5, lsl #5 @ encoding: [0x85,0x42,0x84,0xe1]
1330 @ CHECK: orr r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0x84,0xe1]
1331 @ CHECK: orr r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0x84,0xe1]
1332 @ CHECK: orr r4, r4, r5, asr #5 @ encoding: [0xc5,0x42,0x84,0xe1]
1333 @ CHECK: orr r4, r4, r5, ror #5 @ encoding: [0xe5,0x42,0x84,0xe1]
1334 @ CHECK: orr r6, r6, r7, lsl r9 @ encoding: [0x17,0x69,0x86,0xe1]
1335 @ CHECK: orr r6, r6, r7, lsr r9 @ encoding: [0x37,0x69,0x86,0xe1]
1336 @ CHECK: orr r6, r6, r7, asr r9 @ encoding: [0x57,0x69,0x86,0xe1]
1337 @ CHECK: orr r6, r6, r7, ror r9 @ encoding: [0x77,0x69,0x86,0xe1]
1338 @ CHECK: orr r4, r4, r5, rrx @ encoding: [0x65,0x40,0x84,0xe1]
1340 orrseq r4, r5, #0xf000
1342 orrseq r4, r5, r6, lsl #5
1343 orrlo r6, r7, r8, ror r9
1344 orrshi r4, r5, r6, rrx
1347 orrne r6, r7, asr r9
1348 orrslt r6, r7, ror r9
1351 @ CHECK: orrseq r4, r5, #61440 @ encoding: [0x0f,0x4a,0x95,0x03]
1352 @ CHECK: orrne r4, r5, r6 @ encoding: [0x06,0x40,0x85,0x11]
1353 @ CHECK: orrseq r4, r5, r6, lsl #5 @ encoding: [0x86,0x42,0x95,0x01]
1354 @ CHECK: orrlo r6, r7, r8, ror r9 @ encoding: [0x78,0x69,0x87,0x31]
1355 @ CHECK: orrshi r4, r5, r6, rrx @ encoding: [0x66,0x40,0x95,0x81]
1356 @ CHECK: orrhs r5, r5, #61440 @ encoding: [0x0f,0x5a,0x85,0x23]
1357 @ CHECK: orrseq r4, r4, r5 @ encoding: [0x05,0x40,0x94,0x01]
1358 @ CHECK: orrne r6, r6, r7, asr r9 @ encoding: [0x57,0x69,0x86,0x11]
1359 @ CHECK: orrslt r6, r6, r7, ror r9 @ encoding: [0x77,0x69,0x96,0xb1]
1360 @ CHECK: orrsgt r4, r4, r5, rrx @ encoding: [0x65,0x40,0x94,0xc1]
1362 @ Test right shift by 32, which is encoded as 0
1363 orr r3, r1, r2, lsr #32
1364 orr r3, r1, r2, asr #32
1365 @ CHECK: orr r3, r1, r2, lsr #32 @ encoding: [0x22,0x30,0x81,0xe1]
1366 @ CHECK: orr r3, r1, r2, asr #32 @ encoding: [0x42,0x30,0x81,0xe1]
1368 @------------------------------------------------------------------------------
1370 @------------------------------------------------------------------------------
1372 pkhbt r2, r2, r3, lsl #31
1373 pkhbt r2, r2, r3, lsl #0
1374 pkhbt r2, r2, r3, lsl #15
1377 pkhtb r2, r2, r3, asr #31
1378 pkhtb r2, r2, r3, asr #15
1380 @ CHECK: pkhbt r2, r2, r3 @ encoding: [0x13,0x20,0x82,0xe6]
1381 @ CHECK: pkhbt r2, r2, r3, lsl #31 @ encoding: [0x93,0x2f,0x82,0xe6]
1382 @ CHECK: pkhbt r2, r2, r3 @ encoding: [0x13,0x20,0x82,0xe6]
1383 @ CHECK: pkhbt r2, r2, r3, lsl #15 @ encoding: [0x93,0x27,0x82,0xe6]
1385 @ CHECK: pkhbt r2, r2, r3 @ encoding: [0x13,0x20,0x82,0xe6]
1386 @ CHECK: pkhtb r2, r2, r3, asr #31 @ encoding: [0xd3,0x2f,0x82,0xe6]
1387 @ CHECK: pkhtb r2, r2, r3, asr #15 @ encoding: [0xd3,0x27,0x82,0xe6]
1389 @------------------------------------------------------------------------------
1391 @------------------------------------------------------------------------------
1392 @------------------------------------------------------------------------------
1394 @------------------------------------------------------------------------------
1397 @------------------------------------------------------------------------------
1399 @------------------------------------------------------------------------------
1401 pop {r7, r8, r9, r10}
1403 @ CHECK: pop {r7} @ encoding: [0x04,0x70,0x9d,0xe4]
1404 @ CHECK: pop {r7, r8, r9, r10} @ encoding: [0x80,0x07,0xbd,0xe8]
1407 @------------------------------------------------------------------------------
1409 @------------------------------------------------------------------------------
1411 push {r7, r8, r9, r10}
1413 @ CHECK: push {r7} @ encoding: [0x04,0x70,0x2d,0xe5]
1414 @ CHECK: push {r7, r8, r9, r10} @ encoding: [0x80,0x07,0x2d,0xe9]
1417 @------------------------------------------------------------------------------
1419 @------------------------------------------------------------------------------
1427 @ CHECK: qadd r1, r2, r3 @ encoding: [0x52,0x10,0x03,0xe1]
1428 @ CHECK: qaddne r1, r2, r3 @ encoding: [0x52,0x10,0x03,0x11]
1429 @ CHECK: qadd16 r1, r2, r3 @ encoding: [0x13,0x1f,0x22,0xe6]
1430 @ CHECK: qadd16gt r1, r2, r3 @ encoding: [0x13,0x1f,0x22,0xc6]
1431 @ CHECK: qadd8 r1, r2, r3 @ encoding: [0x93,0x1f,0x22,0xe6]
1432 @ CHECK: qadd8le r1, r2, r3 @ encoding: [0x93,0x1f,0x22,0xd6]
1435 @------------------------------------------------------------------------------
1437 @------------------------------------------------------------------------------
1443 @ CHECK: qdadd r6, r7, r8 @ encoding: [0x57,0x60,0x48,0xe1]
1444 @ CHECK: qdaddhi r6, r7, r8 @ encoding: [0x57,0x60,0x48,0x81]
1445 @ CHECK: qdsub r6, r7, r8 @ encoding: [0x57,0x60,0x68,0xe1]
1446 @ CHECK: qdsubhi r6, r7, r8 @ encoding: [0x57,0x60,0x68,0x81]
1449 @------------------------------------------------------------------------------
1451 @------------------------------------------------------------------------------
1455 @ CHECK: qsax r9, r12, r0 @ encoding: [0x50,0x9f,0x2c,0xe6]
1456 @ CHECK: qsaxeq r9, r12, r0 @ encoding: [0x50,0x9f,0x2c,0x06]
1459 @------------------------------------------------------------------------------
1461 @------------------------------------------------------------------------------
1469 @ CHECK: qsub r1, r2, r3 @ encoding: [0x52,0x10,0x23,0xe1]
1470 @ CHECK: qsubne r1, r2, r3 @ encoding: [0x52,0x10,0x23,0x11]
1471 @ CHECK: qsub16 r1, r2, r3 @ encoding: [0x73,0x1f,0x22,0xe6]
1472 @ CHECK: qsub16gt r1, r2, r3 @ encoding: [0x73,0x1f,0x22,0xc6]
1473 @ CHECK: qsub8 r1, r2, r3 @ encoding: [0xf3,0x1f,0x22,0xe6]
1474 @ CHECK: qsub8le r1, r2, r3 @ encoding: [0xf3,0x1f,0x22,0xd6]
1477 @------------------------------------------------------------------------------
1479 @------------------------------------------------------------------------------
1483 @ CHECK: rbit r1, r2 @ encoding: [0x32,0x1f,0xff,0xe6]
1484 @ CHECK: rbitne r1, r2 @ encoding: [0x32,0x1f,0xff,0x16]
1487 @------------------------------------------------------------------------------
1489 @------------------------------------------------------------------------------
1497 @ CHECK: rev r1, r9 @ encoding: [0x39,0x1f,0xbf,0xe6]
1498 @ CHECK: revne r1, r5 @ encoding: [0x35,0x1f,0xbf,0x16]
1499 @ CHECK: rev16 r8, r3 @ encoding: [0xb3,0x8f,0xbf,0xe6]
1500 @ CHECK: rev16ne r12, r4 @ encoding: [0xb4,0xcf,0xbf,0x16]
1501 @ CHECK: revsh r4, r9 @ encoding: [0xb9,0x4f,0xff,0xe6]
1502 @ CHECK: revshne r9, r1 @ encoding: [0xb1,0x9f,0xff,0x16]
1505 @------------------------------------------------------------------------------
1507 @------------------------------------------------------------------------------
1531 @ CHECK: rfeda r2 @ encoding: [0x00,0x0a,0x12,0xf8]
1532 @ CHECK: rfedb r3 @ encoding: [0x00,0x0a,0x13,0xf9]
1533 @ CHECK: rfeia r5 @ encoding: [0x00,0x0a,0x95,0xf8]
1534 @ CHECK: rfeib r6 @ encoding: [0x00,0x0a,0x96,0xf9]
1536 @ CHECK: rfeda r4! @ encoding: [0x00,0x0a,0x34,0xf8]
1537 @ CHECK: rfedb r7! @ encoding: [0x00,0x0a,0x37,0xf9]
1538 @ CHECK: rfeia r9! @ encoding: [0x00,0x0a,0xb9,0xf8]
1539 @ CHECK: rfeib r8! @ encoding: [0x00,0x0a,0xb8,0xf9]
1541 @ CHECK: rfeda r2 @ encoding: [0x00,0x0a,0x12,0xf8]
1542 @ CHECK: rfedb r3 @ encoding: [0x00,0x0a,0x13,0xf9]
1543 @ CHECK: rfeia r5 @ encoding: [0x00,0x0a,0x95,0xf8]
1544 @ CHECK: rfeib r6 @ encoding: [0x00,0x0a,0x96,0xf9]
1546 @ CHECK: rfeda r4! @ encoding: [0x00,0x0a,0x34,0xf8]
1547 @ CHECK: rfedb r7! @ encoding: [0x00,0x0a,0x37,0xf9]
1548 @ CHECK: rfeia r9! @ encoding: [0x00,0x0a,0xb9,0xf8]
1549 @ CHECK: rfeib r8! @ encoding: [0x00,0x0a,0xb8,0xf9]
1551 @ CHECK: rfeia r1 @ encoding: [0x00,0x0a,0x91,0xf8]
1552 @ CHECK: rfeia r1! @ encoding: [0x00,0x0a,0xb1,0xf8]
1555 @------------------------------------------------------------------------------
1557 @------------------------------------------------------------------------------
1563 @ CHECK: ror r2, r4, #31 @ encoding: [0xe4,0x2f,0xa0,0xe1]
1564 @ CHECK: ror r2, r4, #1 @ encoding: [0xe4,0x20,0xa0,0xe1]
1565 @ CHECK: mov r2, r4 @ encoding: [0x04,0x20,0xa0,0xe1]
1566 @ CHECK: ror r4, r4, #1 @ encoding: [0xe4,0x40,0xa0,0xe1]
1569 @------------------------------------------------------------------------------
1571 @------------------------------------------------------------------------------
1574 rsb r4, r5, r6, lsl #5
1575 rsblo r4, r5, r6, lsr #5
1576 rsb r4, r5, r6, lsr #5
1577 rsb r4, r5, r6, asr #5
1578 rsb r4, r5, r6, ror #5
1579 rsb r6, r7, r8, lsl r9
1580 rsb r6, r7, r8, lsr r9
1581 rsb r6, r7, r8, asr r9
1582 rsble r6, r7, r8, ror r9
1585 @ destination register is optional
1590 rsbne r4, r5, lsr #5
1593 rsbgt r6, r7, lsl r9
1599 @ CHECK: rsb r4, r5, #61440 @ encoding: [0x0f,0x4a,0x65,0xe2]
1600 @ CHECK: rsb r4, r5, r6 @ encoding: [0x06,0x40,0x65,0xe0]
1601 @ CHECK: rsb r4, r5, r6, lsl #5 @ encoding: [0x86,0x42,0x65,0xe0]
1602 @ CHECK: rsblo r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0x65,0x30]
1603 @ CHECK: rsb r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0x65,0xe0]
1604 @ CHECK: rsb r4, r5, r6, asr #5 @ encoding: [0xc6,0x42,0x65,0xe0]
1605 @ CHECK: rsb r4, r5, r6, ror #5 @ encoding: [0xe6,0x42,0x65,0xe0]
1606 @ CHECK: rsb r6, r7, r8, lsl r9 @ encoding: [0x18,0x69,0x67,0xe0]
1607 @ CHECK: rsb r6, r7, r8, lsr r9 @ encoding: [0x38,0x69,0x67,0xe0]
1608 @ CHECK: rsb r6, r7, r8, asr r9 @ encoding: [0x58,0x69,0x67,0xe0]
1609 @ CHECK: rsble r6, r7, r8, ror r9 @ encoding: [0x78,0x69,0x67,0xd0]
1610 @ CHECK: rsb r4, r5, r6, rrx @ encoding: [0x66,0x40,0x65,0xe0]
1612 @ CHECK: rsb r5, r5, #61440 @ encoding: [0x0f,0x5a,0x65,0xe2]
1613 @ CHECK: rsb r4, r4, r5 @ encoding: [0x05,0x40,0x64,0xe0]
1614 @ CHECK: rsb r4, r4, r5, lsl #5 @ encoding: [0x85,0x42,0x64,0xe0]
1615 @ CHECK: rsb r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0x64,0xe0]
1616 @ CHECK: rsbne r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0x64,0x10]
1617 @ CHECK: rsb r4, r4, r5, asr #5 @ encoding: [0xc5,0x42,0x64,0xe0]
1618 @ CHECK: rsb r4, r4, r5, ror #5 @ encoding: [0xe5,0x42,0x64,0xe0]
1619 @ CHECK: rsbgt r6, r6, r7, lsl r9 @ encoding: [0x17,0x69,0x66,0xc0]
1620 @ CHECK: rsb r6, r6, r7, lsr r9 @ encoding: [0x37,0x69,0x66,0xe0]
1621 @ CHECK: rsb r6, r6, r7, asr r9 @ encoding: [0x57,0x69,0x66,0xe0]
1622 @ CHECK: rsb r6, r6, r7, ror r9 @ encoding: [0x77,0x69,0x66,0xe0]
1623 @ CHECK: rsb r4, r4, r5, rrx @ encoding: [0x65,0x40,0x64,0xe0]
1625 @------------------------------------------------------------------------------
1627 @------------------------------------------------------------------------------
1630 rsc r4, r5, r6, lsl #5
1631 rsclo r4, r5, r6, lsr #5
1632 rsc r4, r5, r6, lsr #5
1633 rsc r4, r5, r6, asr #5
1634 rsc r4, r5, r6, ror #5
1635 rsc r6, r7, r8, lsl r9
1636 rsc r6, r7, r8, lsr r9
1637 rsc r6, r7, r8, asr r9
1638 rscle r6, r7, r8, ror r9
1641 @ destination register is optional
1646 rscne r4, r5, lsr #5
1649 rscgt r6, r7, lsl r9
1654 @ CHECK: rsc r4, r5, #61440 @ encoding: [0x0f,0x4a,0xe5,0xe2]
1655 @ CHECK: rsc r4, r5, r6 @ encoding: [0x06,0x40,0xe5,0xe0]
1656 @ CHECK: rsc r4, r5, r6, lsl #5 @ encoding: [0x86,0x42,0xe5,0xe0]
1657 @ CHECK: rsclo r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0xe5,0x30]
1658 @ CHECK: rsc r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0xe5,0xe0]
1659 @ CHECK: rsc r4, r5, r6, asr #5 @ encoding: [0xc6,0x42,0xe5,0xe0]
1660 @ CHECK: rsc r4, r5, r6, ror #5 @ encoding: [0xe6,0x42,0xe5,0xe0]
1661 @ CHECK: rsc r6, r7, r8, lsl r9 @ encoding: [0x18,0x69,0xe7,0xe0]
1662 @ CHECK: rsc r6, r7, r8, lsr r9 @ encoding: [0x38,0x69,0xe7,0xe0]
1663 @ CHECK: rsc r6, r7, r8, asr r9 @ encoding: [0x58,0x69,0xe7,0xe0]
1664 @ CHECK: rscle r6, r7, r8, ror r9 @ encoding: [0x78,0x69,0xe7,0xd0]
1665 @ CHECK: rscs r1, r8, #4064 @ encoding: [0xfe,0x1e,0xf8,0xe2]
1667 @ CHECK: rsc r5, r5, #61440 @ encoding: [0x0f,0x5a,0xe5,0xe2]
1668 @ CHECK: rsc r4, r4, r5 @ encoding: [0x05,0x40,0xe4,0xe0]
1669 @ CHECK: rsc r4, r4, r5, lsl #5 @ encoding: [0x85,0x42,0xe4,0xe0]
1670 @ CHECK: rsc r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0xe4,0xe0]
1671 @ CHECK: rscne r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0xe4,0x10]
1672 @ CHECK: rsc r4, r4, r5, asr #5 @ encoding: [0xc5,0x42,0xe4,0xe0]
1673 @ CHECK: rsc r4, r4, r5, ror #5 @ encoding: [0xe5,0x42,0xe4,0xe0]
1674 @ CHECK: rscgt r6, r6, r7, lsl r9 @ encoding: [0x17,0x69,0xe6,0xc0]
1675 @ CHECK: rsc r6, r6, r7, lsr r9 @ encoding: [0x37,0x69,0xe6,0xe0]
1676 @ CHECK: rsc r6, r6, r7, asr r9 @ encoding: [0x57,0x69,0xe6,0xe0]
1677 @ CHECK: rsc r6, r6, r7, ror r9 @ encoding: [0x77,0x69,0xe6,0xe0]
1679 @------------------------------------------------------------------------------
1681 @------------------------------------------------------------------------------
1688 @ CHECK: rrx r0, r1 @ encoding: [0x61,0x00,0xa0,0xe1]
1689 @ CHECK: rrx sp, pc @ encoding: [0x6f,0xd0,0xa0,0xe1]
1690 @ CHECK: rrx pc, lr @ encoding: [0x6e,0xf0,0xa0,0xe1]
1691 @ CHECK: rrx lr, sp @ encoding: [0x6d,0xe0,0xa0,0xe1]
1698 @CHECK: rrxs r0, r1 @ encoding: [0x61,0x00,0xb0,0xe1]
1699 @CHECK: rrxs sp, pc @ encoding: [0x6f,0xd0,0xb0,0xe1]
1700 @CHECK: rrxs pc, lr @ encoding: [0x6e,0xf0,0xb0,0xe1]
1701 @CHECK: rrxs lr, sp @ encoding: [0x6d,0xe0,0xb0,0xe1]
1703 @ ------------------------------------------------------------------------------
1705 @------------------------------------------------------------------------------
1711 @ CHECK: sadd16 r1, r2, r3 @ encoding: [0x13,0x1f,0x12,0xe6]
1712 @ CHECK: sadd16gt r1, r2, r3 @ encoding: [0x13,0x1f,0x12,0xc6]
1713 @ CHECK: sadd8 r1, r2, r3 @ encoding: [0x93,0x1f,0x12,0xe6]
1714 @ CHECK: sadd8le r1, r2, r3 @ encoding: [0x93,0x1f,0x12,0xd6]
1717 @------------------------------------------------------------------------------
1719 @------------------------------------------------------------------------------
1723 @ CHECK: sasx r9, r12, r0 @ encoding: [0x30,0x9f,0x1c,0xe6]
1724 @ CHECK: sasxeq r9, r12, r0 @ encoding: [0x30,0x9f,0x1c,0x06]
1727 @------------------------------------------------------------------------------
1729 @------------------------------------------------------------------------------
1732 sbc r4, r5, r6, lsl #5
1733 sbc r4, r5, r6, lsr #5
1734 sbc r4, r5, r6, lsr #5
1735 sbc r4, r5, r6, asr #5
1736 sbc r4, r5, r6, ror #5
1737 sbc r6, r7, r8, lsl r9
1738 sbc r6, r7, r8, lsr r9
1739 sbc r6, r7, r8, asr r9
1740 sbc r6, r7, r8, ror r9
1742 @ destination register is optional
1755 @ CHECK: sbc r4, r5, #61440 @ encoding: [0x0f,0x4a,0xc5,0xe2]
1756 @ CHECK: sbc r4, r5, r6 @ encoding: [0x06,0x40,0xc5,0xe0]
1757 @ CHECK: sbc r4, r5, r6, lsl #5 @ encoding: [0x86,0x42,0xc5,0xe0]
1758 @ CHECK: sbc r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0xc5,0xe0]
1759 @ CHECK: sbc r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0xc5,0xe0]
1760 @ CHECK: sbc r4, r5, r6, asr #5 @ encoding: [0xc6,0x42,0xc5,0xe0]
1761 @ CHECK: sbc r4, r5, r6, ror #5 @ encoding: [0xe6,0x42,0xc5,0xe0]
1762 @ CHECK: sbc r6, r7, r8, lsl r9 @ encoding: [0x18,0x69,0xc7,0xe0]
1763 @ CHECK: sbc r6, r7, r8, lsr r9 @ encoding: [0x38,0x69,0xc7,0xe0]
1764 @ CHECK: sbc r6, r7, r8, asr r9 @ encoding: [0x58,0x69,0xc7,0xe0]
1765 @ CHECK: sbc r6, r7, r8, ror r9 @ encoding: [0x78,0x69,0xc7,0xe0]
1767 @ CHECK: sbc r5, r5, #61440 @ encoding: [0x0f,0x5a,0xc5,0xe2]
1768 @ CHECK: sbc r4, r4, r5 @ encoding: [0x05,0x40,0xc4,0xe0]
1769 @ CHECK: sbc r4, r4, r5, lsl #5 @ encoding: [0x85,0x42,0xc4,0xe0]
1770 @ CHECK: sbc r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0xc4,0xe0]
1771 @ CHECK: sbc r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0xc4,0xe0]
1772 @ CHECK: sbc r4, r4, r5, asr #5 @ encoding: [0xc5,0x42,0xc4,0xe0]
1773 @ CHECK: sbc r4, r4, r5, ror #5 @ encoding: [0xe5,0x42,0xc4,0xe0]
1774 @ CHECK: sbc r6, r6, r7, lsl r9 @ encoding: [0x17,0x69,0xc6,0xe0]
1775 @ CHECK: sbc r6, r6, r7, lsr r9 @ encoding: [0x37,0x69,0xc6,0xe0]
1776 @ CHECK: sbc r6, r6, r7, asr r9 @ encoding: [0x57,0x69,0xc6,0xe0]
1777 @ CHECK: sbc r6, r6, r7, ror r9 @ encoding: [0x77,0x69,0xc6,0xe0]
1780 @------------------------------------------------------------------------------
1782 @------------------------------------------------------------------------------
1783 sbfx r4, r5, #16, #1
1784 sbfxgt r4, r5, #16, #16
1786 @ CHECK: sbfx r4, r5, #16, #1 @ encoding: [0x55,0x48,0xa0,0xe7]
1787 @ CHECK: sbfxgt r4, r5, #16, #16 @ encoding: [0x55,0x48,0xaf,0xc7]
1790 @------------------------------------------------------------------------------
1792 @------------------------------------------------------------------------------
1796 @ CHECK: sel r9, r2, r1 @ encoding: [0xb1,0x9f,0x82,0xe6]
1797 @ CHECK: selne r9, r2, r1 @ encoding: [0xb1,0x9f,0x82,0x16]
1800 @------------------------------------------------------------------------------
1802 @------------------------------------------------------------------------------
1808 @ CHECK: setend be @ encoding: [0x00,0x02,0x01,0xf1]
1809 @ CHECK: setend be @ encoding: [0x00,0x02,0x01,0xf1]
1810 @ CHECK: setend le @ encoding: [0x00,0x00,0x01,0xf1]
1811 @ CHECK: setend le @ encoding: [0x00,0x00,0x01,0xf1]
1814 @------------------------------------------------------------------------------
1816 @------------------------------------------------------------------------------
1820 @ CHECK: sev @ encoding: [0x04,0xf0,0x20,0xe3]
1821 @ CHECK: seveq @ encoding: [0x04,0xf0,0x20,0x03]
1824 @------------------------------------------------------------------------------
1826 @------------------------------------------------------------------------------
1828 shadd16gt r4, r8, r2
1832 @ CHECK: shadd16 r4, r8, r2 @ encoding: [0x12,0x4f,0x38,0xe6]
1833 @ CHECK: shadd16gt r4, r8, r2 @ encoding: [0x12,0x4f,0x38,0xc6]
1834 @ CHECK: shadd8 r4, r8, r2 @ encoding: [0x92,0x4f,0x38,0xe6]
1835 @ CHECK: shadd8gt r4, r8, r2 @ encoding: [0x92,0x4f,0x38,0xc6]
1838 @------------------------------------------------------------------------------
1840 @------------------------------------------------------------------------------
1844 @ CHECK: shasx r4, r8, r2 @ encoding: [0x32,0x4f,0x38,0xe6]
1845 @ CHECK: shasxgt r4, r8, r2 @ encoding: [0x32,0x4f,0x38,0xc6]
1848 @------------------------------------------------------------------------------
1850 @------------------------------------------------------------------------------
1852 shsub16gt r4, r8, r2
1856 @ CHECK: shsub16 r4, r8, r2 @ encoding: [0x72,0x4f,0x38,0xe6]
1857 @ CHECK: shsub16gt r4, r8, r2 @ encoding: [0x72,0x4f,0x38,0xc6]
1858 @ CHECK: shsub8 r4, r8, r2 @ encoding: [0xf2,0x4f,0x38,0xe6]
1859 @ CHECK: shsub8gt r4, r8, r2 @ encoding: [0xf2,0x4f,0x38,0xc6]
1861 @------------------------------------------------------------------------------
1862 @ SMLABB/SMLABT/SMLATB/SMLATT
1863 @------------------------------------------------------------------------------
1864 smlabb r3, r1, r9, r0
1865 smlabt r5, r6, r4, r1
1866 smlatb r4, r2, r3, r2
1867 smlatt r8, r3, r8, r4
1868 smlabbge r3, r1, r9, r0
1869 smlabtle r5, r6, r4, r1
1870 smlatbne r4, r2, r3, r2
1871 smlatteq r8, r3, r8, r4
1873 @ CHECK: smlabb r3, r1, r9, r0 @ encoding: [0x81,0x09,0x03,0xe1]
1874 @ CHECK: smlabt r5, r6, r4, r1 @ encoding: [0xc6,0x14,0x05,0xe1]
1875 @ CHECK: smlatb r4, r2, r3, r2 @ encoding: [0xa2,0x23,0x04,0xe1]
1876 @ CHECK: smlatt r8, r3, r8, r4 @ encoding: [0xe3,0x48,0x08,0xe1]
1877 @ CHECK: smlabbge r3, r1, r9, r0 @ encoding: [0x81,0x09,0x03,0xa1]
1878 @ CHECK: smlabtle r5, r6, r4, r1 @ encoding: [0xc6,0x14,0x05,0xd1]
1879 @ CHECK: smlatbne r4, r2, r3, r2 @ encoding: [0xa2,0x23,0x04,0x11]
1880 @ CHECK: smlatteq r8, r3, r8, r4 @ encoding: [0xe3,0x48,0x08,0x01]
1882 @------------------------------------------------------------------------------
1884 @------------------------------------------------------------------------------
1885 smlad r2, r3, r5, r8
1886 smladx r2, r3, r5, r8
1887 smladeq r2, r3, r5, r8
1888 smladxhi r2, r3, r5, r8
1890 @ CHECK: smlad r2, r3, r5, r8 @ encoding: [0x13,0x85,0x02,0xe7]
1891 @ CHECK: smladx r2, r3, r5, r8 @ encoding: [0x33,0x85,0x02,0xe7]
1892 @ CHECK: smladeq r2, r3, r5, r8 @ encoding: [0x13,0x85,0x02,0x07]
1893 @ CHECK: smladxhi r2, r3, r5, r8 @ encoding: [0x33,0x85,0x02,0x87]
1896 @------------------------------------------------------------------------------
1898 @------------------------------------------------------------------------------
1899 smlal r2, r3, r5, r8
1900 smlals r2, r3, r5, r8
1901 smlaleq r2, r3, r5, r8
1902 smlalshi r2, r3, r5, r8
1904 @ CHECK: smlal r2, r3, r5, r8 @ encoding: [0x95,0x28,0xe3,0xe0]
1905 @ CHECK: smlals r2, r3, r5, r8 @ encoding: [0x95,0x28,0xf3,0xe0]
1906 @ CHECK: smlaleq r2, r3, r5, r8 @ encoding: [0x95,0x28,0xe3,0x00]
1907 @ CHECK: smlalshi r2, r3, r5, r8 @ encoding: [0x95,0x28,0xf3,0x80]
1910 @------------------------------------------------------------------------------
1911 @ SMLALBB/SMLALBT/SMLALTB/SMLALTT
1912 @------------------------------------------------------------------------------
1913 smlalbb r3, r1, r9, r0
1914 smlalbt r5, r6, r4, r1
1915 smlaltb r4, r2, r3, r2
1916 smlaltt r8, r3, r8, r4
1917 smlalbbge r3, r1, r9, r0
1918 smlalbtle r5, r6, r4, r1
1919 smlaltbne r4, r2, r3, r2
1920 smlaltteq r8, r3, r8, r4
1922 @ CHECK: smlalbb r3, r1, r9, r0 @ encoding: [0x89,0x30,0x41,0xe1]
1923 @ CHECK: smlalbt r5, r6, r4, r1 @ encoding: [0xc4,0x51,0x46,0xe1]
1924 @ CHECK: smlaltb r4, r2, r3, r2 @ encoding: [0xa3,0x42,0x42,0xe1]
1925 @ CHECK: smlaltt r8, r3, r8, r4 @ encoding: [0xe8,0x84,0x43,0xe1]
1926 @ CHECK: smlalbbge r3, r1, r9, r0 @ encoding: [0x89,0x30,0x41,0xa1]
1927 @ CHECK: smlalbtle r5, r6, r4, r1 @ encoding: [0xc4,0x51,0x46,0xd1]
1928 @ CHECK: smlaltbne r4, r2, r3, r2 @ encoding: [0xa3,0x42,0x42,0x11]
1929 @ CHECK: smlaltteq r8, r3, r8, r4 @ encoding: [0xe8,0x84,0x43,0x01]
1932 @------------------------------------------------------------------------------
1934 @------------------------------------------------------------------------------
1935 smlald r2, r3, r5, r8
1936 smlaldx r2, r3, r5, r8
1937 smlaldeq r2, r3, r5, r8
1938 smlaldxhi r2, r3, r5, r8
1940 @ CHECK: smlald r2, r3, r5, r8 @ encoding: [0x15,0x28,0x43,0xe7]
1941 @ CHECK: smlaldx r2, r3, r5, r8 @ encoding: [0x35,0x28,0x43,0xe7]
1942 @ CHECK: smlaldeq r2, r3, r5, r8 @ encoding: [0x15,0x28,0x43,0x07]
1943 @ CHECK: smlaldxhi r2, r3, r5, r8 @ encoding: [0x35,0x28,0x43,0x87]
1946 @------------------------------------------------------------------------------
1948 @------------------------------------------------------------------------------
1949 smlawb r2, r3, r10, r8
1950 smlawt r8, r3, r5, r9
1951 smlawbeq r2, r7, r5, r8
1952 smlawthi r1, r3, r0, r8
1954 @ CHECK: smlawb r2, r3, r10, r8 @ encoding: [0x83,0x8a,0x22,0xe1]
1955 @ CHECK: smlawt r8, r3, r5, r9 @ encoding: [0xc3,0x95,0x28,0xe1]
1956 @ CHECK: smlawbeq r2, r7, r5, r8 @ encoding: [0x87,0x85,0x22,0x01]
1957 @ CHECK: smlawthi r1, r3, r0, r8 @ encoding: [0xc3,0x80,0x21,0x81]
1960 @------------------------------------------------------------------------------
1962 @------------------------------------------------------------------------------
1963 smlsd r2, r3, r5, r8
1964 smlsdx r2, r3, r5, r8
1965 smlsdeq r2, r3, r5, r8
1966 smlsdxhi r2, r3, r5, r8
1968 @ CHECK: smlsd r2, r3, r5, r8 @ encoding: [0x53,0x85,0x02,0xe7]
1969 @ CHECK: smlsdx r2, r3, r5, r8 @ encoding: [0x73,0x85,0x02,0xe7]
1970 @ CHECK: smlsdeq r2, r3, r5, r8 @ encoding: [0x53,0x85,0x02,0x07]
1971 @ CHECK: smlsdxhi r2, r3, r5, r8 @ encoding: [0x73,0x85,0x02,0x87]
1974 @------------------------------------------------------------------------------
1976 @------------------------------------------------------------------------------
1977 smlsld r2, r9, r5, r1
1978 smlsldx r4, r11, r2, r8
1979 smlsldeq r8, r2, r5, r6
1980 smlsldxhi r1, r0, r3, r8
1982 @ CHECK: smlsld r2, r9, r5, r1 @ encoding: [0x55,0x21,0x49,0xe7]
1983 @ CHECK: smlsldx r4, r11, r2, r8 @ encoding: [0x72,0x48,0x4b,0xe7]
1984 @ CHECK: smlsldeq r8, r2, r5, r6 @ encoding: [0x55,0x86,0x42,0x07]
1985 @ CHECK: smlsldxhi r1, r0, r3, r8 @ encoding: [0x73,0x18,0x40,0x87]
1988 @------------------------------------------------------------------------------
1990 @------------------------------------------------------------------------------
1991 smmla r1, r2, r3, r4
1992 smmlar r4, r3, r2, r1
1993 smmlalo r1, r2, r3, r4
1994 smmlarcs r4, r3, r2, r1
1996 @ CHECK: smmla r1, r2, r3, r4 @ encoding: [0x12,0x43,0x51,0xe7]
1997 @ CHECK: smmlar r4, r3, r2, r1 @ encoding: [0x33,0x12,0x54,0xe7]
1998 @ CHECK: smmlalo r1, r2, r3, r4 @ encoding: [0x12,0x43,0x51,0x37]
1999 @ CHECK: smmlarhs r4, r3, r2, r1 @ encoding: [0x33,0x12,0x54,0x27]
2002 @------------------------------------------------------------------------------
2004 @------------------------------------------------------------------------------
2005 smmls r1, r2, r3, r4
2006 smmlsr r4, r3, r2, r1
2007 smmlslo r1, r2, r3, r4
2008 smmlsrcs r4, r3, r2, r1
2010 @ CHECK: smmls r1, r2, r3, r4 @ encoding: [0xd2,0x43,0x51,0xe7]
2011 @ CHECK: smmlsr r4, r3, r2, r1 @ encoding: [0xf3,0x12,0x54,0xe7]
2012 @ CHECK: smmlslo r1, r2, r3, r4 @ encoding: [0xd2,0x43,0x51,0x37]
2013 @ CHECK: smmlsrhs r4, r3, r2, r1 @ encoding: [0xf3,0x12,0x54,0x27]
2016 @------------------------------------------------------------------------------
2018 @------------------------------------------------------------------------------
2024 @ CHECK: smmul r2, r3, r4 @ encoding: [0x13,0xf4,0x52,0xe7]
2025 @ CHECK: smmulr r3, r2, r1 @ encoding: [0x32,0xf1,0x53,0xe7]
2026 @ CHECK: smmullo r2, r3, r4 @ encoding: [0x13,0xf4,0x52,0x37]
2027 @ CHECK: smmulrhs r3, r2, r1 @ encoding: [0x32,0xf1,0x53,0x27]
2030 @------------------------------------------------------------------------------
2032 @------------------------------------------------------------------------------
2038 @ CHECK: smuad r2, r3, r4 @ encoding: [0x13,0xf4,0x02,0xe7]
2039 @ CHECK: smuadx r3, r2, r1 @ encoding: [0x32,0xf1,0x03,0xe7]
2040 @ CHECK: smuadlt r2, r3, r4 @ encoding: [0x13,0xf4,0x02,0xb7]
2041 @ CHECK: smuadxge r3, r2, r1 @ encoding: [0x32,0xf1,0x03,0xa7]
2044 @------------------------------------------------------------------------------
2045 @ SMULBB/SMULBT/SMULTB/SMULTT
2046 @------------------------------------------------------------------------------
2056 @ CHECK: smulbb r3, r9, r0 @ encoding: [0x89,0x00,0x63,0xe1]
2057 @ CHECK: smulbt r5, r4, r1 @ encoding: [0xc4,0x01,0x65,0xe1]
2058 @ CHECK: smultb r4, r2, r2 @ encoding: [0xa2,0x02,0x64,0xe1]
2059 @ CHECK: smultt r8, r3, r4 @ encoding: [0xe3,0x04,0x68,0xe1]
2060 @ CHECK: smulbbge r1, r9, r0 @ encoding: [0x89,0x00,0x61,0xa1]
2061 @ CHECK: smulbtle r5, r6, r4 @ encoding: [0xc6,0x04,0x65,0xd1]
2062 @ CHECK: smultbne r2, r3, r2 @ encoding: [0xa3,0x02,0x62,0x11]
2063 @ CHECK: smultteq r8, r3, r4 @ encoding: [0xe3,0x04,0x68,0x01]
2066 @------------------------------------------------------------------------------
2068 @------------------------------------------------------------------------------
2069 smull r3, r9, r0, r1
2070 smulls r3, r9, r0, r2
2071 smulleq r8, r3, r4, r5
2072 smullseq r8, r3, r4, r3
2074 @ CHECK: smull r3, r9, r0, r1 @ encoding: [0x90,0x31,0xc9,0xe0]
2075 @ CHECK: smulls r3, r9, r0, r2 @ encoding: [0x90,0x32,0xd9,0xe0]
2076 @ CHECK: smulleq r8, r3, r4, r5 @ encoding: [0x94,0x85,0xc3,0x00]
2077 @ CHECK: smullseq r8, r3, r4, r3 @ encoding: [0x94,0x83,0xd3,0x00]
2080 @------------------------------------------------------------------------------
2082 @------------------------------------------------------------------------------
2086 @ CHECK: smulwb r3, r9, r0 @ encoding: [0xa9,0x00,0x23,0xe1]
2087 @ CHECK: smulwt r3, r9, r2 @ encoding: [0xe9,0x02,0x23,0xe1]
2090 @------------------------------------------------------------------------------
2092 @------------------------------------------------------------------------------
2098 @ CHECK: smusd r3, r0, r1 @ encoding: [0x50,0xf1,0x03,0xe7]
2099 @ CHECK: smusdx r3, r9, r2 @ encoding: [0x79,0xf2,0x03,0xe7]
2100 @ CHECK: smusdeq r8, r3, r2 @ encoding: [0x53,0xf2,0x08,0x07]
2101 @ CHECK: smusdxne r7, r4, r3 @ encoding: [0x74,0xf3,0x07,0x17]
2104 @------------------------------------------------------------------------------
2106 @------------------------------------------------------------------------------
2130 @ CHECK: srsda sp, #5 @ encoding: [0x05,0x05,0x4d,0xf8]
2131 @ CHECK: srsdb sp, #1 @ encoding: [0x01,0x05,0x4d,0xf9]
2132 @ CHECK: srsia sp, #0 @ encoding: [0x00,0x05,0xcd,0xf8]
2133 @ CHECK: srsib sp, #15 @ encoding: [0x0f,0x05,0xcd,0xf9]
2135 @ CHECK: srsda sp!, #31 @ encoding: [0x1f,0x05,0x6d,0xf8]
2136 @ CHECK: srsdb sp!, #19 @ encoding: [0x13,0x05,0x6d,0xf9]
2137 @ CHECK: srsia sp!, #2 @ encoding: [0x02,0x05,0xed,0xf8]
2138 @ CHECK: srsib sp!, #14 @ encoding: [0x0e,0x05,0xed,0xf9]
2140 @ CHECK: srsib sp, #11 @ encoding: [0x0b,0x05,0xcd,0xf9]
2141 @ CHECK: srsia sp, #10 @ encoding: [0x0a,0x05,0xcd,0xf8]
2142 @ CHECK: srsdb sp, #9 @ encoding: [0x09,0x05,0x4d,0xf9]
2143 @ CHECK: srsda sp, #5 @ encoding: [0x05,0x05,0x4d,0xf8]
2145 @ CHECK: srsib sp!, #5 @ encoding: [0x05,0x05,0xed,0xf9]
2146 @ CHECK: srsia sp!, #5 @ encoding: [0x05,0x05,0xed,0xf8]
2147 @ CHECK: srsdb sp!, #5 @ encoding: [0x05,0x05,0x6d,0xf9]
2148 @ CHECK: srsda sp!, #5 @ encoding: [0x05,0x05,0x6d,0xf8]
2150 @ CHECK: srsia sp, #5 @ encoding: [0x05,0x05,0xcd,0xf8]
2151 @ CHECK: srsia sp!, #5 @ encoding: [0x05,0x05,0xed,0xf8]
2153 @ Compatibility aliases.
2177 @ CHECK: srsda sp, #5 @ encoding: [0x05,0x05,0x4d,0xf8]
2178 @ CHECK: srsdb sp, #1 @ encoding: [0x01,0x05,0x4d,0xf9]
2179 @ CHECK: srsia sp, #0 @ encoding: [0x00,0x05,0xcd,0xf8]
2180 @ CHECK: srsib sp, #15 @ encoding: [0x0f,0x05,0xcd,0xf9]
2181 @ CHECK: srsda sp!, #31 @ encoding: [0x1f,0x05,0x6d,0xf8]
2182 @ CHECK: srsdb sp!, #19 @ encoding: [0x13,0x05,0x6d,0xf9]
2183 @ CHECK: srsia sp!, #2 @ encoding: [0x02,0x05,0xed,0xf8]
2184 @ CHECK: srsib sp!, #14 @ encoding: [0x0e,0x05,0xed,0xf9]
2185 @ CHECK: srsib sp, #11 @ encoding: [0x0b,0x05,0xcd,0xf9]
2186 @ CHECK: srsia sp, #10 @ encoding: [0x0a,0x05,0xcd,0xf8]
2187 @ CHECK: srsdb sp, #9 @ encoding: [0x09,0x05,0x4d,0xf9]
2188 @ CHECK: srsda sp, #5 @ encoding: [0x05,0x05,0x4d,0xf8]
2189 @ CHECK: srsib sp!, #5 @ encoding: [0x05,0x05,0xed,0xf9]
2190 @ CHECK: srsia sp!, #5 @ encoding: [0x05,0x05,0xed,0xf8]
2191 @ CHECK: srsdb sp!, #5 @ encoding: [0x05,0x05,0x6d,0xf9]
2192 @ CHECK: srsda sp!, #5 @ encoding: [0x05,0x05,0x6d,0xf8]
2193 @ CHECK: srsia sp, #5 @ encoding: [0x05,0x05,0xcd,0xf8]
2194 @ CHECK: srsia sp!, #5 @ encoding: [0x05,0x05,0xed,0xf8]
2197 @------------------------------------------------------------------------------
2199 @------------------------------------------------------------------------------
2201 ssat r8, #1, r10, lsl #0
2202 ssat r8, #1, r10, lsl #31
2203 ssat r8, #1, r10, asr #32
2204 ssat r8, #1, r10, asr #1
2206 @ CHECK: ssat r8, #1, r10 @ encoding: [0x1a,0x80,0xa0,0xe6]
2207 @ CHECK: ssat r8, #1, r10 @ encoding: [0x1a,0x80,0xa0,0xe6]
2208 @ CHECK: ssat r8, #1, r10, lsl #31 @ encoding: [0x9a,0x8f,0xa0,0xe6]
2209 @ CHECK: ssat r8, #1, r10, asr #32 @ encoding: [0x5a,0x80,0xa0,0xe6]
2210 @ CHECK: ssat r8, #1, r10, asr #1 @ encoding: [0xda,0x80,0xa0,0xe6]
2213 @------------------------------------------------------------------------------
2215 @------------------------------------------------------------------------------
2219 @ CHECK: ssat16 r2, #1, r7 @ encoding: [0x37,0x2f,0xa0,0xe6]
2220 @ CHECK: ssat16 r3, #16, r5 @ encoding: [0x35,0x3f,0xaf,0xe6]
2223 @------------------------------------------------------------------------------
2225 @------------------------------------------------------------------------------
2229 @ CHECK: ssax r2, r3, r4 @ encoding: [0x54,0x2f,0x13,0xe6]
2230 @ CHECK: ssaxlt r2, r3, r4 @ encoding: [0x54,0x2f,0x13,0xb6]
2232 @------------------------------------------------------------------------------
2234 @------------------------------------------------------------------------------
2240 @ CHECK: ssub16 r1, r0, r6 @ encoding: [0x76,0x1f,0x10,0xe6]
2241 @ CHECK: ssub16ne r5, r3, r2 @ encoding: [0x72,0x5f,0x13,0x16]
2242 @ CHECK: ssub8 r9, r2, r4 @ encoding: [0xf4,0x9f,0x12,0xe6]
2243 @ CHECK: ssub8eq r5, r1, r2 @ encoding: [0xf2,0x5f,0x11,0x06]
2245 @------------------------------------------------------------------------------
2247 @------------------------------------------------------------------------------
2248 stc2 p0, c8, [r1, #4]
2250 stc2 p2, c6, [r3, #-224]
2251 stc2 p3, c5, [r4, #-120]!
2252 stc2 p4, c4, [r5], #16
2253 stc2 p5, c3, [r6], #-72
2254 stc2l p6, c2, [r7, #4]
2256 stc2l p8, c0, [r9, #-224]
2257 stc2l p9, c1, [r10, #-120]!
2258 stc2l p0, c2, [r11], #16
2259 stc2l p1, c3, [r12], #-72
2261 stc p12, c4, [r0, #4]
2263 stc p14, c6, [r2, #-224]
2264 stc p15, c7, [r3, #-120]!
2265 stc p5, c8, [r4], #16
2266 stc p4, c9, [r5], #-72
2267 stcl p3, c10, [r6, #4]
2269 stcl p1, c12, [r8, #-224]
2270 stcl p0, c13, [r9, #-120]!
2271 stcl p6, c14, [r10], #16
2272 stcl p7, c15, [r11], #-72
2274 stclo p12, c4, [r0, #4]
2276 stccs p14, c6, [r2, #-224]
2277 stccc p15, c7, [r3, #-120]!
2278 stceq p5, c8, [r4], #16
2279 stcgt p4, c9, [r5], #-72
2280 stcllt p3, c10, [r6, #4]
2281 stclge p2, c11, [r7]
2282 stclle p1, c12, [r8, #-224]
2283 stclne p0, c13, [r9, #-120]!
2284 stcleq p6, c14, [r10], #16
2285 stclhi p7, c15, [r11], #-72
2287 stc2 p2, c8, [r1], { 25 }
2289 @ CHECK: stc2 p0, c8, [r1, #4] @ encoding: [0x01,0x80,0x81,0xfd]
2290 @ CHECK: stc2 p1, c7, [r2] @ encoding: [0x00,0x71,0x82,0xfd]
2291 @ CHECK: stc2 p2, c6, [r3, #-224] @ encoding: [0x38,0x62,0x03,0xfd]
2292 @ CHECK: stc2 p3, c5, [r4, #-120]! @ encoding: [0x1e,0x53,0x24,0xfd]
2293 @ CHECK: stc2 p4, c4, [r5], #16 @ encoding: [0x04,0x44,0xa5,0xfc]
2294 @ CHECK: stc2 p5, c3, [r6], #-72 @ encoding: [0x12,0x35,0x26,0xfc]
2295 @ CHECK: stc2l p6, c2, [r7, #4] @ encoding: [0x01,0x26,0xc7,0xfd]
2296 @ CHECK: stc2l p7, c1, [r8] @ encoding: [0x00,0x17,0xc8,0xfd]
2297 @ CHECK: stc2l p8, c0, [r9, #-224] @ encoding: [0x38,0x08,0x49,0xfd]
2298 @ CHECK: stc2l p9, c1, [r10, #-120]! @ encoding: [0x1e,0x19,0x6a,0xfd]
2299 @ CHECK: stc2l p0, c2, [r11], #16 @ encoding: [0x04,0x20,0xeb,0xfc]
2300 @ CHECK: stc2l p1, c3, [r12], #-72 @ encoding: [0x12,0x31,0x6c,0xfc]
2302 @ CHECK: stc p12, c4, [r0, #4] @ encoding: [0x01,0x4c,0x80,0xed]
2303 @ CHECK: stc p13, c5, [r1] @ encoding: [0x00,0x5d,0x81,0xed]
2304 @ CHECK: stc p14, c6, [r2, #-224] @ encoding: [0x38,0x6e,0x02,0xed]
2305 @ CHECK: stc p15, c7, [r3, #-120]! @ encoding: [0x1e,0x7f,0x23,0xed]
2306 @ CHECK: stc p5, c8, [r4], #16 @ encoding: [0x04,0x85,0xa4,0xec]
2307 @ CHECK: stc p4, c9, [r5], #-72 @ encoding: [0x12,0x94,0x25,0xec]
2308 @ CHECK: stcl p3, c10, [r6, #4] @ encoding: [0x01,0xa3,0xc6,0xed]
2309 @ CHECK: stcl p2, c11, [r7] @ encoding: [0x00,0xb2,0xc7,0xed]
2310 @ CHECK: stcl p1, c12, [r8, #-224] @ encoding: [0x38,0xc1,0x48,0xed]
2311 @ CHECK: stcl p0, c13, [r9, #-120]! @ encoding: [0x1e,0xd0,0x69,0xed]
2312 @ CHECK: stcl p6, c14, [r10], #16 @ encoding: [0x04,0xe6,0xea,0xec]
2313 @ CHECK: stcl p7, c15, [r11], #-72 @ encoding: [0x12,0xf7,0x6b,0xec]
2315 @ CHECK: stclo p12, c4, [r0, #4] @ encoding: [0x01,0x4c,0x80,0x3d]
2316 @ CHECK: stchi p13, c5, [r1] @ encoding: [0x00,0x5d,0x81,0x8d]
2317 @ CHECK: stchs p14, c6, [r2, #-224] @ encoding: [0x38,0x6e,0x02,0x2d]
2318 @ CHECK: stclo p15, c7, [r3, #-120]! @ encoding: [0x1e,0x7f,0x23,0x3d]
2319 @ CHECK: stceq p5, c8, [r4], #16 @ encoding: [0x04,0x85,0xa4,0x0c]
2320 @ CHECK: stcgt p4, c9, [r5], #-72 @ encoding: [0x12,0x94,0x25,0xcc]
2321 @ CHECK: stcllt p3, c10, [r6, #4] @ encoding: [0x01,0xa3,0xc6,0xbd]
2322 @ CHECK: stclge p2, c11, [r7] @ encoding: [0x00,0xb2,0xc7,0xad]
2323 @ CHECK: stclle p1, c12, [r8, #-224] @ encoding: [0x38,0xc1,0x48,0xdd]
2324 @ CHECK: stclne p0, c13, [r9, #-120]! @ encoding: [0x1e,0xd0,0x69,0x1d]
2325 @ CHECK: stcleq p6, c14, [r10], #16 @ encoding: [0x04,0xe6,0xea,0x0c]
2326 @ CHECK: stclhi p7, c15, [r11], #-72 @ encoding: [0x12,0xf7,0x6b,0x8c]
2328 @ CHECK: stc2 p2, c8, [r1], {25} @ encoding: [0x19,0x82,0x81,0xfc]
2331 @------------------------------------------------------------------------------
2333 @------------------------------------------------------------------------------
2334 stm r2, {r1,r3-r6,sp}
2335 stmia r3, {r1,r3-r6,lr}
2336 stmib r4, {r1,r3-r6,sp}
2337 stmda r5, {r1,r3-r6,sp}
2338 stmdb r6, {r1,r3-r6,r8}
2339 stmfd sp, {r1,r3-r6,sp}
2342 stm r8!, {r1,r3-r6,sp}
2343 stmib r9!, {r1,r3-r6,sp}
2344 stmda sp!, {r1,r3-r6}
2345 stmdb r0!, {r1,r5,r7,sp}
2347 @ CHECK: stm r2, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x82,0xe8]
2348 @ CHECK: stm r3, {r1, r3, r4, r5, r6, lr} @ encoding: [0x7a,0x40,0x83,0xe8]
2349 @ CHECK: stmib r4, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x84,0xe9]
2350 @ CHECK: stmda r5, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x05,0xe8]
2351 @ CHECK: stmdb r6, {r1, r3, r4, r5, r6, r8} @ encoding: [0x7a,0x01,0x06,0xe9]
2352 @ CHECK: stmdb sp, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0x0d,0xe9]
2354 @ CHECK: stm r8!, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0xa8,0xe8]
2355 @ CHECK: stmib r9!, {r1, r3, r4, r5, r6, sp} @ encoding: [0x7a,0x20,0xa9,0xe9]
2356 @ CHECK: stmda sp!, {r1, r3, r4, r5, r6} @ encoding: [0x7a,0x00,0x2d,0xe8]
2357 @ CHECK: stmdb r0!, {r1, r5, r7, sp} @ encoding: [0xa2,0x20,0x20,0xe9]
2360 @------------------------------------------------------------------------------
2361 @ STREX/STREXB/STREXH/STREXD
2362 @------------------------------------------------------------------------------
2366 strexd r6, r2, r3, [r8]
2368 @ CHECK: strexb r1, r3, [r4] @ encoding: [0x93,0x1f,0xc4,0xe1]
2369 @ CHECK: strexh r4, r2, [r5] @ encoding: [0x92,0x4f,0xe5,0xe1]
2370 @ CHECK: strex r2, r1, [r7] @ encoding: [0x91,0x2f,0x87,0xe1]
2371 @ CHECK: strexd r6, r2, r3, [r8] @ encoding: [0x92,0x6f,0xa8,0xe1]
2373 @------------------------------------------------------------------------------
2375 @------------------------------------------------------------------------------
2376 strpl r3, [r10, #-0]!
2377 strpl r3, [r10, #0]!
2379 @ CHECK: strpl r3, [r10, #-0]! @ encoding: [0x00,0x30,0x2a,0x55]
2380 @ CHECK: strpl r3, [r10, #0]! @ encoding: [0x00,0x30,0xaa,0x55]
2382 @------------------------------------------------------------------------------
2384 @------------------------------------------------------------------------------
2387 sub r4, r5, r6, lsl #5
2388 sub r4, r5, r6, lsr #5
2389 sub r4, r5, r6, lsr #5
2390 sub r4, r5, r6, asr #5
2391 sub r4, r5, r6, ror #5
2392 sub r6, r7, r8, lsl r9
2393 sub r6, r7, r8, lsr r9
2394 sub r6, r7, r8, asr r9
2395 sub r6, r7, r8, ror r9
2397 @ destination register is optional
2410 @ CHECK: sub r4, r5, #61440 @ encoding: [0x0f,0x4a,0x45,0xe2]
2411 @ CHECK: sub r4, r5, r6 @ encoding: [0x06,0x40,0x45,0xe0]
2412 @ CHECK: sub r4, r5, r6, lsl #5 @ encoding: [0x86,0x42,0x45,0xe0]
2413 @ CHECK: sub r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0x45,0xe0]
2414 @ CHECK: sub r4, r5, r6, lsr #5 @ encoding: [0xa6,0x42,0x45,0xe0]
2415 @ CHECK: sub r4, r5, r6, asr #5 @ encoding: [0xc6,0x42,0x45,0xe0]
2416 @ CHECK: sub r4, r5, r6, ror #5 @ encoding: [0xe6,0x42,0x45,0xe0]
2417 @ CHECK: sub r6, r7, r8, lsl r9 @ encoding: [0x18,0x69,0x47,0xe0]
2418 @ CHECK: sub r6, r7, r8, lsr r9 @ encoding: [0x38,0x69,0x47,0xe0]
2419 @ CHECK: sub r6, r7, r8, asr r9 @ encoding: [0x58,0x69,0x47,0xe0]
2420 @ CHECK: sub r6, r7, r8, ror r9 @ encoding: [0x78,0x69,0x47,0xe0]
2423 @ CHECK: sub r5, r5, #61440 @ encoding: [0x0f,0x5a,0x45,0xe2]
2424 @ CHECK: sub r4, r4, r5 @ encoding: [0x05,0x40,0x44,0xe0]
2425 @ CHECK: sub r4, r4, r5, lsl #5 @ encoding: [0x85,0x42,0x44,0xe0]
2426 @ CHECK: sub r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0x44,0xe0]
2427 @ CHECK: sub r4, r4, r5, lsr #5 @ encoding: [0xa5,0x42,0x44,0xe0]
2428 @ CHECK: sub r4, r4, r5, asr #5 @ encoding: [0xc5,0x42,0x44,0xe0]
2429 @ CHECK: sub r4, r4, r5, ror #5 @ encoding: [0xe5,0x42,0x44,0xe0]
2430 @ CHECK: sub r6, r6, r7, lsl r9 @ encoding: [0x17,0x69,0x46,0xe0]
2431 @ CHECK: sub r6, r6, r7, lsr r9 @ encoding: [0x37,0x69,0x46,0xe0]
2432 @ CHECK: sub r6, r6, r7, asr r9 @ encoding: [0x57,0x69,0x46,0xe0]
2433 @ CHECK: sub r6, r6, r7, ror r9 @ encoding: [0x77,0x69,0x46,0xe0]
2435 @ Test right shift by 32, which is encoded as 0
2436 sub r3, r1, r2, lsr #32
2437 sub r3, r1, r2, asr #32
2438 @ CHECK: sub r3, r1, r2, lsr #32 @ encoding: [0x22,0x30,0x41,0xe0]
2439 @ CHECK: sub r3, r1, r2, asr #32 @ encoding: [0x42,0x30,0x41,0xe0]
2441 @------------------------------------------------------------------------------
2443 @------------------------------------------------------------------------------
2448 @ CHECK: svc #16 @ encoding: [0x10,0x00,0x00,0xef]
2449 @ CHECK: svc #0 @ encoding: [0x00,0x00,0x00,0xef]
2450 @ CHECK: svc #16777215 @ encoding: [0xff,0xff,0xff,0xef]
2453 @------------------------------------------------------------------------------
2455 @------------------------------------------------------------------------------
2460 @ CHECK: swp r1, r2, [r3] @ encoding: [0x92,0x10,0x03,0xe1]
2461 @ CHECK: swp r4, r4, [r6] @ encoding: [0x94,0x40,0x06,0xe1]
2462 @ CHECK: swpb r5, r1, [r9] @ encoding: [0x91,0x50,0x49,0xe1]
2465 @------------------------------------------------------------------------------
2467 @------------------------------------------------------------------------------
2469 sxtab r4, r5, r6, ror #0
2470 sxtablt r6, r2, r9, ror #8
2471 sxtab r5, r1, r4, ror #16
2472 sxtab r7, r8, r3, ror #24
2474 @ CHECK: sxtab r2, r3, r4 @ encoding: [0x74,0x20,0xa3,0xe6]
2475 @ CHECK: sxtab r4, r5, r6 @ encoding: [0x76,0x40,0xa5,0xe6]
2476 @ CHECK: sxtablt r6, r2, r9, ror #8 @ encoding: [0x79,0x64,0xa2,0xb6]
2477 @ CHECK: sxtab r5, r1, r4, ror #16 @ encoding: [0x74,0x58,0xa1,0xe6]
2478 @ CHECK: sxtab r7, r8, r3, ror #24 @ encoding: [0x73,0x7c,0xa8,0xe6]
2481 @------------------------------------------------------------------------------
2483 @------------------------------------------------------------------------------
2484 sxtab16ge r0, r1, r4
2485 sxtab16 r6, r2, r7, ror #0
2486 sxtab16 r3, r5, r8, ror #8
2487 sxtab16 r3, r2, r1, ror #16
2488 sxtab16eq r1, r2, r3, ror #24
2490 @ CHECK: sxtab16ge r0, r1, r4 @ encoding: [0x74,0x00,0x81,0xa6]
2491 @ CHECK: sxtab16 r6, r2, r7 @ encoding: [0x77,0x60,0x82,0xe6]
2492 @ CHECK: sxtab16 r3, r5, r8, ror #8 @ encoding: [0x78,0x34,0x85,0xe6]
2493 @ CHECK: sxtab16 r3, r2, r1, ror #16 @ encoding: [0x71,0x38,0x82,0xe6]
2494 @ CHECK: sxtab16eq r1, r2, r3, ror #24 @ encoding: [0x73,0x1c,0x82,0x06]
2496 @------------------------------------------------------------------------------
2498 @------------------------------------------------------------------------------
2500 sxtahhi r6, r1, r6, ror #0
2501 sxtah r3, r8, r3, ror #8
2502 sxtahlo r2, r2, r4, ror #16
2503 sxtah r9, r3, r3, ror #24
2505 @ CHECK: sxtah r1, r3, r9 @ encoding: [0x79,0x10,0xb3,0xe6]
2506 @ CHECK: sxtahhi r6, r1, r6 @ encoding: [0x76,0x60,0xb1,0x86]
2507 @ CHECK: sxtah r3, r8, r3, ror #8 @ encoding: [0x73,0x34,0xb8,0xe6]
2508 @ CHECK: sxtahlo r2, r2, r4, ror #16 @ encoding: [0x74,0x28,0xb2,0x36]
2509 @ CHECK: sxtah r9, r3, r3, ror #24 @ encoding: [0x73,0x9c,0xb3,0xe6]
2511 @------------------------------------------------------------------------------
2513 @------------------------------------------------------------------------------
2517 sxtbcc r5, r1, ror #16
2518 sxtb r8, r3, ror #24
2520 @ CHECK: sxtbge r2, r4 @ encoding: [0x74,0x20,0xaf,0xa6]
2521 @ CHECK: sxtb r5, r6 @ encoding: [0x76,0x50,0xaf,0xe6]
2522 @ CHECK: sxtb r6, r9, ror #8 @ encoding: [0x79,0x64,0xaf,0xe6]
2523 @ CHECK: sxtblo r5, r1, ror #16 @ encoding: [0x71,0x58,0xaf,0x36]
2524 @ CHECK: sxtb r8, r3, ror #24 @ encoding: [0x73,0x8c,0xaf,0xe6]
2527 @------------------------------------------------------------------------------
2529 @------------------------------------------------------------------------------
2531 sxtb16 r6, r7, ror #0
2532 sxtb16cs r3, r5, ror #8
2533 sxtb16 r3, r1, ror #16
2534 sxtb16ge r2, r3, ror #24
2536 @ CHECK: sxtb16 r1, r4 @ encoding: [0x74,0x10,0x8f,0xe6]
2537 @ CHECK: sxtb16 r6, r7 @ encoding: [0x77,0x60,0x8f,0xe6]
2538 @ CHECK: sxtb16hs r3, r5, ror #8 @ encoding: [0x75,0x34,0x8f,0x26]
2539 @ CHECK: sxtb16 r3, r1, ror #16 @ encoding: [0x71,0x38,0x8f,0xe6]
2540 @ CHECK: sxtb16ge r2, r3, ror #24 @ encoding: [0x73,0x2c,0x8f,0xa6]
2543 @------------------------------------------------------------------------------
2545 @------------------------------------------------------------------------------
2549 sxthle r2, r2, ror #16
2550 sxth r9, r3, ror #24
2552 @ CHECK: sxthne r3, r9 @ encoding: [0x79,0x30,0xbf,0x16]
2553 @ CHECK: sxth r1, r6 @ encoding: [0x76,0x10,0xbf,0xe6]
2554 @ CHECK: sxth r3, r8, ror #8 @ encoding: [0x78,0x34,0xbf,0xe6]
2555 @ CHECK: sxthle r2, r2, ror #16 @ encoding: [0x72,0x28,0xbf,0xd6]
2556 @ CHECK: sxth r9, r3, ror #24 @ encoding: [0x73,0x9c,0xbf,0xe6]
2559 @------------------------------------------------------------------------------
2561 @------------------------------------------------------------------------------
2574 @ CHECK: teq r5, #61440 @ encoding: [0x0f,0x0a,0x35,0xe3]
2575 @ CHECK: teq r4, r5 @ encoding: [0x05,0x00,0x34,0xe1]
2576 @ CHECK: teq r4, r5, lsl #5 @ encoding: [0x85,0x02,0x34,0xe1]
2577 @ CHECK: teq r4, r5, lsr #5 @ encoding: [0xa5,0x02,0x34,0xe1]
2578 @ CHECK: teq r4, r5, lsr #5 @ encoding: [0xa5,0x02,0x34,0xe1]
2579 @ CHECK: teq r4, r5, asr #5 @ encoding: [0xc5,0x02,0x34,0xe1]
2580 @ CHECK: teq r4, r5, ror #5 @ encoding: [0xe5,0x02,0x34,0xe1]
2581 @ CHECK: teq r6, r7, lsl r9 @ encoding: [0x17,0x09,0x36,0xe1]
2582 @ CHECK: teq r6, r7, lsr r9 @ encoding: [0x37,0x09,0x36,0xe1]
2583 @ CHECK: teq r6, r7, asr r9 @ encoding: [0x57,0x09,0x36,0xe1]
2584 @ CHECK: teq r6, r7, ror r9 @ encoding: [0x77,0x09,0x36,0xe1]
2587 @------------------------------------------------------------------------------
2589 @------------------------------------------------------------------------------
2602 @ CHECK: tst r5, #61440 @ encoding: [0x0f,0x0a,0x15,0xe3]
2603 @ CHECK: tst r4, r5 @ encoding: [0x05,0x00,0x14,0xe1]
2604 @ CHECK: tst r4, r5, lsl #5 @ encoding: [0x85,0x02,0x14,0xe1]
2605 @ CHECK: tst r4, r5, lsr #5 @ encoding: [0xa5,0x02,0x14,0xe1]
2606 @ CHECK: tst r4, r5, lsr #5 @ encoding: [0xa5,0x02,0x14,0xe1]
2607 @ CHECK: tst r4, r5, asr #5 @ encoding: [0xc5,0x02,0x14,0xe1]
2608 @ CHECK: tst r4, r5, ror #5 @ encoding: [0xe5,0x02,0x14,0xe1]
2609 @ CHECK: tst r6, r7, lsl r9 @ encoding: [0x17,0x09,0x16,0xe1]
2610 @ CHECK: tst r6, r7, lsr r9 @ encoding: [0x37,0x09,0x16,0xe1]
2611 @ CHECK: tst r6, r7, asr r9 @ encoding: [0x57,0x09,0x16,0xe1]
2612 @ CHECK: tst r6, r7, ror r9 @ encoding: [0x77,0x09,0x16,0xe1]
2615 @------------------------------------------------------------------------------
2617 @------------------------------------------------------------------------------
2623 @ CHECK: uadd16 r1, r2, r3 @ encoding: [0x13,0x1f,0x52,0xe6]
2624 @ CHECK: uadd16gt r1, r2, r3 @ encoding: [0x13,0x1f,0x52,0xc6]
2625 @ CHECK: uadd8 r1, r2, r3 @ encoding: [0x93,0x1f,0x52,0xe6]
2626 @ CHECK: uadd8le r1, r2, r3 @ encoding: [0x93,0x1f,0x52,0xd6]
2629 @------------------------------------------------------------------------------
2631 @------------------------------------------------------------------------------
2635 @ CHECK: uasx r9, r12, r0 @ encoding: [0x30,0x9f,0x5c,0xe6]
2636 @ CHECK: uasxeq r9, r12, r0 @ encoding: [0x30,0x9f,0x5c,0x06]
2639 @------------------------------------------------------------------------------
2641 @------------------------------------------------------------------------------
2642 ubfx r4, r5, #16, #1
2643 ubfxgt r4, r5, #16, #16
2645 @ CHECK: ubfx r4, r5, #16, #1 @ encoding: [0x55,0x48,0xe0,0xe7]
2646 @ CHECK: ubfxgt r4, r5, #16, #16 @ encoding: [0x55,0x48,0xef,0xc7]
2649 @------------------------------------------------------------------------------
2651 @------------------------------------------------------------------------------
2653 uhadd16gt r4, r8, r2
2657 @ CHECK: uhadd16 r4, r8, r2 @ encoding: [0x12,0x4f,0x78,0xe6]
2658 @ CHECK: uhadd16gt r4, r8, r2 @ encoding: [0x12,0x4f,0x78,0xc6]
2659 @ CHECK: uhadd8 r4, r8, r2 @ encoding: [0x92,0x4f,0x78,0xe6]
2660 @ CHECK: uhadd8gt r4, r8, r2 @ encoding: [0x92,0x4f,0x78,0xc6]
2663 @------------------------------------------------------------------------------
2665 @------------------------------------------------------------------------------
2669 @ CHECK: uhasx r4, r8, r2 @ encoding: [0x32,0x4f,0x78,0xe6]
2670 @ CHECK: uhasxgt r4, r8, r2 @ encoding: [0x32,0x4f,0x78,0xc6]
2673 @------------------------------------------------------------------------------
2675 @------------------------------------------------------------------------------
2677 uhsub16gt r4, r8, r2
2681 @ CHECK: uhsub16 r4, r8, r2 @ encoding: [0x72,0x4f,0x78,0xe6]
2682 @ CHECK: uhsub16gt r4, r8, r2 @ encoding: [0x72,0x4f,0x78,0xc6]
2683 @ CHECK: uhsub8 r4, r8, r2 @ encoding: [0xf2,0x4f,0x78,0xe6]
2684 @ CHECK: uhsub8gt r4, r8, r2 @ encoding: [0xf2,0x4f,0x78,0xc6]
2687 @------------------------------------------------------------------------------
2689 @------------------------------------------------------------------------------
2690 umaal r3, r4, r5, r6
2691 umaallt r3, r4, r5, r6
2693 @ CHECK: umaal r3, r4, r5, r6 @ encoding: [0x95,0x36,0x44,0xe0]
2694 @ CHECK: umaallt r3, r4, r5, r6 @ encoding: [0x95,0x36,0x44,0xb0]
2697 @------------------------------------------------------------------------------
2699 @------------------------------------------------------------------------------
2700 umlal r2, r4, r6, r8
2701 umlalgt r6, r1, r2, r6
2702 umlals r2, r9, r2, r3
2703 umlalseq r3, r5, r1, r2
2705 @ CHECK: umlal r2, r4, r6, r8 @ encoding: [0x96,0x28,0xa4,0xe0]
2706 @ CHECK: umlalgt r6, r1, r2, r6 @ encoding: [0x92,0x66,0xa1,0xc0]
2707 @ CHECK: umlals r2, r9, r2, r3 @ encoding: [0x92,0x23,0xb9,0xe0]
2708 @ CHECK: umlalseq r3, r5, r1, r2 @ encoding: [0x91,0x32,0xb5,0x00]
2711 @------------------------------------------------------------------------------
2713 @------------------------------------------------------------------------------
2714 umull r2, r4, r6, r8
2715 umullgt r6, r1, r2, r6
2716 umulls r2, r9, r2, r3
2717 umullseq r3, r5, r1, r2
2719 @ CHECK: umull r2, r4, r6, r8 @ encoding: [0x96,0x28,0x84,0xe0]
2720 @ CHECK: umullgt r6, r1, r2, r6 @ encoding: [0x92,0x66,0x81,0xc0]
2721 @ CHECK: umulls r2, r9, r2, r3 @ encoding: [0x92,0x23,0x99,0xe0]
2722 @ CHECK: umullseq r3, r5, r1, r2 @ encoding: [0x91,0x32,0x95,0x00]
2725 @------------------------------------------------------------------------------
2727 @------------------------------------------------------------------------------
2729 uqadd16gt r4, r7, r9
2734 @ CHECK: uqadd16 r1, r2, r3 @ encoding: [0x13,0x1f,0x62,0xe6]
2735 @ CHECK: uqadd16gt r4, r7, r9 @ encoding: [0x19,0x4f,0x67,0xc6]
2736 @ CHECK: uqadd8 r3, r4, r8 @ encoding: [0x98,0x3f,0x64,0xe6]
2737 @ CHECK: uqadd8le r8, r1, r2 @ encoding: [0x92,0x8f,0x61,0xd6]
2740 @------------------------------------------------------------------------------
2742 @------------------------------------------------------------------------------
2746 @ CHECK: uqasx r2, r4, r1 @ encoding: [0x31,0x2f,0x64,0xe6]
2747 @ CHECK: uqasxhi r5, r2, r9 @ encoding: [0x39,0x5f,0x62,0x86]
2750 @------------------------------------------------------------------------------
2752 @------------------------------------------------------------------------------
2756 @ CHECK: uqsax r1, r3, r7 @ encoding: [0x57,0x1f,0x63,0xe6]
2757 @ CHECK: uqsax r3, r6, r2 @ encoding: [0x52,0x3f,0x66,0xe6]
2760 @------------------------------------------------------------------------------
2762 @------------------------------------------------------------------------------
2764 uqsub16gt r3, r2, r5
2768 @ CHECK: uqsub16 r1, r5, r3 @ encoding: [0x73,0x1f,0x65,0xe6]
2769 @ CHECK: uqsub16gt r3, r2, r5 @ encoding: [0x75,0x3f,0x62,0xc6]
2770 @ CHECK: uqsub8 r2, r1, r4 @ encoding: [0xf4,0x2f,0x61,0xe6]
2771 @ CHECK: uqsub8le r4, r6, r9 @ encoding: [0xf9,0x4f,0x66,0xd6]
2774 @------------------------------------------------------------------------------
2776 @------------------------------------------------------------------------------
2779 usada8 r1, r5, r3, r7
2780 usada8gt r3, r2, r5, r1
2782 @ CHECK: usad8 r2, r1, r4 @ encoding: [0x11,0xf4,0x82,0xe7]
2783 @ CHECK: usad8le r4, r6, r9 @ encoding: [0x16,0xf9,0x84,0xd7]
2784 @ CHECK: usada8 r1, r5, r3, r7 @ encoding: [0x15,0x73,0x81,0xe7]
2785 @ CHECK: usada8gt r3, r2, r5, r1 @ encoding: [0x12,0x15,0x83,0xc7]
2788 @------------------------------------------------------------------------------
2790 @------------------------------------------------------------------------------
2792 usat r8, #4, r10, lsl #0
2793 usat r8, #5, r10, lsl #31
2794 usat r8, #31, r10, asr #32
2795 usat r8, #16, r10, asr #1
2797 @ CHECK: usat r8, #1, r10 @ encoding: [0x1a,0x80,0xe1,0xe6]
2798 @ CHECK: usat r8, #4, r10 @ encoding: [0x1a,0x80,0xe4,0xe6]
2799 @ CHECK: usat r8, #5, r10, lsl #31 @ encoding: [0x9a,0x8f,0xe5,0xe6]
2800 @ CHECK: usat r8, #31, r10, asr #32 @ encoding: [0x5a,0x80,0xff,0xe6]
2801 @ CHECK: usat r8, #16, r10, asr #1 @ encoding: [0xda,0x80,0xf0,0xe6]
2804 @------------------------------------------------------------------------------
2806 @------------------------------------------------------------------------------
2810 @ CHECK: usat16 r2, #2, r7 @ encoding: [0x37,0x2f,0xe2,0xe6]
2811 @ CHECK: usat16 r3, #15, r5 @ encoding: [0x35,0x3f,0xef,0xe6]
2814 @------------------------------------------------------------------------------
2816 @------------------------------------------------------------------------------
2820 @ CHECK: usax r2, r3, r4 @ encoding: [0x54,0x2f,0x53,0xe6]
2821 @ CHECK: usaxne r2, r3, r4 @ encoding: [0x54,0x2f,0x53,0x16]
2823 @------------------------------------------------------------------------------
2825 @------------------------------------------------------------------------------
2831 @ CHECK: usub16 r4, r2, r7 @ encoding: [0x77,0x4f,0x52,0xe6]
2832 @ CHECK: usub16hi r1, r1, r3 @ encoding: [0x73,0x1f,0x51,0x86]
2833 @ CHECK: usub8 r1, r8, r5 @ encoding: [0xf5,0x1f,0x58,0xe6]
2834 @ CHECK: usub8le r9, r2, r3 @ encoding: [0xf3,0x9f,0x52,0xd6]
2837 @------------------------------------------------------------------------------
2839 @------------------------------------------------------------------------------
2841 uxtab r4, r5, r6, ror #0
2842 uxtablt r6, r2, r9, ror #8
2843 uxtab r5, r1, r4, ror #16
2844 uxtab r7, r8, r3, ror #24
2846 @ CHECK: uxtab r2, r3, r4 @ encoding: [0x74,0x20,0xe3,0xe6]
2847 @ CHECK: uxtab r4, r5, r6 @ encoding: [0x76,0x40,0xe5,0xe6]
2848 @ CHECK: uxtablt r6, r2, r9, ror #8 @ encoding: [0x79,0x64,0xe2,0xb6]
2849 @ CHECK: uxtab r5, r1, r4, ror #16 @ encoding: [0x74,0x58,0xe1,0xe6]
2850 @ CHECK: uxtab r7, r8, r3, ror #24 @ encoding: [0x73,0x7c,0xe8,0xe6]
2853 @------------------------------------------------------------------------------
2855 @------------------------------------------------------------------------------
2856 uxtab16ge r0, r1, r4
2857 uxtab16 r6, r2, r7, ror #0
2858 uxtab16 r3, r5, r8, ror #8
2859 uxtab16 r3, r2, r1, ror #16
2860 uxtab16eq r1, r2, r3, ror #24
2862 @ CHECK: uxtab16ge r0, r1, r4 @ encoding: [0x74,0x00,0xc1,0xa6]
2863 @ CHECK: uxtab16 r6, r2, r7 @ encoding: [0x77,0x60,0xc2,0xe6]
2864 @ CHECK: uxtab16 r3, r5, r8, ror #8 @ encoding: [0x78,0x34,0xc5,0xe6]
2865 @ CHECK: uxtab16 r3, r2, r1, ror #16 @ encoding: [0x71,0x38,0xc2,0xe6]
2866 @ CHECK: uxtab16eq r1, r2, r3, ror #24 @ encoding: [0x73,0x1c,0xc2,0x06]
2869 @------------------------------------------------------------------------------
2871 @------------------------------------------------------------------------------
2873 uxtahhi r6, r1, r6, ror #0
2874 uxtah r3, r8, r3, ror #8
2875 uxtahlo r2, r2, r4, ror #16
2876 uxtah r9, r3, r3, ror #24
2878 @ CHECK: uxtah r1, r3, r9 @ encoding: [0x79,0x10,0xf3,0xe6]
2879 @ CHECK: uxtahhi r6, r1, r6 @ encoding: [0x76,0x60,0xf1,0x86]
2880 @ CHECK: uxtah r3, r8, r3, ror #8 @ encoding: [0x73,0x34,0xf8,0xe6]
2881 @ CHECK: uxtahlo r2, r2, r4, ror #16 @ encoding: [0x74,0x28,0xf2,0x36]
2882 @ CHECK: uxtah r9, r3, r3, ror #24 @ encoding: [0x73,0x9c,0xf3,0xe6]
2884 @------------------------------------------------------------------------------
2886 @------------------------------------------------------------------------------
2890 uxtbcc r5, r1, ror #16
2891 uxtb r8, r3, ror #24
2893 @ CHECK: uxtbge r2, r4 @ encoding: [0x74,0x20,0xef,0xa6]
2894 @ CHECK: uxtb r5, r6 @ encoding: [0x76,0x50,0xef,0xe6]
2895 @ CHECK: uxtb r6, r9, ror #8 @ encoding: [0x79,0x64,0xef,0xe6]
2896 @ CHECK: uxtblo r5, r1, ror #16 @ encoding: [0x71,0x58,0xef,0x36]
2897 @ CHECK: uxtb r8, r3, ror #24 @ encoding: [0x73,0x8c,0xef,0xe6]
2900 @------------------------------------------------------------------------------
2902 @------------------------------------------------------------------------------
2904 uxtb16 r6, r7, ror #0
2905 uxtb16cs r3, r5, ror #8
2906 uxtb16 r3, r1, ror #16
2907 uxtb16ge r2, r3, ror #24
2909 @ CHECK: uxtb16 r1, r4 @ encoding: [0x74,0x10,0xcf,0xe6]
2910 @ CHECK: uxtb16 r6, r7 @ encoding: [0x77,0x60,0xcf,0xe6]
2911 @ CHECK: uxtb16hs r3, r5, ror #8 @ encoding: [0x75,0x34,0xcf,0x26]
2912 @ CHECK: uxtb16 r3, r1, ror #16 @ encoding: [0x71,0x38,0xcf,0xe6]
2913 @ CHECK: uxtb16ge r2, r3, ror #24 @ encoding: [0x73,0x2c,0xcf,0xa6]
2916 @------------------------------------------------------------------------------
2918 @------------------------------------------------------------------------------
2922 uxthle r2, r2, ror #16
2923 uxth r9, r3, ror #24
2925 @ CHECK: uxthne r3, r9 @ encoding: [0x79,0x30,0xff,0x16]
2926 @ CHECK: uxth r1, r6 @ encoding: [0x76,0x10,0xff,0xe6]
2927 @ CHECK: uxth r3, r8, ror #8 @ encoding: [0x78,0x34,0xff,0xe6]
2928 @ CHECK: uxthle r2, r2, ror #16 @ encoding: [0x72,0x28,0xff,0xd6]
2929 @ CHECK: uxth r9, r3, ror #24 @ encoding: [0x73,0x9c,0xff,0xe6]
2932 @------------------------------------------------------------------------------
2934 @------------------------------------------------------------------------------
2948 @ CHECK: wfe @ encoding: [0x02,0xf0,0x20,0xe3]
2949 @ CHECK: wfehi @ encoding: [0x02,0xf0,0x20,0x83]
2950 @ CHECK: wfi @ encoding: [0x03,0xf0,0x20,0xe3]
2951 @ CHECK: wfilt @ encoding: [0x03,0xf0,0x20,0xb3]
2952 @ CHECK: yield @ encoding: [0x01,0xf0,0x20,0xe3]
2953 @ CHECK: yieldne @ encoding: [0x01,0xf0,0x20,0x13]
2954 @ CHECK: sev @ encoding: [0x04,0xf0,0x20,0xe3]
2955 @ CHECK: wfi @ encoding: [0x03,0xf0,0x20,0xe3]
2956 @ CHECK: wfe @ encoding: [0x02,0xf0,0x20,0xe3]
2957 @ CHECK: yield @ encoding: [0x01,0xf0,0x20,0xe3]
2958 @ CHECK: nop @ encoding: [0x00,0xf0,0x20,0xe3]
2959 @ CHECK: hintgt #239 @ encoding: [0xef,0xf0,0x20,0xc3]