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