13 res
= 0x2100000000123456;
19 "dextrv_r.l %0, $ac1, %4\n\t"
22 : "r"(achi
), "r"(acli
), "r"(rs
)
25 dsp
= (dsp
>> 23) & 0x1;
27 if ((dsp
!= resdsp
) || (rt
!= res
)) {
28 printf("dextrv_r.l error\n");
42 "dextrv_r.l %0, $ac1, %4\n\t"
45 : "r"(achi
), "r"(acli
), "r"(rs
)
48 dsp
= (dsp
>> 23) & 0x1;
50 if ((dsp
!= resdsp
) || (rt
!= res
)) {
51 printf("dextrv_r.l error\n");