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");