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