9 rs
= 0x1234567812345678;
10 rt
= 0x8765432187654321;
12 res
= 0x1234123487658765;
15 ("precrq_rs.qh.pw %0, %1, %2\n\t"
21 printf("precrq_rs.qh.pw error\n");
25 rs
= 0x7fffC67812345678;
26 rt
= 0x8765432187654321;
28 res
= 0x7fff123487658765;
31 ("precrq_rs.qh.pw %0, %2, %3\n\t"
38 printf("precrq_rs.qh.pw error\n");