| /* |
| * Blackfin testcase for testing illegal/legal 16-bit opcodes from userspace |
| * we track all instructions which cause some sort of exception when run from |
| * userspace, this is normally EXCAUSE : |
| * - 0x21 : illegal instruction |
| * - 0x22 : illegal instruction combination |
| * - 0x2e : use of supervisor resource from userspace |
| * and walk every instruction from 0x0000 to 0xbfff |
| */ |
| |
| # mach: bfin |
| # sim: --environment operating |
| |
| #include "test.h" |
| .include "testutils.inc" |
| |
| start |
| |
| /* Set up exception handler */ |
| imm32 P4, EVT3; |
| loadsym R1, _evx; |
| [P4] = R1; |
| |
| /* set up the _location */ |
| loadsym P0, _location |
| loadsym P1, _table; |
| [P0] = P1; |
| |
| /* Enable single stepping */ |
| R0 = 1; |
| SYSCFG = R0; |
| |
| /* Lower to the code we want to single step through */ |
| loadsym R1, _usr; |
| RETI = R1; |
| |
| /* set up pointers to valid data (32Meg), to reduce address violations */ |
| init_p_regs 0x2000000; |
| init_i_regs 0x2000000; |
| init_b_regs 0x2000000; |
| init_l_regs 0; |
| imm32 fp, 0x2000000; |
| usp = p0; |
| |
| RTI; |
| |
| .align 4; |
| _usr: |
| .dd 0x0000; |
| jump fail_lvl; |
| |
| _evx: |
| /* Make sure exception reason is single step */ |
| R3 = SEQSTAT; |
| R4 = 0x3f; |
| R3 = R3 & R4; |
| |
| /* find a match */ |
| loadsym P0, _usr; |
| loadsym P2, _location; |
| P1 = [P2]; |
| R0 = W[P0]; |
| |
| _match: |
| R7 = W[P1++]; |
| R6 = W[P1++]; |
| R5 = W[P1++]; |
| |
| /* is this the end of the table? */ |
| R4 = 0; |
| CC = R4 == R7; |
| IF CC jump _legal_instruction; |
| |
| /* is the opcode (R0) greater than the 2nd entry in the table (R6) */ |
| /* if so look at the next line in the table */ |
| CC = R6 < R0; |
| if CC jump _match; |
| |
| /* is the opcode (R0) smaller than the first entry in the table (R7) */ |
| /* this means it's somewhere between the two lines, and should be legal */ |
| CC = R7 <= R0; |
| if !CC jump _legal_instruction; |
| |
| /* is the current EXCAUSE (R3), the same as the table (R5) */ |
| /* if not, fail */ |
| CC = R3 == R5 |
| if !CC jump fail_lvl; |
| |
| _match_done: |
| /* back up, and store the location to search next */ |
| R0 = P1; |
| /* 3 back, * word/byte) */ |
| R0 += (-3 * 2); |
| [P2] = R0; |
| |
| /* it matches, so fall through */ |
| jump _next_instruction; |
| |
| _legal_instruction: |
| R4 = 0x10; |
| CC = R3 == R4; |
| IF !CC JUMP fail_lvl; |
| /* it wasn't in the list, and was a single step, so fall through */ |
| |
| _next_instruction: |
| /* increment, and go again. */ |
| loadsym P0, _usr; |
| R0 = W[P0]; |
| R0 += 1; |
| W[P0] = R0; |
| R1 = 0xC000 (Z); |
| CC = R1 == R0; |
| IF CC JUMP pass_lvl; |
| |
| /* Make sure the opcode isn't in a write buffer */ |
| SSYNC; |
| |
| loadsym R1, _usr |
| RETX = R1; |
| |
| /* set up pointers to valid data (32Meg), to reduce address violations */ |
| init_p_regs 0x2000000; |
| init_i_regs 0x2000000; |
| init_b_regs 0x2000000; |
| init_l_regs 0; |
| imm32 fp, 0x2000000; |
| usp = p0; |
| RETS = p0; |
| RETN = p0; |
| RETE = p0; |
| RETI = p0; |
| RTX; |
| |
| pass_lvl: |
| dbg_pass; |
| fail_lvl: |
| dbg_fail; |
| |
| |
| /* this table must be sorted, and end with zero */ |
| .data |
| .align 4; |
| _location: |
| .dd 0 |
| _table: |
| /* start end SEQSTAT */ |
| .dw 0x0001, 0x000f, 0x21 |
| .dw 0x0011, 0x0013, 0x2e |
| .ifndef BFIN_JTAG |
| .dw 0x0014, 0x0014, 0x2e /* anomaly - RTX works when emulator attached */ |
| .endif |
| .dw 0x0015, 0x001F, 0x21 |
| .dw 0x0021, 0x0022, 0x21 |
| .dw 0x0026, 0x0026, 0x21 |
| .ifndef BFIN_JTAG |
| .dw 0x0027, 0x0027, 0x21 /* anomaly 492 - unknown */ |
| .endif |
| .dw 0x0028, 0x002F, 0x21 |
| .dw 0x0030, 0x0037, 0x2e |
| .dw 0x0038, 0x003F, 0x21 |
| .dw 0x0040, 0x0047, 0x2e |
| .dw 0x0048, 0x004F, 0x21 |
| .dw 0x0058, 0x005F, 0x21 |
| .dw 0x0068, 0x006F, 0x21 |
| .dw 0x0078, 0x007F, 0x21 |
| .dw 0x0088, 0x008F, 0x21 |
| .dw 0x0090, 0x009F, 0x2E |
| .dw 0x00a0, 0x00a0, 0x00 |
| .dw 0x00a1, 0x00a1, 0x01 |
| .dw 0x00a2, 0x00a2, 0x02 |
| .dw 0x00a3, 0x00a3, 0x03 |
| .dw 0x00a4, 0x00a4, 0x04 |
| .dw 0x00a5, 0x00a5, 0x05 |
| .dw 0x00a6, 0x00a6, 0x06 |
| .dw 0x00a7, 0x00a7, 0x07 |
| .dw 0x00a8, 0x00a8, 0x08 |
| .dw 0x00a9, 0x00a9, 0x09 |
| .dw 0x00aa, 0x00aa, 0x0a |
| .dw 0x00ab, 0x00ab, 0x0b |
| .dw 0x00ac, 0x00ac, 0x0c |
| .dw 0x00ad, 0x00ad, 0x0d |
| .dw 0x00ae, 0x00ae, 0x0e |
| .dw 0x00af, 0x00af, 0x0f |
| .dw 0x00b6, 0x010f, 0x21 |
| .dw 0x0124, 0x0124, 0x21 |
| .ifndef BFIN_JTAG |
| .dw 0x0125, 0x0125, 0x21 /* anomaly 492 res = [SP++] */ |
| .endif |
| .dw 0x0128, 0x012F, 0x21 |
| .dw 0x0138, 0x0138, 0x22 |
| .dw 0x0139, 0x013F, 0x2E |
| .dw 0x0164, 0x0164, 0x21 |
| .ifndef BFIN_JTAG |
| .dw 0x0165, 0x0165, 0x21 /* anomaly 492 [--SP] = res */ |
| .endif |
| .dw 0x0168, 0x016F, 0x21 |
| .dw 0x0178, 0x017F, 0x2E |
| .dw 0x0180, 0x01FF, 0x21 |
| .dw 0x0210, 0x0217, 0x21 |
| .ifndef BFIN_JTAG |
| .dw 0x0219, 0x021F, 0x21 /* anomaly 492 CC = !CC opcode is 0000 0010 0001 1xxx */ |
| .endif |
| .dw 0x0220, 0x023F, 0x21 |
| .dw 0x0280, 0x02FF, 0x21 |
| .dw 0x0305, 0x0305, 0x21 |
| .dw 0x0325, 0x0325, 0x21 |
| .dw 0x0345, 0x0345, 0x21 |
| .dw 0x0365, 0x0365, 0x21 |
| .dw 0x0385, 0x0385, 0x21 |
| .dw 0x03a5, 0x03a5, 0x21 |
| .dw 0x03c5, 0x03c5, 0x21 |
| .dw 0x03e5, 0x03e5, 0x21 |
| .dw 0x0400, 0x047F, 0x21 |
| .dw 0x0486, 0x04Bf, 0x21 |
| .dw 0x04c6, 0x04FF, 0x21 |
| .dw 0x0501, 0x0507, 0x21 |
| .dw 0x0509, 0x050F, 0x21 |
| .dw 0x0511, 0x0517, 0x21 |
| .dw 0x0519, 0x051F, 0x21 |
| .dw 0x0521, 0x0527, 0x21 |
| .dw 0x0529, 0x052F, 0x21 |
| .dw 0x0531, 0x0537, 0x21 |
| .dw 0x0539, 0x053F, 0x21 |
| .dw 0x0541, 0x0547, 0x21 |
| .dw 0x0549, 0x054F, 0x21 |
| .dw 0x0551, 0x0557, 0x21 |
| .dw 0x0559, 0x055F, 0x21 |
| .dw 0x0561, 0x0567, 0x21 |
| .dw 0x0569, 0x056F, 0x21 |
| .dw 0x0571, 0x0577, 0x21 |
| .dw 0x0579, 0x057F, 0x21 |
| .dw 0x0586, 0x0587, 0x21 |
| .dw 0x058e, 0x058F, 0x21 |
| .dw 0x0596, 0x0597, 0x21 |
| .dw 0x059e, 0x059f, 0x21 |
| .dw 0x05a6, 0x05a7, 0x21 |
| .dw 0x05ae, 0x05af, 0x21 |
| .dw 0x05b6, 0x05b7, 0x21 |
| .dw 0x05be, 0x05bf, 0x21 |
| .dw 0x05c6, 0x05c7, 0x21 |
| .dw 0x05ce, 0x05cf, 0x21 |
| .dw 0x05d6, 0x05d7, 0x21 |
| .dw 0x05de, 0x05df, 0x21 |
| .dw 0x05e6, 0x05e7, 0x21 |
| .dw 0x05ee, 0x05ef, 0x21 |
| .dw 0x05f6, 0x05f7, 0x21 |
| .dw 0x05fe, 0x05ff, 0x21 |
| .dw 0x0a81, 0x0aff, 0x21 |
| .dw 0x0b01, 0x0b7f, 0x21 |
| .dw 0x0b81, 0x0bff, 0x21 |
| .dw 0x0e80, 0x0fff, 0x21 |
| .dw 0x3104, 0x3105, 0x21 |
| .dw 0x310c, 0x310d, 0x21 |
| .dw 0x3114, 0x3115, 0x21 |
| .dw 0x311c, 0x311d, 0x21 |
| .dw 0x3124, 0x3125, 0x21 |
| .dw 0x312c, 0x312d, 0x21 |
| .dw 0x3134, 0x3135, 0x21 |
| .dw 0x313c, 0x313d, 0x21 |
| .dw 0x3140, 0x317F, 0x21 |
| .dw 0x31c0, 0x31ff, 0x2E |
| .dw 0x3304, 0x3305, 0x21 |
| .dw 0x330c, 0x330d, 0x21 |
| .dw 0x3314, 0x3315, 0x21 |
| .dw 0x331c, 0x331d, 0x21 |
| .dw 0x3324, 0x3325, 0x21 |
| .dw 0x332c, 0x332d, 0x21 |
| .dw 0x3334, 0x3335, 0x21 |
| .dw 0x333c, 0x333d, 0x21 |
| .dw 0x3340, 0x337f, 0x21 |
| .dw 0x33c0, 0x33ff, 0x2e |
| .dw 0x3504, 0x3507, 0x21 |
| .dw 0x350c, 0x350F, 0x21 |
| .dw 0x3514, 0x3517, 0x21 |
| .dw 0x351c, 0x351F, 0x21 |
| .dw 0x3524, 0x3527, 0x21 |
| .dw 0x352c, 0x352f, 0x21 |
| .dw 0x3534, 0x3537, 0x21 |
| .dw 0x353c, 0x353f, 0x21 |
| .dw 0x3540, 0x35c6, 0x21 |
| .dw 0x35c7, 0x35c7, 0x2e |
| .dw 0x35c8, 0x35ce, 0x21 |
| .dw 0x35cf, 0x35cf, 0x2e |
| .dw 0x35d0, 0x35d6, 0x21 |
| .dw 0x35d7, 0x35d7, 0x2e |
| .dw 0x35d8, 0x35de, 0x21 |
| .dw 0x35df, 0x35df, 0x2e |
| .dw 0x35e0, 0x35e6, 0x21 |
| .dw 0x35e7, 0x35e7, 0x2e |
| .dw 0x35e8, 0x35ee, 0x21 |
| .dw 0x35ef, 0x35ef, 0x2e |
| .dw 0x35f0, 0x35f6, 0x21 |
| .dw 0x35f7, 0x35f7, 0x2e |
| .dw 0x35f8, 0x35fe, 0x21 |
| .dw 0x35ff, 0x35ff, 0x2e |
| .dw 0x3704, 0x3707, 0x21 |
| .dw 0x370c, 0x370f, 0x21 |
| .dw 0x3714, 0x3717, 0x21 |
| .dw 0x371c, 0x371f, 0x21 |
| .dw 0x3724, 0x3727, 0x21 |
| .dw 0x372c, 0x372f, 0x21 |
| .dw 0x3734, 0x3737, 0x21 |
| .dw 0x373c, 0x37c6, 0x21 |
| .dw 0x37c7, 0x37c7, 0x2e |
| .dw 0x37c8, 0x37ce, 0x21 |
| .dw 0x37cf, 0x37cf, 0x2e |
| .dw 0x37d0, 0x37d6, 0x21 |
| .dw 0x37d7, 0x37d7, 0x2e |
| .dw 0x37d8, 0x37de, 0x21 |
| .dw 0x37df, 0x37df, 0x2e |
| .dw 0x37e0, 0x37e6, 0x21 |
| .dw 0x37e7, 0x37e7, 0x2e |
| .dw 0x37e8, 0x37ee, 0x21 |
| .dw 0x37ef, 0x37ef, 0x2e |
| .dw 0x37f0, 0x37f6, 0x21 |
| .dw 0x37f7, 0x37f7, 0x2e |
| .dw 0x37f8, 0x37fe, 0x21 |
| .dw 0x37ff, 0x37ff, 0x2e |
| .dw 0x3820, 0x382f, 0x21 |
| .dw 0x3860, 0x386f, 0x21 |
| .dw 0x38a0, 0x38af, 0x21 |
| .dw 0x38b0, 0x38bf, 0x21 |
| .dw 0x38e0, 0x38ef, 0x21 |
| .dw 0x38f0, 0x38ff, 0x21 |
| .dw 0x3904, 0x3907, 0x21 |
| .dw 0x390c, 0x390f, 0x21 |
| .dw 0x3914, 0x3917, 0x21 |
| .dw 0x391c, 0x392f, 0x21 |
| .dw 0x3934, 0x3937, 0x21 |
| .dw 0x393c, 0x39bf, 0x21 |
| .dw 0x397f, 0x397f, 0x2e |
| .dw 0x3980, 0x39bf, 0x21 |
| .dw 0x39c0, 0x39c0, 0x2e |
| .dw 0x39c1, 0x39c7, 0x21 |
| .dw 0x39c8, 0x39c8, 0x2e |
| .dw 0x39c9, 0x39cf, 0x21 |
| .dw 0x39d0, 0x39d0, 0x2e |
| .dw 0x39d1, 0x39d7, 0x21 |
| .dw 0x39d8, 0x39d8, 0x2e |
| .dw 0x39d9, 0x39ef, 0x21 |
| .dw 0x39f0, 0x39f0, 0x2e |
| .dw 0x39f1, 0x39f6, 0x21 |
| .dw 0x39f7, 0x39f8, 0x2e |
| .dw 0x39f9, 0x39fe, 0x21 |
| .dw 0x39ff, 0x39ff, 0x2e |
| .dw 0x3a00, 0x3bff, 0x21 |
| .dw 0x3c80, 0x3cff, 0x21 |
| .dw 0x3d04, 0x3d07, 0x21 |
| .dw 0x3d0c, 0x3d0f, 0x21 |
| .dw 0x3d14, 0x3d17, 0x21 |
| .dw 0x3d1c, 0x3d1f, 0x21 |
| .dw 0x3d24, 0x3d27, 0x21 |
| .dw 0x3d2c, 0x3d2f, 0x21 |
| .dw 0x3d34, 0x3d37, 0x21 |
| .dw 0x3d3c, 0x3dbf, 0X21 |
| .dw 0x3dc0, 0x3dc0, 0x2e |
| .dw 0x3dc1, 0x3dc6, 0x21 |
| .dw 0x3dc7, 0x3dc8, 0x2e |
| .dw 0x3dc9, 0x3dce, 0x21 |
| .dw 0x3dcf, 0x3dd0, 0x2e |
| .dw 0x3dd1, 0x3dd6, 0x21 |
| .dw 0x3dd7, 0x3dd8, 0x2e |
| .dw 0x3dd9, 0x3dde, 0x21 |
| .dw 0x3ddf, 0x3de0, 0x2e |
| .dw 0x3de1, 0x3de6, 0x21 |
| .dw 0x3de7, 0x3de8, 0x2e |
| .dw 0x3de9, 0x3dee, 0x21 |
| .dw 0x3def, 0x3df0, 0x2e |
| .dw 0x3df1, 0x3df6, 0x21 |
| .dw 0x3df7, 0x3df8, 0x2e |
| .dw 0x3df9, 0x3dfe, 0x21 |
| .dw 0x3dff, 0x3e7f, 0x2e |
| .dw 0x3e80, 0x3eb7, 0x21 |
| .dw 0x3eb8, 0x3ebf, 0x2e |
| .dw 0x3ec0, 0x3ef7, 0x21 |
| .dw 0x3ef8, 0x3f03, 0x2e |
| .dw 0x3f04, 0x3f07, 0x21 |
| .dw 0x3f08, 0x3f0b, 0x2e |
| .dw 0x3f0c, 0x3f0f, 0x21 |
| .dw 0x3f10, 0x3f13, 0x2e |
| .dw 0x3f14, 0x3f17, 0x21 |
| .dw 0x3f18, 0x3f1b, 0x2e |
| .dw 0x3f1c, 0x3f1f, 0x21 |
| .dw 0x3f20, 0x3f23, 0x2e |
| .dw 0x3f24, 0x3f27, 0x21 |
| .dw 0x3f28, 0x3f2b, 0x2e |
| .dw 0x3f2c, 0x3f2f, 0x21 |
| .dw 0x3f30, 0x3f33, 0x2e |
| .dw 0x3f34, 0x3f37, 0x21 |
| .dw 0x3f38, 0x3f3b, 0x2e |
| .dw 0x3f3c, 0x3f3d, 0x21 |
| .dw 0x3f3e, 0x3f3f, 0x2e |
| .dw 0x3f40, 0x3fb7, 0x21 |
| .dw 0x3fb8, 0x3fc0, 0x2e |
| .dw 0x3fc1, 0x3fc6, 0x21 |
| .dw 0x3fc7, 0x3fc8, 0x2e |
| .dw 0x3fc9, 0x3fce, 0x21 |
| .dw 0x3fcf, 0x3fd0, 0x2e |
| .dw 0x3fd1, 0x3fd6, 0x21 |
| .dw 0x3fd7, 0x3fd8, 0x2e |
| .dw 0x3fd9, 0x3fde, 0x21 |
| .dw 0x3fdf, 0x3fe0, 0x2e |
| .dw 0x3fe1, 0x3fe6, 0x21 |
| .dw 0x3fe7, 0x3fe8, 0x2e |
| .dw 0x3fe9, 0x3fee, 0x21 |
| .dw 0x3fef, 0x3ff0, 0x2e |
| .dw 0x3ff1, 0x3ff6, 0x21 |
| .dw 0x3ff7, 0x3fff, 0x2e |
| .dw 0x4180, 0x41FF, 0x21 |
| .dw 0x4480, 0x44bF, 0x21 |
| .dw 0x4600, 0x47FF, 0x21 |
| .dw 0x7000, 0x7FFF, 0x21 |
| .dw 0x9040, 0x9040, 0x22 |
| .dw 0x9049, 0x9049, 0x22 |
| .dw 0x9052, 0x9052, 0x22 |
| .dw 0x905b, 0x905b, 0x22 |
| .dw 0x9064, 0x9064, 0x22 |
| .dw 0x906d, 0x906d, 0x22 |
| .dw 0x9076, 0x9076, 0x22 |
| .dw 0x907f, 0x907f, 0x22 |
| .dw 0x90c0, 0x90c0, 0x22 |
| .dw 0x90c9, 0x90c9, 0x22 |
| .dw 0x90d2, 0x90d2, 0x22 |
| .dw 0x90db, 0x90db, 0x22 |
| .dw 0x90e4, 0x90e4, 0x22 |
| .dw 0x90ed, 0x90ed, 0x22 |
| .dw 0x90f6, 0x90f6, 0x22 |
| .dw 0x90ff, 0x90ff, 0x22 |
| .dw 0x9180, 0x91ff, 0x21 |
| .dw 0x9380, 0x93ff, 0x21 |
| .dw 0x9580, 0x95ff, 0x21 |
| .dw 0x9640, 0x967f, 0x21 |
| .dw 0x96c0, 0x96ff, 0x21 |
| .dw 0x9740, 0x97ff, 0x21 |
| .dw 0x9980, 0x99ff, 0x21 |
| .dw 0x9a40, 0x9a7f, 0x21 |
| .dw 0x9ac0, 0x9aff, 0x21 |
| .dw 0x9b40, 0x9bff, 0x21 |
| .dw 0x9c60, 0x9c7f, 0x21 |
| .dw 0x9ce0, 0x9cff, 0x21 |
| .dw 0x9d60, 0x9d7f, 0x21 |
| .dw 0x9ef0, 0x9eff, 0x21 |
| .dw 0x9f70, 0x9f7f, 0x21 |
| .dw 0x0000, 0x0000, 0x00 |
