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