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