// 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 |