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
);