5 long long rd
, rs
, rt
, dsp
;
8 rs
= 0x7fff567812345678;
9 rt
= 0x8765432187654321;
11 res
= 0xffac24ac00860086;
15 ("precrqu_s.ob.qh %0, %2, %3\n\t"
20 dsp
= (dsp
>> 22) & 0x1;
21 if ((rd
!= res
) || (dsp
!= resdsp
)) {
22 printf("precrq_s.ob.qh error\n");