/*
 * 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