12 res
= 0x8000000000000000;
18 "dextr_rs.l %0, $ac1, 0x8\n\t"
21 : "r"(achi
), "r"(acli
)
23 dsp
= (dsp
>> 23) & 0x1;
25 if ((dsp
!= resdsp
) || (rt
!= res
)) {
26 printf("dextr_rs.l error\n");
39 "dextr_rs.l %0, $ac1, 0x0\n\t"
42 : "r"(achi
), "r"(acli
)
44 dsp
= (dsp
>> 23) & 0x1;
46 if ((dsp
!= resdsp
) || (rt
!= res
)) {
47 printf("dextr_rs.l error\n");