xref: /linux/arch/arm/probes/kprobes/test-arm.c (revision ca55b2fef3a9373fcfc30f82fd26bc7fccbda732)
1 /*
2  * arch/arm/kernel/kprobes-test-arm.c
3  *
4  * Copyright (C) 2011 Jon Medhurst <tixy@yxit.co.uk>.
5  *
6  * This program is free software; you can redistribute it and/or modify
7  * it under the terms of the GNU General Public License version 2 as
8  * published by the Free Software Foundation.
9  */
10 
11 #include <linux/kernel.h>
12 #include <linux/module.h>
13 #include <asm/system_info.h>
14 #include <asm/opcodes.h>
15 #include <asm/probes.h>
16 
17 #include "test-core.h"
18 
19 
20 #define TEST_ISA "32"
21 
22 #define TEST_ARM_TO_THUMB_INTERWORK_R(code1, reg, val, code2)	\
23 	TESTCASE_START(code1 #reg code2)			\
24 	TEST_ARG_REG(reg, val)					\
25 	TEST_ARG_REG(14, 99f)					\
26 	TEST_ARG_END("")					\
27 	"50:	nop			\n\t"			\
28 	"1:	"code1 #reg code2"	\n\t"			\
29 	"	bx	lr		\n\t"			\
30 	".thumb				\n\t"			\
31 	"3:	adr	lr, 2f		\n\t"			\
32 	"	bx	lr		\n\t"			\
33 	".arm				\n\t"			\
34 	"2:	nop			\n\t"			\
35 	TESTCASE_END
36 
37 #define TEST_ARM_TO_THUMB_INTERWORK_P(code1, reg, val, code2)	\
38 	TESTCASE_START(code1 #reg code2)			\
39 	TEST_ARG_PTR(reg, val)					\
40 	TEST_ARG_REG(14, 99f)					\
41 	TEST_ARG_MEM(15, 3f+1)					\
42 	TEST_ARG_END("")					\
43 	"50:	nop			\n\t"			\
44 	"1:	"code1 #reg code2"	\n\t"			\
45 	"	bx	lr		\n\t"			\
46 	".thumb				\n\t"			\
47 	"3:	adr	lr, 2f		\n\t"			\
48 	"	bx	lr		\n\t"			\
49 	".arm				\n\t"			\
50 	"2:	nop			\n\t"			\
51 	TESTCASE_END
52 
53 
54 void kprobe_arm_test_cases(void)
55 {
56 	kprobe_test_flags = 0;
57 
58 	TEST_GROUP("Data-processing (register), (register-shifted register), (immediate)")
59 
60 #define _DATA_PROCESSING_DNM(op,s,val)						\
61 	TEST_RR(  op "eq" s "	r0,  r",1, VAL1,", r",2, val, "")		\
62 	TEST_RR(  op "ne" s "	r1,  r",1, VAL1,", r",2, val, ", lsl #3")	\
63 	TEST_RR(  op "cs" s "	r2,  r",3, VAL1,", r",2, val, ", lsr #4")	\
64 	TEST_RR(  op "cc" s "	r3,  r",3, VAL1,", r",2, val, ", asr #5")	\
65 	TEST_RR(  op "mi" s "	r4,  r",5, VAL1,", r",2, N(val),", asr #6")	\
66 	TEST_RR(  op "pl" s "	r5,  r",5, VAL1,", r",2, val, ", ror #7")	\
67 	TEST_RR(  op "vs" s "	r6,  r",7, VAL1,", r",2, val, ", rrx")		\
68 	TEST_R(   op "vc" s "	r6,  r",7, VAL1,", pc, lsl #3")			\
69 	TEST_R(   op "vc" s "	r6,  r",7, VAL1,", sp, lsr #4")			\
70 	TEST_R(   op "vc" s "	r6,  pc, r",7, VAL1,", asr #5")			\
71 	TEST_R(   op "vc" s "	r6,  sp, r",7, VAL1,", ror #6")			\
72 	TEST_RRR( op "hi" s "	r8,  r",9, VAL1,", r",14,val, ", lsl r",0, 3,"")\
73 	TEST_RRR( op "ls" s "	r9,  r",9, VAL1,", r",14,val, ", lsr r",7, 4,"")\
74 	TEST_RRR( op "ge" s "	r10, r",11,VAL1,", r",14,val, ", asr r",7, 5,"")\
75 	TEST_RRR( op "lt" s "	r11, r",11,VAL1,", r",14,N(val),", asr r",7, 6,"")\
76 	TEST_RR(  op "gt" s "	r12, r13"       ", r",14,val, ", ror r",14,7,"")\
77 	TEST_RR(  op "le" s "	r14, r",0, val, ", r13"       ", lsl r",14,8,"")\
78 	TEST_R(   op "eq" s "	r0,  r",11,VAL1,", #0xf5")			\
79 	TEST_R(   op "ne" s "	r11, r",0, VAL1,", #0xf5000000")		\
80 	TEST_R(   op s "	r7,  r",8, VAL2,", #0x000af000")		\
81 	TEST(     op s "	r4,  pc"        ", #0x00005a00")
82 
83 #define DATA_PROCESSING_DNM(op,val)		\
84 	_DATA_PROCESSING_DNM(op,"",val)		\
85 	_DATA_PROCESSING_DNM(op,"s",val)
86 
87 #define DATA_PROCESSING_NM(op,val)						\
88 	TEST_RR(  op "ne	r",1, VAL1,", r",2, val, "")			\
89 	TEST_RR(  op "eq	r",1, VAL1,", r",2, val, ", lsl #3")		\
90 	TEST_RR(  op "cc	r",3, VAL1,", r",2, val, ", lsr #4")		\
91 	TEST_RR(  op "cs	r",3, VAL1,", r",2, val, ", asr #5")		\
92 	TEST_RR(  op "pl	r",5, VAL1,", r",2, N(val),", asr #6")		\
93 	TEST_RR(  op "mi	r",5, VAL1,", r",2, val, ", ror #7")		\
94 	TEST_RR(  op "vc	r",7, VAL1,", r",2, val, ", rrx")		\
95 	TEST_R (  op "vs	r",7, VAL1,", pc, lsl #3")			\
96 	TEST_R (  op "vs	r",7, VAL1,", sp, lsr #4")			\
97 	TEST_R(   op "vs	pc, r",7, VAL1,", asr #5")			\
98 	TEST_R(   op "vs	sp, r",7, VAL1,", ror #6")			\
99 	TEST_RRR( op "ls	r",9, VAL1,", r",14,val, ", lsl r",0, 3,"")	\
100 	TEST_RRR( op "hi	r",9, VAL1,", r",14,val, ", lsr r",7, 4,"")	\
101 	TEST_RRR( op "lt	r",11,VAL1,", r",14,val, ", asr r",7, 5,"")	\
102 	TEST_RRR( op "ge	r",11,VAL1,", r",14,N(val),", asr r",7, 6,"")	\
103 	TEST_RR(  op "le	r13"       ", r",14,val, ", ror r",14,7,"")	\
104 	TEST_RR(  op "gt	r",0, val, ", r13"       ", lsl r",14,8,"")	\
105 	TEST_R(   op "eq	r",11,VAL1,", #0xf5")				\
106 	TEST_R(   op "ne	r",0, VAL1,", #0xf5000000")			\
107 	TEST_R(   op "	r",8, VAL2,", #0x000af000")
108 
109 #define _DATA_PROCESSING_DM(op,s,val)					\
110 	TEST_R(   op "eq" s "	r0,  r",1, val, "")			\
111 	TEST_R(   op "ne" s "	r1,  r",1, val, ", lsl #3")		\
112 	TEST_R(   op "cs" s "	r2,  r",3, val, ", lsr #4")		\
113 	TEST_R(   op "cc" s "	r3,  r",3, val, ", asr #5")		\
114 	TEST_R(   op "mi" s "	r4,  r",5, N(val),", asr #6")		\
115 	TEST_R(   op "pl" s "	r5,  r",5, val, ", ror #7")		\
116 	TEST_R(   op "vs" s "	r6,  r",10,val, ", rrx")		\
117 	TEST(     op "vs" s "	r7,  pc, lsl #3")			\
118 	TEST(     op "vs" s "	r7,  sp, lsr #4")			\
119 	TEST_RR(  op "vc" s "	r8,  r",7, val, ", lsl r",0, 3,"")	\
120 	TEST_RR(  op "hi" s "	r9,  r",9, val, ", lsr r",7, 4,"")	\
121 	TEST_RR(  op "ls" s "	r10, r",9, val, ", asr r",7, 5,"")	\
122 	TEST_RR(  op "ge" s "	r11, r",11,N(val),", asr r",7, 6,"")	\
123 	TEST_RR(  op "lt" s "	r12, r",11,val, ", ror r",14,7,"")	\
124 	TEST_R(   op "gt" s "	r14, r13"       ", lsl r",14,8,"")	\
125 	TEST(     op "eq" s "	r0,  #0xf5")				\
126 	TEST(     op "ne" s "	r11, #0xf5000000")			\
127 	TEST(     op s "	r7,  #0x000af000")			\
128 	TEST(     op s "	r4,  #0x00005a00")
129 
130 #define DATA_PROCESSING_DM(op,val)		\
131 	_DATA_PROCESSING_DM(op,"",val)		\
132 	_DATA_PROCESSING_DM(op,"s",val)
133 
134 	DATA_PROCESSING_DNM("and",0xf00f00ff)
135 	DATA_PROCESSING_DNM("eor",0xf00f00ff)
136 	DATA_PROCESSING_DNM("sub",VAL2)
137 	DATA_PROCESSING_DNM("rsb",VAL2)
138 	DATA_PROCESSING_DNM("add",VAL2)
139 	DATA_PROCESSING_DNM("adc",VAL2)
140 	DATA_PROCESSING_DNM("sbc",VAL2)
141 	DATA_PROCESSING_DNM("rsc",VAL2)
142 	DATA_PROCESSING_NM("tst",0xf00f00ff)
143 	DATA_PROCESSING_NM("teq",0xf00f00ff)
144 	DATA_PROCESSING_NM("cmp",VAL2)
145 	DATA_PROCESSING_NM("cmn",VAL2)
146 	DATA_PROCESSING_DNM("orr",0xf00f00ff)
147 	DATA_PROCESSING_DM("mov",VAL2)
148 	DATA_PROCESSING_DNM("bic",0xf00f00ff)
149 	DATA_PROCESSING_DM("mvn",VAL2)
150 
151 	TEST("mov	ip, sp") /* This has special case emulation code */
152 
153 	TEST_SUPPORTED("mov	pc, #0x1000");
154 	TEST_SUPPORTED("mov	sp, #0x1000");
155 	TEST_SUPPORTED("cmp	pc, #0x1000");
156 	TEST_SUPPORTED("cmp	sp, #0x1000");
157 
158 	/* Data-processing with PC and a shift count in a register */
159 	TEST_UNSUPPORTED(__inst_arm(0xe15c0f1e) "	@ cmp	r12, r14, asl pc")
160 	TEST_UNSUPPORTED(__inst_arm(0xe1a0cf1e) "	@ mov	r12, r14, asl pc")
161 	TEST_UNSUPPORTED(__inst_arm(0xe08caf1e) "	@ add	r10, r12, r14, asl pc")
162 	TEST_UNSUPPORTED(__inst_arm(0xe151021f) "	@ cmp	r1, pc, lsl r2")
163 	TEST_UNSUPPORTED(__inst_arm(0xe17f0211) "	@ cmn	pc, r1, lsl r2")
164 	TEST_UNSUPPORTED(__inst_arm(0xe1a0121f) "	@ mov	r1, pc, lsl r2")
165 	TEST_UNSUPPORTED(__inst_arm(0xe1a0f211) "	@ mov	pc, r1, lsl r2")
166 	TEST_UNSUPPORTED(__inst_arm(0xe042131f) "	@ sub	r1, r2, pc, lsl r3")
167 	TEST_UNSUPPORTED(__inst_arm(0xe1cf1312) "	@ bic	r1, pc, r2, lsl r3")
168 	TEST_UNSUPPORTED(__inst_arm(0xe081f312) "	@ add	pc, r1, r2, lsl r3")
169 
170 	/* Data-processing with PC as a target and status registers updated */
171 	TEST_UNSUPPORTED("movs	pc, r1")
172 	TEST_UNSUPPORTED("movs	pc, r1, lsl r2")
173 	TEST_UNSUPPORTED("movs	pc, #0x10000")
174 	TEST_UNSUPPORTED("adds	pc, lr, r1")
175 	TEST_UNSUPPORTED("adds	pc, lr, r1, lsl r2")
176 	TEST_UNSUPPORTED("adds	pc, lr, #4")
177 
178 	/* Data-processing with SP as target */
179 	TEST("add	sp, sp, #16")
180 	TEST("sub	sp, sp, #8")
181 	TEST("bic	sp, sp, #0x20")
182 	TEST("orr	sp, sp, #0x20")
183 	TEST_PR( "add	sp, r",10,0,", r",11,4,"")
184 	TEST_PRR("add	sp, r",10,0,", r",11,4,", asl r",12,1,"")
185 	TEST_P(  "mov	sp, r",10,0,"")
186 	TEST_PR( "mov	sp, r",10,0,", asl r",12,0,"")
187 
188 	/* Data-processing with PC as target */
189 	TEST_BF(   "add	pc, pc, #2f-1b-8")
190 	TEST_BF_R ("add	pc, pc, r",14,2f-1f-8,"")
191 	TEST_BF_R ("add	pc, r",14,2f-1f-8,", pc")
192 	TEST_BF_R ("mov	pc, r",0,2f,"")
193 	TEST_BF_R ("add	pc, pc, r",14,(2f-1f-8)*2,", asr #1")
194 	TEST_BB(   "sub	pc, pc, #1b-2b+8")
195 #if __LINUX_ARM_ARCH__ == 6 && !defined(CONFIG_CPU_V7)
196 	TEST_BB(   "sub	pc, pc, #1b-2b+8-2") /* UNPREDICTABLE before and after ARMv6 */
197 #endif
198 	TEST_BB_R( "sub	pc, pc, r",14, 1f-2f+8,"")
199 	TEST_BB_R( "rsb	pc, r",14,1f-2f+8,", pc")
200 	TEST_R(    "add	pc, pc, r",10,-2,", asl #1")
201 #ifdef CONFIG_THUMB2_KERNEL
202 	TEST_ARM_TO_THUMB_INTERWORK_R("add	pc, pc, r",0,3f-1f-8+1,"")
203 	TEST_ARM_TO_THUMB_INTERWORK_R("sub	pc, r",0,3f+8+1,", #8")
204 #endif
205 	TEST_GROUP("Miscellaneous instructions")
206 
207 	TEST_RMASKED("mrs	r",0,~PSR_IGNORE_BITS,", cpsr")
208 	TEST_RMASKED("mrspl	r",7,~PSR_IGNORE_BITS,", cpsr")
209 	TEST_RMASKED("mrs	r",14,~PSR_IGNORE_BITS,", cpsr")
210 	TEST_UNSUPPORTED(__inst_arm(0xe10ff000) "	@ mrs r15, cpsr")
211 	TEST_UNSUPPORTED("mrs	r0, spsr")
212 	TEST_UNSUPPORTED("mrs	lr, spsr")
213 
214 	TEST_UNSUPPORTED("msr	cpsr, r0")
215 	TEST_UNSUPPORTED("msr	cpsr_f, lr")
216 	TEST_UNSUPPORTED("msr	spsr, r0")
217 
218 #if __LINUX_ARM_ARCH__ >= 5 || \
219     (__LINUX_ARM_ARCH__ == 4 && !defined(CONFIG_CPU_32v4))
220 	TEST_BF_R("bx	r",0,2f,"")
221 	TEST_BB_R("bx	r",7,2f,"")
222 	TEST_BF_R("bxeq	r",14,2f,"")
223 #endif
224 
225 #if __LINUX_ARM_ARCH__ >= 5
226 	TEST_R("clz	r0, r",0, 0x0,"")
227 	TEST_R("clzeq	r7, r",14,0x1,"")
228 	TEST_R("clz	lr, r",7, 0xffffffff,"")
229 	TEST(  "clz	r4, sp")
230 	TEST_UNSUPPORTED(__inst_arm(0x016fff10) "	@ clz pc, r0")
231 	TEST_UNSUPPORTED(__inst_arm(0x016f0f1f) "	@ clz r0, pc")
232 
233 #if __LINUX_ARM_ARCH__ >= 6
234 	TEST_UNSUPPORTED("bxj	r0")
235 #endif
236 
237 	TEST_BF_R("blx	r",0,2f,"")
238 	TEST_BB_R("blx	r",7,2f,"")
239 	TEST_BF_R("blxeq	r",14,2f,"")
240 	TEST_UNSUPPORTED(__inst_arm(0x0120003f) "	@ blx pc")
241 
242 	TEST_RR(   "qadd	r0, r",1, VAL1,", r",2, VAL2,"")
243 	TEST_RR(   "qaddvs	lr, r",9, VAL2,", r",8, VAL1,"")
244 	TEST_R(    "qadd	lr, r",9, VAL2,", r13")
245 	TEST_RR(   "qsub	r0, r",1, VAL1,", r",2, VAL2,"")
246 	TEST_RR(   "qsubvs	lr, r",9, VAL2,", r",8, VAL1,"")
247 	TEST_R(    "qsub	lr, r",9, VAL2,", r13")
248 	TEST_RR(   "qdadd	r0, r",1, VAL1,", r",2, VAL2,"")
249 	TEST_RR(   "qdaddvs	lr, r",9, VAL2,", r",8, VAL1,"")
250 	TEST_R(    "qdadd	lr, r",9, VAL2,", r13")
251 	TEST_RR(   "qdsub	r0, r",1, VAL1,", r",2, VAL2,"")
252 	TEST_RR(   "qdsubvs	lr, r",9, VAL2,", r",8, VAL1,"")
253 	TEST_R(    "qdsub	lr, r",9, VAL2,", r13")
254 	TEST_UNSUPPORTED(__inst_arm(0xe101f050) "	@ qadd pc, r0, r1")
255 	TEST_UNSUPPORTED(__inst_arm(0xe121f050) "	@ qsub pc, r0, r1")
256 	TEST_UNSUPPORTED(__inst_arm(0xe141f050) "	@ qdadd pc, r0, r1")
257 	TEST_UNSUPPORTED(__inst_arm(0xe161f050) "	@ qdsub pc, r0, r1")
258 	TEST_UNSUPPORTED(__inst_arm(0xe16f2050) "	@ qdsub r2, r0, pc")
259 	TEST_UNSUPPORTED(__inst_arm(0xe161205f) "	@ qdsub r2, pc, r1")
260 
261 	TEST_UNSUPPORTED("bkpt	0xffff")
262 	TEST_UNSUPPORTED("bkpt	0x0000")
263 
264 	TEST_UNSUPPORTED(__inst_arm(0xe1600070) " @ smc #0")
265 
266 	TEST_GROUP("Halfword multiply and multiply-accumulate")
267 
268 	TEST_RRR(    "smlabb	r0, r",1, VAL1,", r",2, VAL2,", r",3,  VAL3,"")
269 	TEST_RRR(    "smlabbge	r7, r",8, VAL3,", r",9, VAL1,", r",10, VAL2,"")
270 	TEST_RR(     "smlabb	lr, r",1, VAL2,", r",2, VAL3,", r13")
271 	TEST_UNSUPPORTED(__inst_arm(0xe10f3281) " @ smlabb pc, r1, r2, r3")
272 	TEST_RRR(    "smlatb	r0, r",1, VAL1,", r",2, VAL2,", r",3,  VAL3,"")
273 	TEST_RRR(    "smlatbge	r7, r",8, VAL3,", r",9, VAL1,", r",10, VAL2,"")
274 	TEST_RR(     "smlatb	lr, r",1, VAL2,", r",2, VAL3,", r13")
275 	TEST_UNSUPPORTED(__inst_arm(0xe10f32a1) " @ smlatb pc, r1, r2, r3")
276 	TEST_RRR(    "smlabt	r0, r",1, VAL1,", r",2, VAL2,", r",3,  VAL3,"")
277 	TEST_RRR(    "smlabtge	r7, r",8, VAL3,", r",9, VAL1,", r",10, VAL2,"")
278 	TEST_RR(     "smlabt	lr, r",1, VAL2,", r",2, VAL3,", r13")
279 	TEST_UNSUPPORTED(__inst_arm(0xe10f32c1) " @ smlabt pc, r1, r2, r3")
280 	TEST_RRR(    "smlatt	r0, r",1, VAL1,", r",2, VAL2,", r",3,  VAL3,"")
281 	TEST_RRR(    "smlattge	r7, r",8, VAL3,", r",9, VAL1,", r",10, VAL2,"")
282 	TEST_RR(     "smlatt	lr, r",1, VAL2,", r",2, VAL3,", r13")
283 	TEST_UNSUPPORTED(__inst_arm(0xe10f32e1) " @ smlatt pc, r1, r2, r3")
284 
285 	TEST_RRR(    "smlawb	r0, r",1, VAL1,", r",2, VAL2,", r",3,  VAL3,"")
286 	TEST_RRR(    "smlawbge	r7, r",8, VAL3,", r",9, VAL1,", r",10, VAL2,"")
287 	TEST_RR(     "smlawb	lr, r",1, VAL2,", r",2, VAL3,", r13")
288 	TEST_UNSUPPORTED(__inst_arm(0xe12f3281) " @ smlawb pc, r1, r2, r3")
289 	TEST_RRR(    "smlawt	r0, r",1, VAL1,", r",2, VAL2,", r",3,  VAL3,"")
290 	TEST_RRR(    "smlawtge	r7, r",8, VAL3,", r",9, VAL1,", r",10, VAL2,"")
291 	TEST_RR(     "smlawt	lr, r",1, VAL2,", r",2, VAL3,", r13")
292 	TEST_UNSUPPORTED(__inst_arm(0xe12f32c1) " @ smlawt pc, r1, r2, r3")
293 	TEST_UNSUPPORTED(__inst_arm(0xe12032cf) " @ smlawt r0, pc, r2, r3")
294 	TEST_UNSUPPORTED(__inst_arm(0xe1203fc1) " @ smlawt r0, r1, pc, r3")
295 	TEST_UNSUPPORTED(__inst_arm(0xe120f2c1) " @ smlawt r0, r1, r2, pc")
296 
297 	TEST_RR(    "smulwb	r0, r",1, VAL1,", r",2, VAL2,"")
298 	TEST_RR(    "smulwbge	r7, r",8, VAL3,", r",9, VAL1,"")
299 	TEST_R(     "smulwb	lr, r",1, VAL2,", r13")
300 	TEST_UNSUPPORTED(__inst_arm(0xe12f02a1) " @ smulwb pc, r1, r2")
301 	TEST_RR(    "smulwt	r0, r",1, VAL1,", r",2, VAL2,"")
302 	TEST_RR(    "smulwtge	r7, r",8, VAL3,", r",9, VAL1,"")
303 	TEST_R(     "smulwt	lr, r",1, VAL2,", r13")
304 	TEST_UNSUPPORTED(__inst_arm(0xe12f02e1) " @ smulwt pc, r1, r2")
305 
306 	TEST_RRRR(  "smlalbb	r",0, VAL1,", r",1, VAL2,", r",2, VAL3,", r",3, VAL4)
307 	TEST_RRRR(  "smlalbble	r",8, VAL4,", r",9, VAL1,", r",10,VAL2,", r",11,VAL3)
308 	TEST_RRR(   "smlalbb	r",14,VAL3,", r",7, VAL4,", r",5, VAL1,", r13")
309 	TEST_UNSUPPORTED(__inst_arm(0xe14f1382) " @ smlalbb pc, r1, r2, r3")
310 	TEST_UNSUPPORTED(__inst_arm(0xe141f382) " @ smlalbb r1, pc, r2, r3")
311 	TEST_RRRR(  "smlaltb	r",0, VAL1,", r",1, VAL2,", r",2, VAL3,", r",3, VAL4)
312 	TEST_RRRR(  "smlaltble	r",8, VAL4,", r",9, VAL1,", r",10,VAL2,", r",11,VAL3)
313 	TEST_RRR(   "smlaltb	r",14,VAL3,", r",7, VAL4,", r",5, VAL1,", r13")
314 	TEST_UNSUPPORTED(__inst_arm(0xe14f13a2) " @ smlaltb pc, r1, r2, r3")
315 	TEST_UNSUPPORTED(__inst_arm(0xe141f3a2) " @ smlaltb r1, pc, r2, r3")
316 	TEST_RRRR(  "smlalbt	r",0, VAL1,", r",1, VAL2,", r",2, VAL3,", r",3, VAL4)
317 	TEST_RRRR(  "smlalbtle	r",8, VAL4,", r",9, VAL1,", r",10,VAL2,", r",11,VAL3)
318 	TEST_RRR(   "smlalbt	r",14,VAL3,", r",7, VAL4,", r",5, VAL1,", r13")
319 	TEST_UNSUPPORTED(__inst_arm(0xe14f13c2) " @ smlalbt pc, r1, r2, r3")
320 	TEST_UNSUPPORTED(__inst_arm(0xe141f3c2) " @ smlalbt r1, pc, r2, r3")
321 	TEST_RRRR(  "smlaltt	r",0, VAL1,", r",1, VAL2,", r",2, VAL3,", r",3, VAL4)
322 	TEST_RRRR(  "smlalttle	r",8, VAL4,", r",9, VAL1,", r",10,VAL2,", r",11,VAL3)
323 	TEST_RRR(   "smlaltt	r",14,VAL3,", r",7, VAL4,", r",5, VAL1,", r13")
324 	TEST_UNSUPPORTED(__inst_arm(0xe14f13e2) " @ smlalbb pc, r1, r2, r3")
325 	TEST_UNSUPPORTED(__inst_arm(0xe140f3e2) " @ smlalbb r0, pc, r2, r3")
326 	TEST_UNSUPPORTED(__inst_arm(0xe14013ef) " @ smlalbb r0, r1, pc, r3")
327 	TEST_UNSUPPORTED(__inst_arm(0xe1401fe2) " @ smlalbb r0, r1, r2, pc")
328 
329 	TEST_RR(    "smulbb	r0, r",1, VAL1,", r",2, VAL2,"")
330 	TEST_RR(    "smulbbge	r7, r",8, VAL3,", r",9, VAL1,"")
331 	TEST_R(     "smulbb	lr, r",1, VAL2,", r13")
332 	TEST_UNSUPPORTED(__inst_arm(0xe16f0281) " @ smulbb pc, r1, r2")
333 	TEST_RR(    "smultb	r0, r",1, VAL1,", r",2, VAL2,"")
334 	TEST_RR(    "smultbge	r7, r",8, VAL3,", r",9, VAL1,"")
335 	TEST_R(     "smultb	lr, r",1, VAL2,", r13")
336 	TEST_UNSUPPORTED(__inst_arm(0xe16f02a1) " @ smultb pc, r1, r2")
337 	TEST_RR(    "smulbt	r0, r",1, VAL1,", r",2, VAL2,"")
338 	TEST_RR(    "smulbtge	r7, r",8, VAL3,", r",9, VAL1,"")
339 	TEST_R(     "smulbt	lr, r",1, VAL2,", r13")
340 	TEST_UNSUPPORTED(__inst_arm(0xe16f02c1) " @ smultb pc, r1, r2")
341 	TEST_RR(    "smultt	r0, r",1, VAL1,", r",2, VAL2,"")
342 	TEST_RR(    "smulttge	r7, r",8, VAL3,", r",9, VAL1,"")
343 	TEST_R(     "smultt	lr, r",1, VAL2,", r13")
344 	TEST_UNSUPPORTED(__inst_arm(0xe16f02e1) " @ smultt pc, r1, r2")
345 	TEST_UNSUPPORTED(__inst_arm(0xe16002ef) " @ smultt r0, pc, r2")
346 	TEST_UNSUPPORTED(__inst_arm(0xe1600fe1) " @ smultt r0, r1, pc")
347 #endif
348 
349 	TEST_GROUP("Multiply and multiply-accumulate")
350 
351 	TEST_RR(    "mul	r0, r",1, VAL1,", r",2, VAL2,"")
352 	TEST_RR(    "mulls	r7, r",8, VAL2,", r",9, VAL2,"")
353 	TEST_R(     "mul	lr, r",4, VAL3,", r13")
354 	TEST_UNSUPPORTED(__inst_arm(0xe00f0291) " @ mul pc, r1, r2")
355 	TEST_UNSUPPORTED(__inst_arm(0xe000029f) " @ mul r0, pc, r2")
356 	TEST_UNSUPPORTED(__inst_arm(0xe0000f91) " @ mul r0, r1, pc")
357 	TEST_RR(    "muls	r0, r",1, VAL1,", r",2, VAL2,"")
358 	TEST_RR(    "mullss	r7, r",8, VAL2,", r",9, VAL2,"")
359 	TEST_R(     "muls	lr, r",4, VAL3,", r13")
360 	TEST_UNSUPPORTED(__inst_arm(0xe01f0291) " @ muls pc, r1, r2")
361 
362 	TEST_RRR(    "mla	r0, r",1, VAL1,", r",2, VAL2,", r",3,  VAL3,"")
363 	TEST_RRR(    "mlahi	r7, r",8, VAL3,", r",9, VAL1,", r",10, VAL2,"")
364 	TEST_RR(     "mla	lr, r",1, VAL2,", r",2, VAL3,", r13")
365 	TEST_UNSUPPORTED(__inst_arm(0xe02f3291) " @ mla pc, r1, r2, r3")
366 	TEST_RRR(    "mlas	r0, r",1, VAL1,", r",2, VAL2,", r",3,  VAL3,"")
367 	TEST_RRR(    "mlahis	r7, r",8, VAL3,", r",9, VAL1,", r",10, VAL2,"")
368 	TEST_RR(     "mlas	lr, r",1, VAL2,", r",2, VAL3,", r13")
369 	TEST_UNSUPPORTED(__inst_arm(0xe03f3291) " @ mlas pc, r1, r2, r3")
370 
371 #if __LINUX_ARM_ARCH__ >= 6
372 	TEST_RR(  "umaal	r0, r1, r",2, VAL1,", r",3, VAL2,"")
373 	TEST_RR(  "umaalls	r7, r8, r",9, VAL2,", r",10, VAL1,"")
374 	TEST_R(   "umaal	lr, r12, r",11,VAL3,", r13")
375 	TEST_UNSUPPORTED(__inst_arm(0xe041f392) " @ umaal pc, r1, r2, r3")
376 	TEST_UNSUPPORTED(__inst_arm(0xe04f0392) " @ umaal r0, pc, r2, r3")
377 	TEST_UNSUPPORTED(__inst_arm(0xe0500090) " @ undef")
378 	TEST_UNSUPPORTED(__inst_arm(0xe05fff9f) " @ undef")
379 #endif
380 
381 #if __LINUX_ARM_ARCH__ >= 7
382 	TEST_RRR(  "mls		r0, r",1, VAL1,", r",2, VAL2,", r",3,  VAL3,"")
383 	TEST_RRR(  "mlshi	r7, r",8, VAL3,", r",9, VAL1,", r",10, VAL2,"")
384 	TEST_RR(   "mls		lr, r",1, VAL2,", r",2, VAL3,", r13")
385 	TEST_UNSUPPORTED(__inst_arm(0xe06f3291) " @ mls pc, r1, r2, r3")
386 	TEST_UNSUPPORTED(__inst_arm(0xe060329f) " @ mls r0, pc, r2, r3")
387 	TEST_UNSUPPORTED(__inst_arm(0xe0603f91) " @ mls r0, r1, pc, r3")
388 	TEST_UNSUPPORTED(__inst_arm(0xe060f291) " @ mls r0, r1, r2, pc")
389 #endif
390 
391 	TEST_UNSUPPORTED(__inst_arm(0xe0700090) " @ undef")
392 	TEST_UNSUPPORTED(__inst_arm(0xe07fff9f) " @ undef")
393 
394 	TEST_RR(  "umull	r0, r1, r",2, VAL1,", r",3, VAL2,"")
395 	TEST_RR(  "umullls	r7, r8, r",9, VAL2,", r",10, VAL1,"")
396 	TEST_R(   "umull	lr, r12, r",11,VAL3,", r13")
397 	TEST_UNSUPPORTED(__inst_arm(0xe081f392) " @ umull pc, r1, r2, r3")
398 	TEST_UNSUPPORTED(__inst_arm(0xe08f1392) " @ umull r1, pc, r2, r3")
399 	TEST_RR(  "umulls	r0, r1, r",2, VAL1,", r",3, VAL2,"")
400 	TEST_RR(  "umulllss	r7, r8, r",9, VAL2,", r",10, VAL1,"")
401 	TEST_R(   "umulls	lr, r12, r",11,VAL3,", r13")
402 	TEST_UNSUPPORTED(__inst_arm(0xe091f392) " @ umulls pc, r1, r2, r3")
403 	TEST_UNSUPPORTED(__inst_arm(0xe09f1392) " @ umulls r1, pc, r2, r3")
404 
405 	TEST_RRRR(  "umlal	r",0, VAL1,", r",1, VAL2,", r",2, VAL3,", r",3, VAL4)
406 	TEST_RRRR(  "umlalle	r",8, VAL4,", r",9, VAL1,", r",10,VAL2,", r",11,VAL3)
407 	TEST_RRR(   "umlal	r",14,VAL3,", r",7, VAL4,", r",5, VAL1,", r13")
408 	TEST_UNSUPPORTED(__inst_arm(0xe0af1392) " @ umlal pc, r1, r2, r3")
409 	TEST_UNSUPPORTED(__inst_arm(0xe0a1f392) " @ umlal r1, pc, r2, r3")
410 	TEST_RRRR(  "umlals	r",0, VAL1,", r",1, VAL2,", r",2, VAL3,", r",3, VAL4)
411 	TEST_RRRR(  "umlalles	r",8, VAL4,", r",9, VAL1,", r",10,VAL2,", r",11,VAL3)
412 	TEST_RRR(   "umlals	r",14,VAL3,", r",7, VAL4,", r",5, VAL1,", r13")
413 	TEST_UNSUPPORTED(__inst_arm(0xe0bf1392) " @ umlals pc, r1, r2, r3")
414 	TEST_UNSUPPORTED(__inst_arm(0xe0b1f392) " @ umlals r1, pc, r2, r3")
415 
416 	TEST_RR(  "smull	r0, r1, r",2, VAL1,", r",3, VAL2,"")
417 	TEST_RR(  "smullls	r7, r8, r",9, VAL2,", r",10, VAL1,"")
418 	TEST_R(   "smull	lr, r12, r",11,VAL3,", r13")
419 	TEST_UNSUPPORTED(__inst_arm(0xe0c1f392) " @ smull pc, r1, r2, r3")
420 	TEST_UNSUPPORTED(__inst_arm(0xe0cf1392) " @ smull r1, pc, r2, r3")
421 	TEST_RR(  "smulls	r0, r1, r",2, VAL1,", r",3, VAL2,"")
422 	TEST_RR(  "smulllss	r7, r8, r",9, VAL2,", r",10, VAL1,"")
423 	TEST_R(   "smulls	lr, r12, r",11,VAL3,", r13")
424 	TEST_UNSUPPORTED(__inst_arm(0xe0d1f392) " @ smulls pc, r1, r2, r3")
425 	TEST_UNSUPPORTED(__inst_arm(0xe0df1392) " @ smulls r1, pc, r2, r3")
426 
427 	TEST_RRRR(  "smlal	r",0, VAL1,", r",1, VAL2,", r",2, VAL3,", r",3, VAL4)
428 	TEST_RRRR(  "smlalle	r",8, VAL4,", r",9, VAL1,", r",10,VAL2,", r",11,VAL3)
429 	TEST_RRR(   "smlal	r",14,VAL3,", r",7, VAL4,", r",5, VAL1,", r13")
430 	TEST_UNSUPPORTED(__inst_arm(0xe0ef1392) " @ smlal pc, r1, r2, r3")
431 	TEST_UNSUPPORTED(__inst_arm(0xe0e1f392) " @ smlal r1, pc, r2, r3")
432 	TEST_RRRR(  "smlals	r",0, VAL1,", r",1, VAL2,", r",2, VAL3,", r",3, VAL4)
433 	TEST_RRRR(  "smlalles	r",8, VAL4,", r",9, VAL1,", r",10,VAL2,", r",11,VAL3)
434 	TEST_RRR(   "smlals	r",14,VAL3,", r",7, VAL4,", r",5, VAL1,", r13")
435 	TEST_UNSUPPORTED(__inst_arm(0xe0ff1392) " @ smlals pc, r1, r2, r3")
436 	TEST_UNSUPPORTED(__inst_arm(0xe0f0f392) " @ smlals r0, pc, r2, r3")
437 	TEST_UNSUPPORTED(__inst_arm(0xe0f0139f) " @ smlals r0, r1, pc, r3")
438 	TEST_UNSUPPORTED(__inst_arm(0xe0f01f92) " @ smlals r0, r1, r2, pc")
439 
440 	TEST_GROUP("Synchronization primitives")
441 
442 #if __LINUX_ARM_ARCH__ < 6
443 	TEST_RP("swp	lr, r",7,VAL2,", [r",8,0,"]")
444 	TEST_R( "swpvs	r0, r",1,VAL1,", [sp]")
445 	TEST_RP("swp	sp, r",14,VAL2,", [r",12,13*4,"]")
446 #else
447 	TEST_UNSUPPORTED(__inst_arm(0xe108e097) " @ swp	lr, r7, [r8]")
448 	TEST_UNSUPPORTED(__inst_arm(0x610d0091) " @ swpvs	r0, r1, [sp]")
449 	TEST_UNSUPPORTED(__inst_arm(0xe10cd09e) " @ swp	sp, r14 [r12]")
450 #endif
451 	TEST_UNSUPPORTED(__inst_arm(0xe102f091) " @ swp pc, r1, [r2]")
452 	TEST_UNSUPPORTED(__inst_arm(0xe102009f) " @ swp r0, pc, [r2]")
453 	TEST_UNSUPPORTED(__inst_arm(0xe10f0091) " @ swp r0, r1, [pc]")
454 #if __LINUX_ARM_ARCH__ < 6
455 	TEST_RP("swpb	lr, r",7,VAL2,", [r",8,0,"]")
456 	TEST_R( "swpvsb	r0, r",1,VAL1,", [sp]")
457 #else
458 	TEST_UNSUPPORTED(__inst_arm(0xe148e097) " @ swpb	lr, r7, [r8]")
459 	TEST_UNSUPPORTED(__inst_arm(0x614d0091) " @ swpvsb	r0, r1, [sp]")
460 #endif
461 	TEST_UNSUPPORTED(__inst_arm(0xe142f091) " @ swpb pc, r1, [r2]")
462 
463 	TEST_UNSUPPORTED(__inst_arm(0xe1100090)) /* Unallocated space */
464 	TEST_UNSUPPORTED(__inst_arm(0xe1200090)) /* Unallocated space */
465 	TEST_UNSUPPORTED(__inst_arm(0xe1300090)) /* Unallocated space */
466 	TEST_UNSUPPORTED(__inst_arm(0xe1500090)) /* Unallocated space */
467 	TEST_UNSUPPORTED(__inst_arm(0xe1600090)) /* Unallocated space */
468 	TEST_UNSUPPORTED(__inst_arm(0xe1700090)) /* Unallocated space */
469 #if __LINUX_ARM_ARCH__ >= 6
470 	TEST_UNSUPPORTED("ldrex	r2, [sp]")
471 #endif
472 #if (__LINUX_ARM_ARCH__ >= 7) || defined(CONFIG_CPU_32v6K)
473 	TEST_UNSUPPORTED("strexd	r0, r2, r3, [sp]")
474 	TEST_UNSUPPORTED("ldrexd	r2, r3, [sp]")
475 	TEST_UNSUPPORTED("strexb	r0, r2, [sp]")
476 	TEST_UNSUPPORTED("ldrexb	r2, [sp]")
477 	TEST_UNSUPPORTED("strexh	r0, r2, [sp]")
478 	TEST_UNSUPPORTED("ldrexh	r2, [sp]")
479 #endif
480 	TEST_GROUP("Extra load/store instructions")
481 
482 	TEST_RPR(  "strh	r",0, VAL1,", [r",1, 48,", -r",2, 24,"]")
483 	TEST_RPR(  "streqh	r",14,VAL2,", [r",11,0, ", r",12, 48,"]")
484 	TEST_UNSUPPORTED(  "streqh	r14, [r13, r12]")
485 	TEST_UNSUPPORTED(  "streqh	r14, [r12, r13]")
486 	TEST_RPR(  "strh	r",1, VAL1,", [r",2, 24,", r",3,  48,"]!")
487 	TEST_RPR(  "strneh	r",12,VAL2,", [r",11,48,", -r",10,24,"]!")
488 	TEST_RPR(  "strh	r",2, VAL1,", [r",3, 24,"], r",4, 48,"")
489 	TEST_RPR(  "strh	r",10,VAL2,", [r",9, 48,"], -r",11,24,"")
490 	TEST_UNSUPPORTED(__inst_arm(0xe1afc0ba) "	@ strh r12, [pc, r10]!")
491 	TEST_UNSUPPORTED(__inst_arm(0xe089f0bb) "	@ strh pc, [r9], r11")
492 	TEST_UNSUPPORTED(__inst_arm(0xe089a0bf) "	@ strh r10, [r9], pc")
493 
494 	TEST_PR(   "ldrh	r0, [r",0,  48,", -r",2, 24,"]")
495 	TEST_PR(   "ldrcsh	r14, [r",13,0, ", r",12, 48,"]")
496 	TEST_PR(   "ldrh	r1, [r",2,  24,", r",3,  48,"]!")
497 	TEST_PR(   "ldrcch	r12, [r",11,48,", -r",10,24,"]!")
498 	TEST_PR(   "ldrh	r2, [r",3,  24,"], r",4, 48,"")
499 	TEST_PR(   "ldrh	r10, [r",9, 48,"], -r",11,24,"")
500 	TEST_UNSUPPORTED(__inst_arm(0xe1bfc0ba) "	@ ldrh r12, [pc, r10]!")
501 	TEST_UNSUPPORTED(__inst_arm(0xe099f0bb) "	@ ldrh pc, [r9], r11")
502 	TEST_UNSUPPORTED(__inst_arm(0xe099a0bf) "	@ ldrh r10, [r9], pc")
503 
504 	TEST_RP(   "strh	r",0, VAL1,", [r",1, 24,", #-2]")
505 	TEST_RP(   "strmih	r",14,VAL2,", [r",13,0, ", #2]")
506 	TEST_RP(   "strh	r",1, VAL1,", [r",2, 24,", #4]!")
507 	TEST_RP(   "strplh	r",12,VAL2,", [r",11,24,", #-4]!")
508 	TEST_RP(   "strh	r",2, VAL1,", [r",3, 24,"], #48")
509 	TEST_RP(   "strh	r",10,VAL2,", [r",9, 64,"], #-48")
510 	TEST_RP(   "strh	r",3, VAL1,", [r",13,TEST_MEMORY_SIZE,", #-"__stringify(MAX_STACK_SIZE)"]!")
511 	TEST_UNSUPPORTED("strh r3, [r13, #-"__stringify(MAX_STACK_SIZE)"-8]!")
512 	TEST_RP(   "strh	r",4, VAL1,", [r",14,TEST_MEMORY_SIZE,", #-"__stringify(MAX_STACK_SIZE)"-8]!")
513 	TEST_UNSUPPORTED(__inst_arm(0xe1efc3b0) "	@ strh r12, [pc, #48]!")
514 	TEST_UNSUPPORTED(__inst_arm(0xe0c9f3b0) "	@ strh pc, [r9], #48")
515 
516 	TEST_P(	   "ldrh	r0, [r",0,  24,", #-2]")
517 	TEST_P(	   "ldrvsh	r14, [r",13,0, ", #2]")
518 	TEST_P(	   "ldrh	r1, [r",2,  24,", #4]!")
519 	TEST_P(	   "ldrvch	r12, [r",11,24,", #-4]!")
520 	TEST_P(	   "ldrh	r2, [r",3,  24,"], #48")
521 	TEST_P(	   "ldrh	r10, [r",9, 64,"], #-48")
522 	TEST(      "ldrh	r0, [pc, #0]")
523 	TEST_UNSUPPORTED(__inst_arm(0xe1ffc3b0) "	@ ldrh r12, [pc, #48]!")
524 	TEST_UNSUPPORTED(__inst_arm(0xe0d9f3b0) "	@ ldrh pc, [r9], #48")
525 
526 	TEST_PR(   "ldrsb	r0, [r",0,  48,", -r",2, 24,"]")
527 	TEST_PR(   "ldrhisb	r14, [r",13,0,", r",12,  48,"]")
528 	TEST_PR(   "ldrsb	r1, [r",2,  24,", r",3,  48,"]!")
529 	TEST_PR(   "ldrlssb	r12, [r",11,48,", -r",10,24,"]!")
530 	TEST_PR(   "ldrsb	r2, [r",3,  24,"], r",4, 48,"")
531 	TEST_PR(   "ldrsb	r10, [r",9, 48,"], -r",11,24,"")
532 	TEST_UNSUPPORTED(__inst_arm(0xe1bfc0da) "	@ ldrsb r12, [pc, r10]!")
533 	TEST_UNSUPPORTED(__inst_arm(0xe099f0db) "	@ ldrsb pc, [r9], r11")
534 
535 	TEST_P(	   "ldrsb	r0, [r",0,  24,", #-1]")
536 	TEST_P(	   "ldrgesb	r14, [r",13,0, ", #1]")
537 	TEST_P(	   "ldrsb	r1, [r",2,  24,", #4]!")
538 	TEST_P(	   "ldrltsb	r12, [r",11,24,", #-4]!")
539 	TEST_P(	   "ldrsb	r2, [r",3,  24,"], #48")
540 	TEST_P(	   "ldrsb	r10, [r",9, 64,"], #-48")
541 	TEST(      "ldrsb	r0, [pc, #0]")
542 	TEST_UNSUPPORTED(__inst_arm(0xe1ffc3d0) "	@ ldrsb r12, [pc, #48]!")
543 	TEST_UNSUPPORTED(__inst_arm(0xe0d9f3d0) "	@ ldrsb pc, [r9], #48")
544 
545 	TEST_PR(   "ldrsh	r0, [r",0,  48,", -r",2, 24,"]")
546 	TEST_PR(   "ldrgtsh	r14, [r",13,0, ", r",12, 48,"]")
547 	TEST_PR(   "ldrsh	r1, [r",2,  24,", r",3,  48,"]!")
548 	TEST_PR(   "ldrlesh	r12, [r",11,48,", -r",10,24,"]!")
549 	TEST_PR(   "ldrsh	r2, [r",3,  24,"], r",4, 48,"")
550 	TEST_PR(   "ldrsh	r10, [r",9, 48,"], -r",11,24,"")
551 	TEST_UNSUPPORTED(__inst_arm(0xe1bfc0fa) "	@ ldrsh r12, [pc, r10]!")
552 	TEST_UNSUPPORTED(__inst_arm(0xe099f0fb) "	@ ldrsh pc, [r9], r11")
553 
554 	TEST_P(	   "ldrsh	r0, [r",0,  24,", #-1]")
555 	TEST_P(	   "ldreqsh	r14, [r",13,0 ,", #1]")
556 	TEST_P(	   "ldrsh	r1, [r",2,  24,", #4]!")
557 	TEST_P(	   "ldrnesh	r12, [r",11,24,", #-4]!")
558 	TEST_P(	   "ldrsh	r2, [r",3,  24,"], #48")
559 	TEST_P(	   "ldrsh	r10, [r",9, 64,"], #-48")
560 	TEST(      "ldrsh	r0, [pc, #0]")
561 	TEST_UNSUPPORTED(__inst_arm(0xe1ffc3f0) "	@ ldrsh r12, [pc, #48]!")
562 	TEST_UNSUPPORTED(__inst_arm(0xe0d9f3f0) "	@ ldrsh pc, [r9], #48")
563 
564 #if __LINUX_ARM_ARCH__ >= 7
565 	TEST_UNSUPPORTED("strht	r1, [r2], r3")
566 	TEST_UNSUPPORTED("ldrht	r1, [r2], r3")
567 	TEST_UNSUPPORTED("strht	r1, [r2], #48")
568 	TEST_UNSUPPORTED("ldrht	r1, [r2], #48")
569 	TEST_UNSUPPORTED("ldrsbt	r1, [r2], r3")
570 	TEST_UNSUPPORTED("ldrsbt	r1, [r2], #48")
571 	TEST_UNSUPPORTED("ldrsht	r1, [r2], r3")
572 	TEST_UNSUPPORTED("ldrsht	r1, [r2], #48")
573 #endif
574 
575 #if __LINUX_ARM_ARCH__ >= 5
576 	TEST_RPR(  "strd	r",0, VAL1,", [r",1, 48,", -r",2,24,"]")
577 	TEST_RPR(  "strccd	r",8, VAL2,", [r",11,0, ", r",12,48,"]")
578 	TEST_UNSUPPORTED(  "strccd r8, [r13, r12]")
579 	TEST_UNSUPPORTED(  "strccd r8, [r12, r13]")
580 	TEST_RPR(  "strd	r",4, VAL1,", [r",2, 24,", r",3, 48,"]!")
581 	TEST_RPR(  "strcsd	r",12,VAL2,", [r",11,48,", -r",10,24,"]!")
582 	TEST_RPR(  "strd	r",2, VAL1,", [r",5, 24,"], r",4,48,"")
583 	TEST_RPR(  "strd	r",10,VAL2,", [r",9, 48,"], -r",7,24,"")
584 	TEST_UNSUPPORTED(__inst_arm(0xe1afc0fa) "	@ strd r12, [pc, r10]!")
585 
586 	TEST_PR(   "ldrd	r0, [r",0, 48,", -r",2,24,"]")
587 	TEST_PR(   "ldrmid	r8, [r",13,0, ", r",12,48,"]")
588 	TEST_PR(   "ldrd	r4, [r",2, 24,", r",3, 48,"]!")
589 	TEST_PR(   "ldrpld	r6, [r",11,48,", -r",10,24,"]!")
590 	TEST_PR(   "ldrd	r2, [r",5, 24,"], r",4,48,"")
591 	TEST_PR(   "ldrd	r10, [r",9,48,"], -r",7,24,"")
592 	TEST_UNSUPPORTED(__inst_arm(0xe1afc0da) "	@ ldrd r12, [pc, r10]!")
593 	TEST_UNSUPPORTED(__inst_arm(0xe089f0db) "	@ ldrd pc, [r9], r11")
594 	TEST_UNSUPPORTED(__inst_arm(0xe089e0db) "	@ ldrd lr, [r9], r11")
595 	TEST_UNSUPPORTED(__inst_arm(0xe089c0df) "	@ ldrd r12, [r9], pc")
596 
597 	TEST_RP(   "strd	r",0, VAL1,", [r",1, 24,", #-8]")
598 	TEST_RP(   "strvsd	r",8, VAL2,", [r",13,0, ", #8]")
599 	TEST_RP(   "strd	r",4, VAL1,", [r",2, 24,", #16]!")
600 	TEST_RP(   "strvcd	r",12,VAL2,", [r",11,24,", #-16]!")
601 	TEST_RP(   "strd	r",2, VAL1,", [r",4, 24,"], #48")
602 	TEST_RP(   "strd	r",10,VAL2,", [r",9, 64,"], #-48")
603 	TEST_RP(   "strd	r",6, VAL1,", [r",13,TEST_MEMORY_SIZE,", #-"__stringify(MAX_STACK_SIZE)"]!")
604 	TEST_UNSUPPORTED("strd r6, [r13, #-"__stringify(MAX_STACK_SIZE)"-8]!")
605 	TEST_RP(   "strd	r",4, VAL1,", [r",12,TEST_MEMORY_SIZE,", #-"__stringify(MAX_STACK_SIZE)"-8]!")
606 	TEST_UNSUPPORTED(__inst_arm(0xe1efc3f0) "	@ strd r12, [pc, #48]!")
607 
608 	TEST_P(	   "ldrd	r0, [r",0, 24,", #-8]")
609 	TEST_P(	   "ldrhid	r8, [r",13,0, ", #8]")
610 	TEST_P(	   "ldrd	r4, [r",2, 24,", #16]!")
611 	TEST_P(	   "ldrlsd	r6, [r",11,24,", #-16]!")
612 	TEST_P(	   "ldrd	r2, [r",5, 24,"], #48")
613 	TEST_P(	   "ldrd	r10, [r",9,6,"], #-48")
614 	TEST_UNSUPPORTED(__inst_arm(0xe1efc3d0) "	@ ldrd r12, [pc, #48]!")
615 	TEST_UNSUPPORTED(__inst_arm(0xe0c9f3d0) "	@ ldrd pc, [r9], #48")
616 	TEST_UNSUPPORTED(__inst_arm(0xe0c9e3d0) "	@ ldrd lr, [r9], #48")
617 #endif
618 
619 	TEST_GROUP("Miscellaneous")
620 
621 #if __LINUX_ARM_ARCH__ >= 7
622 	TEST("movw	r0, #0")
623 	TEST("movw	r0, #0xffff")
624 	TEST("movw	lr, #0xffff")
625 	TEST_UNSUPPORTED(__inst_arm(0xe300f000) "	@ movw pc, #0")
626 	TEST_R("movt	r",0, VAL1,", #0")
627 	TEST_R("movt	r",0, VAL2,", #0xffff")
628 	TEST_R("movt	r",14,VAL1,", #0xffff")
629 	TEST_UNSUPPORTED(__inst_arm(0xe340f000) "	@ movt pc, #0")
630 #endif
631 
632 	TEST_UNSUPPORTED("msr	cpsr, 0x13")
633 	TEST_UNSUPPORTED("msr	cpsr_f, 0xf0000000")
634 	TEST_UNSUPPORTED("msr	spsr, 0x13")
635 
636 #if __LINUX_ARM_ARCH__ >= 7
637 	TEST_SUPPORTED("yield")
638 	TEST("sev")
639 	TEST("nop")
640 	TEST("wfi")
641 	TEST_SUPPORTED("wfe")
642 	TEST_UNSUPPORTED("dbg #0")
643 #endif
644 
645 	TEST_GROUP("Load/store word and unsigned byte")
646 
647 #define LOAD_STORE(byte)							\
648 	TEST_RP( "str"byte"	r",0, VAL1,", [r",1, 24,", #-2]")		\
649 	TEST_RP( "str"byte"	r",14,VAL2,", [r",13,0, ", #2]")		\
650 	TEST_RP( "str"byte"	r",1, VAL1,", [r",2, 24,", #4]!")		\
651 	TEST_RP( "str"byte"	r",12,VAL2,", [r",11,24,", #-4]!")		\
652 	TEST_RP( "str"byte"	r",2, VAL1,", [r",3, 24,"], #48")		\
653 	TEST_RP( "str"byte"	r",10,VAL2,", [r",9, 64,"], #-48")		\
654 	TEST_RP( "str"byte"	r",3, VAL1,", [r",13,TEST_MEMORY_SIZE,", #-"__stringify(MAX_STACK_SIZE)"]!") \
655 	TEST_UNSUPPORTED("str"byte" r3, [r13, #-"__stringify(MAX_STACK_SIZE)"-8]!")				\
656 	TEST_RP( "str"byte"	r",4, VAL1,", [r",10,TEST_MEMORY_SIZE,", #-"__stringify(MAX_STACK_SIZE)"-8]!") \
657 	TEST_RPR("str"byte"	r",0, VAL1,", [r",1, 48,", -r",2, 24,"]")	\
658 	TEST_RPR("str"byte"	r",14,VAL2,", [r",11,0, ", r",12, 48,"]")	\
659 	TEST_UNSUPPORTED("str"byte" r14, [r13, r12]")				\
660 	TEST_UNSUPPORTED("str"byte" r14, [r12, r13]")				\
661 	TEST_RPR("str"byte"	r",1, VAL1,", [r",2, 24,", r",3,  48,"]!")	\
662 	TEST_RPR("str"byte"	r",12,VAL2,", [r",11,48,", -r",10,24,"]!")	\
663 	TEST_RPR("str"byte"	r",2, VAL1,", [r",3, 24,"], r",4, 48,"")	\
664 	TEST_RPR("str"byte"	r",10,VAL2,", [r",9, 48,"], -r",11,24,"")	\
665 	TEST_RPR("str"byte"	r",0, VAL1,", [r",1, 24,", r",2,  32,", asl #1]")\
666 	TEST_RPR("str"byte"	r",14,VAL2,", [r",11,0, ", r",12, 32,", lsr #2]")\
667 	TEST_UNSUPPORTED("str"byte"	r14, [r13, r12, lsr #2]")		\
668 	TEST_RPR("str"byte"	r",1, VAL1,", [r",2, 24,", r",3,  32,", asr #3]!")\
669 	TEST_RPR("str"byte"	r",12,VAL2,", [r",11,24,", r",10, 4,", ror #31]!")\
670 	TEST_P(  "ldr"byte"	r0, [r",0,  24,", #-2]")			\
671 	TEST_P(  "ldr"byte"	r14, [r",13,0, ", #2]")				\
672 	TEST_P(  "ldr"byte"	r1, [r",2,  24,", #4]!")			\
673 	TEST_P(  "ldr"byte"	r12, [r",11,24,", #-4]!")			\
674 	TEST_P(  "ldr"byte"	r2, [r",3,  24,"], #48")			\
675 	TEST_P(  "ldr"byte"	r10, [r",9, 64,"], #-48")			\
676 	TEST_PR( "ldr"byte"	r0, [r",0,  48,", -r",2, 24,"]")		\
677 	TEST_PR( "ldr"byte"	r14, [r",13,0, ", r",12, 48,"]")		\
678 	TEST_PR( "ldr"byte"	r1, [r",2,  24,", r",3, 48,"]!")		\
679 	TEST_PR( "ldr"byte"	r12, [r",11,48,", -r",10,24,"]!")		\
680 	TEST_PR( "ldr"byte"	r2, [r",3,  24,"], r",4, 48,"")			\
681 	TEST_PR( "ldr"byte"	r10, [r",9, 48,"], -r",11,24,"")		\
682 	TEST_PR( "ldr"byte"	r0, [r",0,  24,", r",2,  32,", asl #1]")	\
683 	TEST_PR( "ldr"byte"	r14, [r",13,0, ", r",12, 32,", lsr #2]")	\
684 	TEST_PR( "ldr"byte"	r1, [r",2,  24,", r",3,  32,", asr #3]!")	\
685 	TEST_PR( "ldr"byte"	r12, [r",11,24,", r",10, 4,", ror #31]!")	\
686 	TEST(    "ldr"byte"	r0, [pc, #0]")					\
687 	TEST_R(  "ldr"byte"	r12, [pc, r",14,0,"]")
688 
689 	LOAD_STORE("")
690 	TEST_P(   "str	pc, [r",0,0,", #15*4]")
691 	TEST_UNSUPPORTED(   "str	pc, [sp, r2]")
692 	TEST_BF(  "ldr	pc, [sp, #15*4]")
693 	TEST_BF_R("ldr	pc, [sp, r",2,15*4,"]")
694 
695 	TEST_P(   "str	sp, [r",0,0,", #13*4]")
696 	TEST_UNSUPPORTED(   "str	sp, [sp, r2]")
697 	TEST_BF(  "ldr	sp, [sp, #13*4]")
698 	TEST_BF_R("ldr	sp, [sp, r",2,13*4,"]")
699 
700 #ifdef CONFIG_THUMB2_KERNEL
701 	TEST_ARM_TO_THUMB_INTERWORK_P("ldr	pc, [r",0,0,", #15*4]")
702 #endif
703 	TEST_UNSUPPORTED(__inst_arm(0xe5af6008) "	@ str r6, [pc, #8]!")
704 	TEST_UNSUPPORTED(__inst_arm(0xe7af6008) "	@ str r6, [pc, r8]!")
705 	TEST_UNSUPPORTED(__inst_arm(0xe5bf6008) "	@ ldr r6, [pc, #8]!")
706 	TEST_UNSUPPORTED(__inst_arm(0xe7bf6008) "	@ ldr r6, [pc, r8]!")
707 	TEST_UNSUPPORTED(__inst_arm(0xe788600f) "	@ str r6, [r8, pc]")
708 	TEST_UNSUPPORTED(__inst_arm(0xe798600f) "	@ ldr r6, [r8, pc]")
709 
710 	LOAD_STORE("b")
711 	TEST_UNSUPPORTED(__inst_arm(0xe5f7f008) "	@ ldrb pc, [r7, #8]!")
712 	TEST_UNSUPPORTED(__inst_arm(0xe7f7f008) "	@ ldrb pc, [r7, r8]!")
713 	TEST_UNSUPPORTED(__inst_arm(0xe5ef6008) "	@ strb r6, [pc, #8]!")
714 	TEST_UNSUPPORTED(__inst_arm(0xe7ef6008) "	@ strb r6, [pc, r3]!")
715 	TEST_UNSUPPORTED(__inst_arm(0xe5ff6008) "	@ ldrb r6, [pc, #8]!")
716 	TEST_UNSUPPORTED(__inst_arm(0xe7ff6008) "	@ ldrb r6, [pc, r3]!")
717 
718 	TEST_UNSUPPORTED("ldrt	r0, [r1], #4")
719 	TEST_UNSUPPORTED("ldrt	r1, [r2], r3")
720 	TEST_UNSUPPORTED("strt	r2, [r3], #4")
721 	TEST_UNSUPPORTED("strt	r3, [r4], r5")
722 	TEST_UNSUPPORTED("ldrbt	r4, [r5], #4")
723 	TEST_UNSUPPORTED("ldrbt	r5, [r6], r7")
724 	TEST_UNSUPPORTED("strbt	r6, [r7], #4")
725 	TEST_UNSUPPORTED("strbt	r7, [r8], r9")
726 
727 #if __LINUX_ARM_ARCH__ >= 7
728 	TEST_GROUP("Parallel addition and subtraction, signed")
729 
730 	TEST_UNSUPPORTED(__inst_arm(0xe6000010) "") /* Unallocated space */
731 	TEST_UNSUPPORTED(__inst_arm(0xe60fffff) "") /* Unallocated space */
732 
733 	TEST_RR(    "sadd16	r0, r",0,  HH1,", r",1, HH2,"")
734 	TEST_RR(    "sadd16	r14, r",12,HH2,", r",10,HH1,"")
735 	TEST_UNSUPPORTED(__inst_arm(0xe61cff1a) "	@ sadd16	pc, r12, r10")
736 	TEST_RR(    "sasx	r0, r",0,  HH1,", r",1, HH2,"")
737 	TEST_RR(    "sasx	r14, r",12,HH2,", r",10,HH1,"")
738 	TEST_UNSUPPORTED(__inst_arm(0xe61cff3a) "	@ sasx	pc, r12, r10")
739 	TEST_RR(    "ssax	r0, r",0,  HH1,", r",1, HH2,"")
740 	TEST_RR(    "ssax	r14, r",12,HH2,", r",10,HH1,"")
741 	TEST_UNSUPPORTED(__inst_arm(0xe61cff5a) "	@ ssax	pc, r12, r10")
742 	TEST_RR(    "ssub16	r0, r",0,  HH1,", r",1, HH2,"")
743 	TEST_RR(    "ssub16	r14, r",12,HH2,", r",10,HH1,"")
744 	TEST_UNSUPPORTED(__inst_arm(0xe61cff7a) "	@ ssub16	pc, r12, r10")
745 	TEST_RR(    "sadd8	r0, r",0,  HH1,", r",1, HH2,"")
746 	TEST_RR(    "sadd8	r14, r",12,HH2,", r",10,HH1,"")
747 	TEST_UNSUPPORTED(__inst_arm(0xe61cff9a) "	@ sadd8	pc, r12, r10")
748 	TEST_UNSUPPORTED(__inst_arm(0xe61000b0) "") /* Unallocated space */
749 	TEST_UNSUPPORTED(__inst_arm(0xe61fffbf) "") /* Unallocated space */
750 	TEST_UNSUPPORTED(__inst_arm(0xe61000d0) "") /* Unallocated space */
751 	TEST_UNSUPPORTED(__inst_arm(0xe61fffdf) "") /* Unallocated space */
752 	TEST_RR(    "ssub8	r0, r",0,  HH1,", r",1, HH2,"")
753 	TEST_RR(    "ssub8	r14, r",12,HH2,", r",10,HH1,"")
754 	TEST_UNSUPPORTED(__inst_arm(0xe61cfffa) "	@ ssub8	pc, r12, r10")
755 
756 	TEST_RR(    "qadd16	r0, r",0,  HH1,", r",1, HH2,"")
757 	TEST_RR(    "qadd16	r14, r",12,HH2,", r",10,HH1,"")
758 	TEST_UNSUPPORTED(__inst_arm(0xe62cff1a) "	@ qadd16	pc, r12, r10")
759 	TEST_RR(    "qasx	r0, r",0,  HH1,", r",1, HH2,"")
760 	TEST_RR(    "qasx	r14, r",12,HH2,", r",10,HH1,"")
761 	TEST_UNSUPPORTED(__inst_arm(0xe62cff3a) "	@ qasx	pc, r12, r10")
762 	TEST_RR(    "qsax	r0, r",0,  HH1,", r",1, HH2,"")
763 	TEST_RR(    "qsax	r14, r",12,HH2,", r",10,HH1,"")
764 	TEST_UNSUPPORTED(__inst_arm(0xe62cff5a) "	@ qsax	pc, r12, r10")
765 	TEST_RR(    "qsub16	r0, r",0,  HH1,", r",1, HH2,"")
766 	TEST_RR(    "qsub16	r14, r",12,HH2,", r",10,HH1,"")
767 	TEST_UNSUPPORTED(__inst_arm(0xe62cff7a) "	@ qsub16	pc, r12, r10")
768 	TEST_RR(    "qadd8	r0, r",0,  HH1,", r",1, HH2,"")
769 	TEST_RR(    "qadd8	r14, r",12,HH2,", r",10,HH1,"")
770 	TEST_UNSUPPORTED(__inst_arm(0xe62cff9a) "	@ qadd8	pc, r12, r10")
771 	TEST_UNSUPPORTED(__inst_arm(0xe62000b0) "") /* Unallocated space */
772 	TEST_UNSUPPORTED(__inst_arm(0xe62fffbf) "") /* Unallocated space */
773 	TEST_UNSUPPORTED(__inst_arm(0xe62000d0) "") /* Unallocated space */
774 	TEST_UNSUPPORTED(__inst_arm(0xe62fffdf) "") /* Unallocated space */
775 	TEST_RR(    "qsub8	r0, r",0,  HH1,", r",1, HH2,"")
776 	TEST_RR(    "qsub8	r14, r",12,HH2,", r",10,HH1,"")
777 	TEST_UNSUPPORTED(__inst_arm(0xe62cfffa) "	@ qsub8	pc, r12, r10")
778 
779 	TEST_RR(    "shadd16	r0, r",0,  HH1,", r",1, HH2,"")
780 	TEST_RR(    "shadd16	r14, r",12,HH2,", r",10,HH1,"")
781 	TEST_UNSUPPORTED(__inst_arm(0xe63cff1a) "	@ shadd16	pc, r12, r10")
782 	TEST_RR(    "shasx	r0, r",0,  HH1,", r",1, HH2,"")
783 	TEST_RR(    "shasx	r14, r",12,HH2,", r",10,HH1,"")
784 	TEST_UNSUPPORTED(__inst_arm(0xe63cff3a) "	@ shasx	pc, r12, r10")
785 	TEST_RR(    "shsax	r0, r",0,  HH1,", r",1, HH2,"")
786 	TEST_RR(    "shsax	r14, r",12,HH2,", r",10,HH1,"")
787 	TEST_UNSUPPORTED(__inst_arm(0xe63cff5a) "	@ shsax	pc, r12, r10")
788 	TEST_RR(    "shsub16	r0, r",0,  HH1,", r",1, HH2,"")
789 	TEST_RR(    "shsub16	r14, r",12,HH2,", r",10,HH1,"")
790 	TEST_UNSUPPORTED(__inst_arm(0xe63cff7a) "	@ shsub16	pc, r12, r10")
791 	TEST_RR(    "shadd8	r0, r",0,  HH1,", r",1, HH2,"")
792 	TEST_RR(    "shadd8	r14, r",12,HH2,", r",10,HH1,"")
793 	TEST_UNSUPPORTED(__inst_arm(0xe63cff9a) "	@ shadd8	pc, r12, r10")
794 	TEST_UNSUPPORTED(__inst_arm(0xe63000b0) "") /* Unallocated space */
795 	TEST_UNSUPPORTED(__inst_arm(0xe63fffbf) "") /* Unallocated space */
796 	TEST_UNSUPPORTED(__inst_arm(0xe63000d0) "") /* Unallocated space */
797 	TEST_UNSUPPORTED(__inst_arm(0xe63fffdf) "") /* Unallocated space */
798 	TEST_RR(    "shsub8	r0, r",0,  HH1,", r",1, HH2,"")
799 	TEST_RR(    "shsub8	r14, r",12,HH2,", r",10,HH1,"")
800 	TEST_UNSUPPORTED(__inst_arm(0xe63cfffa) "	@ shsub8	pc, r12, r10")
801 
802 	TEST_GROUP("Parallel addition and subtraction, unsigned")
803 
804 	TEST_UNSUPPORTED(__inst_arm(0xe6400010) "") /* Unallocated space */
805 	TEST_UNSUPPORTED(__inst_arm(0xe64fffff) "") /* Unallocated space */
806 
807 	TEST_RR(    "uadd16	r0, r",0,  HH1,", r",1, HH2,"")
808 	TEST_RR(    "uadd16	r14, r",12,HH2,", r",10,HH1,"")
809 	TEST_UNSUPPORTED(__inst_arm(0xe65cff1a) "	@ uadd16	pc, r12, r10")
810 	TEST_RR(    "uasx	r0, r",0,  HH1,", r",1, HH2,"")
811 	TEST_RR(    "uasx	r14, r",12,HH2,", r",10,HH1,"")
812 	TEST_UNSUPPORTED(__inst_arm(0xe65cff3a) "	@ uasx	pc, r12, r10")
813 	TEST_RR(    "usax	r0, r",0,  HH1,", r",1, HH2,"")
814 	TEST_RR(    "usax	r14, r",12,HH2,", r",10,HH1,"")
815 	TEST_UNSUPPORTED(__inst_arm(0xe65cff5a) "	@ usax	pc, r12, r10")
816 	TEST_RR(    "usub16	r0, r",0,  HH1,", r",1, HH2,"")
817 	TEST_RR(    "usub16	r14, r",12,HH2,", r",10,HH1,"")
818 	TEST_UNSUPPORTED(__inst_arm(0xe65cff7a) "	@ usub16	pc, r12, r10")
819 	TEST_RR(    "uadd8	r0, r",0,  HH1,", r",1, HH2,"")
820 	TEST_RR(    "uadd8	r14, r",12,HH2,", r",10,HH1,"")
821 	TEST_UNSUPPORTED(__inst_arm(0xe65cff9a) "	@ uadd8	pc, r12, r10")
822 	TEST_UNSUPPORTED(__inst_arm(0xe65000b0) "") /* Unallocated space */
823 	TEST_UNSUPPORTED(__inst_arm(0xe65fffbf) "") /* Unallocated space */
824 	TEST_UNSUPPORTED(__inst_arm(0xe65000d0) "") /* Unallocated space */
825 	TEST_UNSUPPORTED(__inst_arm(0xe65fffdf) "") /* Unallocated space */
826 	TEST_RR(    "usub8	r0, r",0,  HH1,", r",1, HH2,"")
827 	TEST_RR(    "usub8	r14, r",12,HH2,", r",10,HH1,"")
828 	TEST_UNSUPPORTED(__inst_arm(0xe65cfffa) "	@ usub8	pc, r12, r10")
829 
830 	TEST_RR(    "uqadd16	r0, r",0,  HH1,", r",1, HH2,"")
831 	TEST_RR(    "uqadd16	r14, r",12,HH2,", r",10,HH1,"")
832 	TEST_UNSUPPORTED(__inst_arm(0xe66cff1a) "	@ uqadd16	pc, r12, r10")
833 	TEST_RR(    "uqasx	r0, r",0,  HH1,", r",1, HH2,"")
834 	TEST_RR(    "uqasx	r14, r",12,HH2,", r",10,HH1,"")
835 	TEST_UNSUPPORTED(__inst_arm(0xe66cff3a) "	@ uqasx	pc, r12, r10")
836 	TEST_RR(    "uqsax	r0, r",0,  HH1,", r",1, HH2,"")
837 	TEST_RR(    "uqsax	r14, r",12,HH2,", r",10,HH1,"")
838 	TEST_UNSUPPORTED(__inst_arm(0xe66cff5a) "	@ uqsax	pc, r12, r10")
839 	TEST_RR(    "uqsub16	r0, r",0,  HH1,", r",1, HH2,"")
840 	TEST_RR(    "uqsub16	r14, r",12,HH2,", r",10,HH1,"")
841 	TEST_UNSUPPORTED(__inst_arm(0xe66cff7a) "	@ uqsub16	pc, r12, r10")
842 	TEST_RR(    "uqadd8	r0, r",0,  HH1,", r",1, HH2,"")
843 	TEST_RR(    "uqadd8	r14, r",12,HH2,", r",10,HH1,"")
844 	TEST_UNSUPPORTED(__inst_arm(0xe66cff9a) "	@ uqadd8	pc, r12, r10")
845 	TEST_UNSUPPORTED(__inst_arm(0xe66000b0) "") /* Unallocated space */
846 	TEST_UNSUPPORTED(__inst_arm(0xe66fffbf) "") /* Unallocated space */
847 	TEST_UNSUPPORTED(__inst_arm(0xe66000d0) "") /* Unallocated space */
848 	TEST_UNSUPPORTED(__inst_arm(0xe66fffdf) "") /* Unallocated space */
849 	TEST_RR(    "uqsub8	r0, r",0,  HH1,", r",1, HH2,"")
850 	TEST_RR(    "uqsub8	r14, r",12,HH2,", r",10,HH1,"")
851 	TEST_UNSUPPORTED(__inst_arm(0xe66cfffa) "	@ uqsub8	pc, r12, r10")
852 
853 	TEST_RR(    "uhadd16	r0, r",0,  HH1,", r",1, HH2,"")
854 	TEST_RR(    "uhadd16	r14, r",12,HH2,", r",10,HH1,"")
855 	TEST_UNSUPPORTED(__inst_arm(0xe67cff1a) "	@ uhadd16	pc, r12, r10")
856 	TEST_RR(    "uhasx	r0, r",0,  HH1,", r",1, HH2,"")
857 	TEST_RR(    "uhasx	r14, r",12,HH2,", r",10,HH1,"")
858 	TEST_UNSUPPORTED(__inst_arm(0xe67cff3a) "	@ uhasx	pc, r12, r10")
859 	TEST_RR(    "uhsax	r0, r",0,  HH1,", r",1, HH2,"")
860 	TEST_RR(    "uhsax	r14, r",12,HH2,", r",10,HH1,"")
861 	TEST_UNSUPPORTED(__inst_arm(0xe67cff5a) "	@ uhsax	pc, r12, r10")
862 	TEST_RR(    "uhsub16	r0, r",0,  HH1,", r",1, HH2,"")
863 	TEST_RR(    "uhsub16	r14, r",12,HH2,", r",10,HH1,"")
864 	TEST_UNSUPPORTED(__inst_arm(0xe67cff7a) "	@ uhsub16	pc, r12, r10")
865 	TEST_RR(    "uhadd8	r0, r",0,  HH1,", r",1, HH2,"")
866 	TEST_RR(    "uhadd8	r14, r",12,HH2,", r",10,HH1,"")
867 	TEST_UNSUPPORTED(__inst_arm(0xe67cff9a) "	@ uhadd8	pc, r12, r10")
868 	TEST_UNSUPPORTED(__inst_arm(0xe67000b0) "") /* Unallocated space */
869 	TEST_UNSUPPORTED(__inst_arm(0xe67fffbf) "") /* Unallocated space */
870 	TEST_UNSUPPORTED(__inst_arm(0xe67000d0) "") /* Unallocated space */
871 	TEST_UNSUPPORTED(__inst_arm(0xe67fffdf) "") /* Unallocated space */
872 	TEST_RR(    "uhsub8	r0, r",0,  HH1,", r",1, HH2,"")
873 	TEST_RR(    "uhsub8	r14, r",12,HH2,", r",10,HH1,"")
874 	TEST_UNSUPPORTED(__inst_arm(0xe67cfffa) "	@ uhsub8	pc, r12, r10")
875 	TEST_UNSUPPORTED(__inst_arm(0xe67feffa) "	@ uhsub8	r14, pc, r10")
876 	TEST_UNSUPPORTED(__inst_arm(0xe67cefff) "	@ uhsub8	r14, r12, pc")
877 #endif /* __LINUX_ARM_ARCH__ >= 7 */
878 
879 #if __LINUX_ARM_ARCH__ >= 6
880 	TEST_GROUP("Packing, unpacking, saturation, and reversal")
881 
882 	TEST_RR(    "pkhbt	r0, r",0,  HH1,", r",1, HH2,"")
883 	TEST_RR(    "pkhbt	r14,r",12, HH1,", r",10,HH2,", lsl #2")
884 	TEST_UNSUPPORTED(__inst_arm(0xe68cf11a) "	@ pkhbt	pc, r12, r10, lsl #2")
885 	TEST_RR(    "pkhtb	r0, r",0,  HH1,", r",1, HH2,"")
886 	TEST_RR(    "pkhtb	r14,r",12, HH1,", r",10,HH2,", asr #2")
887 	TEST_UNSUPPORTED(__inst_arm(0xe68cf15a) "	@ pkhtb	pc, r12, r10, asr #2")
888 	TEST_UNSUPPORTED(__inst_arm(0xe68fe15a) "	@ pkhtb	r14, pc, r10, asr #2")
889 	TEST_UNSUPPORTED(__inst_arm(0xe68ce15f) "	@ pkhtb	r14, r12, pc, asr #2")
890 	TEST_UNSUPPORTED(__inst_arm(0xe6900010) "") /* Unallocated space */
891 	TEST_UNSUPPORTED(__inst_arm(0xe69fffdf) "") /* Unallocated space */
892 
893 	TEST_R(     "ssat	r0, #24, r",0,   VAL1,"")
894 	TEST_R(     "ssat	r14, #24, r",12, VAL2,"")
895 	TEST_R(     "ssat	r0, #24, r",0,   VAL1,", lsl #8")
896 	TEST_R(     "ssat	r14, #24, r",12, VAL2,", asr #8")
897 	TEST_UNSUPPORTED(__inst_arm(0xe6b7f01c) "	@ ssat	pc, #24, r12")
898 
899 	TEST_R(     "usat	r0, #24, r",0,   VAL1,"")
900 	TEST_R(     "usat	r14, #24, r",12, VAL2,"")
901 	TEST_R(     "usat	r0, #24, r",0,   VAL1,", lsl #8")
902 	TEST_R(     "usat	r14, #24, r",12, VAL2,", asr #8")
903 	TEST_UNSUPPORTED(__inst_arm(0xe6f7f01c) "	@ usat	pc, #24, r12")
904 
905 	TEST_RR(    "sxtab16	r0, r",0,  HH1,", r",1, HH2,"")
906 	TEST_RR(    "sxtab16	r14,r",12, HH2,", r",10,HH1,", ror #8")
907 	TEST_R(     "sxtb16	r8, r",7,  HH1,"")
908 	TEST_UNSUPPORTED(__inst_arm(0xe68cf47a) "	@ sxtab16	pc,r12, r10, ror #8")
909 
910 	TEST_RR(    "sel	r0, r",0,  VAL1,", r",1, VAL2,"")
911 	TEST_RR(    "sel	r14, r",12,VAL1,", r",10, VAL2,"")
912 	TEST_UNSUPPORTED(__inst_arm(0xe68cffba) "	@ sel	pc, r12, r10")
913 	TEST_UNSUPPORTED(__inst_arm(0xe68fefba) "	@ sel	r14, pc, r10")
914 	TEST_UNSUPPORTED(__inst_arm(0xe68cefbf) "	@ sel	r14, r12, pc")
915 
916 	TEST_R(     "ssat16	r0, #12, r",0,   HH1,"")
917 	TEST_R(     "ssat16	r14, #12, r",12, HH2,"")
918 	TEST_UNSUPPORTED(__inst_arm(0xe6abff3c) "	@ ssat16	pc, #12, r12")
919 
920 	TEST_RR(    "sxtab	r0, r",0,  HH1,", r",1, HH2,"")
921 	TEST_RR(    "sxtab	r14,r",12, HH2,", r",10,HH1,", ror #8")
922 	TEST_R(     "sxtb	r8, r",7,  HH1,"")
923 	TEST_UNSUPPORTED(__inst_arm(0xe6acf47a) "	@ sxtab	pc,r12, r10, ror #8")
924 
925 	TEST_R(     "rev	r0, r",0,   VAL1,"")
926 	TEST_R(     "rev	r14, r",12, VAL2,"")
927 	TEST_UNSUPPORTED(__inst_arm(0xe6bfff3c) "	@ rev	pc, r12")
928 
929 	TEST_RR(    "sxtah	r0, r",0,  HH1,", r",1, HH2,"")
930 	TEST_RR(    "sxtah	r14,r",12, HH2,", r",10,HH1,", ror #8")
931 	TEST_R(     "sxth	r8, r",7,  HH1,"")
932 	TEST_UNSUPPORTED(__inst_arm(0xe6bcf47a) "	@ sxtah	pc,r12, r10, ror #8")
933 
934 	TEST_R(     "rev16	r0, r",0,   VAL1,"")
935 	TEST_R(     "rev16	r14, r",12, VAL2,"")
936 	TEST_UNSUPPORTED(__inst_arm(0xe6bfffbc) "	@ rev16	pc, r12")
937 
938 	TEST_RR(    "uxtab16	r0, r",0,  HH1,", r",1, HH2,"")
939 	TEST_RR(    "uxtab16	r14,r",12, HH2,", r",10,HH1,", ror #8")
940 	TEST_R(     "uxtb16	r8, r",7,  HH1,"")
941 	TEST_UNSUPPORTED(__inst_arm(0xe6ccf47a) "	@ uxtab16	pc,r12, r10, ror #8")
942 
943 	TEST_R(     "usat16	r0, #12, r",0,   HH1,"")
944 	TEST_R(     "usat16	r14, #12, r",12, HH2,"")
945 	TEST_UNSUPPORTED(__inst_arm(0xe6ecff3c) "	@ usat16	pc, #12, r12")
946 	TEST_UNSUPPORTED(__inst_arm(0xe6ecef3f) "	@ usat16	r14, #12, pc")
947 
948 	TEST_RR(    "uxtab	r0, r",0,  HH1,", r",1, HH2,"")
949 	TEST_RR(    "uxtab	r14,r",12, HH2,", r",10,HH1,", ror #8")
950 	TEST_R(     "uxtb	r8, r",7,  HH1,"")
951 	TEST_UNSUPPORTED(__inst_arm(0xe6ecf47a) "	@ uxtab	pc,r12, r10, ror #8")
952 
953 #if __LINUX_ARM_ARCH__ >= 7
954 	TEST_R(     "rbit	r0, r",0,   VAL1,"")
955 	TEST_R(     "rbit	r14, r",12, VAL2,"")
956 	TEST_UNSUPPORTED(__inst_arm(0xe6ffff3c) "	@ rbit	pc, r12")
957 #endif
958 
959 	TEST_RR(    "uxtah	r0, r",0,  HH1,", r",1, HH2,"")
960 	TEST_RR(    "uxtah	r14,r",12, HH2,", r",10,HH1,", ror #8")
961 	TEST_R(     "uxth	r8, r",7,  HH1,"")
962 	TEST_UNSUPPORTED(__inst_arm(0xe6fff077) "	@ uxth	pc, r7")
963 	TEST_UNSUPPORTED(__inst_arm(0xe6ff807f) "	@ uxth	r8, pc")
964 	TEST_UNSUPPORTED(__inst_arm(0xe6fcf47a) "	@ uxtah	pc, r12, r10, ror #8")
965 	TEST_UNSUPPORTED(__inst_arm(0xe6fce47f) "	@ uxtah	r14, r12, pc, ror #8")
966 
967 	TEST_R(     "revsh	r0, r",0,   VAL1,"")
968 	TEST_R(     "revsh	r14, r",12, VAL2,"")
969 	TEST_UNSUPPORTED(__inst_arm(0xe6ffff3c) "	@ revsh	pc, r12")
970 	TEST_UNSUPPORTED(__inst_arm(0xe6ffef3f) "	@ revsh	r14, pc")
971 
972 	TEST_UNSUPPORTED(__inst_arm(0xe6900070) "") /* Unallocated space */
973 	TEST_UNSUPPORTED(__inst_arm(0xe69fff7f) "") /* Unallocated space */
974 
975 	TEST_UNSUPPORTED(__inst_arm(0xe6d00070) "") /* Unallocated space */
976 	TEST_UNSUPPORTED(__inst_arm(0xe6dfff7f) "") /* Unallocated space */
977 #endif /* __LINUX_ARM_ARCH__ >= 6 */
978 
979 #if __LINUX_ARM_ARCH__ >= 6
980 	TEST_GROUP("Signed multiplies")
981 
982 	TEST_RRR(   "smlad	r0, r",0,  HH1,", r",1, HH2,", r",2, VAL1,"")
983 	TEST_RRR(   "smlad	r14, r",12,HH2,", r",10,HH1,", r",8, VAL2,"")
984 	TEST_UNSUPPORTED(__inst_arm(0xe70f8a1c) "	@ smlad	pc, r12, r10, r8")
985 	TEST_RRR(   "smladx	r0, r",0,  HH1,", r",1, HH2,", r",2, VAL1,"")
986 	TEST_RRR(   "smladx	r14, r",12,HH2,", r",10,HH1,", r",8, VAL2,"")
987 	TEST_UNSUPPORTED(__inst_arm(0xe70f8a3c) "	@ smladx	pc, r12, r10, r8")
988 
989 	TEST_RR(   "smuad	r0, r",0,  HH1,", r",1, HH2,"")
990 	TEST_RR(   "smuad	r14, r",12,HH2,", r",10,HH1,"")
991 	TEST_UNSUPPORTED(__inst_arm(0xe70ffa1c) "	@ smuad	pc, r12, r10")
992 	TEST_RR(   "smuadx	r0, r",0,  HH1,", r",1, HH2,"")
993 	TEST_RR(   "smuadx	r14, r",12,HH2,", r",10,HH1,"")
994 	TEST_UNSUPPORTED(__inst_arm(0xe70ffa3c) "	@ smuadx	pc, r12, r10")
995 
996 	TEST_RRR(   "smlsd	r0, r",0,  HH1,", r",1, HH2,", r",2, VAL1,"")
997 	TEST_RRR(   "smlsd	r14, r",12,HH2,", r",10,HH1,", r",8, VAL2,"")
998 	TEST_UNSUPPORTED(__inst_arm(0xe70f8a5c) "	@ smlsd	pc, r12, r10, r8")
999 	TEST_RRR(   "smlsdx	r0, r",0,  HH1,", r",1, HH2,", r",2, VAL1,"")
1000 	TEST_RRR(   "smlsdx	r14, r",12,HH2,", r",10,HH1,", r",8, VAL2,"")
1001 	TEST_UNSUPPORTED(__inst_arm(0xe70f8a7c) "	@ smlsdx	pc, r12, r10, r8")
1002 
1003 	TEST_RR(   "smusd	r0, r",0,  HH1,", r",1, HH2,"")
1004 	TEST_RR(   "smusd	r14, r",12,HH2,", r",10,HH1,"")
1005 	TEST_UNSUPPORTED(__inst_arm(0xe70ffa5c) "	@ smusd	pc, r12, r10")
1006 	TEST_RR(   "smusdx	r0, r",0,  HH1,", r",1, HH2,"")
1007 	TEST_RR(   "smusdx	r14, r",12,HH2,", r",10,HH1,"")
1008 	TEST_UNSUPPORTED(__inst_arm(0xe70ffa7c) "	@ smusdx	pc, r12, r10")
1009 
1010 	TEST_RRRR( "smlald	r",0, VAL1,", r",1, VAL2, ", r",0, HH1,", r",1, HH2)
1011 	TEST_RRRR( "smlald	r",11,VAL2,", r",10,VAL1, ", r",9, HH2,", r",8, HH1)
1012 	TEST_UNSUPPORTED(__inst_arm(0xe74af819) "	@ smlald	pc, r10, r9, r8")
1013 	TEST_UNSUPPORTED(__inst_arm(0xe74fb819) "	@ smlald	r11, pc, r9, r8")
1014 	TEST_UNSUPPORTED(__inst_arm(0xe74ab81f) "	@ smlald	r11, r10, pc, r8")
1015 	TEST_UNSUPPORTED(__inst_arm(0xe74abf19) "	@ smlald	r11, r10, r9, pc")
1016 
1017 	TEST_RRRR( "smlaldx	r",0, VAL1,", r",1, VAL2, ", r",0, HH1,", r",1, HH2)
1018 	TEST_RRRR( "smlaldx	r",11,VAL2,", r",10,VAL1, ", r",9, HH2,", r",8, HH1)
1019 	TEST_UNSUPPORTED(__inst_arm(0xe74af839) "	@ smlaldx	pc, r10, r9, r8")
1020 	TEST_UNSUPPORTED(__inst_arm(0xe74fb839) "	@ smlaldx	r11, pc, r9, r8")
1021 
1022 	TEST_RRR(  "smmla	r0, r",0,  VAL1,", r",1, VAL2,", r",2, VAL1,"")
1023 	TEST_RRR(  "smmla	r14, r",12,VAL2,", r",10,VAL1,", r",8, VAL2,"")
1024 	TEST_UNSUPPORTED(__inst_arm(0xe75f8a1c) "	@ smmla	pc, r12, r10, r8")
1025 	TEST_RRR(  "smmlar	r0, r",0,  VAL1,", r",1, VAL2,", r",2, VAL1,"")
1026 	TEST_RRR(  "smmlar	r14, r",12,VAL2,", r",10,VAL1,", r",8, VAL2,"")
1027 	TEST_UNSUPPORTED(__inst_arm(0xe75f8a3c) "	@ smmlar	pc, r12, r10, r8")
1028 
1029 	TEST_RR(   "smmul	r0, r",0,  VAL1,", r",1, VAL2,"")
1030 	TEST_RR(   "smmul	r14, r",12,VAL2,", r",10,VAL1,"")
1031 	TEST_UNSUPPORTED(__inst_arm(0xe75ffa1c) "	@ smmul	pc, r12, r10")
1032 	TEST_RR(   "smmulr	r0, r",0,  VAL1,", r",1, VAL2,"")
1033 	TEST_RR(   "smmulr	r14, r",12,VAL2,", r",10,VAL1,"")
1034 	TEST_UNSUPPORTED(__inst_arm(0xe75ffa3c) "	@ smmulr	pc, r12, r10")
1035 
1036 	TEST_RRR(  "smmls	r0, r",0,  VAL1,", r",1, VAL2,", r",2, VAL1,"")
1037 	TEST_RRR(  "smmls	r14, r",12,VAL2,", r",10,VAL1,", r",8, VAL2,"")
1038 	TEST_UNSUPPORTED(__inst_arm(0xe75f8adc) "	@ smmls	pc, r12, r10, r8")
1039 	TEST_RRR(  "smmlsr	r0, r",0,  VAL1,", r",1, VAL2,", r",2, VAL1,"")
1040 	TEST_RRR(  "smmlsr	r14, r",12,VAL2,", r",10,VAL1,", r",8, VAL2,"")
1041 	TEST_UNSUPPORTED(__inst_arm(0xe75f8afc) "	@ smmlsr	pc, r12, r10, r8")
1042 	TEST_UNSUPPORTED(__inst_arm(0xe75e8aff) "	@ smmlsr	r14, pc, r10, r8")
1043 	TEST_UNSUPPORTED(__inst_arm(0xe75e8ffc) "	@ smmlsr	r14, r12, pc, r8")
1044 	TEST_UNSUPPORTED(__inst_arm(0xe75efafc) "	@ smmlsr	r14, r12, r10, pc")
1045 
1046 	TEST_RR(   "usad8	r0, r",0,  VAL1,", r",1, VAL2,"")
1047 	TEST_RR(   "usad8	r14, r",12,VAL2,", r",10,VAL1,"")
1048 	TEST_UNSUPPORTED(__inst_arm(0xe75ffa1c) "	@ usad8	pc, r12, r10")
1049 	TEST_UNSUPPORTED(__inst_arm(0xe75efa1f) "	@ usad8	r14, pc, r10")
1050 	TEST_UNSUPPORTED(__inst_arm(0xe75eff1c) "	@ usad8	r14, r12, pc")
1051 
1052 	TEST_RRR(  "usada8	r0, r",0,  VAL1,", r",1, VAL2,", r",2, VAL3,"")
1053 	TEST_RRR(  "usada8	r14, r",12,VAL2,", r",10,VAL1,", r",8, VAL3,"")
1054 	TEST_UNSUPPORTED(__inst_arm(0xe78f8a1c) "	@ usada8	pc, r12, r10, r8")
1055 	TEST_UNSUPPORTED(__inst_arm(0xe78e8a1f) "	@ usada8	r14, pc, r10, r8")
1056 	TEST_UNSUPPORTED(__inst_arm(0xe78e8f1c) "	@ usada8	r14, r12, pc, r8")
1057 #endif /* __LINUX_ARM_ARCH__ >= 6 */
1058 
1059 #if __LINUX_ARM_ARCH__ >= 7
1060 	TEST_GROUP("Bit Field")
1061 
1062 	TEST_R(     "sbfx	r0, r",0  , VAL1,", #0, #31")
1063 	TEST_R(     "sbfxeq	r14, r",12, VAL2,", #8, #16")
1064 	TEST_R(     "sbfx	r4, r",10,  VAL1,", #16, #15")
1065 	TEST_UNSUPPORTED(__inst_arm(0xe7aff45c) "	@ sbfx	pc, r12, #8, #16")
1066 
1067 	TEST_R(     "ubfx	r0, r",0  , VAL1,", #0, #31")
1068 	TEST_R(     "ubfxcs	r14, r",12, VAL2,", #8, #16")
1069 	TEST_R(     "ubfx	r4, r",10,  VAL1,", #16, #15")
1070 	TEST_UNSUPPORTED(__inst_arm(0xe7eff45c) "	@ ubfx	pc, r12, #8, #16")
1071 	TEST_UNSUPPORTED(__inst_arm(0xe7efc45f) "	@ ubfx	r12, pc, #8, #16")
1072 
1073 	TEST_R(     "bfc	r",0, VAL1,", #4, #20")
1074 	TEST_R(     "bfcvs	r",14,VAL2,", #4, #20")
1075 	TEST_R(     "bfc	r",7, VAL1,", #0, #31")
1076 	TEST_R(     "bfc	r",8, VAL2,", #0, #31")
1077 	TEST_UNSUPPORTED(__inst_arm(0xe7def01f) "	@ bfc	pc, #0, #31");
1078 
1079 	TEST_RR(    "bfi	r",0, VAL1,", r",0  , VAL2,", #0, #31")
1080 	TEST_RR(    "bfipl	r",12,VAL1,", r",14 , VAL2,", #4, #20")
1081 	TEST_UNSUPPORTED(__inst_arm(0xe7d7f21e) "	@ bfi	pc, r14, #4, #20")
1082 
1083 	TEST_UNSUPPORTED(__inst_arm(0x07f000f0) "")  /* Permanently UNDEFINED */
1084 	TEST_UNSUPPORTED(__inst_arm(0x07ffffff) "")  /* Permanently UNDEFINED */
1085 #endif /* __LINUX_ARM_ARCH__ >= 6 */
1086 
1087 	TEST_GROUP("Branch, branch with link, and block data transfer")
1088 
1089 	TEST_P(   "stmda	r",0, 16*4,", {r0}")
1090 	TEST_P(   "stmeqda	r",4, 16*4,", {r0-r15}")
1091 	TEST_P(   "stmneda	r",8, 16*4,"!, {r8-r15}")
1092 	TEST_P(   "stmda	r",12,16*4,"!, {r1,r3,r5,r7,r8-r11,r14}")
1093 	TEST_P(   "stmda	r",13,0,   "!, {pc}")
1094 
1095 	TEST_P(   "ldmda	r",0, 16*4,", {r0}")
1096 	TEST_BF_P("ldmcsda	r",4, 15*4,", {r0-r15}")
1097 	TEST_BF_P("ldmccda	r",7, 15*4,"!, {r8-r15}")
1098 	TEST_P(   "ldmda	r",12,16*4,"!, {r1,r3,r5,r7,r8-r11,r14}")
1099 	TEST_BF_P("ldmda	r",14,15*4,"!, {pc}")
1100 
1101 	TEST_P(   "stmia	r",0, 16*4,", {r0}")
1102 	TEST_P(   "stmmiia	r",4, 16*4,", {r0-r15}")
1103 	TEST_P(   "stmplia	r",8, 16*4,"!, {r8-r15}")
1104 	TEST_P(   "stmia	r",12,16*4,"!, {r1,r3,r5,r7,r8-r11,r14}")
1105 	TEST_P(   "stmia	r",14,0,   "!, {pc}")
1106 
1107 	TEST_P(   "ldmia	r",0, 16*4,", {r0}")
1108 	TEST_BF_P("ldmvsia	r",4, 0,   ", {r0-r15}")
1109 	TEST_BF_P("ldmvcia	r",7, 8*4, "!, {r8-r15}")
1110 	TEST_P(   "ldmia	r",12,16*4,"!, {r1,r3,r5,r7,r8-r11,r14}")
1111 	TEST_BF_P("ldmia	r",14,15*4,"!, {pc}")
1112 
1113 	TEST_P(   "stmdb	r",0, 16*4,", {r0}")
1114 	TEST_P(   "stmhidb	r",4, 16*4,", {r0-r15}")
1115 	TEST_P(   "stmlsdb	r",8, 16*4,"!, {r8-r15}")
1116 	TEST_P(   "stmdb	r",12,16*4,"!, {r1,r3,r5,r7,r8-r11,r14}")
1117 	TEST_P(   "stmdb	r",13,4,   "!, {pc}")
1118 
1119 	TEST_P(   "ldmdb	r",0, 16*4,", {r0}")
1120 	TEST_BF_P("ldmgedb	r",4, 16*4,", {r0-r15}")
1121 	TEST_BF_P("ldmltdb	r",7, 16*4,"!, {r8-r15}")
1122 	TEST_P(   "ldmdb	r",12,16*4,"!, {r1,r3,r5,r7,r8-r11,r14}")
1123 	TEST_BF_P("ldmdb	r",14,16*4,"!, {pc}")
1124 
1125 	TEST_P(   "stmib	r",0, 16*4,", {r0}")
1126 	TEST_P(   "stmgtib	r",4, 16*4,", {r0-r15}")
1127 	TEST_P(   "stmleib	r",8, 16*4,"!, {r8-r15}")
1128 	TEST_P(   "stmib	r",12,16*4,"!, {r1,r3,r5,r7,r8-r11,r14}")
1129 	TEST_P(   "stmib	r",13,-4,  "!, {pc}")
1130 
1131 	TEST_P(   "ldmib	r",0, 16*4,", {r0}")
1132 	TEST_BF_P("ldmeqib	r",4, -4,", {r0-r15}")
1133 	TEST_BF_P("ldmneib	r",7, 7*4,"!, {r8-r15}")
1134 	TEST_P(   "ldmib	r",12,16*4,"!, {r1,r3,r5,r7,r8-r11,r14}")
1135 	TEST_BF_P("ldmib	r",14,14*4,"!, {pc}")
1136 
1137 	TEST_P(   "stmdb	r",13,16*4,"!, {r3-r12,lr}")
1138 	TEST_P(	  "stmeqdb	r",13,16*4,"!, {r3-r12}")
1139 	TEST_P(   "stmnedb	r",2, 16*4,", {r3-r12,lr}")
1140 	TEST_P(   "stmdb	r",13,16*4,"!, {r2-r12,lr}")
1141 	TEST_P(   "stmdb	r",0, 16*4,", {r0-r12}")
1142 	TEST_P(   "stmdb	r",0, 16*4,", {r0-r12,lr}")
1143 
1144 	TEST_BF_P("ldmia	r",13,5*4, "!, {r3-r12,pc}")
1145 	TEST_P(	  "ldmccia	r",13,5*4, "!, {r3-r12}")
1146 	TEST_BF_P("ldmcsia	r",2, 5*4, "!, {r3-r12,pc}")
1147 	TEST_BF_P("ldmia	r",13,4*4, "!, {r2-r12,pc}")
1148 	TEST_P(   "ldmia	r",0, 16*4,", {r0-r12}")
1149 	TEST_P(   "ldmia	r",0, 16*4,", {r0-r12,lr}")
1150 
1151 #ifdef CONFIG_THUMB2_KERNEL
1152 	TEST_ARM_TO_THUMB_INTERWORK_P("ldmplia	r",0,15*4,", {pc}")
1153 	TEST_ARM_TO_THUMB_INTERWORK_P("ldmmiia	r",13,0,", {r0-r15}")
1154 #endif
1155 	TEST_BF("b	2f")
1156 	TEST_BF("bl	2f")
1157 	TEST_BB("b	2b")
1158 	TEST_BB("bl	2b")
1159 
1160 	TEST_BF("beq	2f")
1161 	TEST_BF("bleq	2f")
1162 	TEST_BB("bne	2b")
1163 	TEST_BB("blne	2b")
1164 
1165 	TEST_BF("bgt	2f")
1166 	TEST_BF("blgt	2f")
1167 	TEST_BB("blt	2b")
1168 	TEST_BB("bllt	2b")
1169 
1170 	TEST_GROUP("Supervisor Call, and coprocessor instructions")
1171 
1172 	/*
1173 	 * We can't really test these by executing them, so all
1174 	 * we can do is check that probes are, or are not allowed.
1175 	 * At the moment none are allowed...
1176 	 */
1177 #define TEST_COPROCESSOR(code) TEST_UNSUPPORTED(code)
1178 
1179 #define COPROCESSOR_INSTRUCTIONS_ST_LD(two,cc)					\
1180 	TEST_COPROCESSOR("stc"two"	0, cr0, [r13, #4]")			\
1181 	TEST_COPROCESSOR("stc"two"	0, cr0, [r13, #-4]")			\
1182 	TEST_COPROCESSOR("stc"two"	0, cr0, [r13, #4]!")			\
1183 	TEST_COPROCESSOR("stc"two"	0, cr0, [r13, #-4]!")			\
1184 	TEST_COPROCESSOR("stc"two"	0, cr0, [r13], #4")			\
1185 	TEST_COPROCESSOR("stc"two"	0, cr0, [r13], #-4")			\
1186 	TEST_COPROCESSOR("stc"two"	0, cr0, [r13], {1}")			\
1187 	TEST_COPROCESSOR("stc"two"l	0, cr0, [r13, #4]")			\
1188 	TEST_COPROCESSOR("stc"two"l	0, cr0, [r13, #-4]")			\
1189 	TEST_COPROCESSOR("stc"two"l	0, cr0, [r13, #4]!")			\
1190 	TEST_COPROCESSOR("stc"two"l	0, cr0, [r13, #-4]!")			\
1191 	TEST_COPROCESSOR("stc"two"l	0, cr0, [r13], #4")			\
1192 	TEST_COPROCESSOR("stc"two"l	0, cr0, [r13], #-4")			\
1193 	TEST_COPROCESSOR("stc"two"l	0, cr0, [r13], {1}")			\
1194 	TEST_COPROCESSOR("ldc"two"	0, cr0, [r13, #4]")			\
1195 	TEST_COPROCESSOR("ldc"two"	0, cr0, [r13, #-4]")			\
1196 	TEST_COPROCESSOR("ldc"two"	0, cr0, [r13, #4]!")			\
1197 	TEST_COPROCESSOR("ldc"two"	0, cr0, [r13, #-4]!")			\
1198 	TEST_COPROCESSOR("ldc"two"	0, cr0, [r13], #4")			\
1199 	TEST_COPROCESSOR("ldc"two"	0, cr0, [r13], #-4")			\
1200 	TEST_COPROCESSOR("ldc"two"	0, cr0, [r13], {1}")			\
1201 	TEST_COPROCESSOR("ldc"two"l	0, cr0, [r13, #4]")			\
1202 	TEST_COPROCESSOR("ldc"two"l	0, cr0, [r13, #-4]")			\
1203 	TEST_COPROCESSOR("ldc"two"l	0, cr0, [r13, #4]!")			\
1204 	TEST_COPROCESSOR("ldc"two"l	0, cr0, [r13, #-4]!")			\
1205 	TEST_COPROCESSOR("ldc"two"l	0, cr0, [r13], #4")			\
1206 	TEST_COPROCESSOR("ldc"two"l	0, cr0, [r13], #-4")			\
1207 	TEST_COPROCESSOR("ldc"two"l	0, cr0, [r13], {1}")			\
1208 										\
1209 	TEST_COPROCESSOR( "stc"two"	0, cr0, [r15, #4]")			\
1210 	TEST_COPROCESSOR( "stc"two"	0, cr0, [r15, #-4]")			\
1211 	TEST_UNSUPPORTED(__inst_arm(0x##cc##daf0001) "	@ stc"two"	0, cr0, [r15, #4]!")	\
1212 	TEST_UNSUPPORTED(__inst_arm(0x##cc##d2f0001) "	@ stc"two"	0, cr0, [r15, #-4]!")	\
1213 	TEST_UNSUPPORTED(__inst_arm(0x##cc##caf0001) "	@ stc"two"	0, cr0, [r15], #4")	\
1214 	TEST_UNSUPPORTED(__inst_arm(0x##cc##c2f0001) "	@ stc"two"	0, cr0, [r15], #-4")	\
1215 	TEST_COPROCESSOR( "stc"two"	0, cr0, [r15], {1}")			\
1216 	TEST_COPROCESSOR( "stc"two"l	0, cr0, [r15, #4]")			\
1217 	TEST_COPROCESSOR( "stc"two"l	0, cr0, [r15, #-4]")			\
1218 	TEST_UNSUPPORTED(__inst_arm(0x##cc##def0001) "	@ stc"two"l	0, cr0, [r15, #4]!")	\
1219 	TEST_UNSUPPORTED(__inst_arm(0x##cc##d6f0001) "	@ stc"two"l	0, cr0, [r15, #-4]!")	\
1220 	TEST_UNSUPPORTED(__inst_arm(0x##cc##cef0001) "	@ stc"two"l	0, cr0, [r15], #4")	\
1221 	TEST_UNSUPPORTED(__inst_arm(0x##cc##c6f0001) "	@ stc"two"l	0, cr0, [r15], #-4")	\
1222 	TEST_COPROCESSOR( "stc"two"l	0, cr0, [r15], {1}")			\
1223 	TEST_COPROCESSOR( "ldc"two"	0, cr0, [r15, #4]")			\
1224 	TEST_COPROCESSOR( "ldc"two"	0, cr0, [r15, #-4]")			\
1225 	TEST_UNSUPPORTED(__inst_arm(0x##cc##dbf0001) "	@ ldc"two"	0, cr0, [r15, #4]!")	\
1226 	TEST_UNSUPPORTED(__inst_arm(0x##cc##d3f0001) "	@ ldc"two"	0, cr0, [r15, #-4]!")	\
1227 	TEST_UNSUPPORTED(__inst_arm(0x##cc##cbf0001) "	@ ldc"two"	0, cr0, [r15], #4")	\
1228 	TEST_UNSUPPORTED(__inst_arm(0x##cc##c3f0001) "	@ ldc"two"	0, cr0, [r15], #-4")	\
1229 	TEST_COPROCESSOR( "ldc"two"	0, cr0, [r15], {1}")			\
1230 	TEST_COPROCESSOR( "ldc"two"l	0, cr0, [r15, #4]")			\
1231 	TEST_COPROCESSOR( "ldc"two"l	0, cr0, [r15, #-4]")			\
1232 	TEST_UNSUPPORTED(__inst_arm(0x##cc##dff0001) "	@ ldc"two"l	0, cr0, [r15, #4]!")	\
1233 	TEST_UNSUPPORTED(__inst_arm(0x##cc##d7f0001) "	@ ldc"two"l	0, cr0, [r15, #-4]!")	\
1234 	TEST_UNSUPPORTED(__inst_arm(0x##cc##cff0001) "	@ ldc"two"l	0, cr0, [r15], #4")	\
1235 	TEST_UNSUPPORTED(__inst_arm(0x##cc##c7f0001) "	@ ldc"two"l	0, cr0, [r15], #-4")	\
1236 	TEST_COPROCESSOR( "ldc"two"l	0, cr0, [r15], {1}")
1237 
1238 #define COPROCESSOR_INSTRUCTIONS_MC_MR(two,cc)					\
1239 										\
1240 	TEST_COPROCESSOR( "mcrr"two"	0, 15, r0, r14, cr0")			\
1241 	TEST_COPROCESSOR( "mcrr"two"	15, 0, r14, r0, cr15")			\
1242 	TEST_UNSUPPORTED(__inst_arm(0x##cc##c4f00f0) "	@ mcrr"two"	0, 15, r0, r15, cr0")	\
1243 	TEST_UNSUPPORTED(__inst_arm(0x##cc##c40ff0f) "	@ mcrr"two"	15, 0, r15, r0, cr15")	\
1244 	TEST_COPROCESSOR( "mrrc"two"	0, 15, r0, r14, cr0")			\
1245 	TEST_COPROCESSOR( "mrrc"two"	15, 0, r14, r0, cr15")			\
1246 	TEST_UNSUPPORTED(__inst_arm(0x##cc##c5f00f0) "	@ mrrc"two"	0, 15, r0, r15, cr0")	\
1247 	TEST_UNSUPPORTED(__inst_arm(0x##cc##c50ff0f) "	@ mrrc"two"	15, 0, r15, r0, cr15")	\
1248 	TEST_COPROCESSOR( "cdp"two"	15, 15, cr15, cr15, cr15, 7")		\
1249 	TEST_COPROCESSOR( "cdp"two"	0, 0, cr0, cr0, cr0, 0")		\
1250 	TEST_COPROCESSOR( "mcr"two"	15, 7, r15, cr15, cr15, 7")		\
1251 	TEST_COPROCESSOR( "mcr"two"	0, 0, r0, cr0, cr0, 0")			\
1252 	TEST_COPROCESSOR( "mrc"two"	15, 7, r15, cr15, cr15, 7")		\
1253 	TEST_COPROCESSOR( "mrc"two"	0, 0, r0, cr0, cr0, 0")
1254 
1255 	COPROCESSOR_INSTRUCTIONS_ST_LD("",e)
1256 #if __LINUX_ARM_ARCH__ >= 5
1257 	COPROCESSOR_INSTRUCTIONS_MC_MR("",e)
1258 #endif
1259 	TEST_UNSUPPORTED("svc	0")
1260 	TEST_UNSUPPORTED("svc	0xffffff")
1261 
1262 	TEST_UNSUPPORTED("svc	0")
1263 
1264 	TEST_GROUP("Unconditional instruction")
1265 
1266 #if __LINUX_ARM_ARCH__ >= 6
1267 	TEST_UNSUPPORTED("srsda	sp, 0x13")
1268 	TEST_UNSUPPORTED("srsdb	sp, 0x13")
1269 	TEST_UNSUPPORTED("srsia	sp, 0x13")
1270 	TEST_UNSUPPORTED("srsib	sp, 0x13")
1271 	TEST_UNSUPPORTED("srsda	sp!, 0x13")
1272 	TEST_UNSUPPORTED("srsdb	sp!, 0x13")
1273 	TEST_UNSUPPORTED("srsia	sp!, 0x13")
1274 	TEST_UNSUPPORTED("srsib	sp!, 0x13")
1275 
1276 	TEST_UNSUPPORTED("rfeda	sp")
1277 	TEST_UNSUPPORTED("rfedb	sp")
1278 	TEST_UNSUPPORTED("rfeia	sp")
1279 	TEST_UNSUPPORTED("rfeib	sp")
1280 	TEST_UNSUPPORTED("rfeda	sp!")
1281 	TEST_UNSUPPORTED("rfedb	sp!")
1282 	TEST_UNSUPPORTED("rfeia	sp!")
1283 	TEST_UNSUPPORTED("rfeib	sp!")
1284 	TEST_UNSUPPORTED(__inst_arm(0xf81d0a00) "	@ rfeda	pc")
1285 	TEST_UNSUPPORTED(__inst_arm(0xf91d0a00) "	@ rfedb	pc")
1286 	TEST_UNSUPPORTED(__inst_arm(0xf89d0a00) "	@ rfeia	pc")
1287 	TEST_UNSUPPORTED(__inst_arm(0xf99d0a00) "	@ rfeib	pc")
1288 	TEST_UNSUPPORTED(__inst_arm(0xf83d0a00) "	@ rfeda	pc!")
1289 	TEST_UNSUPPORTED(__inst_arm(0xf93d0a00) "	@ rfedb	pc!")
1290 	TEST_UNSUPPORTED(__inst_arm(0xf8bd0a00) "	@ rfeia	pc!")
1291 	TEST_UNSUPPORTED(__inst_arm(0xf9bd0a00) "	@ rfeib	pc!")
1292 #endif /* __LINUX_ARM_ARCH__ >= 6 */
1293 
1294 #if __LINUX_ARM_ARCH__ >= 6
1295 	TEST_X(	"blx	__dummy_thumb_subroutine_even",
1296 		".thumb				\n\t"
1297 		".space 4			\n\t"
1298 		".type __dummy_thumb_subroutine_even, %%function \n\t"
1299 		"__dummy_thumb_subroutine_even:	\n\t"
1300 		"mov	r0, pc			\n\t"
1301 		"bx	lr			\n\t"
1302 		".arm				\n\t"
1303 	)
1304 	TEST(	"blx	__dummy_thumb_subroutine_even")
1305 
1306 	TEST_X(	"blx	__dummy_thumb_subroutine_odd",
1307 		".thumb				\n\t"
1308 		".space 2			\n\t"
1309 		".type __dummy_thumb_subroutine_odd, %%function	\n\t"
1310 		"__dummy_thumb_subroutine_odd:	\n\t"
1311 		"mov	r0, pc			\n\t"
1312 		"bx	lr			\n\t"
1313 		".arm				\n\t"
1314 	)
1315 	TEST(	"blx	__dummy_thumb_subroutine_odd")
1316 #endif /* __LINUX_ARM_ARCH__ >= 6 */
1317 
1318 #if __LINUX_ARM_ARCH__ >= 5
1319 	COPROCESSOR_INSTRUCTIONS_ST_LD("2",f)
1320 #endif
1321 #if __LINUX_ARM_ARCH__ >= 6
1322 	COPROCESSOR_INSTRUCTIONS_MC_MR("2",f)
1323 #endif
1324 
1325 	TEST_GROUP("Miscellaneous instructions, memory hints, and Advanced SIMD instructions")
1326 
1327 #if __LINUX_ARM_ARCH__ >= 6
1328 	TEST_UNSUPPORTED("cps	0x13")
1329 	TEST_UNSUPPORTED("cpsie	i")
1330 	TEST_UNSUPPORTED("cpsid	i")
1331 	TEST_UNSUPPORTED("cpsie	i,0x13")
1332 	TEST_UNSUPPORTED("cpsid	i,0x13")
1333 	TEST_UNSUPPORTED("setend	le")
1334 	TEST_UNSUPPORTED("setend	be")
1335 #endif
1336 
1337 #if __LINUX_ARM_ARCH__ >= 7
1338 	TEST_P("pli	[r",0,0b,", #16]")
1339 	TEST(  "pli	[pc, #0]")
1340 	TEST_RR("pli	[r",12,0b,", r",0, 16,"]")
1341 	TEST_RR("pli	[r",0, 0b,", -r",12,16,", lsl #4]")
1342 #endif
1343 
1344 #if __LINUX_ARM_ARCH__ >= 5
1345 	TEST_P("pld	[r",0,32,", #-16]")
1346 	TEST(  "pld	[pc, #0]")
1347 	TEST_PR("pld	[r",7, 24, ", r",0, 16,"]")
1348 	TEST_PR("pld	[r",8, 24, ", -r",12,16,", lsl #4]")
1349 #endif
1350 
1351 #if __LINUX_ARM_ARCH__ >= 7
1352 	TEST_SUPPORTED(  __inst_arm(0xf590f000) "	@ pldw [r0, #0]")
1353 	TEST_SUPPORTED(  __inst_arm(0xf797f000) "	@ pldw	[r7, r0]")
1354 	TEST_SUPPORTED(  __inst_arm(0xf798f18c) "	@ pldw	[r8, r12, lsl #3]");
1355 #endif
1356 
1357 #if __LINUX_ARM_ARCH__ >= 7
1358 	TEST_UNSUPPORTED("clrex")
1359 	TEST_UNSUPPORTED("dsb")
1360 	TEST_UNSUPPORTED("dmb")
1361 	TEST_UNSUPPORTED("isb")
1362 #endif
1363 
1364 	verbose("\n");
1365 }
1366 
1367