9 rs
= 0x1234567845BCFFFF;
10 rt
= 0x8765432198529AD2;
11 result
= 0x52fbec7035a2ca5c;
14 ("muleq_s.pw.qhr %0, %1, %2\n\t"
20 printf("1 muleq_s.pw.qhr error\n");
26 rs
= 0x1234567845BC8000;
27 rt
= 0x8765432198528000;
28 result
= 0x52fbec707FFFFFFF;
31 ("muleq_s.pw.qhr %0, %1, %2\n\t"
37 printf("2 muleq_s.pw.qhr error\n");
51 printf("3 muleq_s.pw.qhr error\n");