8 rt
= 0x8765432187654321;
9 rs
= 0x1234567812345678;
11 res
= 0x4321432156785678;
14 ("precr_sra.qh.pw %0, %1, 0x0\n\t"
20 printf("precr_sra.qh.pw error\n");
24 rt
= 0x8765432187654321;
25 rs
= 0x1234567812345678;
27 res
= 0x5432543245674567;
30 ("precr_sra.qh.pw %0, %1, 0x4\n\t"
36 printf("precr_sra.qh.pw error\n");