5 long long rd
, rs
, rt
, result
;
8 rs
= 0x45BCFFFF12345678;
9 rt
= 0x98529AD287654321;
10 result
= 0x52fbec7035a2ca5c;
13 ("muleq_s.pw.qhl %0, %1, %2\n\t"
19 printf("1 muleq_s.pw.qhl error\n");
25 rs
= 0x45BC800012345678;
26 rt
= 0x9852800087654321;
27 result
= 0x52fbec707FFFFFFF;
30 ("muleq_s.pw.qhl %0, %1, %2\n\t"
36 printf("2 muleq_s.pw.qhl error\n");
50 printf("3 muleq_s.pw.qhl error\n");