| // When the RND12 instruction produces large negative results, the AV0 flag is | |
| // should not be set. | |
| # mach: bfin | |
| #include "test.h" | |
| .include "testutils.inc" | |
| start | |
| init_r_regs 0; | |
| ASTAT = R0; | |
| R0.H = 0xcef4; | |
| R0.L = 0x3ed6; | |
| R1.H = 0x56f4; | |
| R1.L = 0x417a; | |
| R2.H = R0 - R1 (RND12); | |
| _DBG ASTAT; | |
| R0 = ASTAT; | |
| CHECKREG R0, (_VS|_V|_V_COPY|_AN); | |
| CHECKREG R2, 0x80000000; | |
| pass |