sim/testsuite/sim/bfin/se_all16bitopcodes.S

   1 /*
   2  * Blackfin testcase for testing illegal/legal 16-bit opcodes from userspace
   3  * we track all instructions which cause some sort of exception when run from
   4  * userspace, this is normally EXCAUSE :
   5  *  - 0x21 : illegal instruction
   6  *  - 0x22 : illegal instruction combination
   7  *  - 0x2e : use of supervisor resource from userspace
   8  * and walk every instruction from 0x0000 to 0xbfff
   9  */
  10
  11 # mach: bfin
  12 # sim: --environment operating
  13
  14 #include "test.h"
  15         .include "testutils.inc"
  16
  17         start
  18
  19         /* Set up exception handler */
  20         imm32 P4, EVT3;
  21         loadsym R1, _evx;
  22         [P4] = R1;
  23
  24         /* set up the _location */
  25         loadsym P0, _location
  26         loadsym P1, _table;
  27         [P0] = P1;
  28
  29         /* Enable single stepping */
  30         R0 = 1;
  31         SYSCFG = R0;
  32
  33         /* Lower to the code we want to single step through */
  34         loadsym P1, _usr;
  35         RETI = P1;
  36
  37         /* set up pointers to valid data (32Meg), to reduce address violations */
  38         .macro reset_regs
  39         imm32 r0, 0x2000000;
  40         l0 = 0; l1 = 0; l2 = 0; l3 = 0;
  41         p0 = r0; p1 = r0; p2 = r0; p3 = r0; p4 = r0; p5 = r0;
  42         usp = r0; fp = r0;
  43         i0 = r0; i1 = r0; i2 = r0; i3 = r0;
  44         b0 = r0; b1 = r0; b2 = r0; b3 = r0;
  45         .endm
  46         reset_regs
  47
  48         RTI;
  49
  50         .align 4;
  51 _evx:
  52         /* Make sure exception reason is single step */
  53         R3 = SEQSTAT;
  54         R4 = 0x3f;
  55         R3 = R3 & R4;
  56
  57         /* find a match */
  58         loadsym P5, _usr;
  59         loadsym P4, _location;
  60         R2 = W[P5];
  61         P1 = [P4];
  62         R0 = R2;
  63
  64 _match:
  65         P2 = P1;
  66         R7 = W[P1++];
  67         R6 = W[P1++];
  68         R5 = W[P1++];
  69
  70         /* is this the end of the table? */
  71         R4 = 0;
  72         CC = R4 == R7;
  73         IF CC jump _new_instruction;
  74
  75         /* is the opcode (R0) greater than the 2nd entry in the table (R6) */
  76         /* if so look at the next line in the table */
  77         CC = R6 < R0;
  78         if CC jump _match;
  79
  80         /* is the opcode (R0) smaller than the first entry in the table (R7) */
  81         /* this means it's somewhere between the two lines, and should be legal */
  82         CC = R7 <= R0;
  83         if !CC jump _legal_instruction;
  84
  85         /* is the current EXCAUSE (R3), the same as the table (R5) */
  86         /* if not, fail */
  87         CC = R3 == R5
  88         if !CC jump fail_lvl;
  89
  90 _match_done:
  91         /* back up, and store the location to search next */
  92         [P4] = P2;
  93
  94         /* it matches, so fall through */
  95         jump _next_instruction;
  96
  97 _new_instruction:
  98         jump _legal_instruction;
  99
 100         /* output the insn (R0) and excause (R3) if diff from last */
 101         loadsym P0, _last_excause;
 102         R2 = [P0];
 103         CC = R2 == R3;
 104         IF CC jump _next_instruction;
 105         [P0] = R3;
 106
 107 .ifdef BFIN_JTAG_xxxxx
 108         R1 = R0;
 109         R0 = 0x4;
 110         call __emu_out;
 111         R0 = R1 << 16;
 112         R0 = R0 | R3;
 113         call __emu_out;
 114 .else
 115         loadsym P0, _next_location;
 116         P1 = [P0];
 117         W[P1++] = R0;
 118         W[P1++] = R3;
 119         [P0] = P1;
 120 .endif
 121
 122         jump _next_instruction;
 123
 124 _legal_instruction:
 125         R4 = 0x10;
 126         CC = R3 == R4;
 127         IF !CC JUMP fail_lvl;
 128         /* it wasn't in the list, and was a single step, so fall through */
 129
 130 _next_instruction:
 131         /* increment, and go again. */
 132         R0 = R2;
 133
 134         R0 += 1;
 135         /* finish once we hit the 32bit limit */
 136         R1 = 0xC000 (Z);
 137         CC = R1 == R0;
 138         IF CC JUMP pass_lvl;
 139
 140         W[P5] = R0;
 141
 142         /* Make sure the opcode isn't in a write buffer */
 143         SSYNC;
 144
 145         R1 = P5;
 146         RETX = R1;
 147
 148         /* set up pointers to valid data (32Meg), to reduce address violations */
 149         reset_regs
 150         RETS = r0;
 151         RETN = r0;
 152         RETE = r0;
 153         RETI = r0;
 154
 155         RTX;
 156
 157 pass_lvl:
 158         dbg_pass;
 159 fail_lvl:
 160         dbg_fail;
 161
 162         .section .text.usr
 163         .align 4
 164 _usr:
 165         .dw 0x0000;
 166         loadsym P0, fail_lvl;
 167         JUMP (P0);
 168
 169         /* this table must be sorted, and end with zero */
 170         .data
 171         .align 4;
 172 _last_excause:
 173         .dd 0xffff
 174 _next_location:
 175         .dd _table_end
 176 _location:
 177         .dd 0
 178 _table:
 179         /* start        end             SEQSTAT */
 180         .dw 0x0001,     0x000f,         0x21
 181         .dw 0x0011,     0x0013,         0x2e
 182 .ifndef BFIN_JTAG
 183         .dw 0x0014,     0x0014,         0x2e    /* anomaly - RTX works when emulator attached */
 184 .endif
 185         .dw 0x0015,     0x001F,         0x21
 186         .dw 0x0021,     0x0022,         0x21
 187         .dw 0x0026,     0x0026,         0x21
 188 .ifndef BFIN_JTAG
 189         .dw 0x0027,     0x0027,         0x21    /* anomaly 492 - unknown */
 190 .endif
 191         .dw 0x0028,     0x002F,         0x21
 192         .dw 0x0030,     0x0037,         0x2e
 193         .dw 0x0038,     0x003F,         0x21
 194         .dw 0x0040,     0x0047,         0x2e
 195         .dw 0x0048,     0x004F,         0x21
 196         .dw 0x0058,     0x005F,         0x21
 197         .dw 0x0068,     0x006F,         0x21
 198         .dw 0x0078,     0x007F,         0x21
 199         .dw 0x0088,     0x008F,         0x21
 200         .dw 0x0090,     0x009F,         0x2E
 201         .dw 0x00a0,     0x00a0,         0x00
 202         .dw 0x00a1,     0x00a1,         0x01
 203         .dw 0x00a2,     0x00a2,         0x02
 204         .dw 0x00a3,     0x00a3,         0x03
 205         .dw 0x00a4,     0x00a4,         0x04
 206         .dw 0x00a5,     0x00a5,         0x05
 207         .dw 0x00a6,     0x00a6,         0x06
 208         .dw 0x00a7,     0x00a7,         0x07
 209         .dw 0x00a8,     0x00a8,         0x08
 210         .dw 0x00a9,     0x00a9,         0x09
 211         .dw 0x00aa,     0x00aa,         0x0a
 212         .dw 0x00ab,     0x00ab,         0x0b
 213         .dw 0x00ac,     0x00ac,         0x0c
 214         .dw 0x00ad,     0x00ad,         0x0d
 215         .dw 0x00ae,     0x00ae,         0x0e
 216         .dw 0x00af,     0x00af,         0x0f
 217         .dw 0x00b6,     0x010f,         0x21
 218         .dw 0x0124,     0x0124,         0x21
 219 .ifndef BFIN_JTAG
 220         .dw 0x0125,     0x0125,         0x21    /* anomaly 492  res = [SP++] */
 221 .endif
 222         .dw 0x0128,     0x012F,         0x21
 223         .dw 0x0138,     0x0138,         0x22
 224         .dw 0x0139,     0x013F,         0x2E
 225         .dw 0x0164,     0x0164,         0x21
 226 .ifndef BFIN_JTAG
 227         .dw 0x0165,     0x0165,         0x21    /* anomaly 492 [--SP] = res */
 228 .endif
 229         .dw 0x0168,     0x016F,         0x21
 230         .dw 0x0178,     0x017F,         0x2E
 231         .dw 0x0180,     0x01FF,         0x21
 232         .dw 0x0210,     0x0217,         0x21
 233 .ifndef BFIN_JTAG
 234         .dw 0x0219,     0x021F,         0x21    /* anomaly 492 CC = !CC opcode is  0000 0010 0001 1xxx */
 235 .endif
 236         .dw 0x0220,     0x023F,         0x21
 237         .dw 0x0280,     0x02FF,         0x21
 238         .dw 0x0305,     0x0305,         0x21
 239         .dw 0x0325,     0x0325,         0x21
 240         .dw 0x0345,     0x0345,         0x21
 241         .dw 0x0365,     0x0365,         0x21
 242         .dw 0x0385,     0x0385,         0x21
 243         .dw 0x03a5,     0x03a5,         0x21
 244         .dw 0x03c5,     0x03c5,         0x21
 245         .dw 0x03e5,     0x03e5,         0x21
 246         .dw 0x0400,     0x047F,         0x21
 247         .dw 0x0486,     0x04Bf,         0x21
 248         .dw 0x04c6,     0x04FF,         0x21
 249         .dw 0x0501,     0x0507,         0x21
 250         .dw 0x0509,     0x050F,         0x21
 251         .dw 0x0511,     0x0517,         0x21
 252         .dw 0x0519,     0x051F,         0x21
 253         .dw 0x0521,     0x0527,         0x21
 254         .dw 0x0529,     0x052F,         0x21
 255         .dw 0x0531,     0x0537,         0x21
 256         .dw 0x0539,     0x053F,         0x21
 257         .dw 0x0541,     0x0547,         0x21
 258         .dw 0x0549,     0x054F,         0x21
 259         .dw 0x0551,     0x0557,         0x21
 260         .dw 0x0559,     0x055F,         0x21
 261         .dw 0x0561,     0x0567,         0x21
 262         .dw 0x0569,     0x056F,         0x21
 263         .dw 0x0571,     0x0577,         0x21
 264         .dw 0x0579,     0x057F,         0x21
 265         .dw 0x0586,     0x0587,         0x21
 266         .dw 0x058e,     0x058F,         0x21
 267         .dw 0x0596,     0x0597,         0x21
 268         .dw 0x059e,     0x059f,         0x21
 269         .dw 0x05a6,     0x05a7,         0x21
 270         .dw 0x05ae,     0x05af,         0x21
 271         .dw 0x05b6,     0x05b7,         0x21
 272         .dw 0x05be,     0x05bf,         0x21
 273         .dw 0x05c6,     0x05c7,         0x21
 274         .dw 0x05ce,     0x05cf,         0x21
 275         .dw 0x05d6,     0x05d7,         0x21
 276         .dw 0x05de,     0x05df,         0x21
 277         .dw 0x05e6,     0x05e7,         0x21
 278         .dw 0x05ee,     0x05ef,         0x21
 279         .dw 0x05f6,     0x05f7,         0x21
 280         .dw 0x05fe,     0x05ff,         0x21
 281         .dw 0x0a81,     0x0aff,         0x21
 282         .dw 0x0b01,     0x0b7f,         0x21
 283         .dw 0x0b81,     0x0bff,         0x21
 284         .dw 0x0e80,     0x0fff,         0x21
 285         .dw 0x3104,     0x3105,         0x21
 286         .dw 0x310c,     0x310d,         0x21
 287         .dw 0x3114,     0x3115,         0x21
 288         .dw 0x311c,     0x311d,         0x21
 289         .dw 0x3124,     0x3125,         0x21
 290         .dw 0x312c,     0x312d,         0x21
 291         .dw 0x3134,     0x3135,         0x21
 292         .dw 0x313c,     0x313d,         0x21
 293         .dw 0x3140,     0x317F,         0x21
 294         .dw 0x31c0,     0x31ff,         0x2E
 295         .dw 0x3304,     0x3305,         0x21
 296         .dw 0x330c,     0x330d,         0x21
 297         .dw 0x3314,     0x3315,         0x21
 298         .dw 0x331c,     0x331d,         0x21
 299         .dw 0x3324,     0x3325,         0x21
 300         .dw 0x332c,     0x332d,         0x21
 301         .dw 0x3334,     0x3335,         0x21
 302         .dw 0x333c,     0x333d,         0x21
 303         .dw 0x3340,     0x337f,         0x21
 304         .dw 0x33c0,     0x33ff,         0x2e
 305         .dw 0x3504,     0x3507,         0x21
 306         .dw 0x350c,     0x350F,         0x21
 307         .dw 0x3514,     0x3517,         0x21
 308         .dw 0x351c,     0x351F,         0x21
 309         .dw 0x3524,     0x3527,         0x21
 310         .dw 0x352c,     0x352f,         0x21
 311         .dw 0x3534,     0x3537,         0x21
 312         .dw 0x353c,     0x353f,         0x21
 313         .dw 0x3540,     0x35c6,         0x21
 314         .dw 0x35c7,     0x35c7,         0x2e
 315         .dw 0x35c8,     0x35ce,         0x21
 316         .dw 0x35cf,     0x35cf,         0x2e
 317         .dw 0x35d0,     0x35d6,         0x21
 318         .dw 0x35d7,     0x35d7,         0x2e
 319         .dw 0x35d8,     0x35de,         0x21
 320         .dw 0x35df,     0x35df,         0x2e
 321         .dw 0x35e0,     0x35e6,         0x21
 322         .dw 0x35e7,     0x35e7,         0x2e
 323         .dw 0x35e8,     0x35ee,         0x21
 324         .dw 0x35ef,     0x35ef,         0x2e
 325         .dw 0x35f0,     0x35f6,         0x21
 326         .dw 0x35f7,     0x35f7,         0x2e
 327         .dw 0x35f8,     0x35fe,         0x21
 328         .dw 0x35ff,     0x35ff,         0x2e
 329         .dw 0x3704,     0x3707,         0x21
 330         .dw 0x370c,     0x370f,         0x21
 331         .dw 0x3714,     0x3717,         0x21
 332         .dw 0x371c,     0x371f,         0x21
 333         .dw 0x3724,     0x3727,         0x21
 334         .dw 0x372c,     0x372f,         0x21
 335         .dw 0x3734,     0x3737,         0x21
 336         .dw 0x373c,     0x37c6,         0x21
 337         .dw 0x37c7,     0x37c7,         0x2e
 338         .dw 0x37c8,     0x37ce,         0x21
 339         .dw 0x37cf,     0x37cf,         0x2e
 340         .dw 0x37d0,     0x37d6,         0x21
 341         .dw 0x37d7,     0x37d7,         0x2e
 342         .dw 0x37d8,     0x37de,         0x21
 343         .dw 0x37df,     0x37df,         0x2e
 344         .dw 0x37e0,     0x37e6,         0x21
 345         .dw 0x37e7,     0x37e7,         0x2e
 346         .dw 0x37e8,     0x37ee,         0x21
 347         .dw 0x37ef,     0x37ef,         0x2e
 348         .dw 0x37f0,     0x37f6,         0x21
 349         .dw 0x37f7,     0x37f7,         0x2e
 350         .dw 0x37f8,     0x37fe,         0x21
 351         .dw 0x37ff,     0x37ff,         0x2e
 352         .dw 0x3820,     0x382f,         0x21
 353         .dw 0x3860,     0x386f,         0x21
 354         .dw 0x38a0,     0x38af,         0x21
 355         .dw 0x38b0,     0x38bf,         0x21
 356         .dw 0x38e0,     0x38ef,         0x21
 357         .dw 0x38f0,     0x38ff,         0x21
 358         .dw 0x3904,     0x3907,         0x21
 359         .dw 0x390c,     0x390f,         0x21
 360         .dw 0x3914,     0x3917,         0x21
 361         .dw 0x391c,     0x392f,         0x21
 362         .dw 0x3934,     0x3937,         0x21
 363         .dw 0x393c,     0x39bf,         0x21
 364         .dw 0x397f,     0x397f,         0x2e
 365         .dw 0x3980,     0x39bf,         0x21
 366         .dw 0x39c0,     0x39c0,         0x2e
 367         .dw 0x39c1,     0x39c7,         0x21
 368         .dw 0x39c8,     0x39c8,         0x2e
 369         .dw 0x39c9,     0x39cf,         0x21
 370         .dw 0x39d0,     0x39d0,         0x2e
 371         .dw 0x39d1,     0x39d7,         0x21
 372         .dw 0x39d8,     0x39d8,         0x2e
 373         .dw 0x39d9,     0x39ef,         0x21
 374         .dw 0x39f0,     0x39f0,         0x2e
 375         .dw 0x39f1,     0x39f6,         0x21
 376         .dw 0x39f7,     0x39f8,         0x2e
 377         .dw 0x39f9,     0x39fe,         0x21
 378         .dw 0x39ff,     0x39ff,         0x2e
 379         .dw 0x3a00,     0x3bff,         0x21
 380         .dw 0x3c80,     0x3cff,         0x21
 381         .dw 0x3d04,     0x3d07,         0x21
 382         .dw 0x3d0c,     0x3d0f,         0x21
 383         .dw 0x3d14,     0x3d17,         0x21
 384         .dw 0x3d1c,     0x3d1f,         0x21
 385         .dw 0x3d24,     0x3d27,         0x21
 386         .dw 0x3d2c,     0x3d2f,         0x21
 387         .dw 0x3d34,     0x3d37,         0x21
 388         .dw 0x3d3c,     0x3dbf,         0X21
 389         .dw 0x3dc0,     0x3dc0,         0x2e
 390         .dw 0x3dc1,     0x3dc6,         0x21
 391         .dw 0x3dc7,     0x3dc8,         0x2e
 392         .dw 0x3dc9,     0x3dce,         0x21
 393         .dw 0x3dcf,     0x3dd0,         0x2e
 394         .dw 0x3dd1,     0x3dd6,         0x21
 395         .dw 0x3dd7,     0x3dd8,         0x2e
 396         .dw 0x3dd9,     0x3dde,         0x21
 397         .dw 0x3ddf,     0x3de0,         0x2e
 398         .dw 0x3de1,     0x3de6,         0x21
 399         .dw 0x3de7,     0x3de8,         0x2e
 400         .dw 0x3de9,     0x3dee,         0x21
 401         .dw 0x3def,     0x3df0,         0x2e
 402         .dw 0x3df1,     0x3df6,         0x21
 403         .dw 0x3df7,     0x3df8,         0x2e
 404         .dw 0x3df9,     0x3dfe,         0x21
 405         .dw 0x3dff,     0x3e7f,         0x2e
 406         .dw 0x3e80,     0x3eb7,         0x21
 407         .dw 0x3eb8,     0x3ebf,         0x2e
 408         .dw 0x3ec0,     0x3ef7,         0x21
 409         .dw 0x3ef8,     0x3f03,         0x2e
 410         .dw 0x3f04,     0x3f07,         0x21
 411         .dw 0x3f08,     0x3f0b,         0x2e
 412         .dw 0x3f0c,     0x3f0f,         0x21
 413         .dw 0x3f10,     0x3f13,         0x2e
 414         .dw 0x3f14,     0x3f17,         0x21
 415         .dw 0x3f18,     0x3f1b,         0x2e
 416         .dw 0x3f1c,     0x3f1f,         0x21
 417         .dw 0x3f20,     0x3f23,         0x2e
 418         .dw 0x3f24,     0x3f27,         0x21
 419         .dw 0x3f28,     0x3f2b,         0x2e
 420         .dw 0x3f2c,     0x3f2f,         0x21
 421         .dw 0x3f30,     0x3f33,         0x2e
 422         .dw 0x3f34,     0x3f37,         0x21
 423         .dw 0x3f38,     0x3f3b,         0x2e
 424         .dw 0x3f3c,     0x3f3d,         0x21
 425         .dw 0x3f3e,     0x3f3f,         0x2e
 426         .dw 0x3f40,     0x3fb7,         0x21
 427         .dw 0x3fb8,     0x3fc0,         0x2e
 428         .dw 0x3fc1,     0x3fc6,         0x21
 429         .dw 0x3fc7,     0x3fc8,         0x2e
 430         .dw 0x3fc9,     0x3fce,         0x21
 431         .dw 0x3fcf,     0x3fd0,         0x2e
 432         .dw 0x3fd1,     0x3fd6,         0x21
 433         .dw 0x3fd7,     0x3fd8,         0x2e
 434         .dw 0x3fd9,     0x3fde,         0x21
 435         .dw 0x3fdf,     0x3fe0,         0x2e
 436         .dw 0x3fe1,     0x3fe6,         0x21
 437         .dw 0x3fe7,     0x3fe8,         0x2e
 438         .dw 0x3fe9,     0x3fee,         0x21
 439         .dw 0x3fef,     0x3ff0,         0x2e
 440         .dw 0x3ff1,     0x3ff6,         0x21
 441         .dw 0x3ff7,     0x3fff,         0x2e
 442         .dw 0x4180,     0x41FF,         0x21
 443         .dw 0x4480,     0x44bF,         0x21
 444         .dw 0x4600,     0x47FF,         0x21
 445         .dw 0x7000,     0x7FFF,         0x21
 446         .dw 0x9040,     0x9040,         0x22
 447         .dw 0x9049,     0x9049,         0x22
 448         .dw 0x9052,     0x9052,         0x22
 449         .dw 0x905b,     0x905b,         0x22
 450         .dw 0x9064,     0x9064,         0x22
 451         .dw 0x906d,     0x906d,         0x22
 452         .dw 0x9076,     0x9076,         0x22
 453         .dw 0x907f,     0x907f,         0x22
 454         .dw 0x90c0,     0x90c0,         0x22
 455         .dw 0x90c9,     0x90c9,         0x22
 456         .dw 0x90d2,     0x90d2,         0x22
 457         .dw 0x90db,     0x90db,         0x22
 458         .dw 0x90e4,     0x90e4,         0x22
 459         .dw 0x90ed,     0x90ed,         0x22
 460         .dw 0x90f6,     0x90f6,         0x22
 461         .dw 0x90ff,     0x90ff,         0x22
 462         .dw 0x9180,     0x91ff,         0x21
 463         .dw 0x9380,     0x93ff,         0x21
 464         .dw 0x9580,     0x95ff,         0x21
 465         .dw 0x9640,     0x967f,         0x21
 466         .dw 0x96c0,     0x96ff,         0x21
 467         .dw 0x9740,     0x97ff,         0x21
 468         .dw 0x9980,     0x99ff,         0x21
 469         .dw 0x9a40,     0x9a7f,         0x21
 470         .dw 0x9ac0,     0x9aff,         0x21
 471         .dw 0x9b40,     0x9bff,         0x21
 472         .dw 0x9c60,     0x9c7f,         0x21
 473         .dw 0x9ce0,     0x9cff,         0x21
 474         .dw 0x9d60,     0x9d7f,         0x21
 475         .dw 0x9ef0,     0x9eff,         0x21
 476         .dw 0x9f70,     0x9f7f,         0x21
 477         .dw 0x0000,     0x0000,         0x00
 478 _table_end: