5 long long rd, rs, rt, dsp;
9 rs = 0x1234567812345678;
10 rt = 0x8765432187654321;
12 res = 0x1234567812345678;
17 "pick.qh %0, %2, %3\n\t"
23 printf("pick.qh error\n");
29 rs = 0x1234567812345678;
30 rt = 0x8765432187654321;
32 res = 0x8765432187654321;
37 "pick.qh %0, %2, %3\n\t"
43 printf("pick.qh error\n");