5 long long rd, rs, rt, result, dspreg, dspresult;
6 rs = 0x123456787FFFFFFF;
7 rt = 0x1111111100000001;
8 result = 0x234567897FFFFFFF;
12 ("addq_s.pw %0, %2, %3\n\t"
14 : "=r"(rd), "=r"(dspreg)
18 dspreg = ((dspreg >> 20) & 0x01);
19 if ((rd != result) || (dspreg != dspresult)) {
20 printf("addq_s.pw error\n");
25 rs = 0x80FFFFFFE00000FF;
26 rt = 0x80000001200000DD;
27 result = 0x80000000000001DC;
31 ("addq_s.pw %0, %2, %3\n\t"
33 : "=r"(rd), "=r"(dspreg)
37 dspreg = ((dspreg >> 20) & 0x01);
38 if ((rd != result) || (dspreg != dspresult)) {
39 printf("addq_s.pw error\n");