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