^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1) // SPDX-License-Identifier: GPL-2.0-only
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 2) /*
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 3) * arch/arm/probes/kprobes/test-thumb.c
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 4) *
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 5) * Copyright (C) 2011 Jon Medhurst <tixy@yxit.co.uk>.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 6) */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 7)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 8) #include <linux/kernel.h>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 9) #include <linux/module.h>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) #include <asm/opcodes.h>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11) #include <asm/probes.h>
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 12)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 13) #include "test-core.h"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 14)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 15)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 16) #define TEST_ISA "16"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 17)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 18) #define DONT_TEST_IN_ITBLOCK(tests) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 19) kprobe_test_flags |= TEST_FLAG_NO_ITBLOCK; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 20) tests \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 21) kprobe_test_flags &= ~TEST_FLAG_NO_ITBLOCK;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 22)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 23) #define CONDITION_INSTRUCTIONS(cc_pos, tests) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 24) kprobe_test_cc_position = cc_pos; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 25) DONT_TEST_IN_ITBLOCK(tests) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 26) kprobe_test_cc_position = 0;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 27)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 28) #define TEST_ITBLOCK(code) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 29) kprobe_test_flags |= TEST_FLAG_FULL_ITBLOCK; \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 30) TESTCASE_START(code) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 31) TEST_ARG_END("") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 32) "50: nop \n\t" \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 33) "1: "code" \n\t" \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 34) " mov r1, #0x11 \n\t" \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 35) " mov r2, #0x22 \n\t" \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 36) " mov r3, #0x33 \n\t" \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 37) "2: nop \n\t" \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 38) TESTCASE_END \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 39) kprobe_test_flags &= ~TEST_FLAG_FULL_ITBLOCK;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 40)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 41) #define TEST_THUMB_TO_ARM_INTERWORK_P(code1, reg, val, code2) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 42) TESTCASE_START(code1 #reg code2) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 43) TEST_ARG_PTR(reg, val) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 44) TEST_ARG_REG(14, 99f+1) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 45) TEST_ARG_MEM(15, 3f) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 46) TEST_ARG_END("") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 47) " nop \n\t" /* To align 1f */ \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 48) "50: nop \n\t" \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 49) "1: "code1 #reg code2" \n\t" \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 50) " bx lr \n\t" \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 51) ".arm \n\t" \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 52) "3: adr lr, 2f+1 \n\t" \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 53) " bx lr \n\t" \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 54) ".thumb \n\t" \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 55) "2: nop \n\t" \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 56) TESTCASE_END
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 57)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 58)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 59) void kprobe_thumb16_test_cases(void)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 60) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 61) kprobe_test_flags = TEST_FLAG_NARROW_INSTR;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 62)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 63) TEST_GROUP("Shift (immediate), add, subtract, move, and compare")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 64)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 65) TEST_R( "lsls r7, r",0,VAL1,", #5")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 66) TEST_R( "lsls r0, r",7,VAL2,", #11")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 67) TEST_R( "lsrs r7, r",0,VAL1,", #5")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 68) TEST_R( "lsrs r0, r",7,VAL2,", #11")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 69) TEST_R( "asrs r7, r",0,VAL1,", #5")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 70) TEST_R( "asrs r0, r",7,VAL2,", #11")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 71) TEST_RR( "adds r2, r",0,VAL1,", r",7,VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 72) TEST_RR( "adds r5, r",7,VAL2,", r",0,VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 73) TEST_RR( "subs r2, r",0,VAL1,", r",7,VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 74) TEST_RR( "subs r5, r",7,VAL2,", r",0,VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 75) TEST_R( "adds r7, r",0,VAL1,", #5")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 76) TEST_R( "adds r0, r",7,VAL2,", #2")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 77) TEST_R( "subs r7, r",0,VAL1,", #5")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 78) TEST_R( "subs r0, r",7,VAL2,", #2")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 79) TEST( "movs.n r0, #0x5f")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 80) TEST( "movs.n r7, #0xa0")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 81) TEST_R( "cmp.n r",0,0x5e, ", #0x5f")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 82) TEST_R( "cmp.n r",5,0x15f,", #0x5f")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 83) TEST_R( "cmp.n r",7,0xa0, ", #0xa0")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 84) TEST_R( "adds.n r",0,VAL1,", #0x5f")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 85) TEST_R( "adds.n r",7,VAL2,", #0xa0")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 86) TEST_R( "subs.n r",0,VAL1,", #0x5f")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 87) TEST_R( "subs.n r",7,VAL2,", #0xa0")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 88)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 89) TEST_GROUP("16-bit Thumb data-processing instructions")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 90)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 91) #define DATA_PROCESSING16(op,val) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 92) TEST_RR( op" r",0,VAL1,", r",7,val,"") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 93) TEST_RR( op" r",7,VAL2,", r",0,val,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 94)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 95) DATA_PROCESSING16("ands",0xf00f00ff)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 96) DATA_PROCESSING16("eors",0xf00f00ff)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 97) DATA_PROCESSING16("lsls",11)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 98) DATA_PROCESSING16("lsrs",11)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 99) DATA_PROCESSING16("asrs",11)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 100) DATA_PROCESSING16("adcs",VAL2)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 101) DATA_PROCESSING16("sbcs",VAL2)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 102) DATA_PROCESSING16("rors",11)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 103) DATA_PROCESSING16("tst",0xf00f00ff)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 104) TEST_R("rsbs r",0,VAL1,", #0")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 105) TEST_R("rsbs r",7,VAL2,", #0")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 106) DATA_PROCESSING16("cmp",0xf00f00ff)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 107) DATA_PROCESSING16("cmn",0xf00f00ff)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 108) DATA_PROCESSING16("orrs",0xf00f00ff)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 109) DATA_PROCESSING16("muls",VAL2)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 110) DATA_PROCESSING16("bics",0xf00f00ff)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 111) DATA_PROCESSING16("mvns",VAL2)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 112)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 113) TEST_GROUP("Special data instructions and branch and exchange")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 114)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 115) TEST_RR( "add r",0, VAL1,", r",7,VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 116) TEST_RR( "add r",3, VAL2,", r",8,VAL3,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 117) TEST_RR( "add r",8, VAL3,", r",0,VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 118) TEST_R( "add sp" ", r",8,-8, "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 119) TEST_R( "add r",14,VAL1,", pc")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 120) TEST_BF_R("add pc" ", r",0,2f-1f-8,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 121) TEST_UNSUPPORTED(__inst_thumb16(0x44ff) " @ add pc, pc")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 122)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 123) TEST_RR( "cmp r",3,VAL1,", r",8,VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 124) TEST_RR( "cmp r",8,VAL2,", r",0,VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 125) TEST_R( "cmp sp" ", r",8,-8, "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 126)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 127) TEST_R( "mov r0, r",7,VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 128) TEST_R( "mov r3, r",8,VAL3,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 129) TEST_R( "mov r8, r",0,VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 130) TEST_P( "mov sp, r",8,-8, "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 131) TEST( "mov lr, pc")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 132) TEST_BF_R("mov pc, r",0,2f, "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 133)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 134) TEST_BF_R("bx r",0, 2f+1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 135) TEST_BF_R("bx r",14,2f+1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 136) TESTCASE_START("bx pc")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 137) TEST_ARG_REG(14, 99f+1)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 138) TEST_ARG_END("")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 139) " nop \n\t" /* To align the bx pc*/
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 140) "50: nop \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 141) "1: bx pc \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 142) " bx lr \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 143) ".arm \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 144) " adr lr, 2f+1 \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 145) " bx lr \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 146) ".thumb \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 147) "2: nop \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 148) TESTCASE_END
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 149)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 150) TEST_BF_R("blx r",0, 2f+1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 151) TEST_BB_R("blx r",14,2f+1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 152) TEST_UNSUPPORTED(__inst_thumb16(0x47f8) " @ blx pc")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 153)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 154) TEST_GROUP("Load from Literal Pool")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 155)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 156) TEST_X( "ldr r0, 3f",
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 157) ".align \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 158) "3: .word "__stringify(VAL1))
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 159) TEST_X( "ldr r7, 3f",
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 160) ".space 128 \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 161) ".align \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 162) "3: .word "__stringify(VAL2))
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 163)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 164) TEST_GROUP("16-bit Thumb Load/store instructions")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 165)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 166) TEST_RPR("str r",0, VAL1,", [r",1, 24,", r",2, 48,"]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 167) TEST_RPR("str r",7, VAL2,", [r",6, 24,", r",5, 48,"]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 168) TEST_RPR("strh r",0, VAL1,", [r",1, 24,", r",2, 48,"]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 169) TEST_RPR("strh r",7, VAL2,", [r",6, 24,", r",5, 48,"]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 170) TEST_RPR("strb r",0, VAL1,", [r",1, 24,", r",2, 48,"]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 171) TEST_RPR("strb r",7, VAL2,", [r",6, 24,", r",5, 48,"]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 172) TEST_PR( "ldrsb r0, [r",1, 24,", r",2, 48,"]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 173) TEST_PR( "ldrsb r7, [r",6, 24,", r",5, 50,"]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 174) TEST_PR( "ldr r0, [r",1, 24,", r",2, 48,"]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 175) TEST_PR( "ldr r7, [r",6, 24,", r",5, 48,"]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 176) TEST_PR( "ldrh r0, [r",1, 24,", r",2, 48,"]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 177) TEST_PR( "ldrh r7, [r",6, 24,", r",5, 50,"]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 178) TEST_PR( "ldrb r0, [r",1, 24,", r",2, 48,"]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 179) TEST_PR( "ldrb r7, [r",6, 24,", r",5, 50,"]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 180) TEST_PR( "ldrsh r0, [r",1, 24,", r",2, 48,"]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 181) TEST_PR( "ldrsh r7, [r",6, 24,", r",5, 50,"]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 182)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 183) TEST_RP("str r",0, VAL1,", [r",1, 24,", #120]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 184) TEST_RP("str r",7, VAL2,", [r",6, 24,", #120]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 185) TEST_P( "ldr r0, [r",1, 24,", #120]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 186) TEST_P( "ldr r7, [r",6, 24,", #120]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 187) TEST_RP("strb r",0, VAL1,", [r",1, 24,", #30]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 188) TEST_RP("strb r",7, VAL2,", [r",6, 24,", #30]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 189) TEST_P( "ldrb r0, [r",1, 24,", #30]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 190) TEST_P( "ldrb r7, [r",6, 24,", #30]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 191) TEST_RP("strh r",0, VAL1,", [r",1, 24,", #60]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 192) TEST_RP("strh r",7, VAL2,", [r",6, 24,", #60]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 193) TEST_P( "ldrh r0, [r",1, 24,", #60]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 194) TEST_P( "ldrh r7, [r",6, 24,", #60]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 195)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 196) TEST_R( "str r",0, VAL1,", [sp, #0]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 197) TEST_R( "str r",7, VAL2,", [sp, #160]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 198) TEST( "ldr r0, [sp, #0]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 199) TEST( "ldr r7, [sp, #160]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 200)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 201) TEST_RP("str r",0, VAL1,", [r",0, 24,"]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 202) TEST_P( "ldr r0, [r",0, 24,"]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 203)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 204) TEST_GROUP("Generate PC-/SP-relative address")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 205)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 206) TEST("add r0, pc, #4")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 207) TEST("add r7, pc, #1020")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 208) TEST("add r0, sp, #4")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 209) TEST("add r7, sp, #1020")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 210)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 211) TEST_GROUP("Miscellaneous 16-bit instructions")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 212)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 213) TEST_UNSUPPORTED( "cpsie i")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 214) TEST_UNSUPPORTED( "cpsid i")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 215) TEST_UNSUPPORTED( "setend le")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 216) TEST_UNSUPPORTED( "setend be")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 217)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 218) TEST("add sp, #"__stringify(TEST_MEMORY_SIZE)) /* Assumes TEST_MEMORY_SIZE < 0x400 */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 219) TEST("sub sp, #0x7f*4")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 220)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 221) DONT_TEST_IN_ITBLOCK(
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 222) TEST_BF_R( "cbnz r",0,0, ", 2f")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 223) TEST_BF_R( "cbz r",2,-1,", 2f")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 224) TEST_BF_RX( "cbnz r",4,1, ", 2f", SPACE_0x20)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 225) TEST_BF_RX( "cbz r",7,0, ", 2f", SPACE_0x40)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 226) )
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 227) TEST_R("sxth r0, r",7, HH1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 228) TEST_R("sxth r7, r",0, HH2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 229) TEST_R("sxtb r0, r",7, HH1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 230) TEST_R("sxtb r7, r",0, HH2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 231) TEST_R("uxth r0, r",7, HH1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 232) TEST_R("uxth r7, r",0, HH2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 233) TEST_R("uxtb r0, r",7, HH1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 234) TEST_R("uxtb r7, r",0, HH2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 235) TEST_R("rev r0, r",7, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 236) TEST_R("rev r7, r",0, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 237) TEST_R("rev16 r0, r",7, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 238) TEST_R("rev16 r7, r",0, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 239) TEST_UNSUPPORTED(__inst_thumb16(0xba80) "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 240) TEST_UNSUPPORTED(__inst_thumb16(0xbabf) "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 241) TEST_R("revsh r0, r",7, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 242) TEST_R("revsh r7, r",0, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 243)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 244) #define TEST_POPPC(code, offset) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 245) TESTCASE_START(code) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 246) TEST_ARG_PTR(13, offset) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 247) TEST_ARG_END("") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 248) TEST_BRANCH_F(code) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 249) TESTCASE_END
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 250)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 251) TEST("push {r0}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 252) TEST("push {r7}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 253) TEST("push {r14}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 254) TEST("push {r0-r7,r14}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 255) TEST("push {r0,r2,r4,r6,r14}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 256) TEST("push {r1,r3,r5,r7}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 257) TEST("pop {r0}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 258) TEST("pop {r7}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 259) TEST("pop {r0,r2,r4,r6}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 260) TEST_POPPC("pop {pc}",15*4)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 261) TEST_POPPC("pop {r0-r7,pc}",7*4)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 262) TEST_POPPC("pop {r1,r3,r5,r7,pc}",11*4)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 263) TEST_THUMB_TO_ARM_INTERWORK_P("pop {pc} @ ",13,15*4,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 264) TEST_THUMB_TO_ARM_INTERWORK_P("pop {r0-r7,pc} @ ",13,7*4,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 265)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 266) TEST_UNSUPPORTED("bkpt.n 0")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 267) TEST_UNSUPPORTED("bkpt.n 255")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 268)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 269) TEST_SUPPORTED("yield")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 270) TEST("sev")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 271) TEST("nop")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 272) TEST("wfi")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 273) TEST_SUPPORTED("wfe")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 274) TEST_UNSUPPORTED(__inst_thumb16(0xbf50) "") /* Unassigned hints */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 275) TEST_UNSUPPORTED(__inst_thumb16(0xbff0) "") /* Unassigned hints */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 276)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 277) #define TEST_IT(code, code2) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 278) TESTCASE_START(code) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 279) TEST_ARG_END("") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 280) "50: nop \n\t" \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 281) "1: "code" \n\t" \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 282) " "code2" \n\t" \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 283) "2: nop \n\t" \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 284) TESTCASE_END
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 285)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 286) DONT_TEST_IN_ITBLOCK(
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 287) TEST_IT("it eq","moveq r0,#0")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 288) TEST_IT("it vc","movvc r0,#0")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 289) TEST_IT("it le","movle r0,#0")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 290) TEST_IT("ite eq","moveq r0,#0\n\t movne r1,#1")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 291) TEST_IT("itet vc","movvc r0,#0\n\t movvs r1,#1\n\t movvc r2,#2")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 292) TEST_IT("itete le","movle r0,#0\n\t movgt r1,#1\n\t movle r2,#2\n\t movgt r3,#3")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 293) TEST_IT("itttt le","movle r0,#0\n\t movle r1,#1\n\t movle r2,#2\n\t movle r3,#3")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 294) TEST_IT("iteee le","movle r0,#0\n\t movgt r1,#1\n\t movgt r2,#2\n\t movgt r3,#3")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 295) )
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 296)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 297) TEST_GROUP("Load and store multiple")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 298)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 299) TEST_P("ldmia r",4, 16*4,"!, {r0,r7}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 300) TEST_P("ldmia r",7, 16*4,"!, {r0-r6}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 301) TEST_P("stmia r",4, 16*4,"!, {r0,r7}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 302) TEST_P("stmia r",0, 16*4,"!, {r0-r7}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 303)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 304) TEST_GROUP("Conditional branch and Supervisor Call instructions")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 305)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 306) CONDITION_INSTRUCTIONS(8,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 307) TEST_BF("beq 2f")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 308) TEST_BB("bne 2b")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 309) TEST_BF("bgt 2f")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 310) TEST_BB("blt 2b")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 311) )
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 312) TEST_UNSUPPORTED(__inst_thumb16(0xde00) "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 313) TEST_UNSUPPORTED(__inst_thumb16(0xdeff) "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 314) TEST_UNSUPPORTED("svc #0x00")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 315) TEST_UNSUPPORTED("svc #0xff")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 316)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 317) TEST_GROUP("Unconditional branch")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 318)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 319) TEST_BF( "b 2f")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 320) TEST_BB( "b 2b")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 321) TEST_BF_X("b 2f", SPACE_0x400)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 322) TEST_BB_X("b 2b", SPACE_0x400)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 323)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 324) TEST_GROUP("Testing instructions in IT blocks")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 325)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 326) TEST_ITBLOCK("subs.n r0, r0")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 327)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 328) verbose("\n");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 329) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 330)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 331)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 332) void kprobe_thumb32_test_cases(void)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 333) {
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 334) kprobe_test_flags = 0;
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 335)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 336) TEST_GROUP("Load/store multiple")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 337)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 338) TEST_UNSUPPORTED("rfedb sp")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 339) TEST_UNSUPPORTED("rfeia sp")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 340) TEST_UNSUPPORTED("rfedb sp!")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 341) TEST_UNSUPPORTED("rfeia sp!")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 342)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 343) TEST_P( "stmia r",0, 16*4,", {r0,r8}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 344) TEST_P( "stmia r",4, 16*4,", {r0-r12,r14}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 345) TEST_P( "stmia r",7, 16*4,"!, {r8-r12,r14}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 346) TEST_P( "stmia r",12,16*4,"!, {r1,r3,r5,r7,r8-r11,r14}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 347)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 348) TEST_P( "ldmia r",0, 16*4,", {r0,r8}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 349) TEST_P( "ldmia r",4, 0, ", {r0-r12,r14}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 350) TEST_BF_P("ldmia r",5, 8*4, "!, {r6-r12,r15}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 351) TEST_P( "ldmia r",12,16*4,"!, {r1,r3,r5,r7,r8-r11,r14}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 352) TEST_BF_P("ldmia r",14,14*4,"!, {r4,pc}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 353)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 354) TEST_P( "stmdb r",0, 16*4,", {r0,r8}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 355) TEST_P( "stmdb r",4, 16*4,", {r0-r12,r14}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 356) TEST_P( "stmdb r",5, 16*4,"!, {r8-r12,r14}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 357) TEST_P( "stmdb r",12,16*4,"!, {r1,r3,r5,r7,r8-r11,r14}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 358)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 359) TEST_P( "ldmdb r",0, 16*4,", {r0,r8}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 360) TEST_P( "ldmdb r",4, 16*4,", {r0-r12,r14}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 361) TEST_BF_P("ldmdb r",5, 16*4,"!, {r6-r12,r15}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 362) TEST_P( "ldmdb r",12,16*4,"!, {r1,r3,r5,r7,r8-r11,r14}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 363) TEST_BF_P("ldmdb r",14,16*4,"!, {r4,pc}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 364)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 365) TEST_P( "stmdb r",13,16*4,"!, {r3-r12,lr}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 366) TEST_P( "stmdb r",13,16*4,"!, {r3-r12}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 367) TEST_P( "stmdb r",2, 16*4,", {r3-r12,lr}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 368) TEST_P( "stmdb r",13,16*4,"!, {r2-r12,lr}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 369) TEST_P( "stmdb r",0, 16*4,", {r0-r12}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 370) TEST_P( "stmdb r",0, 16*4,", {r0-r12,lr}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 371)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 372) TEST_BF_P("ldmia r",13,5*4, "!, {r3-r12,pc}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 373) TEST_P( "ldmia r",13,5*4, "!, {r3-r12}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 374) TEST_BF_P("ldmia r",2, 5*4, "!, {r3-r12,pc}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 375) TEST_BF_P("ldmia r",13,4*4, "!, {r2-r12,pc}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 376) TEST_P( "ldmia r",0, 16*4,", {r0-r12}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 377) TEST_P( "ldmia r",0, 16*4,", {r0-r12,lr}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 378)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 379) TEST_THUMB_TO_ARM_INTERWORK_P("ldmia r",0,14*4,", {r12,pc}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 380) TEST_THUMB_TO_ARM_INTERWORK_P("ldmia r",13,2*4,", {r0-r12,pc}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 381)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 382) TEST_UNSUPPORTED(__inst_thumb32(0xe88f0101) " @ stmia pc, {r0,r8}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 383) TEST_UNSUPPORTED(__inst_thumb32(0xe92f5f00) " @ stmdb pc!, {r8-r12,r14}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 384) TEST_UNSUPPORTED(__inst_thumb32(0xe8bdc000) " @ ldmia r13!, {r14,pc}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 385) TEST_UNSUPPORTED(__inst_thumb32(0xe93ec000) " @ ldmdb r14!, {r14,pc}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 386) TEST_UNSUPPORTED(__inst_thumb32(0xe8a73f00) " @ stmia r7!, {r8-r12,sp}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 387) TEST_UNSUPPORTED(__inst_thumb32(0xe8a79f00) " @ stmia r7!, {r8-r12,pc}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 388) TEST_UNSUPPORTED(__inst_thumb32(0xe93e2010) " @ ldmdb r14!, {r4,sp}")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 389)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 390) TEST_GROUP("Load/store double or exclusive, table branch")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 391)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 392) TEST_P( "ldrd r0, r1, [r",1, 24,", #-16]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 393) TEST( "ldrd r12, r14, [sp, #16]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 394) TEST_P( "ldrd r1, r0, [r",7, 24,", #-16]!")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 395) TEST( "ldrd r14, r12, [sp, #16]!")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 396) TEST_P( "ldrd r1, r0, [r",7, 24,"], #16")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 397) TEST( "ldrd r7, r8, [sp], #-16")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 398)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 399) TEST_X( "ldrd r12, r14, 3f",
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 400) ".align 3 \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 401) "3: .word "__stringify(VAL1)" \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 402) " .word "__stringify(VAL2))
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 403)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 404) TEST_UNSUPPORTED(__inst_thumb32(0xe9ffec04) " @ ldrd r14, r12, [pc, #16]!")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 405) TEST_UNSUPPORTED(__inst_thumb32(0xe8ffec04) " @ ldrd r14, r12, [pc], #16")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 406) TEST_UNSUPPORTED(__inst_thumb32(0xe9d4d800) " @ ldrd sp, r8, [r4]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 407) TEST_UNSUPPORTED(__inst_thumb32(0xe9d4f800) " @ ldrd pc, r8, [r4]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 408) TEST_UNSUPPORTED(__inst_thumb32(0xe9d47d00) " @ ldrd r7, sp, [r4]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 409) TEST_UNSUPPORTED(__inst_thumb32(0xe9d47f00) " @ ldrd r7, pc, [r4]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 410)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 411) TEST_RRP("strd r",0, VAL1,", r",1, VAL2,", [r",1, 24,", #-16]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 412) TEST_RR( "strd r",12,VAL2,", r",14,VAL1,", [sp, #16]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 413) TEST_RRP("strd r",1, VAL1,", r",0, VAL2,", [r",7, 24,", #-16]!")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 414) TEST_RR( "strd r",14,VAL2,", r",12,VAL1,", [sp, #16]!")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 415) TEST_RRP("strd r",1, VAL1,", r",0, VAL2,", [r",7, 24,"], #16")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 416) TEST_RR( "strd r",7, VAL2,", r",8, VAL1,", [sp], #-16")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 417) TEST_RRP("strd r",6, VAL1,", r",7, VAL2,", [r",13, TEST_MEMORY_SIZE,", #-"__stringify(MAX_STACK_SIZE)"]!")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 418) TEST_UNSUPPORTED("strd r6, r7, [r13, #-"__stringify(MAX_STACK_SIZE)"-8]!")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 419) TEST_RRP("strd r",4, VAL1,", r",5, VAL2,", [r",14, TEST_MEMORY_SIZE,", #-"__stringify(MAX_STACK_SIZE)"-8]!")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 420) TEST_UNSUPPORTED(__inst_thumb32(0xe9efec04) " @ strd r14, r12, [pc, #16]!")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 421) TEST_UNSUPPORTED(__inst_thumb32(0xe8efec04) " @ strd r14, r12, [pc], #16")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 422)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 423) TEST_RX("tbb [pc, r",0, (9f-(1f+4)),"]",
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 424) "9: \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 425) ".byte (2f-1b-4)>>1 \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 426) ".byte (3f-1b-4)>>1 \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 427) "3: mvn r0, r0 \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 428) "2: nop \n\t")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 429)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 430) TEST_RX("tbb [pc, r",4, (9f-(1f+4)+1),"]",
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 431) "9: \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 432) ".byte (2f-1b-4)>>1 \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 433) ".byte (3f-1b-4)>>1 \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 434) "3: mvn r0, r0 \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 435) "2: nop \n\t")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 436)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 437) TEST_RRX("tbb [r",1,9f,", r",2,0,"]",
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 438) "9: \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 439) ".byte (2f-1b-4)>>1 \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 440) ".byte (3f-1b-4)>>1 \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 441) "3: mvn r0, r0 \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 442) "2: nop \n\t")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 443)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 444) TEST_RX("tbh [pc, r",7, (9f-(1f+4))>>1,", lsl #1]",
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 445) "9: \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 446) ".short (2f-1b-4)>>1 \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 447) ".short (3f-1b-4)>>1 \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 448) "3: mvn r0, r0 \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 449) "2: nop \n\t")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 450)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 451) TEST_RX("tbh [pc, r",12, ((9f-(1f+4))>>1)+1,", lsl #1]",
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 452) "9: \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 453) ".short (2f-1b-4)>>1 \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 454) ".short (3f-1b-4)>>1 \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 455) "3: mvn r0, r0 \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 456) "2: nop \n\t")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 457)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 458) TEST_RRX("tbh [r",1,9f, ", r",14,1,", lsl #1]",
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 459) "9: \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 460) ".short (2f-1b-4)>>1 \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 461) ".short (3f-1b-4)>>1 \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 462) "3: mvn r0, r0 \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 463) "2: nop \n\t")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 464)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 465) TEST_UNSUPPORTED(__inst_thumb32(0xe8d1f01f) " @ tbh [r1, pc]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 466) TEST_UNSUPPORTED(__inst_thumb32(0xe8d1f01d) " @ tbh [r1, sp]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 467) TEST_UNSUPPORTED(__inst_thumb32(0xe8ddf012) " @ tbh [sp, r2]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 468)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 469) TEST_UNSUPPORTED("strexb r0, r1, [r2]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 470) TEST_UNSUPPORTED("strexh r0, r1, [r2]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 471) TEST_UNSUPPORTED("strexd r0, r1, r2, [r2]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 472) TEST_UNSUPPORTED("ldrexb r0, [r1]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 473) TEST_UNSUPPORTED("ldrexh r0, [r1]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 474) TEST_UNSUPPORTED("ldrexd r0, r1, [r1]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 475)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 476) TEST_GROUP("Data-processing (shifted register) and (modified immediate)")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 477)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 478) #define _DATA_PROCESSING32_DNM(op,s,val) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 479) TEST_RR(op s".w r0, r",1, VAL1,", r",2, val, "") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 480) TEST_RR(op s" r1, r",1, VAL1,", r",2, val, ", lsl #3") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 481) TEST_RR(op s" r2, r",3, VAL1,", r",2, val, ", lsr #4") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 482) TEST_RR(op s" r3, r",3, VAL1,", r",2, val, ", asr #5") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 483) TEST_RR(op s" r4, r",5, VAL1,", r",2, N(val),", asr #6") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 484) TEST_RR(op s" r5, r",5, VAL1,", r",2, val, ", ror #7") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 485) TEST_RR(op s" r8, r",9, VAL1,", r",10,val, ", rrx") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 486) TEST_R( op s" r0, r",11,VAL1,", #0x00010001") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 487) TEST_R( op s" r11, r",0, VAL1,", #0xf5000000") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 488) TEST_R( op s" r7, r",8, VAL2,", #0x000af000")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 489)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 490) #define DATA_PROCESSING32_DNM(op,val) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 491) _DATA_PROCESSING32_DNM(op,"",val) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 492) _DATA_PROCESSING32_DNM(op,"s",val)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 493)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 494) #define DATA_PROCESSING32_NM(op,val) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 495) TEST_RR(op".w r",1, VAL1,", r",2, val, "") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 496) TEST_RR(op" r",1, VAL1,", r",2, val, ", lsl #3") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 497) TEST_RR(op" r",3, VAL1,", r",2, val, ", lsr #4") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 498) TEST_RR(op" r",3, VAL1,", r",2, val, ", asr #5") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 499) TEST_RR(op" r",5, VAL1,", r",2, N(val),", asr #6") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 500) TEST_RR(op" r",5, VAL1,", r",2, val, ", ror #7") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 501) TEST_RR(op" r",9, VAL1,", r",10,val, ", rrx") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 502) TEST_R( op" r",11,VAL1,", #0x00010001") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 503) TEST_R( op" r",0, VAL1,", #0xf5000000") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 504) TEST_R( op" r",8, VAL2,", #0x000af000")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 505)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 506) #define _DATA_PROCESSING32_DM(op,s,val) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 507) TEST_R( op s".w r0, r",14, val, "") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 508) TEST_R( op s" r1, r",12, val, ", lsl #3") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 509) TEST_R( op s" r2, r",11, val, ", lsr #4") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 510) TEST_R( op s" r3, r",10, val, ", asr #5") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 511) TEST_R( op s" r4, r",9, N(val),", asr #6") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 512) TEST_R( op s" r5, r",8, val, ", ror #7") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 513) TEST_R( op s" r8, r",7,val, ", rrx") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 514) TEST( op s" r0, #0x00010001") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 515) TEST( op s" r11, #0xf5000000") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 516) TEST( op s" r7, #0x000af000") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 517) TEST( op s" r4, #0x00005a00")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 518)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 519) #define DATA_PROCESSING32_DM(op,val) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 520) _DATA_PROCESSING32_DM(op,"",val) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 521) _DATA_PROCESSING32_DM(op,"s",val)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 522)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 523) DATA_PROCESSING32_DNM("and",0xf00f00ff)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 524) DATA_PROCESSING32_NM("tst",0xf00f00ff)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 525) DATA_PROCESSING32_DNM("bic",0xf00f00ff)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 526) DATA_PROCESSING32_DNM("orr",0xf00f00ff)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 527) DATA_PROCESSING32_DM("mov",VAL2)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 528) DATA_PROCESSING32_DNM("orn",0xf00f00ff)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 529) DATA_PROCESSING32_DM("mvn",VAL2)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 530) DATA_PROCESSING32_DNM("eor",0xf00f00ff)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 531) DATA_PROCESSING32_NM("teq",0xf00f00ff)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 532) DATA_PROCESSING32_DNM("add",VAL2)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 533) DATA_PROCESSING32_NM("cmn",VAL2)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 534) DATA_PROCESSING32_DNM("adc",VAL2)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 535) DATA_PROCESSING32_DNM("sbc",VAL2)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 536) DATA_PROCESSING32_DNM("sub",VAL2)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 537) DATA_PROCESSING32_NM("cmp",VAL2)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 538) DATA_PROCESSING32_DNM("rsb",VAL2)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 539)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 540) TEST_RR("pkhbt r0, r",0, HH1,", r",1, HH2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 541) TEST_RR("pkhbt r14,r",12, HH1,", r",10,HH2,", lsl #2")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 542) TEST_RR("pkhtb r0, r",0, HH1,", r",1, HH2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 543) TEST_RR("pkhtb r14,r",12, HH1,", r",10,HH2,", asr #2")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 544)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 545) TEST_UNSUPPORTED(__inst_thumb32(0xea170f0d) " @ tst.w r7, sp")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 546) TEST_UNSUPPORTED(__inst_thumb32(0xea170f0f) " @ tst.w r7, pc")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 547) TEST_UNSUPPORTED(__inst_thumb32(0xea1d0f07) " @ tst.w sp, r7")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 548) TEST_UNSUPPORTED(__inst_thumb32(0xea1f0f07) " @ tst.w pc, r7")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 549) TEST_UNSUPPORTED(__inst_thumb32(0xf01d1f08) " @ tst sp, #0x00080008")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 550) TEST_UNSUPPORTED(__inst_thumb32(0xf01f1f08) " @ tst pc, #0x00080008")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 551)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 552) TEST_UNSUPPORTED(__inst_thumb32(0xea970f0d) " @ teq.w r7, sp")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 553) TEST_UNSUPPORTED(__inst_thumb32(0xea970f0f) " @ teq.w r7, pc")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 554) TEST_UNSUPPORTED(__inst_thumb32(0xea9d0f07) " @ teq.w sp, r7")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 555) TEST_UNSUPPORTED(__inst_thumb32(0xea9f0f07) " @ teq.w pc, r7")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 556) TEST_UNSUPPORTED(__inst_thumb32(0xf09d1f08) " @ tst sp, #0x00080008")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 557) TEST_UNSUPPORTED(__inst_thumb32(0xf09f1f08) " @ tst pc, #0x00080008")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 558)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 559) TEST_UNSUPPORTED(__inst_thumb32(0xeb170f0d) " @ cmn.w r7, sp")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 560) TEST_UNSUPPORTED(__inst_thumb32(0xeb170f0f) " @ cmn.w r7, pc")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 561) TEST_P("cmn.w sp, r",7,0,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 562) TEST_UNSUPPORTED(__inst_thumb32(0xeb1f0f07) " @ cmn.w pc, r7")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 563) TEST( "cmn sp, #0x00080008")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 564) TEST_UNSUPPORTED(__inst_thumb32(0xf11f1f08) " @ cmn pc, #0x00080008")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 565)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 566) TEST_UNSUPPORTED(__inst_thumb32(0xebb70f0d) " @ cmp.w r7, sp")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 567) TEST_UNSUPPORTED(__inst_thumb32(0xebb70f0f) " @ cmp.w r7, pc")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 568) TEST_P("cmp.w sp, r",7,0,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 569) TEST_UNSUPPORTED(__inst_thumb32(0xebbf0f07) " @ cmp.w pc, r7")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 570) TEST( "cmp sp, #0x00080008")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 571) TEST_UNSUPPORTED(__inst_thumb32(0xf1bf1f08) " @ cmp pc, #0x00080008")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 572)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 573) TEST_UNSUPPORTED(__inst_thumb32(0xea5f070d) " @ movs.w r7, sp")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 574) TEST_UNSUPPORTED(__inst_thumb32(0xea5f070f) " @ movs.w r7, pc")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 575) TEST_UNSUPPORTED(__inst_thumb32(0xea5f0d07) " @ movs.w sp, r7")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 576) TEST_UNSUPPORTED(__inst_thumb32(0xea4f0f07) " @ mov.w pc, r7")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 577) TEST_UNSUPPORTED(__inst_thumb32(0xf04f1d08) " @ mov sp, #0x00080008")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 578) TEST_UNSUPPORTED(__inst_thumb32(0xf04f1f08) " @ mov pc, #0x00080008")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 579)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 580) TEST_R("add.w r0, sp, r",1, 4,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 581) TEST_R("adds r0, sp, r",1, 4,", asl #3")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 582) TEST_R("add r0, sp, r",1, 4,", asl #4")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 583) TEST_R("add r0, sp, r",1, 16,", ror #1")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 584) TEST_R("add.w sp, sp, r",1, 4,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 585) TEST_R("add sp, sp, r",1, 4,", asl #3")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 586) TEST_UNSUPPORTED(__inst_thumb32(0xeb0d1d01) " @ add sp, sp, r1, asl #4")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 587) TEST_UNSUPPORTED(__inst_thumb32(0xeb0d0d71) " @ add sp, sp, r1, ror #1")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 588) TEST( "add.w r0, sp, #24")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 589) TEST( "add.w sp, sp, #24")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 590) TEST_UNSUPPORTED(__inst_thumb32(0xeb0d0f01) " @ add pc, sp, r1")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 591) TEST_UNSUPPORTED(__inst_thumb32(0xeb0d000f) " @ add r0, sp, pc")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 592) TEST_UNSUPPORTED(__inst_thumb32(0xeb0d000d) " @ add r0, sp, sp")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 593) TEST_UNSUPPORTED(__inst_thumb32(0xeb0d0d0f) " @ add sp, sp, pc")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 594) TEST_UNSUPPORTED(__inst_thumb32(0xeb0d0d0d) " @ add sp, sp, sp")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 595)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 596) TEST_R("sub.w r0, sp, r",1, 4,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 597) TEST_R("subs r0, sp, r",1, 4,", asl #3")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 598) TEST_R("sub r0, sp, r",1, 4,", asl #4")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 599) TEST_R("sub r0, sp, r",1, 16,", ror #1")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 600) TEST_R("sub.w sp, sp, r",1, 4,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 601) TEST_R("sub sp, sp, r",1, 4,", asl #3")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 602) TEST_UNSUPPORTED(__inst_thumb32(0xebad1d01) " @ sub sp, sp, r1, asl #4")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 603) TEST_UNSUPPORTED(__inst_thumb32(0xebad0d71) " @ sub sp, sp, r1, ror #1")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 604) TEST_UNSUPPORTED(__inst_thumb32(0xebad0f01) " @ sub pc, sp, r1")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 605) TEST( "sub.w r0, sp, #24")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 606) TEST( "sub.w sp, sp, #24")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 607)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 608) TEST_UNSUPPORTED(__inst_thumb32(0xea02010f) " @ and r1, r2, pc")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 609) TEST_UNSUPPORTED(__inst_thumb32(0xea0f0103) " @ and r1, pc, r3")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 610) TEST_UNSUPPORTED(__inst_thumb32(0xea020f03) " @ and pc, r2, r3")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 611) TEST_UNSUPPORTED(__inst_thumb32(0xea02010d) " @ and r1, r2, sp")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 612) TEST_UNSUPPORTED(__inst_thumb32(0xea0d0103) " @ and r1, sp, r3")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 613) TEST_UNSUPPORTED(__inst_thumb32(0xea020d03) " @ and sp, r2, r3")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 614) TEST_UNSUPPORTED(__inst_thumb32(0xf00d1108) " @ and r1, sp, #0x00080008")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 615) TEST_UNSUPPORTED(__inst_thumb32(0xf00f1108) " @ and r1, pc, #0x00080008")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 616) TEST_UNSUPPORTED(__inst_thumb32(0xf0021d08) " @ and sp, r8, #0x00080008")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 617) TEST_UNSUPPORTED(__inst_thumb32(0xf0021f08) " @ and pc, r8, #0x00080008")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 618)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 619) TEST_UNSUPPORTED(__inst_thumb32(0xeb02010f) " @ add r1, r2, pc")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 620) TEST_UNSUPPORTED(__inst_thumb32(0xeb0f0103) " @ add r1, pc, r3")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 621) TEST_UNSUPPORTED(__inst_thumb32(0xeb020f03) " @ add pc, r2, r3")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 622) TEST_UNSUPPORTED(__inst_thumb32(0xeb02010d) " @ add r1, r2, sp")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 623) TEST_SUPPORTED( __inst_thumb32(0xeb0d0103) " @ add r1, sp, r3")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 624) TEST_UNSUPPORTED(__inst_thumb32(0xeb020d03) " @ add sp, r2, r3")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 625) TEST_SUPPORTED( __inst_thumb32(0xf10d1108) " @ add r1, sp, #0x00080008")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 626) TEST_UNSUPPORTED(__inst_thumb32(0xf10d1f08) " @ add pc, sp, #0x00080008")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 627) TEST_UNSUPPORTED(__inst_thumb32(0xf10f1108) " @ add r1, pc, #0x00080008")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 628) TEST_UNSUPPORTED(__inst_thumb32(0xf1021d08) " @ add sp, r8, #0x00080008")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 629) TEST_UNSUPPORTED(__inst_thumb32(0xf1021f08) " @ add pc, r8, #0x00080008")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 630)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 631) TEST_UNSUPPORTED(__inst_thumb32(0xeaa00000) "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 632) TEST_UNSUPPORTED(__inst_thumb32(0xeaf00000) "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 633) TEST_UNSUPPORTED(__inst_thumb32(0xeb200000) "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 634) TEST_UNSUPPORTED(__inst_thumb32(0xeb800000) "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 635) TEST_UNSUPPORTED(__inst_thumb32(0xebe00000) "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 636)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 637) TEST_UNSUPPORTED(__inst_thumb32(0xf0a00000) "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 638) TEST_UNSUPPORTED(__inst_thumb32(0xf0c00000) "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 639) TEST_UNSUPPORTED(__inst_thumb32(0xf0f00000) "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 640) TEST_UNSUPPORTED(__inst_thumb32(0xf1200000) "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 641) TEST_UNSUPPORTED(__inst_thumb32(0xf1800000) "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 642) TEST_UNSUPPORTED(__inst_thumb32(0xf1e00000) "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 643)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 644) TEST_GROUP("Coprocessor instructions")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 645)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 646) TEST_UNSUPPORTED(__inst_thumb32(0xec000000) "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 647) TEST_UNSUPPORTED(__inst_thumb32(0xeff00000) "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 648) TEST_UNSUPPORTED(__inst_thumb32(0xfc000000) "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 649) TEST_UNSUPPORTED(__inst_thumb32(0xfff00000) "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 650)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 651) TEST_GROUP("Data-processing (plain binary immediate)")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 652)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 653) TEST_R("addw r0, r",1, VAL1,", #0x123")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 654) TEST( "addw r14, sp, #0xf5a")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 655) TEST( "addw sp, sp, #0x20")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 656) TEST( "addw r7, pc, #0x888")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 657) TEST_UNSUPPORTED(__inst_thumb32(0xf20f1f20) " @ addw pc, pc, #0x120")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 658) TEST_UNSUPPORTED(__inst_thumb32(0xf20d1f20) " @ addw pc, sp, #0x120")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 659) TEST_UNSUPPORTED(__inst_thumb32(0xf20f1d20) " @ addw sp, pc, #0x120")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 660) TEST_UNSUPPORTED(__inst_thumb32(0xf2001d20) " @ addw sp, r0, #0x120")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 661)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 662) TEST_R("subw r0, r",1, VAL1,", #0x123")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 663) TEST( "subw r14, sp, #0xf5a")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 664) TEST( "subw sp, sp, #0x20")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 665) TEST( "subw r7, pc, #0x888")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 666) TEST_UNSUPPORTED(__inst_thumb32(0xf2af1f20) " @ subw pc, pc, #0x120")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 667) TEST_UNSUPPORTED(__inst_thumb32(0xf2ad1f20) " @ subw pc, sp, #0x120")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 668) TEST_UNSUPPORTED(__inst_thumb32(0xf2af1d20) " @ subw sp, pc, #0x120")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 669) TEST_UNSUPPORTED(__inst_thumb32(0xf2a01d20) " @ subw sp, r0, #0x120")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 670)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 671) TEST("movw r0, #0")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 672) TEST("movw r0, #0xffff")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 673) TEST("movw lr, #0xffff")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 674) TEST_UNSUPPORTED(__inst_thumb32(0xf2400d00) " @ movw sp, #0")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 675) TEST_UNSUPPORTED(__inst_thumb32(0xf2400f00) " @ movw pc, #0")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 676)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 677) TEST_R("movt r",0, VAL1,", #0")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 678) TEST_R("movt r",0, VAL2,", #0xffff")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 679) TEST_R("movt r",14,VAL1,", #0xffff")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 680) TEST_UNSUPPORTED(__inst_thumb32(0xf2c00d00) " @ movt sp, #0")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 681) TEST_UNSUPPORTED(__inst_thumb32(0xf2c00f00) " @ movt pc, #0")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 682)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 683) TEST_R( "ssat r0, #24, r",0, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 684) TEST_R( "ssat r14, #24, r",12, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 685) TEST_R( "ssat r0, #24, r",0, VAL1,", lsl #8")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 686) TEST_R( "ssat r14, #24, r",12, VAL2,", asr #8")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 687) TEST_UNSUPPORTED(__inst_thumb32(0xf30c0d17) " @ ssat sp, #24, r12")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 688) TEST_UNSUPPORTED(__inst_thumb32(0xf30c0f17) " @ ssat pc, #24, r12")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 689) TEST_UNSUPPORTED(__inst_thumb32(0xf30d0c17) " @ ssat r12, #24, sp")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 690) TEST_UNSUPPORTED(__inst_thumb32(0xf30f0c17) " @ ssat r12, #24, pc")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 691)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 692) TEST_R( "usat r0, #24, r",0, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 693) TEST_R( "usat r14, #24, r",12, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 694) TEST_R( "usat r0, #24, r",0, VAL1,", lsl #8")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 695) TEST_R( "usat r14, #24, r",12, VAL2,", asr #8")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 696) TEST_UNSUPPORTED(__inst_thumb32(0xf38c0d17) " @ usat sp, #24, r12")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 697) TEST_UNSUPPORTED(__inst_thumb32(0xf38c0f17) " @ usat pc, #24, r12")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 698) TEST_UNSUPPORTED(__inst_thumb32(0xf38d0c17) " @ usat r12, #24, sp")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 699) TEST_UNSUPPORTED(__inst_thumb32(0xf38f0c17) " @ usat r12, #24, pc")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 700)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 701) TEST_R( "ssat16 r0, #12, r",0, HH1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 702) TEST_R( "ssat16 r14, #12, r",12, HH2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 703) TEST_UNSUPPORTED(__inst_thumb32(0xf32c0d0b) " @ ssat16 sp, #12, r12")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 704) TEST_UNSUPPORTED(__inst_thumb32(0xf32c0f0b) " @ ssat16 pc, #12, r12")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 705) TEST_UNSUPPORTED(__inst_thumb32(0xf32d0c0b) " @ ssat16 r12, #12, sp")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 706) TEST_UNSUPPORTED(__inst_thumb32(0xf32f0c0b) " @ ssat16 r12, #12, pc")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 707)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 708) TEST_R( "usat16 r0, #12, r",0, HH1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 709) TEST_R( "usat16 r14, #12, r",12, HH2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 710) TEST_UNSUPPORTED(__inst_thumb32(0xf3ac0d0b) " @ usat16 sp, #12, r12")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 711) TEST_UNSUPPORTED(__inst_thumb32(0xf3ac0f0b) " @ usat16 pc, #12, r12")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 712) TEST_UNSUPPORTED(__inst_thumb32(0xf3ad0c0b) " @ usat16 r12, #12, sp")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 713) TEST_UNSUPPORTED(__inst_thumb32(0xf3af0c0b) " @ usat16 r12, #12, pc")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 714)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 715) TEST_R( "sbfx r0, r",0 , VAL1,", #0, #31")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 716) TEST_R( "sbfx r14, r",12, VAL2,", #8, #16")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 717) TEST_R( "sbfx r4, r",10, VAL1,", #16, #15")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 718) TEST_UNSUPPORTED(__inst_thumb32(0xf34c2d0f) " @ sbfx sp, r12, #8, #16")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 719) TEST_UNSUPPORTED(__inst_thumb32(0xf34c2f0f) " @ sbfx pc, r12, #8, #16")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 720) TEST_UNSUPPORTED(__inst_thumb32(0xf34d2c0f) " @ sbfx r12, sp, #8, #16")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 721) TEST_UNSUPPORTED(__inst_thumb32(0xf34f2c0f) " @ sbfx r12, pc, #8, #16")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 722)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 723) TEST_R( "ubfx r0, r",0 , VAL1,", #0, #31")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 724) TEST_R( "ubfx r14, r",12, VAL2,", #8, #16")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 725) TEST_R( "ubfx r4, r",10, VAL1,", #16, #15")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 726) TEST_UNSUPPORTED(__inst_thumb32(0xf3cc2d0f) " @ ubfx sp, r12, #8, #16")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 727) TEST_UNSUPPORTED(__inst_thumb32(0xf3cc2f0f) " @ ubfx pc, r12, #8, #16")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 728) TEST_UNSUPPORTED(__inst_thumb32(0xf3cd2c0f) " @ ubfx r12, sp, #8, #16")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 729) TEST_UNSUPPORTED(__inst_thumb32(0xf3cf2c0f) " @ ubfx r12, pc, #8, #16")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 730)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 731) TEST_R( "bfc r",0, VAL1,", #4, #20")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 732) TEST_R( "bfc r",14,VAL2,", #4, #20")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 733) TEST_R( "bfc r",7, VAL1,", #0, #31")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 734) TEST_R( "bfc r",8, VAL2,", #0, #31")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 735) TEST_UNSUPPORTED(__inst_thumb32(0xf36f0d1e) " @ bfc sp, #0, #31")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 736) TEST_UNSUPPORTED(__inst_thumb32(0xf36f0f1e) " @ bfc pc, #0, #31")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 737)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 738) TEST_RR( "bfi r",0, VAL1,", r",0 , VAL2,", #0, #31")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 739) TEST_RR( "bfi r",12,VAL1,", r",14 , VAL2,", #4, #20")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 740) TEST_UNSUPPORTED(__inst_thumb32(0xf36e1d17) " @ bfi sp, r14, #4, #20")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 741) TEST_UNSUPPORTED(__inst_thumb32(0xf36e1f17) " @ bfi pc, r14, #4, #20")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 742) TEST_UNSUPPORTED(__inst_thumb32(0xf36d1e17) " @ bfi r14, sp, #4, #20")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 743)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 744) TEST_GROUP("Branches and miscellaneous control")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 745)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 746) CONDITION_INSTRUCTIONS(22,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 747) TEST_BF("beq.w 2f")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 748) TEST_BB("bne.w 2b")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 749) TEST_BF("bgt.w 2f")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 750) TEST_BB("blt.w 2b")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 751) TEST_BF_X("bpl.w 2f", SPACE_0x1000)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 752) )
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 753)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 754) TEST_UNSUPPORTED("msr cpsr, r0")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 755) TEST_UNSUPPORTED("msr cpsr_f, r1")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 756) TEST_UNSUPPORTED("msr spsr, r2")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 757)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 758) TEST_UNSUPPORTED("cpsie.w i")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 759) TEST_UNSUPPORTED("cpsid.w i")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 760) TEST_UNSUPPORTED("cps 0x13")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 761)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 762) TEST_SUPPORTED("yield.w")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 763) TEST("sev.w")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 764) TEST("nop.w")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 765) TEST("wfi.w")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 766) TEST_SUPPORTED("wfe.w")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 767) TEST_UNSUPPORTED("dbg.w #0")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 768)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 769) TEST_UNSUPPORTED("clrex")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 770) TEST_UNSUPPORTED("dsb")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 771) TEST_UNSUPPORTED("dmb")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 772) TEST_UNSUPPORTED("isb")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 773)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 774) TEST_UNSUPPORTED("bxj r0")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 775)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 776) TEST_UNSUPPORTED("subs pc, lr, #4")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 777)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 778) TEST_RMASKED("mrs r",0,~PSR_IGNORE_BITS,", cpsr")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 779) TEST_RMASKED("mrs r",14,~PSR_IGNORE_BITS,", cpsr")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 780) TEST_UNSUPPORTED(__inst_thumb32(0xf3ef8d00) " @ mrs sp, spsr")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 781) TEST_UNSUPPORTED(__inst_thumb32(0xf3ef8f00) " @ mrs pc, spsr")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 782) TEST_UNSUPPORTED("mrs r0, spsr")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 783) TEST_UNSUPPORTED("mrs lr, spsr")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 784)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 785) TEST_UNSUPPORTED(__inst_thumb32(0xf7f08000) " @ smc #0")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 786)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 787) TEST_UNSUPPORTED(__inst_thumb32(0xf7f0a000) " @ undefeined")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 788)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 789) TEST_BF( "b.w 2f")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 790) TEST_BB( "b.w 2b")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 791) TEST_BF_X("b.w 2f", SPACE_0x1000)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 792)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 793) TEST_BF( "bl.w 2f")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 794) TEST_BB( "bl.w 2b")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 795) TEST_BB_X("bl.w 2b", SPACE_0x1000)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 796)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 797) TEST_X( "blx __dummy_arm_subroutine",
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 798) ".arm \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 799) ".align \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 800) ".type __dummy_arm_subroutine, %%function \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 801) "__dummy_arm_subroutine: \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 802) "mov r0, pc \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 803) "bx lr \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 804) ".thumb \n\t"
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 805) )
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 806) TEST( "blx __dummy_arm_subroutine")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 807)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 808) TEST_GROUP("Store single data item")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 809)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 810) #define SINGLE_STORE(size) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 811) TEST_RP( "str"size" r",0, VAL1,", [r",11,-1024,", #1024]") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 812) TEST_RP( "str"size" r",14,VAL2,", [r",1, -1024,", #1080]") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 813) TEST_RP( "str"size" r",0, VAL1,", [r",11,256, ", #-120]") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 814) TEST_RP( "str"size" r",14,VAL2,", [r",1, 256, ", #-128]") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 815) TEST_RP( "str"size" r",0, VAL1,", [r",11,24, "], #120") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 816) TEST_RP( "str"size" r",14,VAL2,", [r",1, 24, "], #128") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 817) TEST_RP( "str"size" r",0, VAL1,", [r",11,24, "], #-120") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 818) TEST_RP( "str"size" r",14,VAL2,", [r",1, 24, "], #-128") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 819) TEST_RP( "str"size" r",0, VAL1,", [r",11,24, ", #120]!") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 820) TEST_RP( "str"size" r",14,VAL2,", [r",1, 24, ", #128]!") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 821) TEST_RP( "str"size" r",0, VAL1,", [r",11,256, ", #-120]!") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 822) TEST_RP( "str"size" r",14,VAL2,", [r",1, 256, ", #-128]!") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 823) TEST_RPR("str"size".w r",0, VAL1,", [r",1, 0,", r",2, 4,"]") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 824) TEST_RPR("str"size" r",14,VAL2,", [r",10,0,", r",11,4,", lsl #1]") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 825) TEST_UNSUPPORTED("str"size" r0, [r13, r1]") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 826) TEST_R( "str"size".w r",7, VAL1,", [sp, #24]") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 827) TEST_RP( "str"size".w r",0, VAL2,", [r",0,0, "]") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 828) TEST_RP( "str"size" r",6, VAL1,", [r",13, TEST_MEMORY_SIZE,", #-"__stringify(MAX_STACK_SIZE)"]!") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 829) TEST_UNSUPPORTED("str"size" r6, [r13, #-"__stringify(MAX_STACK_SIZE)"-8]!") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 830) TEST_RP( "str"size" r",4, VAL2,", [r",12, TEST_MEMORY_SIZE,", #-"__stringify(MAX_STACK_SIZE)"-8]!") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 831) TEST_UNSUPPORTED("str"size"t r0, [r1, #4]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 832)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 833) SINGLE_STORE("b")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 834) SINGLE_STORE("h")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 835) SINGLE_STORE("")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 836)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 837) TEST_UNSUPPORTED(__inst_thumb32(0xf801000d) " @ strb r0, [r1, r13]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 838) TEST_UNSUPPORTED(__inst_thumb32(0xf821000d) " @ strh r0, [r1, r13]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 839) TEST_UNSUPPORTED(__inst_thumb32(0xf841000d) " @ str r0, [r1, r13]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 840)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 841) TEST("str sp, [sp]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 842) TEST_UNSUPPORTED(__inst_thumb32(0xf8cfe000) " @ str r14, [pc]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 843) TEST_UNSUPPORTED(__inst_thumb32(0xf8cef000) " @ str pc, [r14]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 844)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 845) TEST_GROUP("Advanced SIMD element or structure load/store instructions")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 846)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 847) TEST_UNSUPPORTED(__inst_thumb32(0xf9000000) "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 848) TEST_UNSUPPORTED(__inst_thumb32(0xf92fffff) "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 849) TEST_UNSUPPORTED(__inst_thumb32(0xf9800000) "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 850) TEST_UNSUPPORTED(__inst_thumb32(0xf9efffff) "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 851)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 852) TEST_GROUP("Load single data item and memory hints")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 853)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 854) #define SINGLE_LOAD(size) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 855) TEST_P( "ldr"size" r0, [r",11,-1024, ", #1024]") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 856) TEST_P( "ldr"size" r14, [r",1, -1024,", #1080]") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 857) TEST_P( "ldr"size" r0, [r",11,256, ", #-120]") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 858) TEST_P( "ldr"size" r14, [r",1, 256, ", #-128]") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 859) TEST_P( "ldr"size" r0, [r",11,24, "], #120") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 860) TEST_P( "ldr"size" r14, [r",1, 24, "], #128") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 861) TEST_P( "ldr"size" r0, [r",11,24, "], #-120") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 862) TEST_P( "ldr"size" r14, [r",1,24, "], #-128") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 863) TEST_P( "ldr"size" r0, [r",11,24, ", #120]!") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 864) TEST_P( "ldr"size" r14, [r",1, 24, ", #128]!") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 865) TEST_P( "ldr"size" r0, [r",11,256, ", #-120]!") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 866) TEST_P( "ldr"size" r14, [r",1, 256, ", #-128]!") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 867) TEST_PR("ldr"size".w r0, [r",1, 0,", r",2, 4,"]") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 868) TEST_PR("ldr"size" r14, [r",10,0,", r",11,4,", lsl #1]") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 869) TEST_X( "ldr"size".w r0, 3f", \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 870) ".align 3 \n\t" \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 871) "3: .word "__stringify(VAL1)) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 872) TEST_X( "ldr"size".w r14, 3f", \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 873) ".align 3 \n\t" \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 874) "3: .word "__stringify(VAL2)) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 875) TEST( "ldr"size".w r7, 3b") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 876) TEST( "ldr"size".w r7, [sp, #24]") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 877) TEST_P( "ldr"size".w r0, [r",0,0, "]") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 878) TEST_UNSUPPORTED("ldr"size"t r0, [r1, #4]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 879)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 880) SINGLE_LOAD("b")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 881) SINGLE_LOAD("sb")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 882) SINGLE_LOAD("h")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 883) SINGLE_LOAD("sh")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 884) SINGLE_LOAD("")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 885)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 886) TEST_BF_P("ldr pc, [r",14, 15*4,"]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 887) TEST_P( "ldr sp, [r",14, 13*4,"]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 888) TEST_BF_R("ldr pc, [sp, r",14, 15*4,"]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 889) TEST_R( "ldr sp, [sp, r",14, 13*4,"]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 890) TEST_THUMB_TO_ARM_INTERWORK_P("ldr pc, [r",0,0,", #15*4]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 891) TEST_SUPPORTED("ldr sp, 99f")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 892) TEST_SUPPORTED("ldr pc, 99f")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 893)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 894) TEST_UNSUPPORTED(__inst_thumb32(0xf854700d) " @ ldr r7, [r4, sp]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 895) TEST_UNSUPPORTED(__inst_thumb32(0xf854700f) " @ ldr r7, [r4, pc]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 896) TEST_UNSUPPORTED(__inst_thumb32(0xf814700d) " @ ldrb r7, [r4, sp]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 897) TEST_UNSUPPORTED(__inst_thumb32(0xf814700f) " @ ldrb r7, [r4, pc]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 898) TEST_UNSUPPORTED(__inst_thumb32(0xf89fd004) " @ ldrb sp, 99f")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 899) TEST_UNSUPPORTED(__inst_thumb32(0xf814d008) " @ ldrb sp, [r4, r8]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 900) TEST_UNSUPPORTED(__inst_thumb32(0xf894d000) " @ ldrb sp, [r4]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 901)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 902) TEST_UNSUPPORTED(__inst_thumb32(0xf8600000) "") /* Unallocated space */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 903) TEST_UNSUPPORTED(__inst_thumb32(0xf9ffffff) "") /* Unallocated space */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 904) TEST_UNSUPPORTED(__inst_thumb32(0xf9500000) "") /* Unallocated space */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 905) TEST_UNSUPPORTED(__inst_thumb32(0xf95fffff) "") /* Unallocated space */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 906) TEST_UNSUPPORTED(__inst_thumb32(0xf8000800) "") /* Unallocated space */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 907) TEST_UNSUPPORTED(__inst_thumb32(0xf97ffaff) "") /* Unallocated space */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 908)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 909) TEST( "pli [pc, #4]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 910) TEST( "pli [pc, #-4]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 911) TEST( "pld [pc, #4]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 912) TEST( "pld [pc, #-4]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 913)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 914) TEST_P( "pld [r",0,-1024,", #1024]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 915) TEST( __inst_thumb32(0xf8b0f400) " @ pldw [r0, #1024]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 916) TEST_P( "pli [r",4, 0b,", #1024]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 917) TEST_P( "pld [r",7, 120,", #-120]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 918) TEST( __inst_thumb32(0xf837fc78) " @ pldw [r7, #-120]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 919) TEST_P( "pli [r",11,120,", #-120]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 920) TEST( "pld [sp, #0]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 921)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 922) TEST_PR("pld [r",7, 24, ", r",0, 16,"]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 923) TEST_PR("pld [r",8, 24, ", r",12,16,", lsl #3]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 924) TEST_SUPPORTED(__inst_thumb32(0xf837f000) " @ pldw [r7, r0]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 925) TEST_SUPPORTED(__inst_thumb32(0xf838f03c) " @ pldw [r8, r12, lsl #3]");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 926) TEST_RR("pli [r",12,0b,", r",0, 16,"]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 927) TEST_RR("pli [r",0, 0b,", r",12,16,", lsl #3]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 928) TEST_R( "pld [sp, r",1, 16,"]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 929) TEST_UNSUPPORTED(__inst_thumb32(0xf817f00d) " @pld [r7, sp]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 930) TEST_UNSUPPORTED(__inst_thumb32(0xf817f00f) " @pld [r7, pc]")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 931)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 932) TEST_GROUP("Data-processing (register)")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 933)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 934) #define SHIFTS32(op) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 935) TEST_RR(op" r0, r",1, VAL1,", r",2, 3, "") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 936) TEST_RR(op" r14, r",12,VAL2,", r",11,10,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 937)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 938) SHIFTS32("lsl")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 939) SHIFTS32("lsls")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 940) SHIFTS32("lsr")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 941) SHIFTS32("lsrs")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 942) SHIFTS32("asr")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 943) SHIFTS32("asrs")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 944) SHIFTS32("ror")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 945) SHIFTS32("rors")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 946)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 947) TEST_UNSUPPORTED(__inst_thumb32(0xfa01ff02) " @ lsl pc, r1, r2")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 948) TEST_UNSUPPORTED(__inst_thumb32(0xfa01fd02) " @ lsl sp, r1, r2")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 949) TEST_UNSUPPORTED(__inst_thumb32(0xfa0ff002) " @ lsl r0, pc, r2")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 950) TEST_UNSUPPORTED(__inst_thumb32(0xfa0df002) " @ lsl r0, sp, r2")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 951) TEST_UNSUPPORTED(__inst_thumb32(0xfa01f00f) " @ lsl r0, r1, pc")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 952) TEST_UNSUPPORTED(__inst_thumb32(0xfa01f00d) " @ lsl r0, r1, sp")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 953)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 954) TEST_RR( "sxtah r0, r",0, HH1,", r",1, HH2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 955) TEST_RR( "sxtah r14,r",12, HH2,", r",10,HH1,", ror #8")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 956) TEST_R( "sxth r8, r",7, HH1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 957)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 958) TEST_UNSUPPORTED(__inst_thumb32(0xfa0fff87) " @ sxth pc, r7");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 959) TEST_UNSUPPORTED(__inst_thumb32(0xfa0ffd87) " @ sxth sp, r7");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 960) TEST_UNSUPPORTED(__inst_thumb32(0xfa0ff88f) " @ sxth r8, pc");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 961) TEST_UNSUPPORTED(__inst_thumb32(0xfa0ff88d) " @ sxth r8, sp");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 962)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 963) TEST_RR( "uxtah r0, r",0, HH1,", r",1, HH2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 964) TEST_RR( "uxtah r14,r",12, HH2,", r",10,HH1,", ror #8")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 965) TEST_R( "uxth r8, r",7, HH1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 966)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 967) TEST_RR( "sxtab16 r0, r",0, HH1,", r",1, HH2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 968) TEST_RR( "sxtab16 r14,r",12, HH2,", r",10,HH1,", ror #8")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 969) TEST_R( "sxtb16 r8, r",7, HH1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 970)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 971) TEST_RR( "uxtab16 r0, r",0, HH1,", r",1, HH2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 972) TEST_RR( "uxtab16 r14,r",12, HH2,", r",10,HH1,", ror #8")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 973) TEST_R( "uxtb16 r8, r",7, HH1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 974)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 975) TEST_RR( "sxtab r0, r",0, HH1,", r",1, HH2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 976) TEST_RR( "sxtab r14,r",12, HH2,", r",10,HH1,", ror #8")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 977) TEST_R( "sxtb r8, r",7, HH1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 978)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 979) TEST_RR( "uxtab r0, r",0, HH1,", r",1, HH2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 980) TEST_RR( "uxtab r14,r",12, HH2,", r",10,HH1,", ror #8")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 981) TEST_R( "uxtb r8, r",7, HH1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 982)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 983) TEST_UNSUPPORTED(__inst_thumb32(0xfa6000f0) "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 984) TEST_UNSUPPORTED(__inst_thumb32(0xfa7fffff) "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 985)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 986) #define PARALLEL_ADD_SUB(op) \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 987) TEST_RR( op"add16 r0, r",0, HH1,", r",1, HH2,"") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 988) TEST_RR( op"add16 r14, r",12,HH2,", r",10,HH1,"") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 989) TEST_RR( op"asx r0, r",0, HH1,", r",1, HH2,"") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 990) TEST_RR( op"asx r14, r",12,HH2,", r",10,HH1,"") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 991) TEST_RR( op"sax r0, r",0, HH1,", r",1, HH2,"") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 992) TEST_RR( op"sax r14, r",12,HH2,", r",10,HH1,"") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 993) TEST_RR( op"sub16 r0, r",0, HH1,", r",1, HH2,"") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 994) TEST_RR( op"sub16 r14, r",12,HH2,", r",10,HH1,"") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 995) TEST_RR( op"add8 r0, r",0, HH1,", r",1, HH2,"") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 996) TEST_RR( op"add8 r14, r",12,HH2,", r",10,HH1,"") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 997) TEST_RR( op"sub8 r0, r",0, HH1,", r",1, HH2,"") \
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 998) TEST_RR( op"sub8 r14, r",12,HH2,", r",10,HH1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 999)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1000) TEST_GROUP("Parallel addition and subtraction, signed")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1001)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1002) PARALLEL_ADD_SUB("s")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1003) PARALLEL_ADD_SUB("q")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1004) PARALLEL_ADD_SUB("sh")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1005)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1006) TEST_GROUP("Parallel addition and subtraction, unsigned")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1007)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1008) PARALLEL_ADD_SUB("u")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1009) PARALLEL_ADD_SUB("uq")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1010) PARALLEL_ADD_SUB("uh")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1011)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1012) TEST_GROUP("Miscellaneous operations")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1013)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1014) TEST_RR("qadd r0, r",1, VAL1,", r",2, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1015) TEST_RR("qadd lr, r",9, VAL2,", r",8, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1016) TEST_RR("qsub r0, r",1, VAL1,", r",2, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1017) TEST_RR("qsub lr, r",9, VAL2,", r",8, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1018) TEST_RR("qdadd r0, r",1, VAL1,", r",2, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1019) TEST_RR("qdadd lr, r",9, VAL2,", r",8, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1020) TEST_RR("qdsub r0, r",1, VAL1,", r",2, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1021) TEST_RR("qdsub lr, r",9, VAL2,", r",8, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1022)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1023) TEST_R("rev.w r0, r",0, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1024) TEST_R("rev r14, r",12, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1025) TEST_R("rev16.w r0, r",0, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1026) TEST_R("rev16 r14, r",12, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1027) TEST_R("rbit r0, r",0, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1028) TEST_R("rbit r14, r",12, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1029) TEST_R("revsh.w r0, r",0, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1030) TEST_R("revsh r14, r",12, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1031)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1032) TEST_UNSUPPORTED(__inst_thumb32(0xfa9cff8c) " @ rev pc, r12");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1033) TEST_UNSUPPORTED(__inst_thumb32(0xfa9cfd8c) " @ rev sp, r12");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1034) TEST_UNSUPPORTED(__inst_thumb32(0xfa9ffe8f) " @ rev r14, pc");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1035) TEST_UNSUPPORTED(__inst_thumb32(0xfa9dfe8d) " @ rev r14, sp");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1036)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1037) TEST_RR("sel r0, r",0, VAL1,", r",1, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1038) TEST_RR("sel r14, r",12,VAL1,", r",10, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1039)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1040) TEST_R("clz r0, r",0, 0x0,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1041) TEST_R("clz r7, r",14,0x1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1042) TEST_R("clz lr, r",7, 0xffffffff,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1043)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1044) TEST_UNSUPPORTED(__inst_thumb32(0xfa80f030) "") /* Unallocated space */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1045) TEST_UNSUPPORTED(__inst_thumb32(0xfaffff7f) "") /* Unallocated space */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1046) TEST_UNSUPPORTED(__inst_thumb32(0xfab0f000) "") /* Unallocated space */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1047) TEST_UNSUPPORTED(__inst_thumb32(0xfaffff7f) "") /* Unallocated space */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1048)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1049) TEST_GROUP("Multiply, multiply accumulate, and absolute difference operations")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1050)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1051) TEST_RR( "mul r0, r",1, VAL1,", r",2, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1052) TEST_RR( "mul r7, r",8, VAL2,", r",9, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1053) TEST_UNSUPPORTED(__inst_thumb32(0xfb08ff09) " @ mul pc, r8, r9")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1054) TEST_UNSUPPORTED(__inst_thumb32(0xfb08fd09) " @ mul sp, r8, r9")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1055) TEST_UNSUPPORTED(__inst_thumb32(0xfb0ff709) " @ mul r7, pc, r9")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1056) TEST_UNSUPPORTED(__inst_thumb32(0xfb0df709) " @ mul r7, sp, r9")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1057) TEST_UNSUPPORTED(__inst_thumb32(0xfb08f70f) " @ mul r7, r8, pc")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1058) TEST_UNSUPPORTED(__inst_thumb32(0xfb08f70d) " @ mul r7, r8, sp")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1059)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1060) TEST_RRR( "mla r0, r",1, VAL1,", r",2, VAL2,", r",3, VAL3,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1061) TEST_RRR( "mla r7, r",8, VAL3,", r",9, VAL1,", r",10, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1062) TEST_UNSUPPORTED(__inst_thumb32(0xfb08af09) " @ mla pc, r8, r9, r10");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1063) TEST_UNSUPPORTED(__inst_thumb32(0xfb08ad09) " @ mla sp, r8, r9, r10");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1064) TEST_UNSUPPORTED(__inst_thumb32(0xfb0fa709) " @ mla r7, pc, r9, r10");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1065) TEST_UNSUPPORTED(__inst_thumb32(0xfb0da709) " @ mla r7, sp, r9, r10");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1066) TEST_UNSUPPORTED(__inst_thumb32(0xfb08a70f) " @ mla r7, r8, pc, r10");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1067) TEST_UNSUPPORTED(__inst_thumb32(0xfb08a70d) " @ mla r7, r8, sp, r10");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1068) TEST_UNSUPPORTED(__inst_thumb32(0xfb08d709) " @ mla r7, r8, r9, sp");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1069)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1070) TEST_RRR( "mls r0, r",1, VAL1,", r",2, VAL2,", r",3, VAL3,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1071) TEST_RRR( "mls r7, r",8, VAL3,", r",9, VAL1,", r",10, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1072)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1073) TEST_RRR( "smlabb r0, r",1, VAL1,", r",2, VAL2,", r",3, VAL3,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1074) TEST_RRR( "smlabb r7, r",8, VAL3,", r",9, VAL1,", r",10, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1075) TEST_RRR( "smlatb r0, r",1, VAL1,", r",2, VAL2,", r",3, VAL3,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1076) TEST_RRR( "smlatb r7, r",8, VAL3,", r",9, VAL1,", r",10, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1077) TEST_RRR( "smlabt r0, r",1, VAL1,", r",2, VAL2,", r",3, VAL3,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1078) TEST_RRR( "smlabt r7, r",8, VAL3,", r",9, VAL1,", r",10, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1079) TEST_RRR( "smlatt r0, r",1, VAL1,", r",2, VAL2,", r",3, VAL3,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1080) TEST_RRR( "smlatt r7, r",8, VAL3,", r",9, VAL1,", r",10, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1081) TEST_RR( "smulbb r0, r",1, VAL1,", r",2, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1082) TEST_RR( "smulbb r7, r",8, VAL3,", r",9, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1083) TEST_RR( "smultb r0, r",1, VAL1,", r",2, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1084) TEST_RR( "smultb r7, r",8, VAL3,", r",9, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1085) TEST_RR( "smulbt r0, r",1, VAL1,", r",2, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1086) TEST_RR( "smulbt r7, r",8, VAL3,", r",9, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1087) TEST_RR( "smultt r0, r",1, VAL1,", r",2, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1088) TEST_RR( "smultt r7, r",8, VAL3,", r",9, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1089)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1090) TEST_RRR( "smlad r0, r",0, HH1,", r",1, HH2,", r",2, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1091) TEST_RRR( "smlad r14, r",12,HH2,", r",10,HH1,", r",8, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1092) TEST_RRR( "smladx r0, r",0, HH1,", r",1, HH2,", r",2, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1093) TEST_RRR( "smladx r14, r",12,HH2,", r",10,HH1,", r",8, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1094) TEST_RR( "smuad r0, r",0, HH1,", r",1, HH2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1095) TEST_RR( "smuad r14, r",12,HH2,", r",10,HH1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1096) TEST_RR( "smuadx r0, r",0, HH1,", r",1, HH2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1097) TEST_RR( "smuadx r14, r",12,HH2,", r",10,HH1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1098)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1099) TEST_RRR( "smlawb r0, r",1, VAL1,", r",2, VAL2,", r",3, VAL3,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1100) TEST_RRR( "smlawb r7, r",8, VAL3,", r",9, VAL1,", r",10, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1101) TEST_RRR( "smlawt r0, r",1, VAL1,", r",2, VAL2,", r",3, VAL3,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1102) TEST_RRR( "smlawt r7, r",8, VAL3,", r",9, VAL1,", r",10, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1103) TEST_RR( "smulwb r0, r",1, VAL1,", r",2, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1104) TEST_RR( "smulwb r7, r",8, VAL3,", r",9, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1105) TEST_RR( "smulwt r0, r",1, VAL1,", r",2, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1106) TEST_RR( "smulwt r7, r",8, VAL3,", r",9, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1107)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1108) TEST_RRR( "smlsd r0, r",0, HH1,", r",1, HH2,", r",2, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1109) TEST_RRR( "smlsd r14, r",12,HH2,", r",10,HH1,", r",8, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1110) TEST_RRR( "smlsdx r0, r",0, HH1,", r",1, HH2,", r",2, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1111) TEST_RRR( "smlsdx r14, r",12,HH2,", r",10,HH1,", r",8, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1112) TEST_RR( "smusd r0, r",0, HH1,", r",1, HH2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1113) TEST_RR( "smusd r14, r",12,HH2,", r",10,HH1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1114) TEST_RR( "smusdx r0, r",0, HH1,", r",1, HH2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1115) TEST_RR( "smusdx r14, r",12,HH2,", r",10,HH1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1116)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1117) TEST_RRR( "smmla r0, r",0, VAL1,", r",1, VAL2,", r",2, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1118) TEST_RRR( "smmla r14, r",12,VAL2,", r",10,VAL1,", r",8, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1119) TEST_RRR( "smmlar r0, r",0, VAL1,", r",1, VAL2,", r",2, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1120) TEST_RRR( "smmlar r14, r",12,VAL2,", r",10,VAL1,", r",8, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1121) TEST_RR( "smmul r0, r",0, VAL1,", r",1, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1122) TEST_RR( "smmul r14, r",12,VAL2,", r",10,VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1123) TEST_RR( "smmulr r0, r",0, VAL1,", r",1, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1124) TEST_RR( "smmulr r14, r",12,VAL2,", r",10,VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1125)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1126) TEST_RRR( "smmls r0, r",0, VAL1,", r",1, VAL2,", r",2, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1127) TEST_RRR( "smmls r14, r",12,VAL2,", r",10,VAL1,", r",8, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1128) TEST_RRR( "smmlsr r0, r",0, VAL1,", r",1, VAL2,", r",2, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1129) TEST_RRR( "smmlsr r14, r",12,VAL2,", r",10,VAL1,", r",8, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1130)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1131) TEST_RRR( "usada8 r0, r",0, VAL1,", r",1, VAL2,", r",2, VAL3,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1132) TEST_RRR( "usada8 r14, r",12,VAL2,", r",10,VAL1,", r",8, VAL3,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1133) TEST_RR( "usad8 r0, r",0, VAL1,", r",1, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1134) TEST_RR( "usad8 r14, r",12,VAL2,", r",10,VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1135)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1136) TEST_UNSUPPORTED(__inst_thumb32(0xfb00f010) "") /* Unallocated space */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1137) TEST_UNSUPPORTED(__inst_thumb32(0xfb0fff1f) "") /* Unallocated space */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1138) TEST_UNSUPPORTED(__inst_thumb32(0xfb70f010) "") /* Unallocated space */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1139) TEST_UNSUPPORTED(__inst_thumb32(0xfb7fff1f) "") /* Unallocated space */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1140) TEST_UNSUPPORTED(__inst_thumb32(0xfb700010) "") /* Unallocated space */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1141) TEST_UNSUPPORTED(__inst_thumb32(0xfb7fff1f) "") /* Unallocated space */
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1142)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1143) TEST_GROUP("Long multiply, long multiply accumulate, and divide")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1144)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1145) TEST_RR( "smull r0, r1, r",2, VAL1,", r",3, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1146) TEST_RR( "smull r7, r8, r",9, VAL2,", r",10, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1147) TEST_UNSUPPORTED(__inst_thumb32(0xfb89f80a) " @ smull pc, r8, r9, r10");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1148) TEST_UNSUPPORTED(__inst_thumb32(0xfb89d80a) " @ smull sp, r8, r9, r10");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1149) TEST_UNSUPPORTED(__inst_thumb32(0xfb897f0a) " @ smull r7, pc, r9, r10");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1150) TEST_UNSUPPORTED(__inst_thumb32(0xfb897d0a) " @ smull r7, sp, r9, r10");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1151) TEST_UNSUPPORTED(__inst_thumb32(0xfb8f780a) " @ smull r7, r8, pc, r10");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1152) TEST_UNSUPPORTED(__inst_thumb32(0xfb8d780a) " @ smull r7, r8, sp, r10");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1153) TEST_UNSUPPORTED(__inst_thumb32(0xfb89780f) " @ smull r7, r8, r9, pc");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1154) TEST_UNSUPPORTED(__inst_thumb32(0xfb89780d) " @ smull r7, r8, r9, sp");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1155)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1156) TEST_RR( "umull r0, r1, r",2, VAL1,", r",3, VAL2,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1157) TEST_RR( "umull r7, r8, r",9, VAL2,", r",10, VAL1,"")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1158)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1159) TEST_RRRR( "smlal r",0, VAL1,", r",1, VAL2,", r",2, VAL3,", r",3, VAL4)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1160) TEST_RRRR( "smlal r",8, VAL4,", r",9, VAL1,", r",10,VAL2,", r",11,VAL3)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1161)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1162) TEST_RRRR( "smlalbb r",0, VAL1,", r",1, VAL2,", r",2, VAL3,", r",3, VAL4)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1163) TEST_RRRR( "smlalbb r",8, VAL4,", r",9, VAL1,", r",10,VAL2,", r",11,VAL3)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1164) TEST_RRRR( "smlalbt r",0, VAL1,", r",1, VAL2,", r",2, VAL3,", r",3, VAL4)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1165) TEST_RRRR( "smlalbt r",8, VAL4,", r",9, VAL1,", r",10,VAL2,", r",11,VAL3)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1166) TEST_RRRR( "smlaltb r",0, VAL1,", r",1, VAL2,", r",2, VAL3,", r",3, VAL4)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1167) TEST_RRRR( "smlaltb r",8, VAL4,", r",9, VAL1,", r",10,VAL2,", r",11,VAL3)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1168) TEST_RRRR( "smlaltt r",0, VAL1,", r",1, VAL2,", r",2, VAL3,", r",3, VAL4)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1169) TEST_RRRR( "smlaltt r",8, VAL4,", r",9, VAL1,", r",10,VAL2,", r",11,VAL3)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1170)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1171) TEST_RRRR( "smlald r",0, VAL1,", r",1, VAL2, ", r",0, HH1,", r",1, HH2)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1172) TEST_RRRR( "smlald r",11,VAL2,", r",10,VAL1, ", r",9, HH2,", r",8, HH1)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1173) TEST_RRRR( "smlaldx r",0, VAL1,", r",1, VAL2, ", r",0, HH1,", r",1, HH2)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1174) TEST_RRRR( "smlaldx r",11,VAL2,", r",10,VAL1, ", r",9, HH2,", r",8, HH1)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1175)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1176) TEST_RRRR( "smlsld r",0, VAL1,", r",1, VAL2, ", r",0, HH1,", r",1, HH2)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1177) TEST_RRRR( "smlsld r",11,VAL2,", r",10,VAL1, ", r",9, HH2,", r",8, HH1)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1178) TEST_RRRR( "smlsldx r",0, VAL1,", r",1, VAL2, ", r",0, HH1,", r",1, HH2)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1179) TEST_RRRR( "smlsldx r",11,VAL2,", r",10,VAL1, ", r",9, HH2,", r",8, HH1)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1180)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1181) TEST_RRRR( "umlal r",0, VAL1,", r",1, VAL2,", r",2, VAL3,", r",3, VAL4)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1182) TEST_RRRR( "umlal r",8, VAL4,", r",9, VAL1,", r",10,VAL2,", r",11,VAL3)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1183) TEST_RRRR( "umaal r",0, VAL1,", r",1, VAL2,", r",2, VAL3,", r",3, VAL4)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1184) TEST_RRRR( "umaal r",8, VAL4,", r",9, VAL1,", r",10,VAL2,", r",11,VAL3)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1185)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1186) TEST_GROUP("Coprocessor instructions")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1187)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1188) TEST_UNSUPPORTED(__inst_thumb32(0xfc000000) "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1189) TEST_UNSUPPORTED(__inst_thumb32(0xffffffff) "")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1190)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1191) TEST_GROUP("Testing instructions in IT blocks")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1192)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1193) TEST_ITBLOCK("sub.w r0, r0")
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1194)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1195) verbose("\n");
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1196) }
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1197)