12 res
= 0x2100000000123456;
18 "dextr_r.l %0, $ac1, 0x8\n\t"
21 : "r"(achi
), "r"(acli
)
24 dsp
= (dsp
>> 23) & 0x1;
26 if ((dsp
!= resdsp
) || (rt
!= res
)) {
27 printf("dextr_r.l error\n");
40 "dextr_r.l %0, $ac1, 0x0\n\t"
43 : "r"(achi
), "r"(acli
)
46 dsp
= (dsp
>> 23) & 0x1;
48 if ((dsp
!= resdsp
) || (rt
!= res
)) {
49 printf("dextr_r.l error\n");