basic-thumb2-instructions.s revision 8d11c6349f9bf276534907245946518042c1bb60 
1@ RUN: llvm-mc -triple=thumbv7-apple-darwin -show-encoding < %s | FileCheck %s
2  .syntax unified
3  .globl _func
4
5@ Check that the assembler can handle the documented syntax from the ARM ARM.
6@ For complex constructs like shifter operands, check more thoroughly for them
7@ once then spot check that following instructions accept the form generally.
8@ This gives us good coverage while keeping the overall size of the test
9@ more reasonable.
10
11
12@ FIXME: Some 3-operand instructions have a 2-operand assembly syntax.
13
14_func:
15@ CHECK: _func
16
17@------------------------------------------------------------------------------
18@ ADC (immediate)
19@------------------------------------------------------------------------------
20        adc r0, r1, #4
21        adcs r0, r1, #0
22        adc r1, r2, #255
23        adc r3, r7, #0x00550055
24        adc r8, r12, #0xaa00aa00
25        adc r9, r7, #0xa5a5a5a5
26        adc r5, r3, #0x87000000
27        adc r4, r2, #0x7f800000
28        adc r4, r2, #0x00000680
29
30@ CHECK: adc	r0, r1, #4              @ encoding: [0x41,0xf1,0x04,0x00]
31@ CHECK: adcs	r0, r1, #0              @ encoding: [0x51,0xf1,0x00,0x00]
32@ CHECK: adc	r1, r2, #255            @ encoding: [0x42,0xf1,0xff,0x01]
33@ CHECK: adc	r3, r7, #5570645        @ encoding: [0x47,0xf1,0x55,0x13]
34@ CHECK: adc	r8, r12, #2852170240    @ encoding: [0x4c,0xf1,0xaa,0x28]
35@ CHECK: adc	r9, r7, #2779096485     @ encoding: [0x47,0xf1,0xa5,0x39]
36@ CHECK: adc	r5, r3, #2264924160     @ encoding: [0x43,0xf1,0x07,0x45]
37@ CHECK: adc	r4, r2, #2139095040     @ encoding: [0x42,0xf1,0xff,0x44]
38@ CHECK: adc	r4, r2, #1664           @ encoding: [0x42,0xf5,0xd0,0x64]
39
40@------------------------------------------------------------------------------
41@ ADC (register)
42@------------------------------------------------------------------------------
43        adc r4, r5, r6
44        adcs r4, r5, r6
45        adc.w r9, r1, r3
46        adcs.w r9, r1, r3
47        adc	r0, r1, r3, ror #4
48        adcs	r0, r1, r3, lsl #7
49        adc.w	r0, r1, r3, lsr #31
50        adcs.w	r0, r1, r3, asr #32
51
52@ CHECK: adc.w	r4, r5, r6              @ encoding: [0x45,0xeb,0x06,0x04]
53@ CHECK: adcs.w	r4, r5, r6              @ encoding: [0x55,0xeb,0x06,0x04]
54@ CHECK: adc.w	r9, r1, r3              @ encoding: [0x41,0xeb,0x03,0x09]
55@ CHECK: adcs.w	r9, r1, r3              @ encoding: [0x51,0xeb,0x03,0x09]
56@ CHECK: adc.w	r0, r1, r3, ror #4      @ encoding: [0x41,0xeb,0x33,0x10]
57@ CHECK: adcs.w	r0, r1, r3, lsl #7      @ encoding: [0x51,0xeb,0xc3,0x10]
58@ CHECK: adc.w	r0, r1, r3, lsr #31     @ encoding: [0x41,0xeb,0xd3,0x70]
59@ CHECK: adcs.w	r0, r1, r3, asr #32     @ encoding: [0x51,0xeb,0x23,0x00]
60
61
62@------------------------------------------------------------------------------
63@ ADD (immediate)
64@------------------------------------------------------------------------------
65        itet eq
66        addeq r1, r2, #4
67        addwne r5, r3, #1023
68        addeq r4, r5, #293
69        add r2, sp, #1024
70        add r2, r8, #0xff00
71        add r2, r3, #257
72        addw r2, r3, #257
73        add r12, r6, #0x100
74        addw r12, r6, #0x100
75        adds r1, r2, #0x1f0
76	add r2, #1
77        add r0, r0, #32
78
79@ CHECK: itet	eq                      @ encoding: [0x0a,0xbf]
80@ CHECK: addeq	r1, r2, #4              @ encoding: [0x11,0x1d]
81@ CHECK: addwne	r5, r3, #1023           @ encoding: [0x03,0xf2,0xff,0x35]
82@ CHECK: addweq	r4, r5, #293            @ encoding: [0x05,0xf2,0x25,0x14]
83@ CHECK: add.w	r2, sp, #1024           @ encoding: [0x0d,0xf5,0x80,0x62]
84@ CHECK: add.w	r2, r8, #65280          @ encoding: [0x08,0xf5,0x7f,0x42]
85@ CHECK: addw	r2, r3, #257            @ encoding: [0x03,0xf2,0x01,0x12]
86@ CHECK: addw	r2, r3, #257            @ encoding: [0x03,0xf2,0x01,0x12]
87@ CHECK: add.w	r12, r6, #256           @ encoding: [0x06,0xf5,0x80,0x7c]
88@ CHECK: addw	r12, r6, #256           @ encoding: [0x06,0xf2,0x00,0x1c]
89@ CHECK: adds.w	r1, r2, #496            @ encoding: [0x12,0xf5,0xf8,0x71]
90@ CHECK: add.w	r2, r2, #1              @ encoding: [0x02,0xf1,0x01,0x02]
91@ CHECK: add.w	r0, r0, #32             @ encoding: [0x00,0xf1,0x20,0x00]
92
93
94@------------------------------------------------------------------------------
95@ ADD (register)
96@------------------------------------------------------------------------------
97        add r1, r2, r8
98        add r5, r9, r2, asr #32
99        adds r7, r3, r1, lsl #31
100        adds.w r0, r3, r6, lsr #25
101        add.w r4, r8, r1, ror #12
102        add r10, r8
103        add r10, r10, r8
104
105@ CHECK: add.w	r1, r2, r8              @ encoding: [0x02,0xeb,0x08,0x01]
106@ CHECK: add.w	r5, r9, r2, asr #32     @ encoding: [0x09,0xeb,0x22,0x05]
107@ CHECK: adds.w	r7, r3, r1, lsl #31     @ encoding: [0x13,0xeb,0xc1,0x77]
108@ CHECK: adds.w	r0, r3, r6, lsr #25     @ encoding: [0x13,0xeb,0x56,0x60]
109@ CHECK: add.w	r4, r8, r1, ror #12     @ encoding: [0x08,0xeb,0x31,0x34]
110@ CHECK: add	r10, r8                 @ encoding: [0xc2,0x44]
111@ CHECK: add	r10, r8                 @ encoding: [0xc2,0x44]
112
113
114@------------------------------------------------------------------------------
115@ FIXME: ADR
116@------------------------------------------------------------------------------
117
118        subw r11, pc, #3270
119        adr.w r11, #-826
120
121@ CHECK: subw	r11, pc, #3270          @ encoding: [0xaf,0xf6,0xc6,0x4b]
122@ CHECK: adr.w	r11, #-826              @ encoding: [0xaf,0xf2,0x3a,0x3b]
123
124@------------------------------------------------------------------------------
125@ AND (immediate)
126@------------------------------------------------------------------------------
127        and r2, r5, #0xff000
128        ands r3, r12, #0xf
129        and r1, #0xff
130        and r1, r1, #0xff
131
132@ CHECK: and	r2, r5, #1044480        @ encoding: [0x05,0xf4,0x7f,0x22]
133@ CHECK: ands	r3, r12, #15            @ encoding: [0x1c,0xf0,0x0f,0x03]
134@ CHECK: and	r1, r1, #255            @ encoding: [0x01,0xf0,0xff,0x01]
135@ CHECK: and	r1, r1, #255            @ encoding: [0x01,0xf0,0xff,0x01]
136
137
138@------------------------------------------------------------------------------
139@ AND (register)
140@------------------------------------------------------------------------------
141        and r4, r9, r8
142        and r1, r4, r8, asr #3
143        ands r2, r1, r7, lsl #1
144        ands.w r4, r5, r2, lsr #20
145        and.w r9, r12, r1, ror #17
146
147@ CHECK: and.w	r4, r9, r8              @ encoding: [0x09,0xea,0x08,0x04]
148@ CHECK: and.w	r1, r4, r8, asr #3      @ encoding: [0x04,0xea,0xe8,0x01]
149@ CHECK: ands.w	r2, r1, r7, lsl #1      @ encoding: [0x11,0xea,0x47,0x02]
150@ CHECK: ands.w	r4, r5, r2, lsr #20     @ encoding: [0x15,0xea,0x12,0x54]
151@ CHECK: and.w	r9, r12, r1, ror #17    @ encoding: [0x0c,0xea,0x71,0x49]
152
153@------------------------------------------------------------------------------
154@ ASR (immediate)
155@------------------------------------------------------------------------------
156        asr r2, r3, #12
157        asrs r8, r3, #32
158        asrs.w r2, r3, #1
159        asr r2, r3, #4
160        asrs r2, r12, #15
161
162        asr r3, #19
163        asrs r8, #2
164        asrs.w r7, #5
165        asr.w r12, #21
166
167@ CHECK: asr.w	r2, r3, #12             @ encoding: [0x4f,0xea,0x23,0x32]
168@ CHECK: asrs.w	r8, r3, #32             @ encoding: [0x5f,0xea,0x23,0x08]
169@ CHECK: asrs.w	r2, r3, #1              @ encoding: [0x5f,0xea,0x63,0x02]
170@ CHECK: asr.w	r2, r3, #4              @ encoding: [0x4f,0xea,0x23,0x12]
171@ CHECK: asrs.w	r2, r12, #15            @ encoding: [0x5f,0xea,0xec,0x32]
172
173@ CHECK: asr.w	r3, r3, #19             @ encoding: [0x4f,0xea,0xe3,0x43]
174@ CHECK: asrs.w	r8, r8, #2              @ encoding: [0x5f,0xea,0xa8,0x08]
175@ CHECK: asrs.w	r7, r7, #5              @ encoding: [0x5f,0xea,0x67,0x17]
176@ CHECK: asr.w	r12, r12, #21           @ encoding: [0x4f,0xea,0x6c,0x5c]
177
178
179@------------------------------------------------------------------------------
180@ ASR (register)
181@------------------------------------------------------------------------------
182        asr r3, r4, r2
183        asr.w r1, r2
184        asrs r3, r4, r8
185
186@ CHECK: asr.w	r3, r4, r2              @ encoding: [0x44,0xfa,0x02,0xf3]
187@ CHECK: asr.w	r1, r1, r2              @ encoding: [0x41,0xfa,0x02,0xf1]
188@ CHECK: asrs.w	r3, r4, r8              @ encoding: [0x54,0xfa,0x08,0xf3]
189
190
191@------------------------------------------------------------------------------
192@ B
193@------------------------------------------------------------------------------
194        b.w   _bar
195        beq.w   _bar
196        it eq
197        beq.w _bar
198        bmi.w   #-183396
199
200@ CHECK: b.w	_bar                    @ encoding: [A,0xf0'A',A,0x90'A']
201          @   fixup A - offset: 0, value: _bar, kind: fixup_t2_uncondbranch
202@ CHECK: beq.w	_bar                    @ encoding: [A,0xf0'A',A,0x80'A']
203          @   fixup A - offset: 0, value: _bar, kind: fixup_t2_condbranch
204@ CHECK: it	eq                      @ encoding: [0x08,0xbf]
205@ CHECK: beq.w	_bar                    @ encoding: [A,0xf0'A',A,0x90'A']
206          @   fixup A - offset: 0, value: _bar, kind: fixup_t2_uncondbranch
207@ CHECK: bmi.w   #-183396                @ encoding: [0x13,0xf5,0xce,0xa9]
208
209
210@------------------------------------------------------------------------------
211@ BFC
212@------------------------------------------------------------------------------
213        bfc r5, #3, #17
214        it lo
215        bfccc r5, #3, #17
216
217@ CHECK: bfc	r5, #3, #17             @ encoding: [0x6f,0xf3,0xd3,0x05]
218@ CHECK: it	lo                      @ encoding: [0x38,0xbf]
219@ CHECK: bfclo	r5, #3, #17             @ encoding: [0x6f,0xf3,0xd3,0x05]
220
221
222@------------------------------------------------------------------------------
223@ BFI
224@------------------------------------------------------------------------------
225        bfi r5, r2, #3, #17
226        it ne
227        bfine r5, r2, #3, #17
228
229@ CHECK: bfi	r5, r2, #3, #17         @ encoding: [0x62,0xf3,0xd3,0x05]
230@ CHECK: it	ne                      @ encoding: [0x18,0xbf]
231@ CHECK: bfine	r5, r2, #3, #17         @ encoding: [0x62,0xf3,0xd3,0x05]
232
233
234@------------------------------------------------------------------------------
235@ BIC
236@------------------------------------------------------------------------------
237        bic r10, r1, #0xf
238        bic r12, r3, r6
239        bic r11, r2, r6, lsl #12
240        bic r8, r4, r1, lsr #11
241        bic r7, r5, r7, lsr #15
242        bic r6, r7, r9, asr #32
243        bic r5, r6, r8, ror #1
244
245        @ destination register is optional
246        bic r1, #0xf
247        bic r1, r1
248        bic r4, r2, lsl #31
249        bic r6, r3, lsr #12
250        bic r7, r4, lsr #7
251        bic r8, r5, asr #15
252        bic r12, r6, ror #29
253
254@ CHECK: bic	r10, r1, #15            @ encoding: [0x21,0xf0,0x0f,0x0a]
255@ CHECK: bic.w	r12, r3, r6             @ encoding: [0x23,0xea,0x06,0x0c]
256@ CHECK: bic.w	r11, r2, r6, lsl #12    @ encoding: [0x22,0xea,0x06,0x3b]
257@ CHECK: bic.w	r8, r4, r1, lsr #11     @ encoding: [0x24,0xea,0xd1,0x28]
258@ CHECK: bic.w	r7, r5, r7, lsr #15     @ encoding: [0x25,0xea,0xd7,0x37]
259@ CHECK: bic.w	r6, r7, r9, asr #32     @ encoding: [0x27,0xea,0x29,0x06]
260@ CHECK: bic.w	r5, r6, r8, ror #1      @ encoding: [0x26,0xea,0x78,0x05]
261
262@ CHECK: bic	r1, r1, #15             @ encoding: [0x21,0xf0,0x0f,0x01]
263@ CHECK: bic.w	r1, r1, r1              @ encoding: [0x21,0xea,0x01,0x01]
264@ CHECK: bic.w	r4, r4, r2, lsl #31     @ encoding: [0x24,0xea,0xc2,0x74]
265@ CHECK: bic.w	r6, r6, r3, lsr #12     @ encoding: [0x26,0xea,0x13,0x36]
266@ CHECK: bic.w	r7, r7, r4, lsr #7      @ encoding: [0x27,0xea,0xd4,0x17]
267@ CHECK: bic.w	r8, r8, r5, asr #15     @ encoding: [0x28,0xea,0xe5,0x38]
268@ CHECK: bic.w	r12, r12, r6, ror #29   @ encoding: [0x2c,0xea,0x76,0x7c]
269
270@------------------------------------------------------------------------------
271@ BKPT
272@------------------------------------------------------------------------------
273        it pl
274        bkpt #234
275
276@ CHECK: it pl                      @ encoding: [0x58,0xbf]
277@ CHECK: bkpt #234                    @ encoding: [0xea,0xbe]
278
279@------------------------------------------------------------------------------
280@ BXJ
281@------------------------------------------------------------------------------
282        bxj r5
283        it ne
284        bxjne r7
285
286@ CHECK: bxj	r5                      @ encoding: [0xc5,0xf3,0x00,0x8f]
287@ CHECK: it	ne                      @ encoding: [0x18,0xbf]
288@ CHECK: bxjne	r7                      @ encoding: [0xc7,0xf3,0x00,0x8f]
289
290
291@------------------------------------------------------------------------------
292@ CBZ/CBNZ
293@------------------------------------------------------------------------------
294        cbnz    r7, #6
295        cbnz    r7, #12
296        cbz   r6, _bar
297        cbnz   r6, _bar
298
299@ CHECK: cbnz    r7, #6                  @ encoding: [0x1f,0xb9]
300@ CHECK: cbnz    r7, #12                 @ encoding: [0x37,0xb9]
301@ CHECK: cbz	r6, _bar                @ encoding: [0x06'A',0xb1'A']
302           @   fixup A - offset: 0, value: _bar, kind: fixup_arm_thumb_cb
303@ CHECK: cbnz	r6, _bar                @ encoding: [0x06'A',0xb9'A']
304           @   fixup A - offset: 0, value: _bar, kind: fixup_arm_thumb_cb
305
306
307@------------------------------------------------------------------------------
308@ CDP/CDP2
309@------------------------------------------------------------------------------
310  cdp  p7, #1, c1, c1, c1, #4
311  cdp2  p7, #1, c1, c1, c1, #4
312
313@ CHECK: cdp	p7, #1, c1, c1, c1, #4  @ encoding: [0x11,0xee,0x81,0x17]
314@ CHECK: cdp2	p7, #1, c1, c1, c1, #4  @ encoding: [0x11,0xfe,0x81,0x17]
315
316
317@------------------------------------------------------------------------------
318@ CLREX
319@------------------------------------------------------------------------------
320        clrex
321        it ne
322        clrexne
323
324@ CHECK: clrex                           @ encoding: [0xbf,0xf3,0x2f,0x8f]
325@ CHECK: it	ne                       @ encoding: [0x18,0xbf]
326@ CHECK: clrexne                         @ encoding: [0xbf,0xf3,0x2f,0x8f]
327
328
329@------------------------------------------------------------------------------
330@ CLZ
331@------------------------------------------------------------------------------
332        clz r1, r2
333        it eq
334        clzeq r1, r2
335
336@ CHECK: clz	r1, r2                  @ encoding: [0xb2,0xfa,0x82,0xf1]
337@ CHECK: it	eq                      @ encoding: [0x08,0xbf]
338@ CHECK: clzeq	r1, r2                  @ encoding: [0xb2,0xfa,0x82,0xf1]
339
340
341@------------------------------------------------------------------------------
342@ CMN
343@------------------------------------------------------------------------------
344        cmn r1, #0xf
345        cmn r8, r6
346        cmn r1, r6, lsl #10
347        cmn r1, r6, lsr #10
348        cmn sp, r6, lsr #10
349        cmn r1, r6, asr #10
350        cmn r1, r6, ror #10
351
352@ CHECK: cmn.w	r1, #15                 @ encoding: [0x11,0xf1,0x0f,0x0f]
353@ CHECK: cmn.w	r8, r6                  @ encoding: [0x18,0xeb,0x06,0x0f]
354@ CHECK: cmn.w	r1, r6, lsl #10         @ encoding: [0x11,0xeb,0x86,0x2f]
355@ CHECK: cmn.w	r1, r6, lsr #10         @ encoding: [0x11,0xeb,0x96,0x2f]
356@ CHECK: cmn.w	sp, r6, lsr #10         @ encoding: [0x1d,0xeb,0x96,0x2f]
357@ CHECK: cmn.w	r1, r6, asr #10         @ encoding: [0x11,0xeb,0xa6,0x2f]
358@ CHECK: cmn.w	r1, r6, ror #10         @ encoding: [0x11,0xeb,0xb6,0x2f]
359
360
361@------------------------------------------------------------------------------
362@ CMP
363@------------------------------------------------------------------------------
364        cmp r5, #0xff00
365        cmp.w r4, r12
366        cmp r9, r6, lsl #12
367        cmp r3, r7, lsr #31
368        cmp sp, r6, lsr #1
369        cmp r2, r5, asr #24
370        cmp r1, r4, ror #15
371        cmp r0, #-2
372
373@ CHECK: cmp.w	r5, #65280              @ encoding: [0xb5,0xf5,0x7f,0x4f]
374@ CHECK: cmp.w	r4, r12                 @ encoding: [0xb4,0xeb,0x0c,0x0f]
375@ CHECK: cmp.w	r9, r6, lsl #12         @ encoding: [0xb9,0xeb,0x06,0x3f]
376@ CHECK: cmp.w	r3, r7, lsr #31         @ encoding: [0xb3,0xeb,0xd7,0x7f]
377@ CHECK: cmp.w	sp, r6, lsr #1          @ encoding: [0xbd,0xeb,0x56,0x0f]
378@ CHECK: cmp.w	r2, r5, asr #24         @ encoding: [0xb2,0xeb,0x25,0x6f]
379@ CHECK: cmp.w	r1, r4, ror #15         @ encoding: [0xb1,0xeb,0xf4,0x3f]
380@ CHECK: cmn.w	r0, #2                  @ encoding: [0x10,0xf1,0x02,0x0f]
381
382@------------------------------------------------------------------------------
383@ DBG
384@------------------------------------------------------------------------------
385        dbg #5
386        dbg #0
387        dbg #15
388
389@ CHECK: dbg	#5                      @ encoding: [0xaf,0xf3,0xf5,0x80]
390@ CHECK: dbg	#0                      @ encoding: [0xaf,0xf3,0xf0,0x80]
391@ CHECK: dbg	#15                     @ encoding: [0xaf,0xf3,0xff,0x80]
392
393
394@------------------------------------------------------------------------------
395@ DMB
396@------------------------------------------------------------------------------
397        dmb sy
398        dmb st
399        dmb sh
400        dmb ish
401        dmb shst
402        dmb ishst
403        dmb un
404        dmb nsh
405        dmb unst
406        dmb nshst
407        dmb osh
408        dmb oshst
409        dmb
410
411@ CHECK: dmb	sy                      @ encoding: [0xbf,0xf3,0x5f,0x8f]
412@ CHECK: dmb	st                      @ encoding: [0xbf,0xf3,0x5e,0x8f]
413@ CHECK: dmb	ish                     @ encoding: [0xbf,0xf3,0x5b,0x8f]
414@ CHECK: dmb	ish                     @ encoding: [0xbf,0xf3,0x5b,0x8f]
415@ CHECK: dmb	ishst                   @ encoding: [0xbf,0xf3,0x5a,0x8f]
416@ CHECK: dmb	ishst                   @ encoding: [0xbf,0xf3,0x5a,0x8f]
417@ CHECK: dmb	nsh                     @ encoding: [0xbf,0xf3,0x57,0x8f]
418@ CHECK: dmb	nsh                     @ encoding: [0xbf,0xf3,0x57,0x8f]
419@ CHECK: dmb	nshst                   @ encoding: [0xbf,0xf3,0x56,0x8f]
420@ CHECK: dmb	nshst                   @ encoding: [0xbf,0xf3,0x56,0x8f]
421@ CHECK: dmb	osh                     @ encoding: [0xbf,0xf3,0x53,0x8f]
422@ CHECK: dmb	oshst                   @ encoding: [0xbf,0xf3,0x52,0x8f]
423@ CHECK: dmb	sy                      @ encoding: [0xbf,0xf3,0x5f,0x8f]
424
425
426@------------------------------------------------------------------------------
427@ DSB
428@------------------------------------------------------------------------------
429        dsb sy
430        dsb st
431        dsb sh
432        dsb ish
433        dsb shst
434        dsb ishst
435        dsb un
436        dsb nsh
437        dsb unst
438        dsb nshst
439        dsb osh
440        dsb oshst
441        dsb
442
443@ CHECK: dsb	sy                      @ encoding: [0xbf,0xf3,0x4f,0x8f]
444@ CHECK: dsb	st                      @ encoding: [0xbf,0xf3,0x4e,0x8f]
445@ CHECK: dsb	ish                     @ encoding: [0xbf,0xf3,0x4b,0x8f]
446@ CHECK: dsb	ish                     @ encoding: [0xbf,0xf3,0x4b,0x8f]
447@ CHECK: dsb	ishst                   @ encoding: [0xbf,0xf3,0x4a,0x8f]
448@ CHECK: dsb	ishst                   @ encoding: [0xbf,0xf3,0x4a,0x8f]
449@ CHECK: dsb	nsh                     @ encoding: [0xbf,0xf3,0x47,0x8f]
450@ CHECK: dsb	nsh                     @ encoding: [0xbf,0xf3,0x47,0x8f]
451@ CHECK: dsb	nshst                   @ encoding: [0xbf,0xf3,0x46,0x8f]
452@ CHECK: dsb	nshst                   @ encoding: [0xbf,0xf3,0x46,0x8f]
453@ CHECK: dsb	osh                     @ encoding: [0xbf,0xf3,0x43,0x8f]
454@ CHECK: dsb	oshst                   @ encoding: [0xbf,0xf3,0x42,0x8f]
455@ CHECK: dsb	sy                      @ encoding: [0xbf,0xf3,0x4f,0x8f]
456
457
458@------------------------------------------------------------------------------
459@ EOR
460@------------------------------------------------------------------------------
461        eor r4, r5, #0xf000
462        eor r4, r5, r6
463        eor r4, r5, r6, lsl #5
464        eor r4, r5, r6, lsr #5
465        eor r4, r5, r6, lsr #5
466        eor r4, r5, r6, asr #5
467        eor r4, r5, r6, ror #5
468
469@ CHECK: eor	r4, r5, #61440          @ encoding: [0x85,0xf4,0x70,0x44]
470@ CHECK: eor.w	r4, r5, r6              @ encoding: [0x85,0xea,0x06,0x04]
471@ CHECK: eor.w	r4, r5, r6, lsl #5      @ encoding: [0x85,0xea,0x46,0x14]
472@ CHECK: eor.w	r4, r5, r6, lsr #5      @ encoding: [0x85,0xea,0x56,0x14]
473@ CHECK: eor.w	r4, r5, r6, lsr #5      @ encoding: [0x85,0xea,0x56,0x14]
474@ CHECK: eor.w	r4, r5, r6, asr #5      @ encoding: [0x85,0xea,0x66,0x14]
475@ CHECK: eor.w	r4, r5, r6, ror #5      @ encoding: [0x85,0xea,0x76,0x14]
476
477
478@------------------------------------------------------------------------------
479@ ISB
480@------------------------------------------------------------------------------
481        isb sy
482        isb
483
484@ CHECK: isb	sy                      @ encoding: [0xbf,0xf3,0x6f,0x8f]
485@ CHECK: isb	sy                      @ encoding: [0xbf,0xf3,0x6f,0x8f]
486
487
488@------------------------------------------------------------------------------
489@ IT
490@------------------------------------------------------------------------------
491@ Test encodings of a few full IT blocks, not just the IT instruction
492
493        iteet eq
494        addeq r0, r1, r2
495        nopne
496        subne r5, r6, r7
497        addeq r1, r2, #4
498
499@ CHECK: iteet	eq                      @ encoding: [0x0d,0xbf]
500@ CHECK: addeq	r0, r1, r2              @ encoding: [0x88,0x18]
501@ CHECK: nopne                          @ encoding: [0x00,0xbf]
502@ CHECK: subne	r5, r6, r7              @ encoding: [0xf5,0x1b]
503@ CHECK: addeq	r1, r2, #4              @ encoding: [0x11,0x1d]
504
505
506@------------------------------------------------------------------------------
507@ LDC{L}/LDC2{L}
508@------------------------------------------------------------------------------
509        ldc2 p0, c8, [r1, #4]
510        ldc2 p1, c7, [r2]
511        ldc2 p2, c6, [r3, #-224]
512        ldc2 p3, c5, [r4, #-120]!
513        ldc2 p4, c4, [r5], #16
514        ldc2 p5, c3, [r6], #-72
515        ldc2l p6, c2, [r7, #4]
516        ldc2l p7, c1, [r8]
517        ldc2l p8, c0, [r9, #-224]
518        ldc2l p9, c1, [r10, #-120]!
519        ldc2l p10, c2, [r11], #16
520        ldc2l p11, c3, [r12], #-72
521
522        ldc p12, c4, [r0, #4]
523        ldc p13, c5, [r1]
524        ldc p14, c6, [r2, #-224]
525        ldc p15, c7, [r3, #-120]!
526        ldc p5, c8, [r4], #16
527        ldc p4, c9, [r5], #-72
528        ldcl p3, c10, [r6, #4]
529        ldcl p2, c11, [r7]
530        ldcl p1, c12, [r8, #-224]
531        ldcl p0, c13, [r9, #-120]!
532        ldcl p6, c14, [r10], #16
533        ldcl p7, c15, [r11], #-72
534
535        ldc2 p2, c8, [r1], { 25 }
536
537@ CHECK: ldc2	p0, c8, [r1, #4]        @ encoding: [0x91,0xfd,0x01,0x80]
538@ CHECK: ldc2	p1, c7, [r2]            @ encoding: [0x92,0xfd,0x00,0x71]
539@ CHECK: ldc2	p2, c6, [r3, #-224]     @ encoding: [0x13,0xfd,0x38,0x62]
540@ CHECK: ldc2	p3, c5, [r4, #-120]!    @ encoding: [0x34,0xfd,0x1e,0x53]
541@ CHECK: ldc2	p4, c4, [r5], #16       @ encoding: [0xb5,0xfc,0x04,0x44]
542@ CHECK: ldc2	p5, c3, [r6], #-72      @ encoding: [0x36,0xfc,0x12,0x35]
543@ CHECK: ldc2l	p6, c2, [r7, #4]        @ encoding: [0xd7,0xfd,0x01,0x26]
544@ CHECK: ldc2l	p7, c1, [r8]            @ encoding: [0xd8,0xfd,0x00,0x17]
545@ CHECK: ldc2l	p8, c0, [r9, #-224]     @ encoding: [0x59,0xfd,0x38,0x08]
546@ CHECK: ldc2l	p9, c1, [r10, #-120]!   @ encoding: [0x7a,0xfd,0x1e,0x19]
547@ CHECK: ldc2l	p10, c2, [r11], #16     @ encoding: [0xfb,0xfc,0x04,0x2a]
548@ CHECK: ldc2l	p11, c3, [r12], #-72    @ encoding: [0x7c,0xfc,0x12,0x3b]
549
550@ CHECK: ldc	p12, c4, [r0, #4]       @ encoding: [0x90,0xed,0x01,0x4c]
551@ CHECK: ldc	p13, c5, [r1]           @ encoding: [0x91,0xed,0x00,0x5d]
552@ CHECK: ldc	p14, c6, [r2, #-224]    @ encoding: [0x12,0xed,0x38,0x6e]
553@ CHECK: ldc	p15, c7, [r3, #-120]!   @ encoding: [0x33,0xed,0x1e,0x7f]
554@ CHECK: ldc	p5, c8, [r4], #16       @ encoding: [0xb4,0xec,0x04,0x85]
555@ CHECK: ldc	p4, c9, [r5], #-72      @ encoding: [0x35,0xec,0x12,0x94]
556@ CHECK: ldcl	p3, c10, [r6, #4]       @ encoding: [0xd6,0xed,0x01,0xa3]
557@ CHECK: ldcl	p2, c11, [r7]           @ encoding: [0xd7,0xed,0x00,0xb2]
558@ CHECK: ldcl	p1, c12, [r8, #-224]    @ encoding: [0x58,0xed,0x38,0xc1]
559@ CHECK: ldcl	p0, c13, [r9, #-120]!   @ encoding: [0x79,0xed,0x1e,0xd0]
560@ CHECK: ldcl	p6, c14, [r10], #16     @ encoding: [0xfa,0xec,0x04,0xe6]
561@ CHECK: ldcl	p7, c15, [r11], #-72    @ encoding: [0x7b,0xec,0x12,0xf7]
562
563@ CHECK: ldc2	p2, c8, [r1], {25}      @ encoding: [0x91,0xfc,0x19,0x82]
564
565
566@------------------------------------------------------------------------------
567@ LDMIA
568@------------------------------------------------------------------------------
569        ldmia.w r4, {r4, r5, r8, r9}
570        ldmia.w r4, {r5, r6}
571        ldmia.w r5!, {r3, r8}
572        ldm.w r4, {r4, r5, r8, r9}
573        ldm.w r4, {r5, r6}
574        ldm.w r5!, {r3, r8}
575        ldm.w r5!, {r1, r2}
576        ldm.w r2, {r1, r2}
577
578        ldmia r4, {r4, r5, r8, r9}
579        ldmia r4, {r5, r6}
580        ldmia r5!, {r3, r8}
581        ldm r4, {r4, r5, r8, r9}
582        ldm r4, {r5, r6}
583        ldm r5!, {r3, r8}
584        ldmfd r5!, {r3, r8}
585        ldmia sp!, {r4-r11, pc}
586
587@ CHECK: ldm.w	r4, {r4, r5, r8, r9}    @ encoding: [0x94,0xe8,0x30,0x03]
588@ CHECK: ldm.w	r4, {r5, r6}            @ encoding: [0x94,0xe8,0x60,0x00]
589@ CHECK: ldm.w	r5!, {r3, r8}           @ encoding: [0xb5,0xe8,0x08,0x01]
590@ CHECK: ldm.w	r4, {r4, r5, r8, r9}    @ encoding: [0x94,0xe8,0x30,0x03]
591@ CHECK: ldm.w	r4, {r5, r6}            @ encoding: [0x94,0xe8,0x60,0x00]
592@ CHECK: ldm.w	r5!, {r3, r8}           @ encoding: [0xb5,0xe8,0x08,0x01]
593@ CHECK: ldm.w	r5!, {r1, r2}           @ encoding: [0xb5,0xe8,0x06,0x00]
594@ CHECK: ldm.w	r2, {r1, r2}            @ encoding: [0x92,0xe8,0x06,0x00]
595
596@ CHECK: ldm.w	r4, {r4, r5, r8, r9}    @ encoding: [0x94,0xe8,0x30,0x03]
597@ CHECK: ldm.w	r4, {r5, r6}            @ encoding: [0x94,0xe8,0x60,0x00]
598@ CHECK: ldm.w	r5!, {r3, r8}           @ encoding: [0xb5,0xe8,0x08,0x01]
599@ CHECK: ldm.w	r4, {r4, r5, r8, r9}    @ encoding: [0x94,0xe8,0x30,0x03]
600@ CHECK: ldm.w	r4, {r5, r6}            @ encoding: [0x94,0xe8,0x60,0x00]
601@ CHECK: ldm.w	r5!, {r3, r8}           @ encoding: [0xb5,0xe8,0x08,0x01]
602@ CHECK: ldm.w	r5!, {r3, r8}           @ encoding: [0xb5,0xe8,0x08,0x01]
603@ CHECK: pop.w	{pc, r4, r5, r6, r7, r8, r9, r10, r11} @ encoding: [0xbd,0xe8,0xf0,0x8f]
604
605
606@------------------------------------------------------------------------------
607@ LDMDB
608@------------------------------------------------------------------------------
609        ldmdb r4, {r4, r5, r8, r9}
610        ldmdb r4, {r5, r6}
611        ldmdb r5!, {r3, r8}
612        ldmea r5!, {r3, r8}
613        ldmdb.w r4, {r5, r6}
614        ldmdb.w r5!, {r3, r8}
615
616@ CHECK: ldmdb	r4, {r4, r5, r8, r9}    @ encoding: [0x14,0xe9,0x30,0x03]
617@ CHECK: ldmdb	r4, {r5, r6}            @ encoding: [0x14,0xe9,0x60,0x00]
618@ CHECK: ldmdb	r5!, {r3, r8}           @ encoding: [0x35,0xe9,0x08,0x01]
619@ CHECK: ldmdb	r5!, {r3, r8}           @ encoding: [0x35,0xe9,0x08,0x01]
620@ CHECK: ldmdb	r4, {r5, r6}            @ encoding: [0x14,0xe9,0x60,0x00]
621@ CHECK: ldmdb	r5!, {r3, r8}           @ encoding: [0x35,0xe9,0x08,0x01]
622
623
624@------------------------------------------------------------------------------
625@ LDR(immediate)
626@------------------------------------------------------------------------------
627        ldr r5, [r5, #-4]
628        ldr r5, [r6, #32]
629        ldr r5, [r6, #33]
630        ldr r5, [r6, #257]
631        ldr.w pc, [r7, #257]
632        ldr r2, [r4, #255]!
633        ldr r8, [sp, #4]!
634        ldr lr, [sp, #-4]!
635        ldr r2, [r4], #255
636        ldr r8, [sp], #4
637        ldr lr, [sp], #-4
638
639@ CHECK: ldr	r5, [r5, #-4]           @ encoding: [0x55,0xf8,0x04,0x5c]
640@ CHECK: ldr	r5, [r6, #32]           @ encoding: [0x35,0x6a]
641@ CHECK: ldr.w	r5, [r6, #33]           @ encoding: [0xd6,0xf8,0x21,0x50]
642@ CHECK: ldr.w	r5, [r6, #257]          @ encoding: [0xd6,0xf8,0x01,0x51]
643@ CHECK: ldr.w	pc, [r7, #257]          @ encoding: [0xd7,0xf8,0x01,0xf1]
644@ CHECK: ldr	r2, [r4, #255]!         @ encoding: [0x54,0xf8,0xff,0x2f]
645@ CHECK: ldr	r8, [sp, #4]!           @ encoding: [0x5d,0xf8,0x04,0x8f]
646@ CHECK: ldr	lr, [sp, #-4]!          @ encoding: [0x5d,0xf8,0x04,0xed]
647@ CHECK: ldr	r2, [r4], #255          @ encoding: [0x54,0xf8,0xff,0x2b]
648@ CHECK: ldr	r8, [sp], #4            @ encoding: [0x5d,0xf8,0x04,0x8b]
649@ CHECK: ldr	lr, [sp], #-4           @ encoding: [0x5d,0xf8,0x04,0xe9]
650
651
652@------------------------------------------------------------------------------
653@ LDR(literal)
654@------------------------------------------------------------------------------
655        ldr.w r5, _foo
656        ldr   lr, (_strcmp-4)
657
658@ CHECK: ldr.w	r5, _foo                @ encoding: [0x5f'A',0xf8'A',A,0x50'A']
659@ CHECK: @   fixup A - offset: 0, value: _foo, kind: fixup_t2_ldst_pcrel_12
660@ CHECK: ldr.w	lr, _strcmp-4           @ encoding: [0x5f'A',0xf8'A',A,0xe0'A']
661@ CHECK: @   fixup A - offset: 0, value: _strcmp-4, kind: fixup_t2_ldst_pcrel_12
662
663
664@------------------------------------------------------------------------------
665@ LDR(register)
666@------------------------------------------------------------------------------
667        ldr r1, [r8, r1]
668        ldr.w r4, [r5, r2]
669        ldr r6, [r0, r2, lsl #3]
670        ldr r8, [r8, r2, lsl #2]
671        ldr r7, [sp, r2, lsl #1]
672        ldr r7, [sp, r2, lsl #0]
673
674@ CHECK: ldr.w	r1, [r8, r1]            @ encoding: [0x58,0xf8,0x01,0x10]
675@ CHECK: ldr.w	r4, [r5, r2]            @ encoding: [0x55,0xf8,0x02,0x40]
676@ CHECK: ldr.w	r6, [r0, r2, lsl #3]    @ encoding: [0x50,0xf8,0x32,0x60]
677@ CHECK: ldr.w	r8, [r8, r2, lsl #2]    @ encoding: [0x58,0xf8,0x22,0x80]
678@ CHECK: ldr.w	r7, [sp, r2, lsl #1]    @ encoding: [0x5d,0xf8,0x12,0x70]
679@ CHECK: ldr.w	r7, [sp, r2]            @ encoding: [0x5d,0xf8,0x02,0x70]
680
681
682@------------------------------------------------------------------------------
683@ LDRB(immediate)
684@------------------------------------------------------------------------------
685        ldrb r5, [r5, #-4]
686        ldrb r5, [r6, #32]
687        ldrb r5, [r6, #33]
688        ldrb r5, [r6, #257]
689        ldrb.w lr, [r7, #257]
690        ldrb r5, [r8, #255]!
691        ldrb r2, [r5, #4]!
692        ldrb r1, [r4, #-4]!
693        ldrb lr, [r3], #255
694        ldrb r9, [r2], #4
695        ldrb r3, [sp], #-4
696
697@ CHECK: ldrb	r5, [r5, #-4]           @ encoding: [0x15,0xf8,0x04,0x5c]
698@ CHECK: ldrb.w	r5, [r6, #32]           @ encoding: [0x96,0xf8,0x20,0x50]
699@ CHECK: ldrb.w	r5, [r6, #33]           @ encoding: [0x96,0xf8,0x21,0x50]
700@ CHECK: ldrb.w	r5, [r6, #257]          @ encoding: [0x96,0xf8,0x01,0x51]
701@ CHECK: ldrb.w	lr, [r7, #257]          @ encoding: [0x97,0xf8,0x01,0xe1]
702@ CHECK: ldrb	r5, [r8, #255]!         @ encoding: [0x18,0xf8,0xff,0x5f]
703@ CHECK: ldrb	r2, [r5, #4]!           @ encoding: [0x15,0xf8,0x04,0x2f]
704@ CHECK: ldrb	r1, [r4, #-4]!          @ encoding: [0x14,0xf8,0x04,0x1d]
705@ CHECK: ldrb	lr, [r3], #255          @ encoding: [0x13,0xf8,0xff,0xeb]
706@ CHECK: ldrb	r9, [r2], #4            @ encoding: [0x12,0xf8,0x04,0x9b]
707@ CHECK: ldrb	r3, [sp], #-4           @ encoding: [0x1d,0xf8,0x04,0x39]
708
709
710@------------------------------------------------------------------------------
711@ LDRB(register)
712@------------------------------------------------------------------------------
713        ldrb r1, [r8, r1]
714        ldrb.w r4, [r5, r2]
715        ldrb r6, [r0, r2, lsl #3]
716        ldrb r8, [r8, r2, lsl #2]
717        ldrb r7, [sp, r2, lsl #1]
718        ldrb r7, [sp, r2, lsl #0]
719
720@ CHECK: ldrb.w	r1, [r8, r1]            @ encoding: [0x18,0xf8,0x01,0x10]
721@ CHECK: ldrb.w	r4, [r5, r2]            @ encoding: [0x15,0xf8,0x02,0x40]
722@ CHECK: ldrb.w	r6, [r0, r2, lsl #3]    @ encoding: [0x10,0xf8,0x32,0x60]
723@ CHECK: ldrb.w	r8, [r8, r2, lsl #2]    @ encoding: [0x18,0xf8,0x22,0x80]
724@ CHECK: ldrb.w	r7, [sp, r2, lsl #1]    @ encoding: [0x1d,0xf8,0x12,0x70]
725@ CHECK: ldrb.w	r7, [sp, r2]            @ encoding: [0x1d,0xf8,0x02,0x70]
726
727
728@------------------------------------------------------------------------------
729@ LDRBT
730@------------------------------------------------------------------------------
731        ldrbt r1, [r2]
732        ldrbt r1, [r8, #0]
733        ldrbt r1, [r8, #3]
734        ldrbt r1, [r8, #255]
735
736@ CHECK: ldrbt	r1, [r2]                @ encoding: [0x12,0xf8,0x00,0x1e]
737@ CHECK: ldrbt	r1, [r8]                @ encoding: [0x18,0xf8,0x00,0x1e]
738@ CHECK: ldrbt	r1, [r8, #3]            @ encoding: [0x18,0xf8,0x03,0x1e]
739@ CHECK: ldrbt	r1, [r8, #255]          @ encoding: [0x18,0xf8,0xff,0x1e]
740
741
742@------------------------------------------------------------------------------
743@ LDRD
744@------------------------------------------------------------------------------
745        ldrd r3, r5, [r6, #24]
746        ldrd r3, r5, [r6, #24]!
747        ldrd r3, r5, [r6], #4
748        ldrd r3, r5, [r6], #-8
749        ldrd r3, r5, [r6]
750        ldrd r8, r1, [r3, #0]
751
752@ CHECK: ldrd	r3, r5, [r6, #24]       @ encoding: [0xd6,0xe9,0x06,0x35]
753@ CHECK: ldrd	r3, r5, [r6, #24]!      @ encoding: [0xf6,0xe9,0x06,0x35]
754@ CHECK: ldrd	r3, r5, [r6], #4        @ encoding: [0xf6,0xe8,0x01,0x35]
755@ CHECK: ldrd	r3, r5, [r6], #-8       @ encoding: [0x76,0xe8,0x02,0x35]
756@ CHECK: ldrd	r3, r5, [r6]            @ encoding: [0xd6,0xe9,0x00,0x35]
757@ CHECK: ldrd	r8, r1, [r3]            @ encoding: [0xd3,0xe9,0x00,0x81]
758
759
760@------------------------------------------------------------------------------
761@ FIXME: LDRD(literal)
762@------------------------------------------------------------------------------
763
764
765@------------------------------------------------------------------------------
766@ LDREX/LDREXB/LDREXH/LDREXD
767@------------------------------------------------------------------------------
768        ldrex r1, [r4]
769        ldrex r8, [r4, #0]
770        ldrex r2, [sp, #128]
771        ldrexb r5, [r7]
772        ldrexh r9, [r12]
773        ldrexd r9, r3, [r4]
774
775@ CHECK: ldrex	r1, [r4]                @ encoding: [0x54,0xe8,0x00,0x1f]
776@ CHECK: ldrex	r8, [r4]                @ encoding: [0x54,0xe8,0x00,0x8f]
777@ CHECK: ldrex	r2, [sp, #128]          @ encoding: [0x5d,0xe8,0x20,0x2f]
778@ CHECK: ldrexb	r5, [r7]                @ encoding: [0xd7,0xe8,0x4f,0x5f]
779@ CHECK: ldrexh	r9, [r12]               @ encoding: [0xdc,0xe8,0x5f,0x9f]
780@ CHECK: ldrexd	r9, r3, [r4]            @ encoding: [0xd4,0xe8,0x7f,0x93]
781
782
783@------------------------------------------------------------------------------
784@ LDRH(immediate)
785@------------------------------------------------------------------------------
786        ldrh r5, [r5, #-4]
787        ldrh r5, [r6, #32]
788        ldrh r5, [r6, #33]
789        ldrh r5, [r6, #257]
790        ldrh.w lr, [r7, #257]
791        ldrh r5, [r8, #255]!
792        ldrh r2, [r5, #4]!
793        ldrh r1, [r4, #-4]!
794        ldrh lr, [r3], #255
795        ldrh r9, [r2], #4
796        ldrh r3, [sp], #-4
797
798@ CHECK: ldrh	r5, [r5, #-4]           @ encoding: [0x35,0xf8,0x04,0x5c]
799@ CHECK: ldrh	r5, [r6, #32]           @ encoding: [0x35,0x8c]
800@ CHECK: ldrh.w	r5, [r6, #33]           @ encoding: [0xb6,0xf8,0x21,0x50]
801@ CHECK: ldrh.w	r5, [r6, #257]          @ encoding: [0xb6,0xf8,0x01,0x51]
802@ CHECK: ldrh.w	lr, [r7, #257]          @ encoding: [0xb7,0xf8,0x01,0xe1]
803@ CHECK: ldrh	r5, [r8, #255]!         @ encoding: [0x38,0xf8,0xff,0x5f]
804@ CHECK: ldrh	r2, [r5, #4]!           @ encoding: [0x35,0xf8,0x04,0x2f]
805@ CHECK: ldrh	r1, [r4, #-4]!          @ encoding: [0x34,0xf8,0x04,0x1d]
806@ CHECK: ldrh	lr, [r3], #255          @ encoding: [0x33,0xf8,0xff,0xeb]
807@ CHECK: ldrh	r9, [r2], #4            @ encoding: [0x32,0xf8,0x04,0x9b]
808@ CHECK: ldrh	r3, [sp], #-4           @ encoding: [0x3d,0xf8,0x04,0x39]
809
810
811@------------------------------------------------------------------------------
812@ LDRH(register)
813@------------------------------------------------------------------------------
814        ldrh r1, [r8, r1]
815        ldrh.w r4, [r5, r2]
816        ldrh r6, [r0, r2, lsl #3]
817        ldrh r8, [r8, r2, lsl #2]
818        ldrh r7, [sp, r2, lsl #1]
819        ldrh r7, [sp, r2, lsl #0]
820
821@ CHECK: ldrh.w	r1, [r8, r1]            @ encoding: [0x38,0xf8,0x01,0x10]
822@ CHECK: ldrh.w	r4, [r5, r2]            @ encoding: [0x35,0xf8,0x02,0x40]
823@ CHECK: ldrh.w	r6, [r0, r2, lsl #3]    @ encoding: [0x30,0xf8,0x32,0x60]
824@ CHECK: ldrh.w	r8, [r8, r2, lsl #2]    @ encoding: [0x38,0xf8,0x22,0x80]
825@ CHECK: ldrh.w	r7, [sp, r2, lsl #1]    @ encoding: [0x3d,0xf8,0x12,0x70]
826@ CHECK: ldrh.w	r7, [sp, r2]            @ encoding: [0x3d,0xf8,0x02,0x70]
827
828
829@------------------------------------------------------------------------------
830@ LDRH(literal)
831@------------------------------------------------------------------------------
832        ldrh r5, _bar
833
834@ CHECK: ldrh.w	r5, _bar                @ encoding: [0x3f'A',0xf8'A',A,0x50'A']
835@ CHECK:     @   fixup A - offset: 0, value: _bar, kind: fixup_t2_ldst_pcrel_12
836
837
838@------------------------------------------------------------------------------
839@ LDRHT
840@------------------------------------------------------------------------------
841        ldrht r1, [r2]
842        ldrht r1, [r8, #0]
843        ldrht r1, [r8, #3]
844        ldrht r1, [r8, #255]
845
846@ CHECK: ldrht	r1, [r2]                @ encoding: [0x32,0xf8,0x00,0x1e]
847@ CHECK: ldrht	r1, [r8]                @ encoding: [0x38,0xf8,0x00,0x1e]
848@ CHECK: ldrht	r1, [r8, #3]            @ encoding: [0x38,0xf8,0x03,0x1e]
849@ CHECK: ldrht	r1, [r8, #255]          @ encoding: [0x38,0xf8,0xff,0x1e]
850
851
852@------------------------------------------------------------------------------
853@ LDRSB(immediate)
854@------------------------------------------------------------------------------
855        ldrsb r5, [r5, #-4]
856        ldrsb r5, [r6, #32]
857        ldrsb r5, [r6, #33]
858        ldrsb r5, [r6, #257]
859        ldrsb.w lr, [r7, #257]
860
861@ CHECK: ldrsb	r5, [r5, #-4]            @ encoding: [0x15,0xf9,0x04,0x5c]
862@ CHECK: ldrsb.w r5, [r6, #32]           @ encoding: [0x96,0xf9,0x20,0x50]
863@ CHECK: ldrsb.w r5, [r6, #33]           @ encoding: [0x96,0xf9,0x21,0x50]
864@ CHECK: ldrsb.w r5, [r6, #257]          @ encoding: [0x96,0xf9,0x01,0x51]
865@ CHECK: ldrsb.w lr, [r7, #257]          @ encoding: [0x97,0xf9,0x01,0xe1]
866
867
868@------------------------------------------------------------------------------
869@ LDRSB(register)
870@------------------------------------------------------------------------------
871        ldrsb r1, [r8, r1]
872        ldrsb.w r4, [r5, r2]
873        ldrsb r6, [r0, r2, lsl #3]
874        ldrsb r8, [r8, r2, lsl #2]
875        ldrsb r7, [sp, r2, lsl #1]
876        ldrsb r7, [sp, r2, lsl #0]
877        ldrsb r5, [r8, #255]!
878        ldrsb r2, [r5, #4]!
879        ldrsb r1, [r4, #-4]!
880        ldrsb lr, [r3], #255
881        ldrsb r9, [r2], #4
882        ldrsb r3, [sp], #-4
883
884@ CHECK: ldrsb.w r1, [r8, r1]           @ encoding: [0x18,0xf9,0x01,0x10]
885@ CHECK: ldrsb.w r4, [r5, r2]           @ encoding: [0x15,0xf9,0x02,0x40]
886@ CHECK: ldrsb.w r6, [r0, r2, lsl #3]   @ encoding: [0x10,0xf9,0x32,0x60]
887@ CHECK: ldrsb.w r8, [r8, r2, lsl #2]   @ encoding: [0x18,0xf9,0x22,0x80]
888@ CHECK: ldrsb.w r7, [sp, r2, lsl #1]   @ encoding: [0x1d,0xf9,0x12,0x70]
889@ CHECK: ldrsb.w r7, [sp, r2]           @ encoding: [0x1d,0xf9,0x02,0x70]
890@ CHECK: ldrsb	r5, [r8, #255]!         @ encoding: [0x18,0xf9,0xff,0x5f]
891@ CHECK: ldrsb	r2, [r5, #4]!           @ encoding: [0x15,0xf9,0x04,0x2f]
892@ CHECK: ldrsb	r1, [r4, #-4]!          @ encoding: [0x14,0xf9,0x04,0x1d]
893@ CHECK: ldrsb	lr, [r3], #255          @ encoding: [0x13,0xf9,0xff,0xeb]
894@ CHECK: ldrsb	r9, [r2], #4            @ encoding: [0x12,0xf9,0x04,0x9b]
895@ CHECK: ldrsb	r3, [sp], #-4           @ encoding: [0x1d,0xf9,0x04,0x39]
896
897
898@------------------------------------------------------------------------------
899@ LDRSB(literal)
900@------------------------------------------------------------------------------
901        ldrsb r5, _bar
902
903@ CHECK: ldrsb.w r5, _bar               @ encoding: [0x1f'A',0xf9'A',A,0x50'A']
904@ CHECK:      @   fixup A - offset: 0, value: _bar, kind: fixup_t2_ldst_pcrel_12
905
906
907@------------------------------------------------------------------------------
908@ LDRSBT
909@------------------------------------------------------------------------------
910        ldrsbt r1, [r2]
911        ldrsbt r1, [r8, #0]
912        ldrsbt r1, [r8, #3]
913        ldrsbt r1, [r8, #255]
914
915@ CHECK: ldrsbt	r1, [r2]                @ encoding: [0x12,0xf9,0x00,0x1e]
916@ CHECK: ldrsbt	r1, [r8]                @ encoding: [0x18,0xf9,0x00,0x1e]
917@ CHECK: ldrsbt	r1, [r8, #3]            @ encoding: [0x18,0xf9,0x03,0x1e]
918@ CHECK: ldrsbt	r1, [r8, #255]          @ encoding: [0x18,0xf9,0xff,0x1e]
919
920
921@------------------------------------------------------------------------------
922@ LDRSH(immediate)
923@------------------------------------------------------------------------------
924        ldrsh r5, [r5, #-4]
925        ldrsh r5, [r6, #32]
926        ldrsh r5, [r6, #33]
927        ldrsh r5, [r6, #257]
928        ldrsh.w lr, [r7, #257]
929
930@ CHECK: ldrsh	r5, [r5, #-4]           @ encoding: [0x35,0xf9,0x04,0x5c]
931@ CHECK: ldrsh.w r5, [r6, #32]          @ encoding: [0xb6,0xf9,0x20,0x50]
932@ CHECK: ldrsh.w r5, [r6, #33]          @ encoding: [0xb6,0xf9,0x21,0x50]
933@ CHECK: ldrsh.w r5, [r6, #257]         @ encoding: [0xb6,0xf9,0x01,0x51]
934@ CHECK: ldrsh.w lr, [r7, #257]         @ encoding: [0xb7,0xf9,0x01,0xe1]
935
936
937@------------------------------------------------------------------------------
938@ LDRSH(register)
939@------------------------------------------------------------------------------
940        ldrsh r1, [r8, r1]
941        ldrsh.w r4, [r5, r2]
942        ldrsh r6, [r0, r2, lsl #3]
943        ldrsh r8, [r8, r2, lsl #2]
944        ldrsh r7, [sp, r2, lsl #1]
945        ldrsh r7, [sp, r2, lsl #0]
946        ldrsh r5, [r8, #255]!
947        ldrsh r2, [r5, #4]!
948        ldrsh r1, [r4, #-4]!
949        ldrsh lr, [r3], #255
950        ldrsh r9, [r2], #4
951        ldrsh r3, [sp], #-4
952
953@ CHECK: ldrsh.w r1, [r8, r1]           @ encoding: [0x38,0xf9,0x01,0x10]
954@ CHECK: ldrsh.w r4, [r5, r2]           @ encoding: [0x35,0xf9,0x02,0x40]
955@ CHECK: ldrsh.w r6, [r0, r2, lsl #3]   @ encoding: [0x30,0xf9,0x32,0x60]
956@ CHECK: ldrsh.w r8, [r8, r2, lsl #2]   @ encoding: [0x38,0xf9,0x22,0x80]
957@ CHECK: ldrsh.w r7, [sp, r2, lsl #1]   @ encoding: [0x3d,0xf9,0x12,0x70]
958@ CHECK: ldrsh.w r7, [sp, r2]           @ encoding: [0x3d,0xf9,0x02,0x70]
959@ CHECK: ldrsh	r5, [r8, #255]!         @ encoding: [0x38,0xf9,0xff,0x5f]
960@ CHECK: ldrsh	r2, [r5, #4]!           @ encoding: [0x35,0xf9,0x04,0x2f]
961@ CHECK: ldrsh	r1, [r4, #-4]!          @ encoding: [0x34,0xf9,0x04,0x1d]
962@ CHECK: ldrsh	lr, [r3], #255          @ encoding: [0x33,0xf9,0xff,0xeb]
963@ CHECK: ldrsh	r9, [r2], #4            @ encoding: [0x32,0xf9,0x04,0x9b]
964@ CHECK: ldrsh	r3, [sp], #-4           @ encoding: [0x3d,0xf9,0x04,0x39]
965
966
967@------------------------------------------------------------------------------
968@ LDRSH(literal)
969@------------------------------------------------------------------------------
970        ldrsh r5, _bar
971
972@ CHECK: ldrsh.w r5, _bar               @ encoding: [0x3f'A',0xf9'A',A,0x50'A']
973@ CHECK:      @   fixup A - offset: 0, value: _bar, kind: fixup_t2_ldst_pcrel_12
974
975@ TEMPORARILY DISABLED:
976@        ldrsh.w r4, [pc, #1435]
977@      : ldrsh.w r4, [pc, #1435]               @ encoding: [0x3f,0xf9,0x9b,0x45]
978
979@------------------------------------------------------------------------------
980@ LDRSHT
981@------------------------------------------------------------------------------
982        ldrsht r1, [r2]
983        ldrsht r1, [r8, #0]
984        ldrsht r1, [r8, #3]
985        ldrsht r1, [r8, #255]
986
987@ CHECK: ldrsht	r1, [r2]                @ encoding: [0x32,0xf9,0x00,0x1e]
988@ CHECK: ldrsht	r1, [r8]                @ encoding: [0x38,0xf9,0x00,0x1e]
989@ CHECK: ldrsht	r1, [r8, #3]            @ encoding: [0x38,0xf9,0x03,0x1e]
990@ CHECK: ldrsht	r1, [r8, #255]          @ encoding: [0x38,0xf9,0xff,0x1e]
991
992
993@------------------------------------------------------------------------------
994@ LDRT
995@------------------------------------------------------------------------------
996        ldrt r1, [r2]
997        ldrt r2, [r6, #0]
998        ldrt r3, [r7, #3]
999        ldrt r4, [r9, #255]
1000
1001@ CHECK: ldrt	r1, [r2]                @ encoding: [0x52,0xf8,0x00,0x1e]
1002@ CHECK: ldrt	r2, [r6]                @ encoding: [0x56,0xf8,0x00,0x2e]
1003@ CHECK: ldrt	r3, [r7, #3]            @ encoding: [0x57,0xf8,0x03,0x3e]
1004@ CHECK: ldrt	r4, [r9, #255]          @ encoding: [0x59,0xf8,0xff,0x4e]
1005
1006
1007@------------------------------------------------------------------------------
1008@ LSL (immediate)
1009@------------------------------------------------------------------------------
1010        lsl r2, r3, #12
1011        lsls r8, r3, #31
1012        lsls.w r2, r3, #1
1013        lsl r2, r3, #4
1014        lsls r2, r12, #15
1015
1016        lsl r3, #19
1017        lsls r8, #2
1018        lsls.w r7, #5
1019        lsl.w r12, #21
1020
1021@ CHECK: lsl.w	r2, r3, #12             @ encoding: [0x4f,0xea,0x03,0x32]
1022@ CHECK: lsls.w	r8, r3, #31             @ encoding: [0x5f,0xea,0xc3,0x78]
1023@ CHECK: lsls.w	r2, r3, #1              @ encoding: [0x5f,0xea,0x43,0x02]
1024@ CHECK: lsl.w	r2, r3, #4              @ encoding: [0x4f,0xea,0x03,0x12]
1025@ CHECK: lsls.w	r2, r12, #15            @ encoding: [0x5f,0xea,0xcc,0x32]
1026
1027@ CHECK: lsl.w	r3, r3, #19             @ encoding: [0x4f,0xea,0xc3,0x43]
1028@ CHECK: lsls.w	r8, r8, #2              @ encoding: [0x5f,0xea,0x88,0x08]
1029@ CHECK: lsls.w	r7, r7, #5              @ encoding: [0x5f,0xea,0x47,0x17]
1030@ CHECK: lsl.w	r12, r12, #21           @ encoding: [0x4f,0xea,0x4c,0x5c]
1031
1032
1033@------------------------------------------------------------------------------
1034@ LSL (register)
1035@------------------------------------------------------------------------------
1036        lsl r3, r4, r2
1037        lsl.w r1, r2
1038        lsls r3, r4, r8
1039
1040@ CHECK: lsl.w	r3, r4, r2              @ encoding: [0x04,0xfa,0x02,0xf3]
1041@ CHECK: lsl.w	r1, r1, r2              @ encoding: [0x01,0xfa,0x02,0xf1]
1042@ CHECK: lsls.w	r3, r4, r8              @ encoding: [0x14,0xfa,0x08,0xf3]
1043
1044
1045@------------------------------------------------------------------------------
1046@ LSR (immediate)
1047@------------------------------------------------------------------------------
1048        lsr r2, r3, #12
1049        lsrs r8, r3, #32
1050        lsrs.w r2, r3, #1
1051        lsr r2, r3, #4
1052        lsrs r2, r12, #15
1053
1054        lsr r3, #19
1055        lsrs r8, #2
1056        lsrs.w r7, #5
1057        lsr.w r12, #21
1058
1059@ CHECK: lsr.w	r2, r3, #12             @ encoding: [0x4f,0xea,0x13,0x32]
1060@ CHECK: lsrs.w	r8, r3, #32             @ encoding: [0x5f,0xea,0x13,0x08]
1061@ CHECK: lsrs.w	r2, r3, #1              @ encoding: [0x5f,0xea,0x53,0x02]
1062@ CHECK: lsr.w	r2, r3, #4              @ encoding: [0x4f,0xea,0x13,0x12]
1063@ CHECK: lsrs.w	r2, r12, #15            @ encoding: [0x5f,0xea,0xdc,0x32]
1064
1065@ CHECK: lsr.w	r3, r3, #19             @ encoding: [0x4f,0xea,0xd3,0x43]
1066@ CHECK: lsrs.w	r8, r8, #2              @ encoding: [0x5f,0xea,0x98,0x08]
1067@ CHECK: lsrs.w	r7, r7, #5              @ encoding: [0x5f,0xea,0x57,0x17]
1068@ CHECK: lsr.w	r12, r12, #21           @ encoding: [0x4f,0xea,0x5c,0x5c]
1069
1070
1071@------------------------------------------------------------------------------
1072@ LSR (register)
1073@------------------------------------------------------------------------------
1074        lsr r3, r4, r2
1075        lsr.w r1, r2
1076        lsrs r3, r4, r8
1077
1078@ CHECK: lsr.w	r3, r4, r2              @ encoding: [0x24,0xfa,0x02,0xf3]
1079@ CHECK: lsr.w	r1, r1, r2              @ encoding: [0x21,0xfa,0x02,0xf1]
1080@ CHECK: lsrs.w	r3, r4, r8              @ encoding: [0x34,0xfa,0x08,0xf3]
1081
1082@------------------------------------------------------------------------------
1083@ MCR/MCR2
1084@------------------------------------------------------------------------------
1085        mcr  p7, #1, r5, c1, c1, #4
1086        mcr2  p7, #1, r5, c1, c1, #4
1087
1088@ CHECK: mcr	p7, #1, r5, c1, c1, #4  @ encoding: [0x21,0xee,0x91,0x57]
1089@ CHECK: mcr2	p7, #1, r5, c1, c1, #4  @ encoding: [0x21,0xfe,0x91,0x57]
1090
1091
1092@------------------------------------------------------------------------------
1093@ MCRR/MCRR2
1094@------------------------------------------------------------------------------
1095        mcrr  p7, #15, r5, r4, c1
1096        mcrr2  p7, #15, r5, r4, c1
1097
1098@ CHECK: mcrr	p7, #15, r5, r4, c1     @ encoding: [0x44,0xec,0xf1,0x57]
1099@ CHECK: mcrr2	p7, #15, r5, r4, c1     @ encoding: [0x44,0xfc,0xf1,0x57]
1100
1101
1102@------------------------------------------------------------------------------
1103@ MLA/MLS
1104@------------------------------------------------------------------------------
1105        mla  r1,r2,r3,r4
1106        mls  r1,r2,r3,r4
1107
1108@ CHECK: mla	r1, r2, r3, r4          @ encoding: [0x02,0xfb,0x03,0x41]
1109@ CHECK: mls	r1, r2, r3, r4          @ encoding: [0x02,0xfb,0x13,0x41]
1110
1111
1112@------------------------------------------------------------------------------
1113@ MOV(immediate)
1114@------------------------------------------------------------------------------
1115        movs r1, #21
1116        movs.w r1, #21
1117        movs r8, #21
1118        movw r0, #65535
1119        movw r1, #43777
1120        movw r1, #43792
1121        mov.w r0, #0x3fc0000
1122        mov r0, #0x3fc0000
1123        movs.w r0, #0x3fc0000
1124        itte eq
1125        movseq r1, #12
1126        moveq r1, #12
1127        movne.w r1, #12
1128        mov.w r6, #450
1129
1130        @ alias for mvn
1131	mov r3, #-3
1132
1133
1134@ CHECK: movs	r1, #21                 @ encoding: [0x15,0x21]
1135@ CHECK: movs.w	r1, #21                 @ encoding: [0x5f,0xf0,0x15,0x01]
1136@ CHECK: movs.w	r8, #21                 @ encoding: [0x5f,0xf0,0x15,0x08]
1137@ CHECK: movw	r0, #65535              @ encoding: [0x4f,0xf6,0xff,0x70]
1138@ CHECK: movw	r1, #43777              @ encoding: [0x4a,0xf6,0x01,0x31]
1139@ CHECK: movw	r1, #43792              @ encoding: [0x4a,0xf6,0x10,0x31]
1140@ CHECK: mov.w	r0, #66846720           @ encoding: [0x4f,0xf0,0x7f,0x70]
1141@ CHECK: mov.w	r0, #66846720           @ encoding: [0x4f,0xf0,0x7f,0x70]
1142@ CHECK: movs.w	r0, #66846720           @ encoding: [0x5f,0xf0,0x7f,0x70]
1143@ CHECK: itte	eq                      @ encoding: [0x06,0xbf]
1144@ CHECK: movseq.w	r1, #12         @ encoding: [0x5f,0xf0,0x0c,0x01]
1145@ CHECK: moveq	r1, #12                 @ encoding: [0x0c,0x21]
1146@ CHECK: movne.w r1, #12                @ encoding: [0x4f,0xf0,0x0c,0x01]
1147@ CHECK: mov.w	r6, #450                @ encoding: [0x4f,0xf4,0xe1,0x76]
1148
1149@ CHECK: mvn	r3, #2                  @ encoding: [0x6f,0xf0,0x02,0x03]
1150
1151@------------------------------------------------------------------------------
1152@ MOV(shifted register)
1153@------------------------------------------------------------------------------
1154        mov r6, r2, lsl #16
1155        mov r6, r2, lsr #16
1156        movs r6, r2, asr #32
1157        movs r6, r2, ror #5
1158
1159@ CHECK: lsl.w	r6, r2, #16             @ encoding: [0x4f,0xea,0x02,0x46]
1160@ CHECK: lsr.w	r6, r2, #16             @ encoding: [0x4f,0xea,0x12,0x46]
1161@ CHECK: asrs	r6, r2, #32             @ encoding: [0x16,0x10]
1162@ CHECK: rors.w	r6, r2, #5              @ encoding: [0x5f,0xea,0x72,0x16]
1163
1164
1165@------------------------------------------------------------------------------
1166@ MOVT
1167@------------------------------------------------------------------------------
1168        movt r3, #7
1169        movt r6, #0xffff
1170        it eq
1171        movteq r4, #0xff0
1172
1173@ CHECK: movt	r3, #7                  @ encoding: [0xc0,0xf2,0x07,0x03]
1174@ CHECK: movt	r6, #65535              @ encoding: [0xcf,0xf6,0xff,0x76]
1175@ CHECK: it	eq                      @ encoding: [0x08,0xbf]
1176@ CHECK: movteq	r4, #4080               @ encoding: [0xc0,0xf6,0xf0,0x74]
1177
1178@------------------------------------------------------------------------------
1179@ MRC/MRC2
1180@------------------------------------------------------------------------------
1181        mrc  p14, #0, r1, c1, c2, #4
1182        mrc2  p14, #0, r1, c1, c2, #4
1183
1184@ CHECK: mrc	p14, #0, r1, c1, c2, #4 @ encoding: [0x11,0xee,0x92,0x1e]
1185@ CHECK: mrc2	p14, #0, r1, c1, c2, #4 @ encoding: [0x11,0xfe,0x92,0x1e]
1186
1187
1188@------------------------------------------------------------------------------
1189@ MRRC/MRRC2
1190@------------------------------------------------------------------------------
1191        mrrc  p7, #1, r5, r4, c1
1192        mrrc2  p7, #1, r5, r4, c1
1193
1194@ CHECK: mrrc	p7, #1, r5, r4, c1      @ encoding: [0x54,0xec,0x11,0x57]
1195@ CHECK: mrrc2	p7, #1, r5, r4, c1      @ encoding: [0x54,0xfc,0x11,0x57]
1196
1197
1198@------------------------------------------------------------------------------
1199@ MRS
1200@------------------------------------------------------------------------------
1201        mrs  r8, apsr
1202        mrs  r8, cpsr
1203        mrs  r8, spsr
1204
1205@ CHECK: mrs	r8, apsr                @ encoding: [0xef,0xf3,0x00,0x88]
1206@ CHECK: mrs	r8, apsr                @ encoding: [0xef,0xf3,0x00,0x88]
1207@ CHECK: mrs	r8, spsr                @ encoding: [0xff,0xf3,0x00,0x88]
1208
1209
1210@------------------------------------------------------------------------------
1211@ MSR
1212@------------------------------------------------------------------------------
1213        msr  apsr, r1
1214        msr  apsr_g, r2
1215        msr  apsr_nzcvq, r3
1216        msr  APSR_nzcvq, r4
1217        msr  apsr_nzcvqg, r5
1218        msr  cpsr_fc, r6
1219        msr  cpsr_c, r7
1220        msr  cpsr_x, r8
1221        msr  cpsr_fc, r9
1222        msr  cpsr_all, r11
1223        msr  cpsr_fsx, r12
1224        msr  spsr_fc, r0
1225        msr  SPSR_fsxc, r5
1226        msr  cpsr_fsxc, r8
1227
1228@ CHECK: msr	APSR_nzcvq, r1          @ encoding: [0x81,0xf3,0x00,0x88]
1229@ CHECK: msr	APSR_g, r2              @ encoding: [0x82,0xf3,0x00,0x84]
1230@ CHECK: msr	APSR_nzcvq, r3          @ encoding: [0x83,0xf3,0x00,0x88]
1231@ CHECK: msr	APSR_nzcvq, r4          @ encoding: [0x84,0xf3,0x00,0x88]
1232@ CHECK: msr	APSR_nzcvqg, r5         @ encoding: [0x85,0xf3,0x00,0x8c]
1233@ CHECK: msr	CPSR_fc, r6             @ encoding: [0x86,0xf3,0x00,0x89]
1234@ CHECK: msr	CPSR_c, r7              @ encoding: [0x87,0xf3,0x00,0x81]
1235@ CHECK: msr	CPSR_x, r8              @ encoding: [0x88,0xf3,0x00,0x82]
1236@ CHECK: msr	CPSR_fc, r9             @ encoding: [0x89,0xf3,0x00,0x89]
1237@ CHECK: msr	CPSR_fc, r11            @ encoding: [0x8b,0xf3,0x00,0x89]
1238@ CHECK: msr	CPSR_fsx, r12           @ encoding: [0x8c,0xf3,0x00,0x8e]
1239@ CHECK: msr	SPSR_fc, r0             @ encoding: [0x90,0xf3,0x00,0x89]
1240@ CHECK: msr	SPSR_fsxc, r5           @ encoding: [0x95,0xf3,0x00,0x8f]
1241@ CHECK: msr	CPSR_fsxc, r8           @ encoding: [0x88,0xf3,0x00,0x8f]
1242
1243
1244@------------------------------------------------------------------------------
1245@ MUL
1246@------------------------------------------------------------------------------
1247        muls r3, r4, r3
1248        mul r3, r4, r3
1249        mul r3, r4, r6
1250        it eq
1251        muleq r3, r4, r5
1252        it le
1253        mulle r4, r4, r8
1254        mul r5, r6
1255
1256@ CHECK: muls	r3, r4, r3              @ encoding: [0x63,0x43]
1257@ CHECK: mul	r3, r4, r3              @ encoding: [0x04,0xfb,0x03,0xf3]
1258@ CHECK: mul	r3, r4, r6              @ encoding: [0x04,0xfb,0x06,0xf3]
1259@ CHECK: it	eq                      @ encoding: [0x08,0xbf]
1260@ CHECK: muleq	r3, r4, r5              @ encoding: [0x04,0xfb,0x05,0xf3]
1261@ CHECK: it	le                      @ encoding: [0xd8,0xbf]
1262@ CHECK: mulle	r4, r4, r8              @ encoding: [0x04,0xfb,0x08,0xf4]
1263@ CHECK: mul	r5, r6, r5              @ encoding: [0x06,0xfb,0x05,0xf5]
1264
1265
1266@------------------------------------------------------------------------------
1267@ MVN(immediate)
1268@------------------------------------------------------------------------------
1269        mvns r8, #21
1270        mvn r0, #0x3fc0000
1271        mvns r0, #0x3fc0000
1272        itte eq
1273        mvnseq r1, #12
1274        mvneq.w r1, #12
1275        mvnne r1, #12
1276
1277@ CHECK: mvns	r8, #21                 @ encoding: [0x7f,0xf0,0x15,0x08]
1278@ CHECK: mvn	r0, #66846720           @ encoding: [0x6f,0xf0,0x7f,0x70]
1279@ CHECK: mvns	r0, #66846720           @ encoding: [0x7f,0xf0,0x7f,0x70]
1280@ CHECK: itte	eq                      @ encoding: [0x06,0xbf]
1281@ CHECK: mvnseq	r1, #12                 @ encoding: [0x7f,0xf0,0x0c,0x01]
1282@ CHECK: mvneq	r1, #12                 @ encoding: [0x6f,0xf0,0x0c,0x01]
1283@ CHECK: mvnne	r1, #12                 @ encoding: [0x6f,0xf0,0x0c,0x01]
1284
1285
1286@------------------------------------------------------------------------------
1287@ MVN(register)
1288@------------------------------------------------------------------------------
1289        mvn r2, r3
1290        mvns r2, r3
1291        mvn r5, r6, lsl #19
1292        mvn r5, r6, lsr #9
1293        mvn.w r5, r6, asr #4
1294        mvn r5, r6, ror #6
1295        mvn r5, r6, rrx
1296        it eq
1297        mvneq r2, r3
1298
1299@ CHECK: mvn.w	r2, r3                  @ encoding: [0x6f,0xea,0x03,0x02]
1300@ CHECK: mvns	r2, r3                  @ encoding: [0xda,0x43]
1301@ CHECK: mvn.w	r5, r6, lsl #19         @ encoding: [0x6f,0xea,0xc6,0x45]
1302@ CHECK: mvn.w	r5, r6, lsr #9          @ encoding: [0x6f,0xea,0x56,0x25]
1303@ CHECK: mvn.w	r5, r6, asr #4          @ encoding: [0x6f,0xea,0x26,0x15]
1304@ CHECK: mvn.w	r5, r6, ror #6          @ encoding: [0x6f,0xea,0xb6,0x15]
1305@ CHECK: mvn.w	r5, r6, rrx             @ encoding: [0x6f,0xea,0x36,0x05]
1306@ CHECK: it	eq                      @ encoding: [0x08,0xbf]
1307@ CHECK: mvneq	r2, r3                  @ encoding: [0xda,0x43]
1308
1309@------------------------------------------------------------------------------
1310@ NEG
1311@------------------------------------------------------------------------------
1312        neg r5, r2
1313        neg r5, r8
1314
1315@ CHECK: rsb.w	r5, r2, #0              @ encoding: [0xc2,0xf1,0x00,0x05]
1316@ CHECK: rsb.w	r5, r8, #0              @ encoding: [0xc8,0xf1,0x00,0x05]
1317
1318
1319@------------------------------------------------------------------------------
1320@ NOP
1321@------------------------------------------------------------------------------
1322        nop.w
1323
1324@ CHECK: nop.w                          @ encoding: [0xaf,0xf3,0x00,0x80]
1325
1326
1327@------------------------------------------------------------------------------
1328@ ORN
1329@------------------------------------------------------------------------------
1330        orn r4, r5, #0xf000
1331        orn r4, r5, r6
1332        orns r4, r5, r6
1333        orn r4, r5, r6, lsl #5
1334        orns r4, r5, r6, lsr #5
1335        orn r4, r5, r6, lsr #5
1336        orns r4, r5, r6, asr #5
1337        orn r4, r5, r6, ror #5
1338
1339@ CHECK: orn	r4, r5, #61440          @ encoding: [0x65,0xf4,0x70,0x44]
1340@ CHECK: orn	r4, r5, r6              @ encoding: [0x65,0xea,0x06,0x04]
1341@ CHECK: orns	r4, r5, r6              @ encoding: [0x75,0xea,0x06,0x04]
1342@ CHECK: orn	r4, r5, r6, lsl #5      @ encoding: [0x65,0xea,0x46,0x14]
1343@ CHECK: orns	r4, r5, r6, lsr #5      @ encoding: [0x75,0xea,0x56,0x14]
1344@ CHECK: orn	r4, r5, r6, lsr #5      @ encoding: [0x65,0xea,0x56,0x14]
1345@ CHECK: orns	r4, r5, r6, asr #5      @ encoding: [0x75,0xea,0x66,0x14]
1346@ CHECK: orn	r4, r5, r6, ror #5      @ encoding: [0x65,0xea,0x76,0x14]
1347
1348
1349@------------------------------------------------------------------------------
1350@ ORR
1351@------------------------------------------------------------------------------
1352        orr r4, r5, #0xf000
1353        orr r4, r5, r6
1354        orr r4, r5, r6, lsl #5
1355        orrs r4, r5, r6, lsr #5
1356        orr r4, r5, r6, lsr #5
1357        orrs r4, r5, r6, asr #5
1358        orr r4, r5, r6, ror #5
1359
1360@ CHECK: orr	r4, r5, #61440          @ encoding: [0x45,0xf4,0x70,0x44]
1361@ CHECK: orr.w	r4, r5, r6              @ encoding: [0x45,0xea,0x06,0x04]
1362@ CHECK: orr.w	r4, r5, r6, lsl #5      @ encoding: [0x45,0xea,0x46,0x14]
1363@ CHECK: orrs.w	r4, r5, r6, lsr #5      @ encoding: [0x55,0xea,0x56,0x14]
1364@ CHECK: orr.w	r4, r5, r6, lsr #5      @ encoding: [0x45,0xea,0x56,0x14]
1365@ CHECK: orrs.w	r4, r5, r6, asr #5      @ encoding: [0x55,0xea,0x66,0x14]
1366@ CHECK: orr.w	r4, r5, r6, ror #5      @ encoding: [0x45,0xea,0x76,0x14]
1367
1368
1369@------------------------------------------------------------------------------
1370@ PKH
1371@------------------------------------------------------------------------------
1372        pkhbt r2, r2, r3
1373        pkhbt r2, r2, r3, lsl #31
1374        pkhbt r2, r2, r3, lsl #0
1375        pkhbt r2, r2, r3, lsl #15
1376
1377        pkhtb r2, r2, r3
1378        pkhtb r2, r2, r3, asr #31
1379        pkhtb r2, r2, r3, asr #15
1380
1381@ CHECK: pkhbt	r2, r2, r3              @ encoding: [0xc2,0xea,0x03,0x02]
1382@ CHECK: pkhbt	r2, r2, r3, lsl #31     @ encoding: [0xc2,0xea,0xc3,0x72]
1383@ CHECK: pkhbt	r2, r2, r3              @ encoding: [0xc2,0xea,0x03,0x02]
1384@ CHECK: pkhbt	r2, r2, r3, lsl #15     @ encoding: [0xc2,0xea,0xc3,0x32]
1385
1386@ CHECK: pkhbt	r2, r2, r3              @ encoding: [0xc2,0xea,0x03,0x02]
1387@ CHECK: pkhtb	r2, r2, r3, asr #31     @ encoding: [0xc2,0xea,0xe3,0x72]
1388@ CHECK: pkhtb	r2, r2, r3, asr #15     @ encoding: [0xc2,0xea,0xe3,0x32]
1389
1390
1391@------------------------------------------------------------------------------
1392@ PLD(immediate)
1393@------------------------------------------------------------------------------
1394        pld [r5, #-4]
1395        pld [r6, #32]
1396        pld [r6, #33]
1397        pld [r6, #257]
1398        pld [r7, #257]
1399        pld [r1, #0]
1400        pld [r1, #-0]
1401
1402@ CHECK: pld	[r5, #-4]               @ encoding: [0x15,0xf8,0x04,0xfc]
1403@ CHECK: pld	[r6, #32]               @ encoding: [0x96,0xf8,0x20,0xf0]
1404@ CHECK: pld	[r6, #33]               @ encoding: [0x96,0xf8,0x21,0xf0]
1405@ CHECK: pld	[r6, #257]              @ encoding: [0x96,0xf8,0x01,0xf1]
1406@ CHECK: pld	[r7, #257]              @ encoding: [0x97,0xf8,0x01,0xf1]
1407@ CHECK: pld	[r1]                    @ encoding: [0x91,0xf8,0x00,0xf0]
1408@ CHECK: pld	[r1, #-0]               @ encoding: [0x11,0xf8,0x00,0xfc]
1409
1410
1411@------------------------------------------------------------------------------
1412@ PLD(literal)
1413@------------------------------------------------------------------------------
1414@        pld  _foo
1415
1416@ FIXME: pld	_foo                    @ encoding: [0x9f'A',0xf8'A',A,0xf0'A']
1417            @   fixup A - offset: 0, value: _foo, kind: fixup_t2_ldst_pcrel_12
1418
1419
1420@------------------------------------------------------------------------------
1421@ PLD(register)
1422@------------------------------------------------------------------------------
1423        pld [r8, r1]
1424        pld [r5, r2]
1425        pld [r0, r2, lsl #3]
1426        pld [r8, r2, lsl #2]
1427        pld [sp, r2, lsl #1]
1428        pld [sp, r2, lsl #0]
1429
1430@ CHECK: pld	[r8, r1]                @ encoding: [0x18,0xf8,0x01,0xf0]
1431@ CHECK: pld	[r5, r2]                @ encoding: [0x15,0xf8,0x02,0xf0]
1432@ CHECK: pld	[r0, r2, lsl #3]        @ encoding: [0x10,0xf8,0x32,0xf0]
1433@ CHECK: pld	[r8, r2, lsl #2]        @ encoding: [0x18,0xf8,0x22,0xf0]
1434@ CHECK: pld	[sp, r2, lsl #1]        @ encoding: [0x1d,0xf8,0x12,0xf0]
1435@ CHECK: pld	[sp, r2]                @ encoding: [0x1d,0xf8,0x02,0xf0]
1436
1437@------------------------------------------------------------------------------
1438@ PLI(immediate)
1439@------------------------------------------------------------------------------
1440        pli [r5, #-4]
1441        pli [r6, #32]
1442        pli [r6, #33]
1443        pli [r6, #257]
1444        pli [r7, #257]
1445
1446@ CHECK: pli	[r5, #-4]               @ encoding: [0x15,0xf9,0x04,0xfc]
1447@ CHECK: pli	[r6, #32]               @ encoding: [0x96,0xf9,0x20,0xf0]
1448@ CHECK: pli	[r6, #33]               @ encoding: [0x96,0xf9,0x21,0xf0]
1449@ CHECK: pli	[r6, #257]              @ encoding: [0x96,0xf9,0x01,0xf1]
1450@ CHECK: pli	[r7, #257]              @ encoding: [0x97,0xf9,0x01,0xf1]
1451
1452
1453@------------------------------------------------------------------------------
1454@ PLI(literal)
1455@------------------------------------------------------------------------------
1456@        pli  _foo
1457
1458
1459@ FIXME: pli	_foo                    @ encoding: [0x9f'A',0xf9'A',A,0xf0'A']
1460           @   fixup A - offset: 0, value: _foo, kind: fixup_t2_ldst_pcrel_12
1461
1462
1463@------------------------------------------------------------------------------
1464@ PLI(register)
1465@------------------------------------------------------------------------------
1466        pli [r8, r1]
1467        pli [r5, r2]
1468        pli [r0, r2, lsl #3]
1469        pli [r8, r2, lsl #2]
1470        pli [sp, r2, lsl #1]
1471        pli [sp, r2, lsl #0]
1472
1473@ CHECK: pli	[r8, r1]                @ encoding: [0x18,0xf9,0x01,0xf0]
1474@ CHECK: pli	[r5, r2]                @ encoding: [0x15,0xf9,0x02,0xf0]
1475@ CHECK: pli	[r0, r2, lsl #3]        @ encoding: [0x10,0xf9,0x32,0xf0]
1476@ CHECK: pli	[r8, r2, lsl #2]        @ encoding: [0x18,0xf9,0x22,0xf0]
1477@ CHECK: pli	[sp, r2, lsl #1]        @ encoding: [0x1d,0xf9,0x12,0xf0]
1478@ CHECK: pli	[sp, r2]                @ encoding: [0x1d,0xf9,0x02,0xf0]
1479
1480@------------------------------------------------------------------------------
1481@ POP (alias)
1482@------------------------------------------------------------------------------
1483        pop {r2, r9}
1484
1485@ CHECK: pop.w	{r2, r9}                @ encoding: [0xbd,0xe8,0x04,0x02]
1486
1487
1488@------------------------------------------------------------------------------
1489@ PUSH (alias)
1490@------------------------------------------------------------------------------
1491        push {r2, r9}
1492
1493@ CHECK: push.w	{r2, r9}                @ encoding: [0x2d,0xe9,0x04,0x02]
1494
1495
1496@------------------------------------------------------------------------------
1497@ QADD/QADD16/QADD8
1498@------------------------------------------------------------------------------
1499        qadd r1, r2, r3
1500        qadd16 r1, r2, r3
1501        qadd8 r1, r2, r3
1502        itte gt
1503        qaddgt r1, r2, r3
1504        qadd16gt r1, r2, r3
1505        qadd8le r1, r2, r3
1506
1507@ CHECK: qadd	r1, r2, r3              @ encoding: [0x83,0xfa,0x82,0xf1]
1508@ CHECK: qadd16	r1, r2, r3              @ encoding: [0x92,0xfa,0x13,0xf1]
1509@ CHECK: qadd8	r1, r2, r3              @ encoding: [0x82,0xfa,0x13,0xf1]
1510@ CHECK: itte	gt                      @ encoding: [0xc6,0xbf]
1511@ CHECK: qaddgt	r1, r2, r3              @ encoding: [0x83,0xfa,0x82,0xf1]
1512@ CHECK: qadd16gt r1, r2, r3            @ encoding: [0x92,0xfa,0x13,0xf1]
1513@ CHECK: qadd8le r1, r2, r3             @ encoding: [0x82,0xfa,0x13,0xf1]
1514
1515
1516@------------------------------------------------------------------------------
1517@ QDADD/QDSUB
1518@------------------------------------------------------------------------------
1519        qdadd r6, r7, r8
1520        qdsub r6, r7, r8
1521        itt hi
1522        qdaddhi r6, r7, r8
1523        qdsubhi r6, r7, r8
1524
1525@ CHECK: qdadd	r6, r7, r8              @ encoding: [0x88,0xfa,0x97,0xf6]
1526@ CHECK: qdsub	r6, r7, r8              @ encoding: [0x88,0xfa,0xb7,0xf6]
1527@ CHECK: itt	hi                      @ encoding: [0x84,0xbf]
1528@ CHECK: qdaddhi r6, r7, r8             @ encoding: [0x88,0xfa,0x97,0xf6]
1529@ CHECK: qdsubhi r6, r7, r8             @ encoding: [0x88,0xfa,0xb7,0xf6]
1530
1531
1532@------------------------------------------------------------------------------
1533@ QSAX
1534@------------------------------------------------------------------------------
1535        qsax r9, r12, r0
1536        it eq
1537        qsaxeq r9, r12, r0
1538
1539@ CHECK: qsax	r9, r12, r0             @ encoding: [0xec,0xfa,0x10,0xf9]
1540@ CHECK: it	eq                      @ encoding: [0x08,0xbf]
1541@ CHECK: qsaxeq	r9, r12, r0             @ encoding: [0xec,0xfa,0x10,0xf9]
1542
1543
1544@------------------------------------------------------------------------------
1545@ QSUB/QSUB16/QSUB8
1546@------------------------------------------------------------------------------
1547        qsub r1, r2, r3
1548        qsub16 r1, r2, r3
1549        qsub8 r1, r2, r3
1550        itet le
1551        qsuble r1, r2, r3
1552        qsub16gt r1, r2, r3
1553        qsub8le r1, r2, r3
1554
1555@ CHECK: qsub	r1, r2, r3              @ encoding: [0x83,0xfa,0xa2,0xf1]
1556@ CHECK: qsub16	r1, r2, r3              @ encoding: [0xd2,0xfa,0x13,0xf1]
1557@ CHECK: qsub8	r1, r2, r3              @ encoding: [0xc2,0xfa,0x13,0xf1]
1558@ CHECK: itet	le                      @ encoding: [0xd6,0xbf]
1559@ CHECK: qsuble	r1, r2, r3              @ encoding: [0x83,0xfa,0xa2,0xf1]
1560@ CHECK: qsub16gt	r1, r2, r3      @ encoding: [0xd2,0xfa,0x13,0xf1]
1561@ CHECK: qsub8le r1, r2, r3             @ encoding: [0xc2,0xfa,0x13,0xf1]
1562
1563
1564@------------------------------------------------------------------------------
1565@ RBIT
1566@------------------------------------------------------------------------------
1567        rbit r1, r2
1568        it ne
1569        rbitne r1, r2
1570
1571@ CHECK: rbit	r1, r2                  @ encoding: [0x92,0xfa,0xa2,0xf1]
1572@ CHECK: it	ne                      @ encoding: [0x18,0xbf]
1573@ CHECK: rbitne	r1, r2                  @ encoding: [0x92,0xfa,0xa2,0xf1]
1574
1575
1576@------------------------------------------------------------------------------
1577@ REV
1578@------------------------------------------------------------------------------
1579        rev.w r1, r2
1580        rev r2, r8
1581        itt ne
1582        revne r1, r2
1583        revne r1, r8
1584
1585@ CHECK: rev.w	r1, r2                  @ encoding: [0x92,0xfa,0x82,0xf1]
1586@ CHECK: rev.w	r2, r8                  @ encoding: [0x98,0xfa,0x88,0xf2]
1587@ CHECK: itt	ne                      @ encoding: [0x1c,0xbf]
1588@ CHECK: revne	r1, r2                  @ encoding: [0x11,0xba]
1589@ CHECK: revne.w r1, r8                 @ encoding: [0x98,0xfa,0x88,0xf1]
1590
1591
1592@------------------------------------------------------------------------------
1593@ REV16
1594@------------------------------------------------------------------------------
1595        rev16.w r1, r2
1596        rev16 r2, r8
1597        itt ne
1598        rev16ne r1, r2
1599        rev16ne r1, r8
1600
1601@ CHECK: rev16.w r1, r2                 @ encoding: [0x92,0xfa,0x92,0xf1]
1602@ CHECK: rev16.w r2, r8                 @ encoding: [0x98,0xfa,0x98,0xf2]
1603@ CHECK: itt	ne                      @ encoding: [0x1c,0xbf]
1604@ CHECK: rev16ne r1, r2                 @ encoding: [0x51,0xba]
1605@ CHECK: rev16ne.w	r1, r8          @ encoding: [0x98,0xfa,0x98,0xf1]
1606
1607
1608@------------------------------------------------------------------------------
1609@ REVSH
1610@------------------------------------------------------------------------------
1611        revsh.w r1, r2
1612        revsh r2, r8
1613        itt ne
1614        revshne r1, r2
1615        revshne r1, r8
1616
1617@ CHECK: revsh.w r1, r2                 @ encoding: [0x92,0xfa,0xb2,0xf1]
1618@ CHECK: revsh.w r2, r8                 @ encoding: [0x98,0xfa,0xb8,0xf2]
1619@ CHECK: itt	ne                      @ encoding: [0x1c,0xbf]
1620@ CHECK: revshne r1, r2                 @ encoding: [0xd1,0xba]
1621@ CHECK: revshne.w	r1, r8          @ encoding: [0x98,0xfa,0xb8,0xf1]
1622
1623
1624@------------------------------------------------------------------------------
1625@ ROR (immediate)
1626@------------------------------------------------------------------------------
1627        ror r2, r3, #12
1628        rors r8, r3, #31
1629        rors.w r2, r3, #1
1630        ror r2, r3, #4
1631        rors r2, r12, #15
1632
1633        ror r3, #19
1634        rors r8, #2
1635        rors.w r7, #5
1636        ror.w r12, #21
1637
1638@ CHECK: ror.w	r2, r3, #12             @ encoding: [0x4f,0xea,0x33,0x32]
1639@ CHECK: rors.w	r8, r3, #31             @ encoding: [0x5f,0xea,0xf3,0x78]
1640@ CHECK: rors.w	r2, r3, #1              @ encoding: [0x5f,0xea,0x73,0x02]
1641@ CHECK: ror.w	r2, r3, #4              @ encoding: [0x4f,0xea,0x33,0x12]
1642@ CHECK: rors.w	r2, r12, #15            @ encoding: [0x5f,0xea,0xfc,0x32]
1643
1644@ CHECK: ror.w	r3, r3, #19             @ encoding: [0x4f,0xea,0xf3,0x43]
1645@ CHECK: rors.w	r8, r8, #2              @ encoding: [0x5f,0xea,0xb8,0x08]
1646@ CHECK: rors.w	r7, r7, #5              @ encoding: [0x5f,0xea,0x77,0x17]
1647@ CHECK: ror.w	r12, r12, #21           @ encoding: [0x4f,0xea,0x7c,0x5c]
1648
1649
1650@------------------------------------------------------------------------------
1651@ ROR (register)
1652@------------------------------------------------------------------------------
1653        ror r3, r4, r2
1654        ror.w r1, r2
1655        rors r3, r4, r8
1656
1657@ CHECK: ror.w	r3, r4, r2              @ encoding: [0x64,0xfa,0x02,0xf3]
1658@ CHECK: ror.w	r1, r1, r2              @ encoding: [0x61,0xfa,0x02,0xf1]
1659@ CHECK: rors.w	r3, r4, r8              @ encoding: [0x74,0xfa,0x08,0xf3]
1660
1661
1662@------------------------------------------------------------------------------
1663@ RRX
1664@------------------------------------------------------------------------------
1665        rrx r1, r2
1666        rrxs r1, r2
1667        ite lt
1668        rrxlt r9, r12
1669        rrxsge r8, r3
1670
1671@ CHECK: rrx	r1, r2                  @ encoding: [0x4f,0xea,0x32,0x01]
1672@ CHECK: rrxs	r1, r2                  @ encoding: [0x5f,0xea,0x32,0x01]
1673@ CHECK: ite	lt                      @ encoding: [0xb4,0xbf]
1674@ CHECK: rrxlt	r9, r12                 @ encoding: [0x4f,0xea,0x3c,0x09]
1675@ CHECK: rrxsge	r8, r3                  @ encoding: [0x5f,0xea,0x33,0x08]
1676
1677@------------------------------------------------------------------------------
1678@ RSB (immediate)
1679@------------------------------------------------------------------------------
1680        rsb r2, r5, #0xff000
1681        rsbs r3, r12, #0xf
1682        rsb r1, #0xff
1683        rsb r1, r1, #0xff
1684        rsb r11, r11, #0
1685        rsb r9, #0
1686        rsbs r3, r1, #0
1687        rsb r3, r1, #0
1688
1689@ CHECK: rsb.w	r2, r5, #1044480        @ encoding: [0xc5,0xf5,0x7f,0x22]
1690@ CHECK: rsbs.w	r3, r12, #15            @ encoding: [0xdc,0xf1,0x0f,0x03]
1691@ CHECK: rsb.w	r1, r1, #255            @ encoding: [0xc1,0xf1,0xff,0x01]
1692@ CHECK: rsb.w	r1, r1, #255            @ encoding: [0xc1,0xf1,0xff,0x01]
1693@ CHECK: rsb.w	r11, r11, #0            @ encoding: [0xcb,0xf1,0x00,0x0b]
1694@ CHECK: rsb.w	r9, r9, #0              @ encoding: [0xc9,0xf1,0x00,0x09]
1695@ CHECK: rsbs	r3, r1, #0              @ encoding: [0x4b,0x42]
1696@ CHECK: rsb.w	r3, r1, #0              @ encoding: [0xc1,0xf1,0x00,0x03]
1697
1698
1699@------------------------------------------------------------------------------
1700@ RSB (register)
1701@------------------------------------------------------------------------------
1702        rsb r4, r8
1703        rsb r4, r9, r8
1704        rsb r1, r4, r8, asr #3
1705        rsbs r2, r1, r7, lsl #1
1706
1707@ CHECK: rsb	r4, r4, r8              @ encoding: [0xc4,0xeb,0x08,0x04]
1708@ CHECK: rsb	r4, r9, r8              @ encoding: [0xc9,0xeb,0x08,0x04]
1709@ CHECK: rsb	r1, r4, r8, asr #3      @ encoding: [0xc4,0xeb,0xe8,0x01]
1710@ CHECK: rsbs	r2, r1, r7, lsl #1      @ encoding: [0xd1,0xeb,0x47,0x02]
1711
1712
1713@------------------------------------------------------------------------------
1714@ SADD16
1715@------------------------------------------------------------------------------
1716        sadd16 r3, r4, r8
1717        it ne
1718        sadd16ne r3, r4, r8
1719
1720@ CHECK: sadd16	r3, r4, r8              @ encoding: [0x94,0xfa,0x08,0xf3]
1721@ CHECK: it	ne                      @ encoding: [0x18,0xbf]
1722@ CHECK: sadd16ne	r3, r4, r8      @ encoding: [0x94,0xfa,0x08,0xf3]
1723
1724
1725@------------------------------------------------------------------------------
1726@ SADD8
1727@------------------------------------------------------------------------------
1728        sadd8 r3, r4, r8
1729        it ne
1730        sadd8ne r3, r4, r8
1731
1732@ CHECK: sadd8	r3, r4, r8              @ encoding: [0x84,0xfa,0x08,0xf3]
1733@ CHECK: it	ne                      @ encoding: [0x18,0xbf]
1734@ CHECK: sadd8ne r3, r4, r8             @ encoding: [0x84,0xfa,0x08,0xf3]
1735
1736
1737@------------------------------------------------------------------------------
1738@ SASX
1739@------------------------------------------------------------------------------
1740        saddsubx r9, r2, r7
1741        it ne
1742        saddsubxne r2, r5, r6
1743        sasx r9, r2, r7
1744        it ne
1745        sasxne r2, r5, r6
1746
1747@ CHECK: sasx	r9, r2, r7              @ encoding: [0xa2,0xfa,0x07,0xf9]
1748@ CHECK: it	ne                      @ encoding: [0x18,0xbf]
1749@ CHECK: sasxne	r2, r5, r6              @ encoding: [0xa5,0xfa,0x06,0xf2]
1750@ CHECK: sasx	r9, r2, r7              @ encoding: [0xa2,0xfa,0x07,0xf9]
1751@ CHECK: it	ne                      @ encoding: [0x18,0xbf]
1752@ CHECK: sasxne	r2, r5, r6              @ encoding: [0xa5,0xfa,0x06,0xf2]
1753
1754
1755@------------------------------------------------------------------------------
1756@ SBC (immediate)
1757@------------------------------------------------------------------------------
1758        sbc r0, r1, #4
1759        sbcs r0, r1, #0
1760        sbc r1, r2, #255
1761        sbc r3, r7, #0x00550055
1762        sbc r8, r12, #0xaa00aa00
1763        sbc r9, r7, #0xa5a5a5a5
1764        sbc r5, r3, #0x87000000
1765        sbc r4, r2, #0x7f800000
1766        sbc r4, r2, #0x00000680
1767
1768@ CHECK: sbc	r0, r1, #4              @ encoding: [0x61,0xf1,0x04,0x00]
1769@ CHECK: sbcs	r0, r1, #0              @ encoding: [0x71,0xf1,0x00,0x00]
1770@ CHECK: sbc	r1, r2, #255            @ encoding: [0x62,0xf1,0xff,0x01]
1771@ CHECK: sbc	r3, r7, #5570645        @ encoding: [0x67,0xf1,0x55,0x13]
1772@ CHECK: sbc	r8, r12, #2852170240    @ encoding: [0x6c,0xf1,0xaa,0x28]
1773@ CHECK: sbc	r9, r7, #2779096485     @ encoding: [0x67,0xf1,0xa5,0x39]
1774@ CHECK: sbc	r5, r3, #2264924160     @ encoding: [0x63,0xf1,0x07,0x45]
1775@ CHECK: sbc	r4, r2, #2139095040     @ encoding: [0x62,0xf1,0xff,0x44]
1776@ CHECK: sbc	r4, r2, #1664           @ encoding: [0x62,0xf5,0xd0,0x64]
1777
1778
1779@------------------------------------------------------------------------------
1780@ SBC (register)
1781@------------------------------------------------------------------------------
1782        sbc r4, r5, r6
1783        sbcs r4, r5, r6
1784        sbc.w r9, r1, r3
1785        sbcs.w r9, r1, r3
1786        sbc	r0, r1, r3, ror #4
1787        sbcs	r0, r1, r3, lsl #7
1788        sbc.w	r0, r1, r3, lsr #31
1789        sbcs.w	r0, r1, r3, asr #32
1790
1791@ CHECK: sbc.w	r4, r5, r6              @ encoding: [0x65,0xeb,0x06,0x04]
1792@ CHECK: sbcs.w	r4, r5, r6              @ encoding: [0x75,0xeb,0x06,0x04]
1793@ CHECK: sbc.w	r9, r1, r3              @ encoding: [0x61,0xeb,0x03,0x09]
1794@ CHECK: sbcs.w	r9, r1, r3              @ encoding: [0x71,0xeb,0x03,0x09]
1795@ CHECK: sbc.w	r0, r1, r3, ror #4      @ encoding: [0x61,0xeb,0x33,0x10]
1796@ CHECK: sbcs.w	r0, r1, r3, lsl #7      @ encoding: [0x71,0xeb,0xc3,0x10]
1797@ CHECK: sbc.w	r0, r1, r3, lsr #31     @ encoding: [0x61,0xeb,0xd3,0x70]
1798@ CHECK: sbcs.w	r0, r1, r3, asr #32     @ encoding: [0x71,0xeb,0x23,0x00]
1799
1800
1801@------------------------------------------------------------------------------
1802@ SBFX
1803@------------------------------------------------------------------------------
1804        sbfx r4, r5, #16, #1
1805        it gt
1806        sbfxgt r4, r5, #16, #16
1807
1808@ CHECK: sbfx	r4, r5, #16, #1         @ encoding: [0x45,0xf3,0x00,0x44]
1809@ CHECK: it	gt                      @ encoding: [0xc8,0xbf]
1810@ CHECK: sbfxgt	r4, r5, #16, #16        @ encoding: [0x45,0xf3,0x0f,0x44]
1811
1812
1813@------------------------------------------------------------------------------
1814@ SEL
1815@------------------------------------------------------------------------------
1816        sel r5, r9, r2
1817        it le
1818        selle r5, r9, r2
1819
1820@ CHECK: sel	r5, r9, r2              @ encoding: [0xa9,0xfa,0x82,0xf5]
1821@ CHECK: it	le                      @ encoding: [0xd8,0xbf]
1822@ CHECK: selle	r5, r9, r2              @ encoding: [0xa9,0xfa,0x82,0xf5]
1823
1824
1825@------------------------------------------------------------------------------
1826@ SEV
1827@------------------------------------------------------------------------------
1828        sev.w
1829        it eq
1830        seveq.w
1831
1832@ CHECK: sev.w                           @ encoding: [0xaf,0xf3,0x04,0x80]
1833@ CHECK: it	eq                       @ encoding: [0x08,0xbf]
1834@ CHECK: seveq.w                         @ encoding: [0xaf,0xf3,0x04,0x80]
1835
1836
1837@------------------------------------------------------------------------------
1838@ SADD16/SADD8
1839@------------------------------------------------------------------------------
1840        sadd16 r1, r2, r3
1841        sadd8 r1, r2, r3
1842        ite gt
1843        sadd16gt r1, r2, r3
1844        sadd8le r1, r2, r3
1845
1846@ CHECK: sadd16	r1, r2, r3              @ encoding: [0x92,0xfa,0x03,0xf1]
1847@ CHECK: sadd8	r1, r2, r3              @ encoding: [0x82,0xfa,0x03,0xf1]
1848@ CHECK: ite	gt                      @ encoding: [0xcc,0xbf]
1849@ CHECK: sadd16gt	r1, r2, r3      @ encoding: [0x92,0xfa,0x03,0xf1]
1850@ CHECK: sadd8le r1, r2, r3             @ encoding: [0x82,0xfa,0x03,0xf1]
1851
1852
1853@------------------------------------------------------------------------------
1854@ SHASX
1855@------------------------------------------------------------------------------
1856        shasx r4, r8, r2
1857        it gt
1858        shasxgt r4, r8, r2
1859        shaddsubx r4, r8, r2
1860        it gt
1861        shaddsubxgt r4, r8, r2
1862
1863@ CHECK: shasx	r4, r8, r2              @ encoding: [0xa8,0xfa,0x22,0xf4]
1864@ CHECK: it	gt                      @ encoding: [0xc8,0xbf]
1865@ CHECK: shasxgt r4, r8, r2             @ encoding: [0xa8,0xfa,0x22,0xf4]
1866@ CHECK: shasx	r4, r8, r2              @ encoding: [0xa8,0xfa,0x22,0xf4]
1867@ CHECK: it	gt                      @ encoding: [0xc8,0xbf]
1868@ CHECK: shasxgt r4, r8, r2             @ encoding: [0xa8,0xfa,0x22,0xf4]
1869
1870
1871@------------------------------------------------------------------------------
1872@ SHASX
1873@------------------------------------------------------------------------------
1874        shsax r4, r8, r2
1875        it gt
1876        shsaxgt r4, r8, r2
1877        shsubaddx r4, r8, r2
1878        it gt
1879        shsubaddxgt r4, r8, r2
1880
1881@ CHECK: shsax	r4, r8, r2              @ encoding: [0xe8,0xfa,0x22,0xf4]
1882@ CHECK: it	gt                      @ encoding: [0xc8,0xbf]
1883@ CHECK: shsaxgt r4, r8, r2             @ encoding: [0xe8,0xfa,0x22,0xf4]
1884@ CHECK: shsax	r4, r8, r2              @ encoding: [0xe8,0xfa,0x22,0xf4]
1885@ CHECK: it	gt                      @ encoding: [0xc8,0xbf]
1886@ CHECK: shsaxgt r4, r8, r2             @ encoding: [0xe8,0xfa,0x22,0xf4]
1887
1888
1889@------------------------------------------------------------------------------
1890@ SHSUB16/SHSUB8
1891@------------------------------------------------------------------------------
1892        shsub16 r4, r8, r2
1893        shsub8 r4, r8, r2
1894        itt gt
1895        shsub16gt r4, r8, r2
1896        shsub8gt r4, r8, r2
1897
1898@ CHECK: shsub16 r4, r8, r2             @ encoding: [0xd8,0xfa,0x22,0xf4]
1899@ CHECK: shsub8	r4, r8, r2              @ encoding: [0xc8,0xfa,0x22,0xf4]
1900@ CHECK: itt	gt                      @ encoding: [0xc4,0xbf]
1901@ CHECK: shsub16gt	r4, r8, r2      @ encoding: [0xd8,0xfa,0x22,0xf4]
1902@ CHECK: shsub8gt	r4, r8, r2      @ encoding: [0xc8,0xfa,0x22,0xf4]
1903
1904
1905@------------------------------------------------------------------------------
1906@ SMLABB/SMLABT/SMLATB/SMLATT
1907@------------------------------------------------------------------------------
1908        smlabb r3, r1, r9, r0
1909        smlabt r5, r6, r4, r1
1910        smlatb r4, r2, r3, r2
1911        smlatt r8, r3, r8, r4
1912        itete gt
1913        smlabbgt r3, r1, r9, r0
1914        smlabtle r5, r6, r4, r1
1915        smlatbgt r4, r2, r3, r2
1916        smlattle r8, r3, r8, r4
1917
1918@ CHECK: smlabb	r3, r1, r9, r0          @ encoding: [0x11,0xfb,0x09,0x03]
1919@ CHECK: smlabt	r5, r6, r4, r1          @ encoding: [0x16,0xfb,0x14,0x15]
1920@ CHECK: smlatb	r4, r2, r3, r2          @ encoding: [0x12,0xfb,0x23,0x24]
1921@ CHECK: smlatt	r8, r3, r8, r4          @ encoding: [0x13,0xfb,0x38,0x48]
1922@ CHECK: itete	gt                      @ encoding: [0xcb,0xbf]
1923@ CHECK: smlabbgt	r3, r1, r9, r0  @ encoding: [0x11,0xfb,0x09,0x03]
1924@ CHECK: smlabtle	r5, r6, r4, r1  @ encoding: [0x16,0xfb,0x14,0x15]
1925@ CHECK: smlatbgt	r4, r2, r3, r2  @ encoding: [0x12,0xfb,0x23,0x24]
1926@ CHECK: smlattle	r8, r3, r8, r4  @ encoding: [0x13,0xfb,0x38,0x48]
1927
1928
1929@------------------------------------------------------------------------------
1930@ SMLAD/SMLADX
1931@------------------------------------------------------------------------------
1932        smlad r2, r3, r5, r8
1933        smladx r2, r3, r5, r8
1934        itt hi
1935        smladhi r2, r3, r5, r8
1936        smladxhi r2, r3, r5, r8
1937
1938@ CHECK: smlad	r2, r3, r5, r8          @ encoding: [0x23,0xfb,0x05,0x82]
1939@ CHECK: smladx	r2, r3, r5, r8          @ encoding: [0x23,0xfb,0x15,0x82]
1940@ CHECK: itt	hi                      @ encoding: [0x84,0xbf]
1941@ CHECK: smladhi r2, r3, r5, r8         @ encoding: [0x23,0xfb,0x05,0x82]
1942@ CHECK: smladxhi	r2, r3, r5, r8  @ encoding: [0x23,0xfb,0x15,0x82]
1943
1944
1945@------------------------------------------------------------------------------
1946@ SMLAL
1947@------------------------------------------------------------------------------
1948        smlal r2, r3, r5, r8
1949        it eq
1950        smlaleq r2, r3, r5, r8
1951
1952@ CHECK: smlal	r2, r3, r5, r8          @ encoding: [0xc5,0xfb,0x08,0x23]
1953@ CHECK: it	eq                      @ encoding: [0x08,0xbf]
1954@ CHECK: smlaleq r2, r3, r5, r8         @ encoding: [0xc5,0xfb,0x08,0x23]
1955
1956
1957@------------------------------------------------------------------------------
1958@ SMLALBB/SMLALBT/SMLALTB/SMLALTT
1959@------------------------------------------------------------------------------
1960        smlalbb r3, r1, r9, r0
1961        smlalbt r5, r6, r4, r1
1962        smlaltb r4, r2, r3, r2
1963        smlaltt r8, r3, r8, r4
1964        iteet ge
1965        smlalbbge r3, r1, r9, r0
1966        smlalbtlt r5, r6, r4, r1
1967        smlaltblt r4, r2, r3, r2
1968        smlalttge r8, r3, r8, r4
1969
1970@ CHECK: smlalbb r3, r1, r9, r0         @ encoding: [0xc9,0xfb,0x80,0x31]
1971@ CHECK: smlalbt r5, r6, r4, r1         @ encoding: [0xc4,0xfb,0x91,0x56]
1972@ CHECK: smlaltb r4, r2, r3, r2         @ encoding: [0xc3,0xfb,0xa2,0x42]
1973@ CHECK: smlaltt r8, r3, r8, r4         @ encoding: [0xc8,0xfb,0xb4,0x83]
1974@ CHECK: iteet	ge                      @ encoding: [0xad,0xbf]
1975@ CHECK: smlalbbge	r3, r1, r9, r0  @ encoding: [0xc9,0xfb,0x80,0x31]
1976@ CHECK: smlalbtlt	r5, r6, r4, r1  @ encoding: [0xc4,0xfb,0x91,0x56]
1977@ CHECK: smlaltblt	r4, r2, r3, r2  @ encoding: [0xc3,0xfb,0xa2,0x42]
1978@ CHECK: smlalttge	r8, r3, r8, r4  @ encoding: [0xc8,0xfb,0xb4,0x83]
1979
1980
1981@------------------------------------------------------------------------------
1982@ SMLALD/SMLALDX
1983@------------------------------------------------------------------------------
1984        smlald r2, r3, r5, r8
1985        smlaldx r2, r3, r5, r8
1986        ite eq
1987        smlaldeq r2, r3, r5, r8
1988        smlaldxne r2, r3, r5, r8
1989
1990@ CHECK: smlald	r2, r3, r5, r8          @ encoding: [0xc5,0xfb,0xc8,0x23]
1991@ CHECK: smlaldx r2, r3, r5, r8         @ encoding: [0xc5,0xfb,0xd8,0x23]
1992@ CHECK: ite	eq                      @ encoding: [0x0c,0xbf]
1993@ CHECK: smlaldeq	r2, r3, r5, r8  @ encoding: [0xc5,0xfb,0xc8,0x23]
1994@ CHECK: smlaldxne	r2, r3, r5, r8  @ encoding: [0xc5,0xfb,0xd8,0x23]
1995
1996
1997@------------------------------------------------------------------------------
1998@ SMLAWB/SMLAWT
1999@------------------------------------------------------------------------------
2000        smlawb r2, r3, r10, r8
2001        smlawt r8, r3, r5, r9
2002        ite eq
2003        smlawbeq r2, r7, r5, r8
2004        smlawtne r1, r3, r0, r8
2005
2006@ CHECK: smlawb	r2, r3, r10, r8         @ encoding: [0x33,0xfb,0x0a,0x82]
2007@ CHECK: smlawt	r8, r3, r5, r9          @ encoding: [0x33,0xfb,0x15,0x98]
2008@ CHECK: ite	eq                      @ encoding: [0x0c,0xbf]
2009@ CHECK: smlawbeq	r2, r7, r5, r8  @ encoding: [0x37,0xfb,0x05,0x82]
2010@ CHECK: smlawtne	r1, r3, r0, r8  @ encoding: [0x33,0xfb,0x10,0x81]
2011
2012
2013@------------------------------------------------------------------------------
2014@ SMLSD/SMLSDX
2015@------------------------------------------------------------------------------
2016        smlsd r2, r3, r5, r8
2017        smlsdx r2, r3, r5, r8
2018        ite le
2019        smlsdle r2, r3, r5, r8
2020        smlsdxgt r2, r3, r5, r8
2021
2022@ CHECK: smlsd	r2, r3, r5, r8          @ encoding: [0x43,0xfb,0x05,0x82]
2023@ CHECK: smlsdx	r2, r3, r5, r8          @ encoding: [0x43,0xfb,0x15,0x82]
2024@ CHECK: ite	le                      @ encoding: [0xd4,0xbf]
2025@ CHECK: smlsdle	r2, r3, r5, r8  @ encoding: [0x43,0xfb,0x05,0x82]
2026@ CHECK: smlsdxgt	r2, r3, r5, r8  @ encoding: [0x43,0xfb,0x15,0x82]
2027
2028
2029@------------------------------------------------------------------------------
2030@ SMLSLD/SMLSLDX
2031@------------------------------------------------------------------------------
2032        smlsld r2, r9, r5, r1
2033        smlsldx r4, r11, r2, r8
2034        ite ge
2035        smlsldge r8, r2, r5, r6
2036        smlsldxlt r1, r0, r3, r8
2037
2038@ CHECK: smlsld	r2, r9, r5, r1          @ encoding: [0xd5,0xfb,0xc1,0x29]
2039@ CHECK: smlsldx	r4, r11, r2, r8 @ encoding: [0xd2,0xfb,0xd8,0x4b]
2040@ CHECK: ite	ge                      @ encoding: [0xac,0xbf]
2041@ CHECK: smlsldge	r8, r2, r5, r6  @ encoding: [0xd5,0xfb,0xc6,0x82]
2042@ CHECK: smlsldxlt	r1, r0, r3, r8  @ encoding: [0xd3,0xfb,0xd8,0x10]
2043
2044
2045@------------------------------------------------------------------------------
2046@ SMMLA/SMMLAR
2047@------------------------------------------------------------------------------
2048        smmla r1, r2, r3, r4
2049        smmlar r4, r3, r2, r1
2050        ite lo
2051        smmlalo r1, r2, r3, r4
2052        smmlarcs r4, r3, r2, r1
2053
2054@ CHECK: smmla	r1, r2, r3, r4          @ encoding: [0x52,0xfb,0x03,0x41]
2055@ CHECK: smmlar	r4, r3, r2, r1          @ encoding: [0x53,0xfb,0x12,0x14]
2056@ CHECK: ite	lo                      @ encoding: [0x34,0xbf]
2057@ CHECK: smmlalo	r1, r2, r3, r4  @ encoding: [0x52,0xfb,0x03,0x41]
2058@ CHECK: smmlarhs	r4, r3, r2, r1  @ encoding: [0x53,0xfb,0x12,0x14]
2059
2060
2061@------------------------------------------------------------------------------
2062@ SMMLS/SMMLSR
2063@------------------------------------------------------------------------------
2064        smmls r1, r2, r3, r4
2065        smmlsr r4, r3, r2, r1
2066        ite lo
2067        smmlslo r1, r2, r3, r4
2068        smmlsrcs r4, r3, r2, r1
2069
2070@ CHECK: smmls	r1, r2, r3, r4          @ encoding: [0x62,0xfb,0x03,0x41]
2071@ CHECK: smmlsr	r4, r3, r2, r1          @ encoding: [0x63,0xfb,0x12,0x14]
2072@ CHECK: ite	lo                      @ encoding: [0x34,0xbf]
2073@ CHECK: smmlslo	r1, r2, r3, r4  @ encoding: [0x62,0xfb,0x03,0x41]
2074@ CHECK: smmlsrhs	r4, r3, r2, r1  @ encoding: [0x63,0xfb,0x12,0x14]
2075
2076
2077@------------------------------------------------------------------------------
2078@ SMMUL/SMMULR
2079@------------------------------------------------------------------------------
2080        smmul r2, r3, r4
2081        smmulr r3, r2, r1
2082        ite cc
2083        smmulcc r2, r3, r4
2084        smmulrhs r3, r2, r1
2085
2086@ CHECK: smmul	r2, r3, r4              @ encoding: [0x53,0xfb,0x04,0xf2]
2087@ CHECK: smmulr	r3, r2, r1              @ encoding: [0x52,0xfb,0x11,0xf3]
2088@ CHECK: ite	lo                      @ encoding: [0x34,0xbf]
2089@ CHECK: smmullo	r2, r3, r4      @ encoding: [0x53,0xfb,0x04,0xf2]
2090@ CHECK: smmulrhs	r3, r2, r1      @ encoding: [0x52,0xfb,0x11,0xf3]
2091
2092
2093@------------------------------------------------------------------------------
2094@ SMUAD/SMUADX
2095@------------------------------------------------------------------------------
2096        smuad r2, r3, r4
2097        smuadx r3, r2, r1
2098        ite lt
2099        smuadlt r2, r3, r4
2100        smuadxge r3, r2, r1
2101
2102@ CHECK: smuad	r2, r3, r4              @ encoding: [0x23,0xfb,0x04,0xf2]
2103@ CHECK: smuadx	r3, r2, r1              @ encoding: [0x22,0xfb,0x11,0xf3]
2104@ CHECK: ite	lt                      @ encoding: [0xb4,0xbf]
2105@ CHECK: smuadlt	r2, r3, r4      @ encoding: [0x23,0xfb,0x04,0xf2]
2106@ CHECK: smuadxge	r3, r2, r1      @ encoding: [0x22,0xfb,0x11,0xf3]
2107
2108
2109@------------------------------------------------------------------------------
2110@ SMULBB/SMULBT/SMULTB/SMULTT
2111@------------------------------------------------------------------------------
2112        smulbb r3, r9, r0
2113        smulbt r5, r4, r1
2114        smultb r4, r2, r2
2115        smultt r8, r3, r4
2116        itete ge
2117        smulbbge r1, r9, r0
2118        smulbtlt r5, r6, r4
2119        smultbge r2, r3, r2
2120        smulttlt r8, r3, r4
2121
2122@ CHECK: smulbb	r3, r9, r0              @ encoding: [0x19,0xfb,0x00,0xf3]
2123@ CHECK: smulbt	r5, r4, r1              @ encoding: [0x14,0xfb,0x11,0xf5]
2124@ CHECK: smultb	r4, r2, r2              @ encoding: [0x12,0xfb,0x22,0xf4]
2125@ CHECK: smultt	r8, r3, r4              @ encoding: [0x13,0xfb,0x34,0xf8]
2126@ CHECK: itete	ge                      @ encoding: [0xab,0xbf]
2127@ CHECK: smulbbge	r1, r9, r0      @ encoding: [0x19,0xfb,0x00,0xf1]
2128@ CHECK: smulbtlt	r5, r6, r4      @ encoding: [0x16,0xfb,0x14,0xf5]
2129@ CHECK: smultbge	r2, r3, r2      @ encoding: [0x13,0xfb,0x22,0xf2]
2130@ CHECK: smulttlt	r8, r3, r4      @ encoding: [0x13,0xfb,0x34,0xf8]
2131
2132
2133@------------------------------------------------------------------------------
2134@ SMULL
2135@------------------------------------------------------------------------------
2136        smull r3, r9, r0, r1
2137        it eq
2138        smulleq r8, r3, r4, r5
2139
2140@ CHECK: smull	r3, r9, r0, r1          @ encoding: [0x80,0xfb,0x01,0x39]
2141@ CHECK: it	eq                      @ encoding: [0x08,0xbf]
2142@ CHECK: smulleq r8, r3, r4, r5         @ encoding: [0x84,0xfb,0x05,0x83]
2143
2144
2145@------------------------------------------------------------------------------
2146@ SMULWB/SMULWT
2147@------------------------------------------------------------------------------
2148        smulwb r3, r9, r0
2149        smulwt r3, r9, r2
2150        ite gt
2151        smulwbgt r3, r9, r0
2152        smulwtle r3, r9, r2
2153
2154@ CHECK: smulwb	r3, r9, r0              @ encoding: [0x39,0xfb,0x00,0xf3]
2155@ CHECK: smulwt	r3, r9, r2              @ encoding: [0x39,0xfb,0x12,0xf3]
2156@ CHECK: ite	gt                      @ encoding: [0xcc,0xbf]
2157@ CHECK: smulwbgt	r3, r9, r0      @ encoding: [0x39,0xfb,0x00,0xf3]
2158@ CHECK: smulwtle	r3, r9, r2      @ encoding: [0x39,0xfb,0x12,0xf3]
2159
2160
2161@------------------------------------------------------------------------------
2162@ SMUSD/SMUSDX
2163@------------------------------------------------------------------------------
2164        smusd r3, r0, r1
2165        smusdx r3, r9, r2
2166        ite eq
2167        smusdeq r8, r3, r2
2168        smusdxne r7, r4, r3
2169
2170@ CHECK: smusd	r3, r0, r1              @ encoding: [0x40,0xfb,0x01,0xf3]
2171@ CHECK: smusdx	r3, r9, r2              @ encoding: [0x49,0xfb,0x12,0xf3]
2172@ CHECK: ite	eq                      @ encoding: [0x0c,0xbf]
2173@ CHECK: smusdeq	r8, r3, r2      @ encoding: [0x43,0xfb,0x02,0xf8]
2174@ CHECK: smusdxne	r7, r4, r3      @ encoding: [0x44,0xfb,0x13,0xf7]
2175
2176
2177@------------------------------------------------------------------------------
2178@ SRS
2179@------------------------------------------------------------------------------
2180        srsdb sp, #1
2181        srsia sp, #0
2182
2183        srsdb sp!, #19
2184        srsia sp!, #2
2185
2186        srsea sp, #10
2187        srsfd sp, #9
2188
2189        srsea sp!, #5
2190        srsfd sp!, #5
2191
2192        srs sp, #5
2193        srs sp!, #5
2194
2195@ CHECK: srsdb	sp, #1                  @ encoding: [0x0d,0xe8,0x01,0xc0]
2196@ CHECK: srsia	sp, #0                  @ encoding: [0x8d,0xe9,0x00,0xc0]
2197@ CHECK: srsdb	sp!, #19                @ encoding: [0x2d,0xe8,0x13,0xc0]
2198@ CHECK: srsia	sp!, #2                 @ encoding: [0xad,0xe9,0x02,0xc0]
2199@ CHECK: srsdb	sp, #10                 @ encoding: [0x0d,0xe8,0x0a,0xc0]
2200@ CHECK: srsia	sp, #9                  @ encoding: [0x8d,0xe9,0x09,0xc0]
2201@ CHECK: srsdb	sp!, #5                 @ encoding: [0x2d,0xe8,0x05,0xc0]
2202@ CHECK: srsia	sp!, #5                 @ encoding: [0xad,0xe9,0x05,0xc0]
2203@ CHECK: srsia	sp, #5                  @ encoding: [0x8d,0xe9,0x05,0xc0]
2204@ CHECK: srsia	sp!, #5                 @ encoding: [0xad,0xe9,0x05,0xc0]
2205
2206
2207@------------------------------------------------------------------------------
2208@ SSAT
2209@------------------------------------------------------------------------------
2210        ssat	r8, #1, r10
2211        ssat	r8, #1, r10, lsl #0
2212        ssat	r8, #1, r10, lsl #31
2213        ssat	r8, #1, r10, asr #1
2214
2215@ CHECK: ssat	r8, #1, r10             @ encoding: [0x0a,0xf3,0x00,0x08]
2216@ CHECK: ssat	r8, #1, r10             @ encoding: [0x0a,0xf3,0x00,0x08]
2217@ CHECK: ssat	r8, #1, r10, lsl #31    @ encoding: [0x0a,0xf3,0xc0,0x78]
2218@ CHECK: ssat	r8, #1, r10, asr #1     @ encoding: [0x2a,0xf3,0x40,0x08]
2219
2220
2221@------------------------------------------------------------------------------
2222@ SSAT16
2223@------------------------------------------------------------------------------
2224        ssat16	r2, #1, r7
2225        ssat16	r3, #16, r5
2226
2227@ CHECK: ssat16	r2, #1, r7              @ encoding: [0x27,0xf3,0x00,0x02]
2228@ CHECK: ssat16	r3, #16, r5             @ encoding: [0x25,0xf3,0x0f,0x03]
2229
2230
2231@------------------------------------------------------------------------------
2232@ SSAX
2233@------------------------------------------------------------------------------
2234        ssubaddx r2, r3, r4
2235        it lt
2236        ssubaddxlt r2, r3, r4
2237        ssax r2, r3, r4
2238        it lt
2239        ssaxlt r2, r3, r4
2240
2241@ CHECK: ssax	r2, r3, r4              @ encoding: [0xe3,0xfa,0x04,0xf2]
2242@ CHECK: it	lt                      @ encoding: [0xb8,0xbf]
2243@ CHECK: ssaxlt	r2, r3, r4              @ encoding: [0xe3,0xfa,0x04,0xf2]
2244@ CHECK: ssax	r2, r3, r4              @ encoding: [0xe3,0xfa,0x04,0xf2]
2245@ CHECK: it	lt                      @ encoding: [0xb8,0xbf]
2246@ CHECK: ssaxlt	r2, r3, r4              @ encoding: [0xe3,0xfa,0x04,0xf2]
2247
2248
2249@------------------------------------------------------------------------------
2250@ SSUB16/SSUB8
2251@------------------------------------------------------------------------------
2252        ssub16 r1, r0, r6
2253        ssub8 r9, r2, r4
2254        ite ne
2255        ssub16ne r5, r3, r2
2256        ssub8eq r5, r1, r2
2257
2258@ CHECK: ssub16	r1, r0, r6              @ encoding: [0xd0,0xfa,0x06,0xf1]
2259@ CHECK: ssub8	r9, r2, r4              @ encoding: [0xc2,0xfa,0x04,0xf9]
2260@ CHECK: ite	ne                      @ encoding: [0x14,0xbf]
2261@ CHECK: ssub16ne	r5, r3, r2      @ encoding: [0xd3,0xfa,0x02,0xf5]
2262@ CHECK: ssub8eq	r5, r1, r2      @ encoding: [0xc1,0xfa,0x02,0xf5]
2263
2264
2265@------------------------------------------------------------------------------
2266@ STC{L}/STC2{L}
2267@------------------------------------------------------------------------------
2268        stc2 p0, c8, [r1, #4]
2269        stc2 p1, c7, [r2]
2270        stc2 p2, c6, [r3, #-224]
2271        stc2 p3, c5, [r4, #-120]!
2272        stc2 p4, c4, [r5], #16
2273        stc2 p5, c3, [r6], #-72
2274        stc2l p6, c2, [r7, #4]
2275        stc2l p7, c1, [r8]
2276        stc2l p8, c0, [r9, #-224]
2277        stc2l p9, c1, [r10, #-120]!
2278        stc2l p10, c2, [r11], #16
2279        stc2l p11, c3, [r12], #-72
2280
2281        stc p12, c4, [r0, #4]
2282        stc p13, c5, [r1]
2283        stc p14, c6, [r2, #-224]
2284        stc p15, c7, [r3, #-120]!
2285        stc p5, c8, [r4], #16
2286        stc p4, c9, [r5], #-72
2287        stcl p3, c10, [r6, #4]
2288        stcl p2, c11, [r7]
2289        stcl p1, c12, [r8, #-224]
2290        stcl p0, c13, [r9, #-120]!
2291        stcl p6, c14, [r10], #16
2292        stcl p7, c15, [r11], #-72
2293
2294        stc2 p2, c8, [r1], { 25 }
2295
2296@ CHECK: stc2	p0, c8, [r1, #4]        @ encoding: [0x81,0xfd,0x01,0x80]
2297@ CHECK: stc2	p1, c7, [r2]            @ encoding: [0x82,0xfd,0x00,0x71]
2298@ CHECK: stc2	p2, c6, [r3, #-224]     @ encoding: [0x03,0xfd,0x38,0x62]
2299@ CHECK: stc2	p3, c5, [r4, #-120]!    @ encoding: [0x24,0xfd,0x1e,0x53]
2300@ CHECK: stc2	p4, c4, [r5], #16       @ encoding: [0xa5,0xfc,0x04,0x44]
2301@ CHECK: stc2	p5, c3, [r6], #-72      @ encoding: [0x26,0xfc,0x12,0x35]
2302@ CHECK: stc2l	p6, c2, [r7, #4]        @ encoding: [0xc7,0xfd,0x01,0x26]
2303@ CHECK: stc2l	p7, c1, [r8]            @ encoding: [0xc8,0xfd,0x00,0x17]
2304@ CHECK: stc2l	p8, c0, [r9, #-224]     @ encoding: [0x49,0xfd,0x38,0x08]
2305@ CHECK: stc2l	p9, c1, [r10, #-120]!   @ encoding: [0x6a,0xfd,0x1e,0x19]
2306@ CHECK: stc2l	p10, c2, [r11], #16     @ encoding: [0xeb,0xfc,0x04,0x2a]
2307@ CHECK: stc2l	p11, c3, [r12], #-72    @ encoding: [0x6c,0xfc,0x12,0x3b]
2308
2309@ CHECK: stc	p12, c4, [r0, #4]       @ encoding: [0x80,0xed,0x01,0x4c]
2310@ CHECK: stc	p13, c5, [r1]           @ encoding: [0x81,0xed,0x00,0x5d]
2311@ CHECK: stc	p14, c6, [r2, #-224]    @ encoding: [0x02,0xed,0x38,0x6e]
2312@ CHECK: stc	p15, c7, [r3, #-120]!   @ encoding: [0x23,0xed,0x1e,0x7f]
2313@ CHECK: stc	p5, c8, [r4], #16       @ encoding: [0xa4,0xec,0x04,0x85]
2314@ CHECK: stc	p4, c9, [r5], #-72      @ encoding: [0x25,0xec,0x12,0x94]
2315@ CHECK: stcl	p3, c10, [r6, #4]       @ encoding: [0xc6,0xed,0x01,0xa3]
2316@ CHECK: stcl	p2, c11, [r7]           @ encoding: [0xc7,0xed,0x00,0xb2]
2317@ CHECK: stcl	p1, c12, [r8, #-224]    @ encoding: [0x48,0xed,0x38,0xc1]
2318@ CHECK: stcl	p0, c13, [r9, #-120]!   @ encoding: [0x69,0xed,0x1e,0xd0]
2319@ CHECK: stcl	p6, c14, [r10], #16     @ encoding: [0xea,0xec,0x04,0xe6]
2320@ CHECK: stcl	p7, c15, [r11], #-72    @ encoding: [0x6b,0xec,0x12,0xf7]
2321
2322@ CHECK: stc2	p2, c8, [r1], {25}      @ encoding: [0x81,0xfc,0x19,0x82]
2323
2324
2325@------------------------------------------------------------------------------
2326@ STMIA
2327@------------------------------------------------------------------------------
2328        stmia.w r4, {r4, r5, r8, r9}
2329        stmia.w r4, {r5, r6}
2330        stmia.w r5!, {r3, r8}
2331        stm.w r4, {r4, r5, r8, r9}
2332        stm.w r4, {r5, r6}
2333        stm.w r5!, {r3, r8}
2334        stm.w r5!, {r1, r2}
2335        stm.w r2, {r1, r2}
2336
2337        stmia r4, {r4, r5, r8, r9}
2338        stmia r4, {r5, r6}
2339        stmia r5!, {r3, r8}
2340        stm r4, {r4, r5, r8, r9}
2341        stm r4, {r5, r6}
2342        stm r5!, {r3, r8}
2343        stmea r5!, {r3, r8}
2344
2345@ CHECK: stm.w	r4, {r4, r5, r8, r9}    @ encoding: [0x84,0xe8,0x30,0x03]
2346@ CHECK: stm.w	r4, {r5, r6}            @ encoding: [0x84,0xe8,0x60,0x00]
2347@ CHECK: stm.w	r5!, {r3, r8}           @ encoding: [0xa5,0xe8,0x08,0x01]
2348@ CHECK: stm.w	r4, {r4, r5, r8, r9}    @ encoding: [0x84,0xe8,0x30,0x03]
2349@ CHECK: stm.w	r4, {r5, r6}            @ encoding: [0x84,0xe8,0x60,0x00]
2350@ CHECK: stm.w	r5!, {r3, r8}           @ encoding: [0xa5,0xe8,0x08,0x01]
2351@ CHECK: stm.w	r5!, {r1, r2}           @ encoding: [0xa5,0xe8,0x06,0x00]
2352@ CHECK: stm.w	r2, {r1, r2}            @ encoding: [0x82,0xe8,0x06,0x00]
2353
2354@ CHECK: stm.w	r4, {r4, r5, r8, r9}    @ encoding: [0x84,0xe8,0x30,0x03]
2355@ CHECK: stm.w	r4, {r5, r6}            @ encoding: [0x84,0xe8,0x60,0x00]
2356@ CHECK: stm.w	r5!, {r3, r8}           @ encoding: [0xa5,0xe8,0x08,0x01]
2357@ CHECK: stm.w	r4, {r4, r5, r8, r9}    @ encoding: [0x84,0xe8,0x30,0x03]
2358@ CHECK: stm.w	r4, {r5, r6}            @ encoding: [0x84,0xe8,0x60,0x00]
2359@ CHECK: stm.w	r5!, {r3, r8}           @ encoding: [0xa5,0xe8,0x08,0x01]
2360@ CHECK: stm.w	r5!, {r3, r8}           @ encoding: [0xa5,0xe8,0x08,0x01]
2361
2362
2363@------------------------------------------------------------------------------
2364@ STMDB
2365@------------------------------------------------------------------------------
2366        stmdb r4, {r4, r5, r8, r9}
2367        stmdb r4, {r5, r6}
2368        stmdb r5!, {r3, r8}
2369        stmea r5!, {r3, r8}
2370        stmdb.w r5, {r0, r1}
2371
2372@ CHECK: stmdb	r4, {r4, r5, r8, r9}    @ encoding: [0x04,0xe9,0x30,0x03]
2373@ CHECK: stmdb	r4, {r5, r6}            @ encoding: [0x04,0xe9,0x60,0x00]
2374@ CHECK: stmdb	r5!, {r3, r8}           @ encoding: [0x25,0xe9,0x08,0x01]
2375@ CHECK: stm.w	r5!, {r3, r8}           @ encoding: [0xa5,0xe8,0x08,0x01]
2376@ CHECK: stmdb	r5, {r0, r1}            @ encoding: [0x05,0xe9,0x03,0x00]
2377
2378
2379@------------------------------------------------------------------------------
2380@ STR(immediate)
2381@------------------------------------------------------------------------------
2382        str r5, [r5, #-4]
2383        str r5, [r6, #32]
2384        str r5, [r6, #33]
2385        str r5, [r6, #257]
2386        str.w pc, [r7, #257]
2387        str r2, [r4, #255]!
2388        str r8, [sp, #4]!
2389        str lr, [sp, #-4]!
2390        str r2, [r4], #255
2391        str r8, [sp], #4
2392        str lr, [sp], #-4
2393
2394@ CHECK: str	r5, [r5, #-4]           @ encoding: [0x45,0xf8,0x04,0x5c]
2395@ CHECK: str	r5, [r6, #32]           @ encoding: [0x35,0x62]
2396@ CHECK: str.w	r5, [r6, #33]           @ encoding: [0xc6,0xf8,0x21,0x50]
2397@ CHECK: str.w	r5, [r6, #257]          @ encoding: [0xc6,0xf8,0x01,0x51]
2398@ CHECK: str.w	pc, [r7, #257]          @ encoding: [0xc7,0xf8,0x01,0xf1]
2399@ CHECK: str	r2, [r4, #255]!         @ encoding: [0x44,0xf8,0xff,0x2f]
2400@ CHECK: str	r8, [sp, #4]!           @ encoding: [0x4d,0xf8,0x04,0x8f]
2401@ CHECK: str	lr, [sp, #-4]!          @ encoding: [0x4d,0xf8,0x04,0xed]
2402@ CHECK: str	r2, [r4], #255          @ encoding: [0x44,0xf8,0xff,0x2b]
2403@ CHECK: str	r8, [sp], #4            @ encoding: [0x4d,0xf8,0x04,0x8b]
2404@ CHECK: str	lr, [sp], #-4           @ encoding: [0x4d,0xf8,0x04,0xe9]
2405
2406
2407@------------------------------------------------------------------------------
2408@ STR(register)
2409@------------------------------------------------------------------------------
2410        str r1, [r8, r1]
2411        str.w r4, [r5, r2]
2412        str r6, [r0, r2, lsl #3]
2413        str r8, [r8, r2, lsl #2]
2414        str r7, [sp, r2, lsl #1]
2415        str r7, [sp, r2, lsl #0]
2416
2417@ CHECK: str.w	r1, [r8, r1]            @ encoding: [0x48,0xf8,0x01,0x10]
2418@ CHECK: str.w	r4, [r5, r2]            @ encoding: [0x45,0xf8,0x02,0x40]
2419@ CHECK: str.w	r6, [r0, r2, lsl #3]    @ encoding: [0x40,0xf8,0x32,0x60]
2420@ CHECK: str.w	r8, [r8, r2, lsl #2]    @ encoding: [0x48,0xf8,0x22,0x80]
2421@ CHECK: str.w	r7, [sp, r2, lsl #1]    @ encoding: [0x4d,0xf8,0x12,0x70]
2422@ CHECK: str.w	r7, [sp, r2]            @ encoding: [0x4d,0xf8,0x02,0x70]
2423
2424
2425@------------------------------------------------------------------------------
2426@ STRB(immediate)
2427@------------------------------------------------------------------------------
2428        strb r5, [r5, #-4]
2429        strb r5, [r6, #32]
2430        strb r5, [r6, #33]
2431        strb r5, [r6, #257]
2432        strb.w lr, [r7, #257]
2433        strb r5, [r8, #255]!
2434        strb r2, [r5, #4]!
2435        strb r1, [r4, #-4]!
2436        strb lr, [r3], #255
2437        strb r9, [r2], #4
2438        strb r3, [sp], #-4
2439        strb r4, [r8, #-0]!
2440
2441@ CHECK: strb	r5, [r5, #-4]           @ encoding: [0x05,0xf8,0x04,0x5c]
2442@ CHECK: strb.w	r5, [r6, #32]           @ encoding: [0x86,0xf8,0x20,0x50]
2443@ CHECK: strb.w	r5, [r6, #33]           @ encoding: [0x86,0xf8,0x21,0x50]
2444@ CHECK: strb.w	r5, [r6, #257]          @ encoding: [0x86,0xf8,0x01,0x51]
2445@ CHECK: strb.w	lr, [r7, #257]          @ encoding: [0x87,0xf8,0x01,0xe1]
2446@ CHECK: strb	r5, [r8, #255]!         @ encoding: [0x08,0xf8,0xff,0x5f]
2447@ CHECK: strb	r2, [r5, #4]!           @ encoding: [0x05,0xf8,0x04,0x2f]
2448@ CHECK: strb	r1, [r4, #-4]!          @ encoding: [0x04,0xf8,0x04,0x1d]
2449@ CHECK: strb	lr, [r3], #255          @ encoding: [0x03,0xf8,0xff,0xeb]
2450@ CHECK: strb	r9, [r2], #4            @ encoding: [0x02,0xf8,0x04,0x9b]
2451@ CHECK: strb	r3, [sp], #-4           @ encoding: [0x0d,0xf8,0x04,0x39]
2452@ CHECK: strb	r4, [r8, #-0]!          @ encoding: [0x08,0xf8,0x00,0x4d]
2453
2454
2455@------------------------------------------------------------------------------
2456@ STRB(register)
2457@------------------------------------------------------------------------------
2458        strb r1, [r8, r1]
2459        strb.w r4, [r5, r2]
2460        strb r6, [r0, r2, lsl #3]
2461        strb r8, [r8, r2, lsl #2]
2462        strb r7, [sp, r2, lsl #1]
2463        strb r7, [sp, r2, lsl #0]
2464
2465@ CHECK: strb.w	r1, [r8, r1]            @ encoding: [0x08,0xf8,0x01,0x10]
2466@ CHECK: strb.w	r4, [r5, r2]            @ encoding: [0x05,0xf8,0x02,0x40]
2467@ CHECK: strb.w	r6, [r0, r2, lsl #3]    @ encoding: [0x00,0xf8,0x32,0x60]
2468@ CHECK: strb.w	r8, [r8, r2, lsl #2]    @ encoding: [0x08,0xf8,0x22,0x80]
2469@ CHECK: strb.w	r7, [sp, r2, lsl #1]    @ encoding: [0x0d,0xf8,0x12,0x70]
2470@ CHECK: strb.w	r7, [sp, r2]            @ encoding: [0x0d,0xf8,0x02,0x70]
2471
2472
2473@------------------------------------------------------------------------------
2474@ STRBT
2475@------------------------------------------------------------------------------
2476        strbt r1, [r2]
2477        strbt r1, [r8, #0]
2478        strbt r1, [r8, #3]
2479        strbt r1, [r8, #255]
2480
2481@ CHECK: strbt	r1, [r2]                @ encoding: [0x02,0xf8,0x00,0x1e]
2482@ CHECK: strbt	r1, [r8]                @ encoding: [0x08,0xf8,0x00,0x1e]
2483@ CHECK: strbt	r1, [r8, #3]            @ encoding: [0x08,0xf8,0x03,0x1e]
2484@ CHECK: strbt	r1, [r8, #255]          @ encoding: [0x08,0xf8,0xff,0x1e]
2485
2486
2487@------------------------------------------------------------------------------
2488@ STRD
2489@------------------------------------------------------------------------------
2490        strd r3, r5, [r6, #24]
2491        strd r3, r5, [r6, #24]!
2492        strd r3, r5, [r6], #4
2493        strd r3, r5, [r6], #-8
2494        strd r3, r5, [r6]
2495        strd r8, r1, [r3, #0]
2496
2497@ CHECK: strd	r3, r5, [r6, #24]       @ encoding: [0xc6,0xe9,0x06,0x35]
2498@ CHECK: strd	r3, r5, [r6, #24]!      @ encoding: [0xe6,0xe9,0x06,0x35]
2499@ CHECK: strd	r3, r5, [r6], #4        @ encoding: [0xe6,0xe8,0x01,0x35]
2500@ CHECK: strd	r3, r5, [r6], #-8       @ encoding: [0x66,0xe8,0x02,0x35]
2501@ CHECK: strd	r3, r5, [r6]            @ encoding: [0xc6,0xe9,0x00,0x35]
2502@ CHECK: strd	r8, r1, [r3]            @ encoding: [0xc3,0xe9,0x00,0x81]
2503
2504
2505@------------------------------------------------------------------------------
2506@ STREX/STREXB/STREXH/STREXD
2507@------------------------------------------------------------------------------
2508        strex r1, r8, [r4]
2509        strex r8, r2, [r4, #0]
2510        strex r2, r12, [sp, #128]
2511        strexb r5, r1, [r7]
2512        strexh r9, r7, [r12]
2513        strexd r9, r3, r6, [r4]
2514
2515@ CHECK: strex	r1, r8, [r4]            @ encoding: [0x44,0xe8,0x00,0x81]
2516@ CHECK: strex	r8, r2, [r4]            @ encoding: [0x44,0xe8,0x00,0x28]
2517@ CHECK: strex	r2, r12, [sp, #128]     @ encoding: [0x4d,0xe8,0x20,0xc2]
2518@ CHECK: strexb	r5, r1, [r7]            @ encoding: [0xc7,0xe8,0x45,0x1f]
2519@ CHECK: strexh	r9, r7, [r12]           @ encoding: [0xcc,0xe8,0x59,0x7f]
2520@ CHECK: strexd	r9, r3, r6, [r4]        @ encoding: [0xc4,0xe8,0x79,0x36]
2521
2522
2523@------------------------------------------------------------------------------
2524@ STRH(immediate)
2525@------------------------------------------------------------------------------
2526        strh r5, [r5, #-4]
2527        strh r5, [r6, #32]
2528        strh r5, [r6, #33]
2529        strh r5, [r6, #257]
2530        strh.w lr, [r7, #257]
2531        strh r5, [r8, #255]!
2532        strh r2, [r5, #4]!
2533        strh r1, [r4, #-4]!
2534        strh lr, [r3], #255
2535        strh r9, [r2], #4
2536        strh r3, [sp], #-4
2537
2538@ CHECK: strh	r5, [r5, #-4]           @ encoding: [0x25,0xf8,0x04,0x5c]
2539@ CHECK: strh	r5, [r6, #32]           @ encoding: [0x35,0x84]
2540@ CHECK: strh.w	r5, [r6, #33]           @ encoding: [0xa6,0xf8,0x21,0x50]
2541@ CHECK: strh.w	r5, [r6, #257]          @ encoding: [0xa6,0xf8,0x01,0x51]
2542@ CHECK: strh.w	lr, [r7, #257]          @ encoding: [0xa7,0xf8,0x01,0xe1]
2543@ CHECK: strh	r5, [r8, #255]!         @ encoding: [0x28,0xf8,0xff,0x5f]
2544@ CHECK: strh	r2, [r5, #4]!           @ encoding: [0x25,0xf8,0x04,0x2f]
2545@ CHECK: strh	r1, [r4, #-4]!          @ encoding: [0x24,0xf8,0x04,0x1d]
2546@ CHECK: strh	lr, [r3], #255          @ encoding: [0x23,0xf8,0xff,0xeb]
2547@ CHECK: strh	r9, [r2], #4            @ encoding: [0x22,0xf8,0x04,0x9b]
2548@ CHECK: strh	r3, [sp], #-4           @ encoding: [0x2d,0xf8,0x04,0x39]
2549
2550
2551@------------------------------------------------------------------------------
2552@ STRH(register)
2553@------------------------------------------------------------------------------
2554        strh r1, [r8, r1]
2555        strh.w r4, [r5, r2]
2556        strh r6, [r0, r2, lsl #3]
2557        strh r8, [r8, r2, lsl #2]
2558        strh r7, [sp, r2, lsl #1]
2559        strh r7, [sp, r2, lsl #0]
2560
2561@ CHECK: strh.w	r1, [r8, r1]            @ encoding: [0x28,0xf8,0x01,0x10]
2562@ CHECK: strh.w	r4, [r5, r2]            @ encoding: [0x25,0xf8,0x02,0x40]
2563@ CHECK: strh.w	r6, [r0, r2, lsl #3]    @ encoding: [0x20,0xf8,0x32,0x60]
2564@ CHECK: strh.w	r8, [r8, r2, lsl #2]    @ encoding: [0x28,0xf8,0x22,0x80]
2565@ CHECK: strh.w	r7, [sp, r2, lsl #1]    @ encoding: [0x2d,0xf8,0x12,0x70]
2566@ CHECK: strh.w	r7, [sp, r2]            @ encoding: [0x2d,0xf8,0x02,0x70]
2567
2568
2569@------------------------------------------------------------------------------
2570@ STRHT
2571@------------------------------------------------------------------------------
2572        strht r1, [r2]
2573        strht r1, [r8, #0]
2574        strht r1, [r8, #3]
2575        strht r1, [r8, #255]
2576
2577@ CHECK: strht	r1, [r2]                @ encoding: [0x22,0xf8,0x00,0x1e]
2578@ CHECK: strht	r1, [r8]                @ encoding: [0x28,0xf8,0x00,0x1e]
2579@ CHECK: strht	r1, [r8, #3]            @ encoding: [0x28,0xf8,0x03,0x1e]
2580@ CHECK: strht	r1, [r8, #255]          @ encoding: [0x28,0xf8,0xff,0x1e]
2581
2582
2583@------------------------------------------------------------------------------
2584@ STRT
2585@------------------------------------------------------------------------------
2586        strt r1, [r2]
2587        strt r1, [r8, #0]
2588        strt r1, [r8, #3]
2589        strt r1, [r8, #255]
2590
2591@ CHECK: strt	r1, [r2]                @ encoding: [0x42,0xf8,0x00,0x1e]
2592@ CHECK: strt	r1, [r8]                @ encoding: [0x48,0xf8,0x00,0x1e]
2593@ CHECK: strt	r1, [r8, #3]            @ encoding: [0x48,0xf8,0x03,0x1e]
2594@ CHECK: strt	r1, [r8, #255]          @ encoding: [0x48,0xf8,0xff,0x1e]
2595
2596
2597@------------------------------------------------------------------------------
2598@ SUB (immediate)
2599@------------------------------------------------------------------------------
2600        itet eq
2601        subeq r1, r2, #4
2602        subwne r5, r3, #1023
2603        subeq r4, r5, #293
2604        sub r2, sp, #1024
2605        sub r2, r8, #0xff00
2606        sub r2, r3, #257
2607        subw r2, r3, #257
2608        sub r12, r6, #0x100
2609        subw r12, r6, #0x100
2610        subs r1, r2, #0x1f0
2611	sub r2, #1
2612        sub r0, r0, #32
2613
2614@ CHECK: itet	eq                      @ encoding: [0x0a,0xbf]
2615@ CHECK: subeq	r1, r2, #4              @ encoding: [0x11,0x1f]
2616@ CHECK: subwne	r5, r3, #1023           @ encoding: [0xa3,0xf2,0xff,0x35]
2617@ CHECK: subweq	r4, r5, #293            @ encoding: [0xa5,0xf2,0x25,0x14]
2618@ CHECK: sub.w	r2, sp, #1024           @ encoding: [0xad,0xf5,0x80,0x62]
2619@ CHECK: sub.w	r2, r8, #65280          @ encoding: [0xa8,0xf5,0x7f,0x42]
2620@ CHECK: subw	r2, r3, #257            @ encoding: [0xa3,0xf2,0x01,0x12]
2621@ CHECK: subw	r2, r3, #257            @ encoding: [0xa3,0xf2,0x01,0x12]
2622@ CHECK: sub.w	r12, r6, #256           @ encoding: [0xa6,0xf5,0x80,0x7c]
2623@ CHECK: subw	r12, r6, #256           @ encoding: [0xa6,0xf2,0x00,0x1c]
2624@ CHECK: subs.w	r1, r2, #496            @ encoding: [0xb2,0xf5,0xf8,0x71]
2625@ CHECK: sub.w	r2, r2, #1              @ encoding: [0xa2,0xf1,0x01,0x02]
2626@ CHECK: sub.w	r0, r0, #32             @ encoding: [0xa0,0xf1,0x20,0x00]
2627
2628
2629@------------------------------------------------------------------------------
2630@ SUB (register)
2631@------------------------------------------------------------------------------
2632        sub r4, r5, r6
2633        sub r4, r5, r6, lsl #5
2634        sub r4, r5, r6, lsr #5
2635        sub.w r4, r5, r6, lsr #5
2636        sub r4, r5, r6, asr #5
2637        sub r4, r5, r6, ror #5
2638        sub.w r5, r2, r12, rrx
2639
2640@ CHECK: sub.w	r4, r5, r6              @ encoding: [0xa5,0xeb,0x06,0x04]
2641@ CHECK: sub.w	r4, r5, r6, lsl #5      @ encoding: [0xa5,0xeb,0x46,0x14]
2642@ CHECK: sub.w	r4, r5, r6, lsr #5      @ encoding: [0xa5,0xeb,0x56,0x14]
2643@ CHECK: sub.w	r4, r5, r6, lsr #5      @ encoding: [0xa5,0xeb,0x56,0x14]
2644@ CHECK: sub.w	r4, r5, r6, asr #5      @ encoding: [0xa5,0xeb,0x66,0x14]
2645@ CHECK: sub.w	r4, r5, r6, ror #5      @ encoding: [0xa5,0xeb,0x76,0x14]
2646@ CHECK: sub.w r5, r2, r12, rrx         @ encoding: [0xa2,0xeb,0x3c,0x05]
2647
2648
2649@------------------------------------------------------------------------------
2650@ SVC
2651@------------------------------------------------------------------------------
2652        svc #0
2653        ite eq
2654        svceq #255
2655        swine #33
2656
2657@ CHECK: svc	#0                      @ encoding: [0x00,0xdf]
2658@ CHECK: ite	eq                      @ encoding: [0x0c,0xbf]
2659@ CHECK: svceq	#255                    @ encoding: [0xff,0xdf]
2660@ CHECK: svcne	#33                     @ encoding: [0x21,0xdf]
2661
2662
2663@------------------------------------------------------------------------------
2664@ SXTAB
2665@------------------------------------------------------------------------------
2666        sxtab r2, r3, r4
2667        sxtab r4, r5, r6, ror #0
2668        it lt
2669        sxtablt r6, r2, r9, ror #8
2670        sxtab r5, r1, r4, ror #16
2671        sxtab r7, r8, r3, ror #24
2672
2673@ CHECK: sxtab	r2, r3, r4              @ encoding: [0x43,0xfa,0x84,0xf2]
2674@ CHECK: sxtab	r4, r5, r6              @ encoding: [0x45,0xfa,0x86,0xf4]
2675@ CHECK: it	lt                      @ encoding: [0xb8,0xbf]
2676@ CHECK: sxtablt r6, r2, r9, ror #8     @ encoding: [0x42,0xfa,0x99,0xf6]
2677@ CHECK: sxtab	r5, r1, r4, ror #16     @ encoding: [0x41,0xfa,0xa4,0xf5]
2678@ CHECK: sxtab	r7, r8, r3, ror #24     @ encoding: [0x48,0xfa,0xb3,0xf7]
2679
2680
2681@------------------------------------------------------------------------------
2682@ SXTAB16
2683@------------------------------------------------------------------------------
2684        sxtab16 r6, r2, r7, ror #0
2685        sxtab16 r3, r5, r8, ror #8
2686        sxtab16 r3, r2, r1, ror #16
2687        ite ne
2688        sxtab16ne r0, r1, r4
2689        sxtab16eq r1, r2, r3, ror #24
2690
2691@ CHECK: sxtab16 r6, r2, r7             @ encoding: [0x22,0xfa,0x87,0xf6]
2692@ CHECK: sxtab16 r3, r5, r8, ror #8     @ encoding: [0x25,0xfa,0x98,0xf3]
2693@ CHECK: sxtab16 r3, r2, r1, ror #16    @ encoding: [0x22,0xfa,0xa1,0xf3]
2694@ CHECK: ite	ne                      @ encoding: [0x14,0xbf]
2695@ CHECK: sxtab16ne r0, r1, r4           @ encoding: [0x21,0xfa,0x84,0xf0]
2696@ CHECK: sxtab16eq r1, r2, r3, ror #24  @ encoding: [0x22,0xfa,0xb3,0xf1]
2697
2698
2699@------------------------------------------------------------------------------
2700@ SXTAH
2701@------------------------------------------------------------------------------
2702        sxtah r1, r3, r9
2703        sxtah r3, r8, r3, ror #8
2704        sxtah r9, r3, r3, ror #24
2705        ite hi
2706        sxtahhi r6, r1, r6, ror #0
2707        sxtahls r2, r2, r4, ror #16
2708
2709@ CHECK: sxtah	r1, r3, r9              @ encoding: [0x03,0xfa,0x89,0xf1]
2710@ CHECK: sxtah	r3, r8, r3, ror #8      @ encoding: [0x08,0xfa,0x93,0xf3]
2711@ CHECK: sxtah	r9, r3, r3, ror #24     @ encoding: [0x03,0xfa,0xb3,0xf9]
2712@ CHECK: ite	hi                      @ encoding: [0x8c,0xbf]
2713@ CHECK: sxtahhi r6, r1, r6             @ encoding: [0x01,0xfa,0x86,0xf6]
2714@ CHECK: sxtahls r2, r2, r4, ror #16    @ encoding: [0x02,0xfa,0xa4,0xf2]
2715
2716
2717@------------------------------------------------------------------------------
2718@ SXTB
2719@------------------------------------------------------------------------------
2720        sxtb r5, r6, ror #0
2721        sxtb r6, r9, ror #8
2722        sxtb r8, r3, ror #24
2723        ite ge
2724        sxtbge r2, r4
2725        sxtblt r5, r1, ror #16
2726        sxtb.w  r7, r8
2727
2728@ CHECK: sxtb	r5, r6                  @ encoding: [0x75,0xb2]
2729@ CHECK: sxtb.w	r6, r9, ror #8          @ encoding: [0x4f,0xfa,0x99,0xf6]
2730@ CHECK: sxtb.w	r8, r3, ror #24         @ encoding: [0x4f,0xfa,0xb3,0xf8]
2731@ CHECK: ite	ge                      @ encoding: [0xac,0xbf]
2732@ CHECK: sxtbge	r2, r4                  @ encoding: [0x62,0xb2]
2733@ CHECK: sxtblt.w	r5, r1, ror #16 @ encoding: [0x4f,0xfa,0xa1,0xf5]
2734@ CHECK: sxtb.w	r7, r8                  @ encoding: [0x4f,0xfa,0x88,0xf7]
2735
2736
2737@------------------------------------------------------------------------------
2738@ SXTB16
2739@------------------------------------------------------------------------------
2740        sxtb16 r1, r4
2741        sxtb16 r6, r7, ror #0
2742        sxtb16 r3, r1, ror #16
2743        ite cs
2744        sxtb16cs r3, r5, ror #8
2745        sxtb16lo r2, r3, ror #24
2746
2747@ CHECK: sxtb16	r1, r4                  @ encoding: [0x2f,0xfa,0x84,0xf1]
2748@ CHECK: sxtb16	r6, r7                  @ encoding: [0x2f,0xfa,0x87,0xf6]
2749@ CHECK: sxtb16	r3, r1, ror #16         @ encoding: [0x2f,0xfa,0xa1,0xf3]
2750@ CHECK: ite	hs                      @ encoding: [0x2c,0xbf]
2751@ CHECK: sxtb16hs	r3, r5, ror #8  @ encoding: [0x2f,0xfa,0x95,0xf3]
2752@ CHECK: sxtb16lo	r2, r3, ror #24 @ encoding: [0x2f,0xfa,0xb3,0xf2]
2753
2754
2755@------------------------------------------------------------------------------
2756@ SXTH
2757@------------------------------------------------------------------------------
2758        sxth r1, r6, ror #0
2759        sxth r3, r8, ror #8
2760        sxth r9, r3, ror #24
2761        itt ne
2762        sxthne r3, r9
2763        sxthne r2, r2, ror #16
2764        sxth.w  r7, r8
2765
2766@ CHECK: sxth	r1, r6                  @ encoding: [0x31,0xb2]
2767@ CHECK: sxth.w	r3, r8, ror #8          @ encoding: [0x0f,0xfa,0x98,0xf3]
2768@ CHECK: sxth.w	r9, r3, ror #24         @ encoding: [0x0f,0xfa,0xb3,0xf9]
2769@ CHECK: itt	ne                      @ encoding: [0x1c,0xbf]
2770@ CHECK: sxthne.w	r3, r9          @ encoding: [0x0f,0xfa,0x89,0xf3]
2771@ CHECK: sxthne.w	r2, r2, ror #16 @ encoding: [0x0f,0xfa,0xa2,0xf2]
2772@ CHECK: sxth.w	r7, r8                  @ encoding: [0x0f,0xfa,0x88,0xf7]
2773
2774
2775@------------------------------------------------------------------------------
2776@ SXTB
2777@------------------------------------------------------------------------------
2778        sxtb r5, r6, ror #0
2779        sxtb.w r6, r9, ror #8
2780        sxtb r8, r3, ror #24
2781        ite ge
2782        sxtbge r2, r4
2783        sxtblt r5, r1, ror #16
2784
2785@ CHECK: sxtb	r5, r6                  @ encoding: [0x75,0xb2]
2786@ CHECK: sxtb.w	r6, r9, ror #8          @ encoding: [0x4f,0xfa,0x99,0xf6]
2787@ CHECK: sxtb.w	r8, r3, ror #24         @ encoding: [0x4f,0xfa,0xb3,0xf8]
2788@ CHECK: ite	ge                      @ encoding: [0xac,0xbf]
2789@ CHECK: sxtbge	r2, r4                  @ encoding: [0x62,0xb2]
2790@ CHECK: sxtblt.w	r5, r1, ror #16 @ encoding: [0x4f,0xfa,0xa1,0xf5]
2791
2792
2793@------------------------------------------------------------------------------
2794@ SXTB16
2795@------------------------------------------------------------------------------
2796        sxtb16 r1, r4
2797        sxtb16 r6, r7, ror #0
2798        sxtb16 r3, r1, ror #16
2799        ite cs
2800        sxtb16cs r3, r5, ror #8
2801        sxtb16lo r2, r3, ror #24
2802
2803@ CHECK: sxtb16	r1, r4                  @ encoding: [0x2f,0xfa,0x84,0xf1]
2804@ CHECK: sxtb16	r6, r7                  @ encoding: [0x2f,0xfa,0x87,0xf6]
2805@ CHECK: sxtb16	r3, r1, ror #16         @ encoding: [0x2f,0xfa,0xa1,0xf3]
2806@ CHECK: ite	hs                      @ encoding: [0x2c,0xbf]
2807@ CHECK: sxtb16hs	r3, r5, ror #8  @ encoding: [0x2f,0xfa,0x95,0xf3]
2808@ CHECK: sxtb16lo	r2, r3, ror #24 @ encoding: [0x2f,0xfa,0xb3,0xf2]
2809
2810
2811@------------------------------------------------------------------------------
2812@ SXTH
2813@------------------------------------------------------------------------------
2814        sxth r1, r6, ror #0
2815        sxth.w r3, r8, ror #8
2816        sxth r9, r3, ror #24
2817        itt ne
2818        sxthne r3, r9
2819        sxthne r2, r2, ror #16
2820
2821@ CHECK: sxth	r1, r6                  @ encoding: [0x31,0xb2]
2822@ CHECK: sxth.w	r3, r8, ror #8          @ encoding: [0x0f,0xfa,0x98,0xf3]
2823@ CHECK: sxth.w	r9, r3, ror #24         @ encoding: [0x0f,0xfa,0xb3,0xf9]
2824@ CHECK: itt	ne                      @ encoding: [0x1c,0xbf]
2825@ CHECK: sxthne.w	r3, r9          @ encoding: [0x0f,0xfa,0x89,0xf3]
2826@ CHECK: sxthne.w	r2, r2, ror #16 @ encoding: [0x0f,0xfa,0xa2,0xf2]
2827
2828
2829@------------------------------------------------------------------------------
2830@ TBB/TBH
2831@------------------------------------------------------------------------------
2832        tbb [r3, r8]
2833        tbh [r3, r8, lsl #1]
2834        it eq
2835        tbbeq [r3, r8]
2836        it cs
2837        tbhcs [r3, r8, lsl #1]
2838
2839@ CHECK: tbb	[r3, r8]                @ encoding: [0xd3,0xe8,0x08,0xf0]
2840@ CHECK: tbh	[r3, r8, lsl #1]        @ encoding: [0xd3,0xe8,0x18,0xf0]
2841@ CHECK: it	eq                      @ encoding: [0x08,0xbf]
2842@ CHECK: tbbeq	[r3, r8]                @ encoding: [0xd3,0xe8,0x08,0xf0]
2843@ CHECK: it	hs                      @ encoding: [0x28,0xbf]
2844@ CHECK: tbhhs	[r3, r8, lsl #1]        @ encoding: [0xd3,0xe8,0x18,0xf0]
2845
2846
2847@------------------------------------------------------------------------------
2848@ TEQ
2849@------------------------------------------------------------------------------
2850        teq r5, #0xf000
2851        teq r4, r5
2852        teq r4, r5, lsl #5
2853        teq r4, r5, lsr #5
2854        teq r4, r5, lsr #5
2855        teq r4, r5, asr #5
2856        teq r4, r5, ror #5
2857
2858@ CHECK: teq.w	r5, #61440              @ encoding: [0x95,0xf4,0x70,0x4f]
2859@ CHECK: teq.w	r4, r5                  @ encoding: [0x94,0xea,0x05,0x0f]
2860@ CHECK: teq.w	r4, r5, lsl #5          @ encoding: [0x94,0xea,0x45,0x1f]
2861@ CHECK: teq.w	r4, r5, lsr #5          @ encoding: [0x94,0xea,0x55,0x1f]
2862@ CHECK: teq.w	r4, r5, lsr #5          @ encoding: [0x94,0xea,0x55,0x1f]
2863@ CHECK: teq.w	r4, r5, asr #5          @ encoding: [0x94,0xea,0x65,0x1f]
2864@ CHECK: teq.w	r4, r5, ror #5          @ encoding: [0x94,0xea,0x75,0x1f]
2865
2866
2867@------------------------------------------------------------------------------
2868@ TST
2869@------------------------------------------------------------------------------
2870        tst r5, #0xf000
2871        tst r2, r5
2872        tst r3, r12, lsl #5
2873        tst r4, r11, lsr #4
2874        tst r5, r10, lsr #12
2875        tst r6, r9, asr #30
2876        tst r7, r8, ror #2
2877
2878@ CHECK: tst.w	r5, #61440              @ encoding: [0x15,0xf4,0x70,0x4f]
2879@ CHECK: tst	r2, r5                  @ encoding: [0x2a,0x42]
2880@ CHECK: tst.w	r3, r12, lsl #5         @ encoding: [0x13,0xea,0x4c,0x1f]
2881@ CHECK: tst.w	r4, r11, lsr #4         @ encoding: [0x14,0xea,0x1b,0x1f]
2882@ CHECK: tst.w	r5, r10, lsr #12        @ encoding: [0x15,0xea,0x1a,0x3f]
2883@ CHECK: tst.w	r6, r9, asr #30         @ encoding: [0x16,0xea,0xa9,0x7f]
2884@ CHECK: tst.w	r7, r8, ror #2          @ encoding: [0x17,0xea,0xb8,0x0f]
2885
2886
2887@------------------------------------------------------------------------------
2888@ UADD16/UADD8
2889@------------------------------------------------------------------------------
2890        uadd16 r1, r2, r3
2891        uadd8 r1, r2, r3
2892        ite gt
2893        uadd16gt r1, r2, r3
2894        uadd8le r1, r2, r3
2895
2896@ CHECK: uadd16	r1, r2, r3              @ encoding: [0x92,0xfa,0x43,0xf1]
2897@ CHECK: uadd8	r1, r2, r3              @ encoding: [0x82,0xfa,0x43,0xf1]
2898@ CHECK: ite	gt                      @ encoding: [0xcc,0xbf]
2899@ CHECK: uadd16gt	r1, r2, r3      @ encoding: [0x92,0xfa,0x43,0xf1]
2900@ CHECK: uadd8le	r1, r2, r3      @ encoding: [0x82,0xfa,0x43,0xf1]
2901
2902
2903@------------------------------------------------------------------------------
2904@ UASX
2905@------------------------------------------------------------------------------
2906        uasx r9, r12, r0
2907        it eq
2908        uasxeq r9, r12, r0
2909        uaddsubx r9, r12, r0
2910        it eq
2911        uaddsubxeq r9, r12, r0
2912
2913@ CHECK: uasx	r9, r12, r0             @ encoding: [0xac,0xfa,0x40,0xf9]
2914@ CHECK: it	eq                      @ encoding: [0x08,0xbf]
2915@ CHECK: uasxeq	r9, r12, r0             @ encoding: [0xac,0xfa,0x40,0xf9]
2916@ CHECK: uasx	r9, r12, r0             @ encoding: [0xac,0xfa,0x40,0xf9]
2917@ CHECK: it	eq                      @ encoding: [0x08,0xbf]
2918@ CHECK: uasxeq	r9, r12, r0             @ encoding: [0xac,0xfa,0x40,0xf9]
2919
2920
2921@------------------------------------------------------------------------------
2922@ UBFX
2923@------------------------------------------------------------------------------
2924        ubfx r4, r5, #16, #1
2925        it gt
2926        ubfxgt r4, r5, #16, #16
2927
2928@ CHECK: ubfx	r4, r5, #16, #1         @ encoding: [0xc5,0xf3,0x00,0x44]
2929@ CHECK: it	gt                      @ encoding: [0xc8,0xbf]
2930@ CHECK: ubfxgt	r4, r5, #16, #16        @ encoding: [0xc5,0xf3,0x0f,0x44]
2931
2932
2933@------------------------------------------------------------------------------
2934@ UHADD16/UHADD8
2935@------------------------------------------------------------------------------
2936        uhadd16 r4, r8, r2
2937        uhadd8 r4, r8, r2
2938        itt gt
2939        uhadd16gt r4, r8, r2
2940        uhadd8gt r4, r8, r2
2941
2942@ CHECK: uhadd16	r4, r8, r2      @ encoding: [0x98,0xfa,0x62,0xf4]
2943@ CHECK: uhadd8	r4, r8, r2              @ encoding: [0x88,0xfa,0x62,0xf4]
2944@ CHECK: itt	gt                      @ encoding: [0xc4,0xbf]
2945@ CHECK: uhadd16gt	r4, r8, r2      @ encoding: [0x98,0xfa,0x62,0xf4]
2946@ CHECK: uhadd8gt	r4, r8, r2      @ encoding: [0x88,0xfa,0x62,0xf4]
2947
2948
2949@------------------------------------------------------------------------------
2950@ UHASX/UHSAX
2951@------------------------------------------------------------------------------
2952        uhasx r4, r1, r5
2953        uhsax r5, r6, r6
2954        itt gt
2955        uhasxgt r6, r9, r8
2956        uhsaxgt r7, r8, r12
2957        uhaddsubx r4, r1, r5
2958        uhsubaddx r5, r6, r6
2959        itt gt
2960        uhaddsubxgt r6, r9, r8
2961        uhsubaddxgt r7, r8, r12
2962
2963@ CHECK: uhasx	r4, r1, r5              @ encoding: [0xa1,0xfa,0x65,0xf4]
2964@ CHECK: uhsax	r5, r6, r6              @ encoding: [0xe6,0xfa,0x66,0xf5]
2965@ CHECK: itt	gt                      @ encoding: [0xc4,0xbf]
2966@ CHECK: uhasxgt r6, r9, r8             @ encoding: [0xa9,0xfa,0x68,0xf6]
2967@ CHECK: uhsaxgt r7, r8, r12            @ encoding: [0xe8,0xfa,0x6c,0xf7]
2968@ CHECK: uhasx	r4, r1, r5              @ encoding: [0xa1,0xfa,0x65,0xf4]
2969@ CHECK: uhsax	r5, r6, r6              @ encoding: [0xe6,0xfa,0x66,0xf5]
2970@ CHECK: itt	gt                      @ encoding: [0xc4,0xbf]
2971@ CHECK: uhasxgt r6, r9, r8             @ encoding: [0xa9,0xfa,0x68,0xf6]
2972@ CHECK: uhsaxgt r7, r8, r12            @ encoding: [0xe8,0xfa,0x6c,0xf7]
2973
2974
2975@------------------------------------------------------------------------------
2976@ UHSUB16/UHSUB8
2977@------------------------------------------------------------------------------
2978        uhsub16 r5, r8, r3
2979        uhsub8 r1, r7, r6
2980        itt lt
2981        uhsub16lt r4, r9, r12
2982        uhsub8lt r3, r1, r5
2983
2984@ CHECK: uhsub16	r5, r8, r3      @ encoding: [0xd8,0xfa,0x63,0xf5]
2985@ CHECK: uhsub8	r1, r7, r6              @ encoding: [0xc7,0xfa,0x66,0xf1]
2986@ CHECK: itt	lt                      @ encoding: [0xbc,0xbf]
2987@ CHECK: uhsub16lt	r4, r9, r12     @ encoding: [0xd9,0xfa,0x6c,0xf4]
2988@ CHECK: uhsub8lt	r3, r1, r5      @ encoding: [0xc1,0xfa,0x65,0xf3]
2989
2990
2991@------------------------------------------------------------------------------
2992@ UMAAL
2993@------------------------------------------------------------------------------
2994        umaal r3, r4, r5, r6
2995        it lt
2996        umaallt r3, r4, r5, r6
2997
2998@ CHECK: umaal	r3, r4, r5, r6          @ encoding: [0xe5,0xfb,0x66,0x34]
2999@ CHECK: it	lt                      @ encoding: [0xb8,0xbf]
3000@ CHECK: umaallt	r3, r4, r5, r6  @ encoding: [0xe5,0xfb,0x66,0x34]
3001
3002
3003@------------------------------------------------------------------------------
3004@ UMLAL
3005@------------------------------------------------------------------------------
3006        umlal r2, r4, r6, r8
3007        it gt
3008        umlalgt r6, r1, r2, r6
3009
3010@ CHECK: umlal	r2, r4, r6, r8          @ encoding: [0xe6,0xfb,0x08,0x24]
3011@ CHECK: it	gt                      @ encoding: [0xc8,0xbf]
3012@ CHECK: umlalgt	r6, r1, r2, r6  @ encoding: [0xe2,0xfb,0x06,0x61]
3013
3014
3015@------------------------------------------------------------------------------
3016@ UMULL
3017@------------------------------------------------------------------------------
3018        umull r2, r4, r6, r8
3019        it gt
3020        umullgt r6, r1, r2, r6
3021
3022@ CHECK: umull	r2, r4, r6, r8          @ encoding: [0xa6,0xfb,0x08,0x24]
3023@ CHECK: it	gt                      @ encoding: [0xc8,0xbf]
3024@ CHECK: umullgt	r6, r1, r2, r6  @ encoding: [0xa2,0xfb,0x06,0x61]
3025
3026
3027@------------------------------------------------------------------------------
3028@ UQADD16/UQADD8
3029@------------------------------------------------------------------------------
3030        uqadd16 r1, r2, r3
3031        uqadd8 r3, r4, r8
3032        ite gt
3033        uqadd16gt r4, r7, r9
3034        uqadd8le r8, r1, r2
3035
3036@ CHECK: uqadd16	r1, r2, r3      @ encoding: [0x92,0xfa,0x53,0xf1]
3037@ CHECK: uqadd8	r3, r4, r8              @ encoding: [0x84,0xfa,0x58,0xf3]
3038@ CHECK: ite	gt                      @ encoding: [0xcc,0xbf]
3039@ CHECK: uqadd16gt	r4, r7, r9      @ encoding: [0x97,0xfa,0x59,0xf4]
3040@ CHECK: uqadd8le	r8, r1, r2      @ encoding: [0x81,0xfa,0x52,0xf8]
3041
3042
3043@------------------------------------------------------------------------------
3044@ UQASX/UQSAX
3045@------------------------------------------------------------------------------
3046        uqasx r1, r2, r3
3047        uqsax r3, r4, r8
3048        ite gt
3049        uqasxgt r4, r7, r9
3050        uqsaxle r8, r1, r2
3051
3052        uqaddsubx r1, r2, r3
3053        uqsubaddx r3, r4, r8
3054        ite gt
3055        uqaddsubxgt r4, r7, r9
3056        uqsubaddxle r8, r1, r2
3057
3058@ CHECK: uqasx	r1, r2, r3              @ encoding: [0xa2,0xfa,0x53,0xf1]
3059@ CHECK: uqsax	r3, r4, r8              @ encoding: [0xe4,0xfa,0x58,0xf3]
3060@ CHECK: ite	gt                      @ encoding: [0xcc,0xbf]
3061@ CHECK: uqasxgt r4, r7, r9             @ encoding: [0xa7,0xfa,0x59,0xf4]
3062@ CHECK: uqsaxle r8, r1, r2             @ encoding: [0xe1,0xfa,0x52,0xf8]
3063
3064@ CHECK: uqasx	r1, r2, r3              @ encoding: [0xa2,0xfa,0x53,0xf1]
3065@ CHECK: uqsax	r3, r4, r8              @ encoding: [0xe4,0xfa,0x58,0xf3]
3066@ CHECK: ite	gt                      @ encoding: [0xcc,0xbf]
3067@ CHECK: uqasxgt r4, r7, r9             @ encoding: [0xa7,0xfa,0x59,0xf4]
3068@ CHECK: uqsaxle r8, r1, r2             @ encoding: [0xe1,0xfa,0x52,0xf8]
3069
3070
3071@------------------------------------------------------------------------------
3072@ UQSUB16/UQSUB8
3073@------------------------------------------------------------------------------
3074        uqsub8 r8, r2, r9
3075        uqsub16 r1, r9, r7
3076        ite gt
3077        uqsub8gt r3, r1, r6
3078        uqsub16le r4, r6, r4
3079
3080@ CHECK: uqsub8	r8, r2, r9              @ encoding: [0xc2,0xfa,0x59,0xf8]
3081@ CHECK: uqsub16 r1, r9, r7             @ encoding: [0xd9,0xfa,0x57,0xf1]
3082@ CHECK: ite	gt                      @ encoding: [0xcc,0xbf]
3083@ CHECK: uqsub8gt	r3, r1, r6      @ encoding: [0xc1,0xfa,0x56,0xf3]
3084@ CHECK: uqsub16le	r4, r6, r4      @ encoding: [0xd6,0xfa,0x54,0xf4]
3085
3086
3087@------------------------------------------------------------------------------
3088@ UQSUB16/UQSUB8
3089@------------------------------------------------------------------------------
3090        usad8 r1, r9, r7
3091        usada8 r8, r2, r9, r12
3092        ite gt
3093        usada8gt r3, r1, r6, r9
3094        usad8le r4, r6, r4
3095
3096@ CHECK: usad8	r1, r9, r7              @ encoding: [0x79,0xfb,0x07,0xf1]
3097@ CHECK: usada8	r8, r2, r9, r12         @ encoding: [0x72,0xfb,0x09,0xc8]
3098@ CHECK: ite	gt                      @ encoding: [0xcc,0xbf]
3099@ CHECK: usada8gt	r3, r1, r6, r9  @ encoding: [0x71,0xfb,0x06,0x93]
3100@ CHECK: usad8le	r4, r6, r4      @ encoding: [0x76,0xfb,0x04,0xf4]
3101
3102
3103@------------------------------------------------------------------------------
3104@ USAT
3105@------------------------------------------------------------------------------
3106        usat	r8, #1, r10
3107        usat	r8, #4, r10, lsl #0
3108        usat	r8, #5, r10, lsl #31
3109        usat	r8, #16, r10, asr #1
3110
3111@ CHECK: usat	r8, #1, r10             @ encoding: [0x8a,0xf3,0x01,0x08]
3112@ CHECK: usat	r8, #4, r10             @ encoding: [0x8a,0xf3,0x04,0x08]
3113@ CHECK: usat	r8, #5, r10, lsl #31    @ encoding: [0x8a,0xf3,0xc5,0x78]
3114@ CHECK: usat	r8, #16, r10, asr #1    @ encoding: [0xaa,0xf3,0x50,0x08]
3115
3116
3117@------------------------------------------------------------------------------
3118@ USAT16
3119@------------------------------------------------------------------------------
3120        usat16	r2, #2, r7
3121        usat16	r3, #15, r5
3122
3123@ CHECK: usat16	r2, #2, r7              @ encoding: [0xa7,0xf3,0x02,0x02]
3124@ CHECK: usat16	r3, #15, r5             @ encoding: [0xa5,0xf3,0x0f,0x03]
3125
3126
3127@------------------------------------------------------------------------------
3128@ USAX
3129@------------------------------------------------------------------------------
3130        usax r2, r3, r4
3131        it ne
3132        usaxne r6, r1, r9
3133        usubaddx r2, r3, r4
3134        it ne
3135        usubaddxne r6, r1, r9
3136
3137@ CHECK: usax	r2, r3, r4              @ encoding: [0xe3,0xfa,0x44,0xf2]
3138@ CHECK: it	ne                      @ encoding: [0x18,0xbf]
3139@ CHECK: usaxne	r6, r1, r9              @ encoding: [0xe1,0xfa,0x49,0xf6]
3140@ CHECK: usax	r2, r3, r4              @ encoding: [0xe3,0xfa,0x44,0xf2]
3141@ CHECK: it	ne                      @ encoding: [0x18,0xbf]
3142@ CHECK: usaxne	r6, r1, r9              @ encoding: [0xe1,0xfa,0x49,0xf6]
3143
3144
3145@------------------------------------------------------------------------------
3146@ USUB16/USUB8
3147@------------------------------------------------------------------------------
3148        usub16 r4, r2, r7
3149        usub8 r1, r8, r5
3150        ite hi
3151        usub16hi r1, r1, r3
3152        usub8ls r9, r2, r3
3153
3154@ CHECK: usub16	r4, r2, r7              @ encoding: [0xd2,0xfa,0x47,0xf4]
3155@ CHECK: usub8	r1, r8, r5              @ encoding: [0xc8,0xfa,0x45,0xf1]
3156@ CHECK: ite	hi                      @ encoding: [0x8c,0xbf]
3157@ CHECK: usub16hi	r1, r1, r3      @ encoding: [0xd1,0xfa,0x43,0xf1]
3158@ CHECK: usub8ls	r9, r2, r3      @ encoding: [0xc2,0xfa,0x43,0xf9]
3159
3160
3161@------------------------------------------------------------------------------
3162@ UXTAB
3163@------------------------------------------------------------------------------
3164        uxtab r2, r3, r4
3165        uxtab r4, r5, r6, ror #0
3166        it lt
3167        uxtablt r6, r2, r9, ror #8
3168        uxtab r5, r1, r4, ror #16
3169        uxtab r7, r8, r3, ror #24
3170
3171@ CHECK: uxtab	r2, r3, r4              @ encoding: [0x53,0xfa,0x84,0xf2]
3172@ CHECK: uxtab	r4, r5, r6              @ encoding: [0x55,0xfa,0x86,0xf4]
3173@ CHECK: it	lt                      @ encoding: [0xb8,0xbf]
3174@ CHECK: uxtablt r6, r2, r9, ror #8     @ encoding: [0x52,0xfa,0x99,0xf6]
3175@ CHECK: uxtab	r5, r1, r4, ror #16     @ encoding: [0x51,0xfa,0xa4,0xf5]
3176@ CHECK: uxtab	r7, r8, r3, ror #24     @ encoding: [0x58,0xfa,0xb3,0xf7]
3177
3178
3179@------------------------------------------------------------------------------
3180@ UXTAB16
3181@------------------------------------------------------------------------------
3182        it ge
3183        uxtab16ge r0, r1, r4
3184        uxtab16 r6, r2, r7, ror #0
3185        uxtab16 r3, r5, r8, ror #8
3186        uxtab16 r3, r2, r1, ror #16
3187        it eq
3188        uxtab16eq r1, r2, r3, ror #24
3189
3190@ CHECK: it	ge                      @ encoding: [0xa8,0xbf]
3191@ CHECK: uxtab16ge	r0, r1, r4      @ encoding: [0x31,0xfa,0x84,0xf0]
3192@ CHECK: uxtab16 r6, r2, r7             @ encoding: [0x32,0xfa,0x87,0xf6]
3193@ CHECK: uxtab16 r3, r5, r8, ror #8     @ encoding: [0x35,0xfa,0x98,0xf3]
3194@ CHECK: uxtab16 r3, r2, r1, ror #16    @ encoding: [0x32,0xfa,0xa1,0xf3]
3195@ CHECK: it	eq                      @ encoding: [0x08,0xbf]
3196@ CHECK: uxtab16eq r1, r2, r3, ror #24  @ encoding: [0x32,0xfa,0xb3,0xf1]
3197
3198
3199@------------------------------------------------------------------------------
3200@ UXTAH
3201@------------------------------------------------------------------------------
3202        uxtah r1, r3, r9
3203        it hi
3204        uxtahhi r6, r1, r6, ror #0
3205        uxtah r3, r8, r3, ror #8
3206        it lo
3207        uxtahlo r2, r2, r4, ror #16
3208        uxtah r9, r3, r3, ror #24
3209
3210@ CHECK: uxtah	r1, r3, r9              @ encoding: [0x13,0xfa,0x89,0xf1]
3211@ CHECK: it	hi                      @ encoding: [0x88,0xbf]
3212@ CHECK: uxtahhi r6, r1, r6             @ encoding: [0x11,0xfa,0x86,0xf6]
3213@ CHECK: uxtah	r3, r8, r3, ror #8      @ encoding: [0x18,0xfa,0x93,0xf3]
3214@ CHECK: it	lo                      @ encoding: [0x38,0xbf]
3215@ CHECK: uxtahlo r2, r2, r4, ror #16    @ encoding: [0x12,0xfa,0xa4,0xf2]
3216@ CHECK: uxtah	r9, r3, r3, ror #24     @ encoding: [0x13,0xfa,0xb3,0xf9]
3217
3218
3219@------------------------------------------------------------------------------
3220@ UXTB
3221@------------------------------------------------------------------------------
3222        it ge
3223        uxtbge r2, r4
3224        uxtb r5, r6, ror #0
3225        uxtb r6, r9, ror #8
3226        it cc
3227        uxtbcc r5, r1, ror #16
3228        uxtb r8, r3, ror #24
3229        uxtb.w  r7, r8
3230
3231@ CHECK: it	ge                      @ encoding: [0xa8,0xbf]
3232@ CHECK: uxtbge	r2, r4                  @ encoding: [0xe2,0xb2]
3233@ CHECK: uxtb	r5, r6                  @ encoding: [0xf5,0xb2]
3234@ CHECK: uxtb.w	r6, r9, ror #8          @ encoding: [0x5f,0xfa,0x99,0xf6]
3235@ CHECK: it	lo                      @ encoding: [0x38,0xbf]
3236@ CHECK: uxtblo.w	r5, r1, ror #16 @ encoding: [0x5f,0xfa,0xa1,0xf5]
3237@ CHECK: uxtb.w	r8, r3, ror #24         @ encoding: [0x5f,0xfa,0xb3,0xf8]
3238@ CHECK: uxtb.w	r7, r8                  @ encoding: [0x5f,0xfa,0x88,0xf7]
3239
3240
3241@------------------------------------------------------------------------------
3242@ UXTB16
3243@------------------------------------------------------------------------------
3244        uxtb16 r1, r4
3245        uxtb16 r6, r7, ror #0
3246        it cs
3247        uxtb16cs r3, r5, ror #8
3248        uxtb16 r3, r1, ror #16
3249        it ge
3250        uxtb16ge r2, r3, ror #24
3251
3252@ CHECK: uxtb16	r1, r4                  @ encoding: [0x3f,0xfa,0x84,0xf1]
3253@ CHECK: uxtb16	r6, r7                  @ encoding: [0x3f,0xfa,0x87,0xf6]
3254@ CHECK: it	hs                      @ encoding: [0x28,0xbf]
3255@ CHECK: uxtb16hs	r3, r5, ror #8  @ encoding: [0x3f,0xfa,0x95,0xf3]
3256@ CHECK: uxtb16	r3, r1, ror #16         @ encoding: [0x3f,0xfa,0xa1,0xf3]
3257@ CHECK: it	ge                      @ encoding: [0xa8,0xbf]
3258@ CHECK: uxtb16ge	r2, r3, ror #24 @ encoding: [0x3f,0xfa,0xb3,0xf2]
3259
3260
3261@------------------------------------------------------------------------------
3262@ UXTH
3263@------------------------------------------------------------------------------
3264        it ne
3265        uxthne r3, r9
3266        uxth r1, r6, ror #0
3267        uxth r3, r8, ror #8
3268        it le
3269        uxthle r2, r2, ror #16
3270        uxth r9, r3, ror #24
3271        uxth.w  r7, r8
3272
3273@ CHECK: it	ne                      @ encoding: [0x18,0xbf]
3274@ CHECK: uxthne.w	r3, r9          @ encoding: [0x1f,0xfa,0x89,0xf3]
3275@ CHECK: uxth	r1, r6                  @ encoding: [0xb1,0xb2]
3276@ CHECK: uxth.w	r3, r8, ror #8          @ encoding: [0x1f,0xfa,0x98,0xf3]
3277@ CHECK: it	le                      @ encoding: [0xd8,0xbf]
3278@ CHECK: uxthle.w	r2, r2, ror #16 @ encoding: [0x1f,0xfa,0xa2,0xf2]
3279@ CHECK: uxth.w	r9, r3, ror #24         @ encoding: [0x1f,0xfa,0xb3,0xf9]
3280@ CHECK: uxth.w	r7, r8                  @ encoding: [0x1f,0xfa,0x88,0xf7]
3281
3282@------------------------------------------------------------------------------
3283@ WFE/WFI/YIELD
3284@------------------------------------------------------------------------------
3285        wfe
3286        wfi
3287        yield
3288        itet lt
3289        wfelt
3290        wfige
3291        yieldlt
3292
3293@ CHECK: wfe                            @ encoding: [0x20,0xbf]
3294@ CHECK: wfi                            @ encoding: [0x30,0xbf]
3295@ CHECK: yield                          @ encoding: [0x10,0xbf]
3296@ CHECK: itet	lt                      @ encoding: [0xb6,0xbf]
3297@ CHECK: wfelt                          @ encoding: [0x20,0xbf]
3298@ CHECK: wfige                          @ encoding: [0x30,0xbf]
3299@ CHECK: yieldlt                        @ encoding: [0x10,0xbf]
3300