7 int ccond_i, outflag_i, efi_i, c_i, scount_i, pos_i;
8 int ccond_o, outflag_o, efi_o, c_o, scount_o, pos_o;
10 ccond_i = 0x000000BC; /* 4 */
11 outflag_i = 0x0000001B; /* 3 */
12 efi_i = 0x00000001; /* 5 */
13 c_i = 0x00000001; /* 2 */
14 scount_i = 0x0000000F; /* 1 */
15 pos_i = 0x0000000C; /* 0 */
17 dsp_i = (ccond_i << 24) | \
31 ccond_o = (dsp_o >> 24) & 0xFF;
32 outflag_o = (dsp_o >> 16) & 0xFF;
33 efi_o = (dsp_o >> 14) & 0x01;
34 c_o = (dsp_o >> 14) & 0x01;
35 scount_o = (dsp_o >> 7) & 0x3F;
38 assert(ccond_o == (ccond_i & 0x0F));
39 assert(outflag_o == outflag_i);
40 assert(efi_o == efi_i);
42 assert(scount_o == scount_i);
43 assert(pos_o == pos_i);