blob: 8866aedfdea2c9833c215762e6902dda784c61e2 [file] [log] [blame]
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001/*
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>
David A. Long21254eb2014-03-06 18:17:52 -050013#include <asm/system_info.h>
Ben Dooksaf886d22013-11-08 18:29:27 +000014#include <asm/opcodes.h>
Jon Medhurst (Tixy)8d257e92015-01-05 19:29:29 +080015#include <asm/probes.h>
Jon Medhurstc0cc6df2011-08-27 12:41:05 +010016
Wang Nanfca08f32015-01-09 10:19:49 +080017#include "test-core.h"
Jon Medhurstc0cc6df2011-08-27 12:41:05 +010018
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
54void 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,"")\
Jon Medhurstc0cc6df2011-08-27 12:41:05 +010078 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,"") \
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100105 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,"") \
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100125 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
Jon Medhurst27222602014-03-03 15:08:30 +0000158 /* Data-processing with PC and a shift count in a register */
Ben Dooksaf886d22013-11-08 18:29:27 +0000159 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")
Jon Medhurst27222602014-03-03 15:08:30 +0000162 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")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100169
Jon Medhurst27222602014-03-03 15:08:30 +0000170 /* Data-processing with PC as a target and status registers updated */
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100171 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,"")
Jon Medhurst27222602014-03-03 15:08:30 +0000193 TEST_BF_R ("add pc, pc, r",14,(2f-1f-8)*2,", asr #1")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100194 TEST_BB( "sub pc, pc, #1b-2b+8")
Rabin Vincentf8b435b2012-07-04 07:37:37 +0100195#if __LINUX_ARM_ARCH__ == 6 && !defined(CONFIG_CPU_V7)
196 TEST_BB( "sub pc, pc, #1b-2b+8-2") /* UNPREDICTABLE before and after ARMv6 */
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100197#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")
Jon Medhurst27222602014-03-03 15:08:30 +0000200 TEST_R( "add pc, pc, r",10,-2,", asl #1")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100201#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
Jon Medhurst (Tixy)4cd872d2015-01-05 19:29:40 +0800207 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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000210 TEST_UNSUPPORTED(__inst_arm(0xe10ff000) " @ mrs r15, cpsr")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100211 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
Jon Medhurstfb892bd2015-01-19 15:15:36 +0000218#if __LINUX_ARM_ARCH__ >= 5 || \
219 (__LINUX_ARM_ARCH__ == 4 && !defined(CONFIG_CPU_32v4))
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100220 TEST_BF_R("bx r",0,2f,"")
221 TEST_BB_R("bx r",7,2f,"")
222 TEST_BF_R("bxeq r",14,2f,"")
Jon Medhurstfb892bd2015-01-19 15:15:36 +0000223#endif
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100224
Jon Medhurst449fd152014-03-11 14:05:26 +0000225#if __LINUX_ARM_ARCH__ >= 5
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100226 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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000230 TEST_UNSUPPORTED(__inst_arm(0x016fff10) " @ clz pc, r0")
231 TEST_UNSUPPORTED(__inst_arm(0x016f0f1f) " @ clz r0, pc")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100232
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,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000240 TEST_UNSUPPORTED(__inst_arm(0x0120003f) " @ blx pc")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100241
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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000254 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")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100260
261 TEST_UNSUPPORTED("bkpt 0xffff")
262 TEST_UNSUPPORTED("bkpt 0x0000")
263
Ben Dooksaf886d22013-11-08 18:29:27 +0000264 TEST_UNSUPPORTED(__inst_arm(0xe1600070) " @ smc #0")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100265
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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000271 TEST_UNSUPPORTED(__inst_arm(0xe10f3281) " @ smlabb pc, r1, r2, r3")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100272 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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000275 TEST_UNSUPPORTED(__inst_arm(0xe10f32a1) " @ smlatb pc, r1, r2, r3")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100276 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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000279 TEST_UNSUPPORTED(__inst_arm(0xe10f32c1) " @ smlabt pc, r1, r2, r3")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100280 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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000283 TEST_UNSUPPORTED(__inst_arm(0xe10f32e1) " @ smlatt pc, r1, r2, r3")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100284
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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000288 TEST_UNSUPPORTED(__inst_arm(0xe12f3281) " @ smlawb pc, r1, r2, r3")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100289 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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000292 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")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100296
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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000300 TEST_UNSUPPORTED(__inst_arm(0xe12f02a1) " @ smulwb pc, r1, r2")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100301 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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000304 TEST_UNSUPPORTED(__inst_arm(0xe12f02e1) " @ smulwt pc, r1, r2")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100305
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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000309 TEST_UNSUPPORTED(__inst_arm(0xe14f1382) " @ smlalbb pc, r1, r2, r3")
310 TEST_UNSUPPORTED(__inst_arm(0xe141f382) " @ smlalbb r1, pc, r2, r3")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100311 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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000314 TEST_UNSUPPORTED(__inst_arm(0xe14f13a2) " @ smlaltb pc, r1, r2, r3")
315 TEST_UNSUPPORTED(__inst_arm(0xe141f3a2) " @ smlaltb r1, pc, r2, r3")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100316 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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000319 TEST_UNSUPPORTED(__inst_arm(0xe14f13c2) " @ smlalbt pc, r1, r2, r3")
320 TEST_UNSUPPORTED(__inst_arm(0xe141f3c2) " @ smlalbt r1, pc, r2, r3")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100321 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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000324 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")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100328
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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000332 TEST_UNSUPPORTED(__inst_arm(0xe16f0281) " @ smulbb pc, r1, r2")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100333 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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000336 TEST_UNSUPPORTED(__inst_arm(0xe16f02a1) " @ smultb pc, r1, r2")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100337 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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000340 TEST_UNSUPPORTED(__inst_arm(0xe16f02c1) " @ smultb pc, r1, r2")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100341 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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000344 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")
Jon Medhurst449fd152014-03-11 14:05:26 +0000347#endif
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100348
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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000354 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")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100357 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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000360 TEST_UNSUPPORTED(__inst_arm(0xe01f0291) " @ muls pc, r1, r2")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100361
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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000365 TEST_UNSUPPORTED(__inst_arm(0xe02f3291) " @ mla pc, r1, r2, r3")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100366 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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000369 TEST_UNSUPPORTED(__inst_arm(0xe03f3291) " @ mlas pc, r1, r2, r3")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100370
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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000375 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")
Arnd Bergmann5c5b06c2012-08-16 07:49:31 +0000379#endif
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100380
Arnd Bergmann5c5b06c2012-08-16 07:49:31 +0000381#if __LINUX_ARM_ARCH__ >= 7
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100382 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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000385 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")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100389#endif
390
Ben Dooksaf886d22013-11-08 18:29:27 +0000391 TEST_UNSUPPORTED(__inst_arm(0xe0700090) " @ undef")
392 TEST_UNSUPPORTED(__inst_arm(0xe07fff9f) " @ undef")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100393
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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000397 TEST_UNSUPPORTED(__inst_arm(0xe081f392) " @ umull pc, r1, r2, r3")
398 TEST_UNSUPPORTED(__inst_arm(0xe08f1392) " @ umull r1, pc, r2, r3")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100399 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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000402 TEST_UNSUPPORTED(__inst_arm(0xe091f392) " @ umulls pc, r1, r2, r3")
403 TEST_UNSUPPORTED(__inst_arm(0xe09f1392) " @ umulls r1, pc, r2, r3")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100404
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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000408 TEST_UNSUPPORTED(__inst_arm(0xe0af1392) " @ umlal pc, r1, r2, r3")
409 TEST_UNSUPPORTED(__inst_arm(0xe0a1f392) " @ umlal r1, pc, r2, r3")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100410 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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000413 TEST_UNSUPPORTED(__inst_arm(0xe0bf1392) " @ umlals pc, r1, r2, r3")
414 TEST_UNSUPPORTED(__inst_arm(0xe0b1f392) " @ umlals r1, pc, r2, r3")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100415
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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000419 TEST_UNSUPPORTED(__inst_arm(0xe0c1f392) " @ smull pc, r1, r2, r3")
420 TEST_UNSUPPORTED(__inst_arm(0xe0cf1392) " @ smull r1, pc, r2, r3")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100421 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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000424 TEST_UNSUPPORTED(__inst_arm(0xe0d1f392) " @ smulls pc, r1, r2, r3")
425 TEST_UNSUPPORTED(__inst_arm(0xe0df1392) " @ smulls r1, pc, r2, r3")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100426
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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000430 TEST_UNSUPPORTED(__inst_arm(0xe0ef1392) " @ smlal pc, r1, r2, r3")
431 TEST_UNSUPPORTED(__inst_arm(0xe0e1f392) " @ smlal r1, pc, r2, r3")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100432 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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000435 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")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100439
440 TEST_GROUP("Synchronization primitives")
441
Jon Medhurst (Tixy)b5bed7f2011-11-29 08:16:02 +0100442#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
Ben Dooksaf886d22013-11-08 18:29:27 +0000447 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]")
Jon Medhurst (Tixy)b5bed7f2011-11-29 08:16:02 +0100450#endif
Ben Dooksaf886d22013-11-08 18:29:27 +0000451 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]")
Jon Medhurst (Tixy)b5bed7f2011-11-29 08:16:02 +0100454#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
Ben Dooksaf886d22013-11-08 18:29:27 +0000458 TEST_UNSUPPORTED(__inst_arm(0xe148e097) " @ swpb lr, r7, [r8]")
459 TEST_UNSUPPORTED(__inst_arm(0x614d0091) " @ swpvsb r0, r1, [sp]")
Jon Medhurst (Tixy)b5bed7f2011-11-29 08:16:02 +0100460#endif
Ben Dooksaf886d22013-11-08 18:29:27 +0000461 TEST_UNSUPPORTED(__inst_arm(0xe142f091) " @ swpb pc, r1, [r2]")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100462
Ben Dooksaf886d22013-11-08 18:29:27 +0000463 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 */
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100469#if __LINUX_ARM_ARCH__ >= 6
470 TEST_UNSUPPORTED("ldrex r2, [sp]")
Arnd Bergmann5c5b06c2012-08-16 07:49:31 +0000471#endif
472#if (__LINUX_ARM_ARCH__ >= 7) || defined(CONFIG_CPU_32v6K)
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100473 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,"]")
Wang Nana0266c22015-01-05 19:29:25 +0800483 TEST_RPR( "streqh r",14,VAL2,", [r",11,0, ", r",12, 48,"]")
484 TEST_UNSUPPORTED( "streqh r14, [r13, r12]")
Jon Medhurst (Tixy)8d257e92015-01-05 19:29:29 +0800485 TEST_UNSUPPORTED( "streqh r14, [r12, r13]")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100486 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,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000490 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")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100493
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,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000500 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")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100503
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")
Jon Medhurst (Tixy)8d257e92015-01-05 19:29:29 +0800510 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]!")
Ben Dooksaf886d22013-11-08 18:29:27 +0000513 TEST_UNSUPPORTED(__inst_arm(0xe1efc3b0) " @ strh r12, [pc, #48]!")
514 TEST_UNSUPPORTED(__inst_arm(0xe0c9f3b0) " @ strh pc, [r9], #48")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100515
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]")
Ben Dooksaf886d22013-11-08 18:29:27 +0000523 TEST_UNSUPPORTED(__inst_arm(0xe1ffc3b0) " @ ldrh r12, [pc, #48]!")
524 TEST_UNSUPPORTED(__inst_arm(0xe0d9f3b0) " @ ldrh pc, [r9], #48")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100525
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,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000532 TEST_UNSUPPORTED(__inst_arm(0xe1bfc0da) " @ ldrsb r12, [pc, r10]!")
533 TEST_UNSUPPORTED(__inst_arm(0xe099f0db) " @ ldrsb pc, [r9], r11")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100534
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]")
Ben Dooksaf886d22013-11-08 18:29:27 +0000542 TEST_UNSUPPORTED(__inst_arm(0xe1ffc3d0) " @ ldrsb r12, [pc, #48]!")
543 TEST_UNSUPPORTED(__inst_arm(0xe0d9f3d0) " @ ldrsb pc, [r9], #48")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100544
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,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000551 TEST_UNSUPPORTED(__inst_arm(0xe1bfc0fa) " @ ldrsh r12, [pc, r10]!")
552 TEST_UNSUPPORTED(__inst_arm(0xe099f0fb) " @ ldrsh pc, [r9], r11")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100553
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]")
Ben Dooksaf886d22013-11-08 18:29:27 +0000561 TEST_UNSUPPORTED(__inst_arm(0xe1ffc3f0) " @ ldrsh r12, [pc, #48]!")
562 TEST_UNSUPPORTED(__inst_arm(0xe0d9f3f0) " @ ldrsh pc, [r9], #48")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100563
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
Jon Medhurst449fd152014-03-11 14:05:26 +0000575#if __LINUX_ARM_ARCH__ >= 5
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100576 TEST_RPR( "strd r",0, VAL1,", [r",1, 48,", -r",2,24,"]")
Wang Nana0266c22015-01-05 19:29:25 +0800577 TEST_RPR( "strccd r",8, VAL2,", [r",11,0, ", r",12,48,"]")
578 TEST_UNSUPPORTED( "strccd r8, [r13, r12]")
Jon Medhurst (Tixy)8d257e92015-01-05 19:29:29 +0800579 TEST_UNSUPPORTED( "strccd r8, [r12, r13]")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100580 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,"]!")
Jon Medhurst (Tixy)14383c22011-11-29 08:14:35 +0100582 TEST_RPR( "strd r",2, VAL1,", [r",5, 24,"], r",4,48,"")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100583 TEST_RPR( "strd r",10,VAL2,", [r",9, 48,"], -r",7,24,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000584 TEST_UNSUPPORTED(__inst_arm(0xe1afc0fa) " @ strd r12, [pc, r10]!")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100585
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,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000592 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")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100596
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")
Jon Medhurst (Tixy)8d257e92015-01-05 19:29:29 +0800603 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]!")
Ben Dooksaf886d22013-11-08 18:29:27 +0000606 TEST_UNSUPPORTED(__inst_arm(0xe1efc3f0) " @ strd r12, [pc, #48]!")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100607
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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000614 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")
Jon Medhurst449fd152014-03-11 14:05:26 +0000617#endif
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100618
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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000625 TEST_UNSUPPORTED(__inst_arm(0xe300f000) " @ movw pc, #0")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100626 TEST_R("movt r",0, VAL1,", #0")
627 TEST_R("movt r",0, VAL2,", #0xffff")
628 TEST_R("movt r",14,VAL1,", #0xffff")
Ben Dooksaf886d22013-11-08 18:29:27 +0000629 TEST_UNSUPPORTED(__inst_arm(0xe340f000) " @ movt pc, #0")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100630#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") \
Jon Medhurst (Tixy)8d257e92015-01-05 19:29:29 +0800654 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]!") \
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100657 TEST_RPR("str"byte" r",0, VAL1,", [r",1, 48,", -r",2, 24,"]") \
Wang Nana0266c22015-01-05 19:29:25 +0800658 TEST_RPR("str"byte" r",14,VAL2,", [r",11,0, ", r",12, 48,"]") \
Jon Medhurst (Tixy)8d257e92015-01-05 19:29:29 +0800659 TEST_UNSUPPORTED("str"byte" r14, [r13, r12]") \
660 TEST_UNSUPPORTED("str"byte" r14, [r12, r13]") \
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100661 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]")\
Wang Nana0266c22015-01-05 19:29:25 +0800666 TEST_RPR("str"byte" r",14,VAL2,", [r",11,0, ", r",12, 32,", lsr #2]")\
Jon Medhurst (Tixy)8d257e92015-01-05 19:29:29 +0800667 TEST_UNSUPPORTED("str"byte" r14, [r13, r12, lsr #2]") \
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100668 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]")
Wang Nana0266c22015-01-05 19:29:25 +0800691 TEST_UNSUPPORTED( "str pc, [sp, r2]")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100692 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]")
Wang Nana0266c22015-01-05 19:29:25 +0800696 TEST_UNSUPPORTED( "str sp, [sp, r2]")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100697 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
Ben Dooksaf886d22013-11-08 18:29:27 +0000703 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]")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100709
710 LOAD_STORE("b")
Ben Dooksaf886d22013-11-08 18:29:27 +0000711 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]!")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100717
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
Ben Dooksaf886d22013-11-08 18:29:27 +0000730 TEST_UNSUPPORTED(__inst_arm(0xe6000010) "") /* Unallocated space */
731 TEST_UNSUPPORTED(__inst_arm(0xe60fffff) "") /* Unallocated space */
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100732
733 TEST_RR( "sadd16 r0, r",0, HH1,", r",1, HH2,"")
734 TEST_RR( "sadd16 r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000735 TEST_UNSUPPORTED(__inst_arm(0xe61cff1a) " @ sadd16 pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100736 TEST_RR( "sasx r0, r",0, HH1,", r",1, HH2,"")
737 TEST_RR( "sasx r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000738 TEST_UNSUPPORTED(__inst_arm(0xe61cff3a) " @ sasx pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100739 TEST_RR( "ssax r0, r",0, HH1,", r",1, HH2,"")
740 TEST_RR( "ssax r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000741 TEST_UNSUPPORTED(__inst_arm(0xe61cff5a) " @ ssax pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100742 TEST_RR( "ssub16 r0, r",0, HH1,", r",1, HH2,"")
743 TEST_RR( "ssub16 r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000744 TEST_UNSUPPORTED(__inst_arm(0xe61cff7a) " @ ssub16 pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100745 TEST_RR( "sadd8 r0, r",0, HH1,", r",1, HH2,"")
746 TEST_RR( "sadd8 r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000747 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 */
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100752 TEST_RR( "ssub8 r0, r",0, HH1,", r",1, HH2,"")
753 TEST_RR( "ssub8 r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000754 TEST_UNSUPPORTED(__inst_arm(0xe61cfffa) " @ ssub8 pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100755
756 TEST_RR( "qadd16 r0, r",0, HH1,", r",1, HH2,"")
757 TEST_RR( "qadd16 r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000758 TEST_UNSUPPORTED(__inst_arm(0xe62cff1a) " @ qadd16 pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100759 TEST_RR( "qasx r0, r",0, HH1,", r",1, HH2,"")
760 TEST_RR( "qasx r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000761 TEST_UNSUPPORTED(__inst_arm(0xe62cff3a) " @ qasx pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100762 TEST_RR( "qsax r0, r",0, HH1,", r",1, HH2,"")
763 TEST_RR( "qsax r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000764 TEST_UNSUPPORTED(__inst_arm(0xe62cff5a) " @ qsax pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100765 TEST_RR( "qsub16 r0, r",0, HH1,", r",1, HH2,"")
766 TEST_RR( "qsub16 r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000767 TEST_UNSUPPORTED(__inst_arm(0xe62cff7a) " @ qsub16 pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100768 TEST_RR( "qadd8 r0, r",0, HH1,", r",1, HH2,"")
769 TEST_RR( "qadd8 r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000770 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 */
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100775 TEST_RR( "qsub8 r0, r",0, HH1,", r",1, HH2,"")
776 TEST_RR( "qsub8 r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000777 TEST_UNSUPPORTED(__inst_arm(0xe62cfffa) " @ qsub8 pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100778
779 TEST_RR( "shadd16 r0, r",0, HH1,", r",1, HH2,"")
780 TEST_RR( "shadd16 r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000781 TEST_UNSUPPORTED(__inst_arm(0xe63cff1a) " @ shadd16 pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100782 TEST_RR( "shasx r0, r",0, HH1,", r",1, HH2,"")
783 TEST_RR( "shasx r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000784 TEST_UNSUPPORTED(__inst_arm(0xe63cff3a) " @ shasx pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100785 TEST_RR( "shsax r0, r",0, HH1,", r",1, HH2,"")
786 TEST_RR( "shsax r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000787 TEST_UNSUPPORTED(__inst_arm(0xe63cff5a) " @ shsax pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100788 TEST_RR( "shsub16 r0, r",0, HH1,", r",1, HH2,"")
789 TEST_RR( "shsub16 r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000790 TEST_UNSUPPORTED(__inst_arm(0xe63cff7a) " @ shsub16 pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100791 TEST_RR( "shadd8 r0, r",0, HH1,", r",1, HH2,"")
792 TEST_RR( "shadd8 r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000793 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 */
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100798 TEST_RR( "shsub8 r0, r",0, HH1,", r",1, HH2,"")
799 TEST_RR( "shsub8 r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000800 TEST_UNSUPPORTED(__inst_arm(0xe63cfffa) " @ shsub8 pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100801
802 TEST_GROUP("Parallel addition and subtraction, unsigned")
803
Ben Dooksaf886d22013-11-08 18:29:27 +0000804 TEST_UNSUPPORTED(__inst_arm(0xe6400010) "") /* Unallocated space */
805 TEST_UNSUPPORTED(__inst_arm(0xe64fffff) "") /* Unallocated space */
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100806
807 TEST_RR( "uadd16 r0, r",0, HH1,", r",1, HH2,"")
808 TEST_RR( "uadd16 r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000809 TEST_UNSUPPORTED(__inst_arm(0xe65cff1a) " @ uadd16 pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100810 TEST_RR( "uasx r0, r",0, HH1,", r",1, HH2,"")
811 TEST_RR( "uasx r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000812 TEST_UNSUPPORTED(__inst_arm(0xe65cff3a) " @ uasx pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100813 TEST_RR( "usax r0, r",0, HH1,", r",1, HH2,"")
814 TEST_RR( "usax r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000815 TEST_UNSUPPORTED(__inst_arm(0xe65cff5a) " @ usax pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100816 TEST_RR( "usub16 r0, r",0, HH1,", r",1, HH2,"")
817 TEST_RR( "usub16 r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000818 TEST_UNSUPPORTED(__inst_arm(0xe65cff7a) " @ usub16 pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100819 TEST_RR( "uadd8 r0, r",0, HH1,", r",1, HH2,"")
820 TEST_RR( "uadd8 r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000821 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 */
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100826 TEST_RR( "usub8 r0, r",0, HH1,", r",1, HH2,"")
827 TEST_RR( "usub8 r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000828 TEST_UNSUPPORTED(__inst_arm(0xe65cfffa) " @ usub8 pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100829
830 TEST_RR( "uqadd16 r0, r",0, HH1,", r",1, HH2,"")
831 TEST_RR( "uqadd16 r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000832 TEST_UNSUPPORTED(__inst_arm(0xe66cff1a) " @ uqadd16 pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100833 TEST_RR( "uqasx r0, r",0, HH1,", r",1, HH2,"")
834 TEST_RR( "uqasx r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000835 TEST_UNSUPPORTED(__inst_arm(0xe66cff3a) " @ uqasx pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100836 TEST_RR( "uqsax r0, r",0, HH1,", r",1, HH2,"")
837 TEST_RR( "uqsax r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000838 TEST_UNSUPPORTED(__inst_arm(0xe66cff5a) " @ uqsax pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100839 TEST_RR( "uqsub16 r0, r",0, HH1,", r",1, HH2,"")
840 TEST_RR( "uqsub16 r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000841 TEST_UNSUPPORTED(__inst_arm(0xe66cff7a) " @ uqsub16 pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100842 TEST_RR( "uqadd8 r0, r",0, HH1,", r",1, HH2,"")
843 TEST_RR( "uqadd8 r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000844 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 */
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100849 TEST_RR( "uqsub8 r0, r",0, HH1,", r",1, HH2,"")
850 TEST_RR( "uqsub8 r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000851 TEST_UNSUPPORTED(__inst_arm(0xe66cfffa) " @ uqsub8 pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100852
853 TEST_RR( "uhadd16 r0, r",0, HH1,", r",1, HH2,"")
854 TEST_RR( "uhadd16 r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000855 TEST_UNSUPPORTED(__inst_arm(0xe67cff1a) " @ uhadd16 pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100856 TEST_RR( "uhasx r0, r",0, HH1,", r",1, HH2,"")
857 TEST_RR( "uhasx r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000858 TEST_UNSUPPORTED(__inst_arm(0xe67cff3a) " @ uhasx pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100859 TEST_RR( "uhsax r0, r",0, HH1,", r",1, HH2,"")
860 TEST_RR( "uhsax r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000861 TEST_UNSUPPORTED(__inst_arm(0xe67cff5a) " @ uhsax pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100862 TEST_RR( "uhsub16 r0, r",0, HH1,", r",1, HH2,"")
863 TEST_RR( "uhsub16 r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000864 TEST_UNSUPPORTED(__inst_arm(0xe67cff7a) " @ uhsub16 pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100865 TEST_RR( "uhadd8 r0, r",0, HH1,", r",1, HH2,"")
866 TEST_RR( "uhadd8 r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000867 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 */
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100872 TEST_RR( "uhsub8 r0, r",0, HH1,", r",1, HH2,"")
873 TEST_RR( "uhsub8 r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000874 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")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100877#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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000884 TEST_UNSUPPORTED(__inst_arm(0xe68cf11a) " @ pkhbt pc, r12, r10, lsl #2")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100885 TEST_RR( "pkhtb r0, r",0, HH1,", r",1, HH2,"")
886 TEST_RR( "pkhtb r14,r",12, HH1,", r",10,HH2,", asr #2")
Ben Dooksaf886d22013-11-08 18:29:27 +0000887 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 */
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100892
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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000897 TEST_UNSUPPORTED(__inst_arm(0xe6b7f01c) " @ ssat pc, #24, r12")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100898
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")
Ben Dooksaf886d22013-11-08 18:29:27 +0000903 TEST_UNSUPPORTED(__inst_arm(0xe6f7f01c) " @ usat pc, #24, r12")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100904
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,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000908 TEST_UNSUPPORTED(__inst_arm(0xe68cf47a) " @ sxtab16 pc,r12, r10, ror #8")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100909
910 TEST_RR( "sel r0, r",0, VAL1,", r",1, VAL2,"")
911 TEST_RR( "sel r14, r",12,VAL1,", r",10, VAL2,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000912 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")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100915
916 TEST_R( "ssat16 r0, #12, r",0, HH1,"")
917 TEST_R( "ssat16 r14, #12, r",12, HH2,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000918 TEST_UNSUPPORTED(__inst_arm(0xe6abff3c) " @ ssat16 pc, #12, r12")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100919
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,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000923 TEST_UNSUPPORTED(__inst_arm(0xe6acf47a) " @ sxtab pc,r12, r10, ror #8")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100924
925 TEST_R( "rev r0, r",0, VAL1,"")
926 TEST_R( "rev r14, r",12, VAL2,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000927 TEST_UNSUPPORTED(__inst_arm(0xe6bfff3c) " @ rev pc, r12")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100928
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,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000932 TEST_UNSUPPORTED(__inst_arm(0xe6bcf47a) " @ sxtah pc,r12, r10, ror #8")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100933
934 TEST_R( "rev16 r0, r",0, VAL1,"")
935 TEST_R( "rev16 r14, r",12, VAL2,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000936 TEST_UNSUPPORTED(__inst_arm(0xe6bfffbc) " @ rev16 pc, r12")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100937
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,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000941 TEST_UNSUPPORTED(__inst_arm(0xe6ccf47a) " @ uxtab16 pc,r12, r10, ror #8")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100942
943 TEST_R( "usat16 r0, #12, r",0, HH1,"")
944 TEST_R( "usat16 r14, #12, r",12, HH2,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000945 TEST_UNSUPPORTED(__inst_arm(0xe6ecff3c) " @ usat16 pc, #12, r12")
946 TEST_UNSUPPORTED(__inst_arm(0xe6ecef3f) " @ usat16 r14, #12, pc")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100947
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,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000951 TEST_UNSUPPORTED(__inst_arm(0xe6ecf47a) " @ uxtab pc,r12, r10, ror #8")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100952
953#if __LINUX_ARM_ARCH__ >= 7
954 TEST_R( "rbit r0, r",0, VAL1,"")
955 TEST_R( "rbit r14, r",12, VAL2,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000956 TEST_UNSUPPORTED(__inst_arm(0xe6ffff3c) " @ rbit pc, r12")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100957#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,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000962 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")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100966
967 TEST_R( "revsh r0, r",0, VAL1,"")
968 TEST_R( "revsh r14, r",12, VAL2,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000969 TEST_UNSUPPORTED(__inst_arm(0xe6ffff3c) " @ revsh pc, r12")
970 TEST_UNSUPPORTED(__inst_arm(0xe6ffef3f) " @ revsh r14, pc")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100971
Ben Dooksaf886d22013-11-08 18:29:27 +0000972 TEST_UNSUPPORTED(__inst_arm(0xe6900070) "") /* Unallocated space */
973 TEST_UNSUPPORTED(__inst_arm(0xe69fff7f) "") /* Unallocated space */
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100974
Ben Dooksaf886d22013-11-08 18:29:27 +0000975 TEST_UNSUPPORTED(__inst_arm(0xe6d00070) "") /* Unallocated space */
976 TEST_UNSUPPORTED(__inst_arm(0xe6dfff7f) "") /* Unallocated space */
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100977#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,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000984 TEST_UNSUPPORTED(__inst_arm(0xe70f8a1c) " @ smlad pc, r12, r10, r8")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100985 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,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000987 TEST_UNSUPPORTED(__inst_arm(0xe70f8a3c) " @ smladx pc, r12, r10, r8")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100988
989 TEST_RR( "smuad r0, r",0, HH1,", r",1, HH2,"")
990 TEST_RR( "smuad r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000991 TEST_UNSUPPORTED(__inst_arm(0xe70ffa1c) " @ smuad pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100992 TEST_RR( "smuadx r0, r",0, HH1,", r",1, HH2,"")
993 TEST_RR( "smuadx r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000994 TEST_UNSUPPORTED(__inst_arm(0xe70ffa3c) " @ smuadx pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100995
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,"")
Ben Dooksaf886d22013-11-08 18:29:27 +0000998 TEST_UNSUPPORTED(__inst_arm(0xe70f8a5c) " @ smlsd pc, r12, r10, r8")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +0100999 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,"")
Ben Dooksaf886d22013-11-08 18:29:27 +00001001 TEST_UNSUPPORTED(__inst_arm(0xe70f8a7c) " @ smlsdx pc, r12, r10, r8")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001002
1003 TEST_RR( "smusd r0, r",0, HH1,", r",1, HH2,"")
1004 TEST_RR( "smusd r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +00001005 TEST_UNSUPPORTED(__inst_arm(0xe70ffa5c) " @ smusd pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001006 TEST_RR( "smusdx r0, r",0, HH1,", r",1, HH2,"")
1007 TEST_RR( "smusdx r14, r",12,HH2,", r",10,HH1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +00001008 TEST_UNSUPPORTED(__inst_arm(0xe70ffa7c) " @ smusdx pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001009
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)
Ben Dooksaf886d22013-11-08 18:29:27 +00001012 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")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001016
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)
Ben Dooksaf886d22013-11-08 18:29:27 +00001019 TEST_UNSUPPORTED(__inst_arm(0xe74af839) " @ smlaldx pc, r10, r9, r8")
1020 TEST_UNSUPPORTED(__inst_arm(0xe74fb839) " @ smlaldx r11, pc, r9, r8")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001021
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,"")
Ben Dooksaf886d22013-11-08 18:29:27 +00001024 TEST_UNSUPPORTED(__inst_arm(0xe75f8a1c) " @ smmla pc, r12, r10, r8")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001025 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,"")
Ben Dooksaf886d22013-11-08 18:29:27 +00001027 TEST_UNSUPPORTED(__inst_arm(0xe75f8a3c) " @ smmlar pc, r12, r10, r8")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001028
1029 TEST_RR( "smmul r0, r",0, VAL1,", r",1, VAL2,"")
1030 TEST_RR( "smmul r14, r",12,VAL2,", r",10,VAL1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +00001031 TEST_UNSUPPORTED(__inst_arm(0xe75ffa1c) " @ smmul pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001032 TEST_RR( "smmulr r0, r",0, VAL1,", r",1, VAL2,"")
1033 TEST_RR( "smmulr r14, r",12,VAL2,", r",10,VAL1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +00001034 TEST_UNSUPPORTED(__inst_arm(0xe75ffa3c) " @ smmulr pc, r12, r10")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001035
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,"")
Ben Dooksaf886d22013-11-08 18:29:27 +00001038 TEST_UNSUPPORTED(__inst_arm(0xe75f8adc) " @ smmls pc, r12, r10, r8")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001039 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,"")
Ben Dooksaf886d22013-11-08 18:29:27 +00001041 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")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001045
1046 TEST_RR( "usad8 r0, r",0, VAL1,", r",1, VAL2,"")
1047 TEST_RR( "usad8 r14, r",12,VAL2,", r",10,VAL1,"")
Ben Dooksaf886d22013-11-08 18:29:27 +00001048 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")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001051
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,"")
Ben Dooksaf886d22013-11-08 18:29:27 +00001054 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")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001057#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")
Ben Dooksaf886d22013-11-08 18:29:27 +00001065 TEST_UNSUPPORTED(__inst_arm(0xe7aff45c) " @ sbfx pc, r12, #8, #16")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001066
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")
Ben Dooksaf886d22013-11-08 18:29:27 +00001070 TEST_UNSUPPORTED(__inst_arm(0xe7eff45c) " @ ubfx pc, r12, #8, #16")
1071 TEST_UNSUPPORTED(__inst_arm(0xe7efc45f) " @ ubfx r12, pc, #8, #16")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001072
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")
Ben Dooksaf886d22013-11-08 18:29:27 +00001077 TEST_UNSUPPORTED(__inst_arm(0xe7def01f) " @ bfc pc, #0, #31");
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001078
1079 TEST_RR( "bfi r",0, VAL1,", r",0 , VAL2,", #0, #31")
1080 TEST_RR( "bfipl r",12,VAL1,", r",14 , VAL2,", #4, #20")
Ben Dooksaf886d22013-11-08 18:29:27 +00001081 TEST_UNSUPPORTED(__inst_arm(0xe7d7f21e) " @ bfi pc, r14, #4, #20")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001082
Ben Dooksaf886d22013-11-08 18:29:27 +00001083 TEST_UNSUPPORTED(__inst_arm(0x07f000f0) "") /* Permanently UNDEFINED */
1084 TEST_UNSUPPORTED(__inst_arm(0x07ffffff) "") /* Permanently UNDEFINED */
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001085#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]") \
Ben Dooksaf886d22013-11-08 18:29:27 +00001211 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") \
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001215 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]") \
Ben Dooksaf886d22013-11-08 18:29:27 +00001218 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") \
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001222 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]") \
Ben Dooksaf886d22013-11-08 18:29:27 +00001225 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") \
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001229 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]") \
Ben Dooksaf886d22013-11-08 18:29:27 +00001232 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") \
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001236 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") \
Ben Dooksaf886d22013-11-08 18:29:27 +00001242 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") \
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001244 TEST_COPROCESSOR( "mrrc"two" 0, 15, r0, r14, cr0") \
1245 TEST_COPROCESSOR( "mrrc"two" 15, 0, r14, r0, cr15") \
Ben Dooksaf886d22013-11-08 18:29:27 +00001246 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") \
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001248 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
Ben Dooksaf886d22013-11-08 18:29:27 +00001255 COPROCESSOR_INSTRUCTIONS_ST_LD("",e)
Jon Medhurst449fd152014-03-11 14:05:26 +00001256#if __LINUX_ARM_ARCH__ >= 5
Ben Dooksaf886d22013-11-08 18:29:27 +00001257 COPROCESSOR_INSTRUCTIONS_MC_MR("",e)
Jon Medhurst449fd152014-03-11 14:05:26 +00001258#endif
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001259 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!")
Ben Dooksaf886d22013-11-08 18:29:27 +00001284 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!")
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001292#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
Jon Medhurst449fd152014-03-11 14:05:26 +00001318#if __LINUX_ARM_ARCH__ >= 5
Ben Dooksaf886d22013-11-08 18:29:27 +00001319 COPROCESSOR_INSTRUCTIONS_ST_LD("2",f)
Jon Medhurst449fd152014-03-11 14:05:26 +00001320#endif
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001321#if __LINUX_ARM_ARCH__ >= 6
Ben Dooksaf886d22013-11-08 18:29:27 +00001322 COPROCESSOR_INSTRUCTIONS_MC_MR("2",f)
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001323#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
Ben Dooksaf886d22013-11-08 18:29:27 +00001352 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]");
Jon Medhurstc0cc6df2011-08-27 12:41:05 +01001355#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