1// When the RND12 instruction produces large negative results, the AV0 flag is 2// should not be set. 3# mach: bfin 4 5#include "test.h" 6.include "testutils.inc" 7 start 8 9 init_r_regs 0; 10 ASTAT = R0; 11 12 R0.H = 0xcef4; 13 R0.L = 0x3ed6; 14 R1.H = 0x56f4; 15 R1.L = 0x417a; 16 R2.H = R0 - R1 (RND12); 17 18 _DBG ASTAT; 19 R0 = ASTAT; 20 CHECKREG R0, (_VS|_V|_V_COPY|_AN); 21 CHECKREG R2, 0x80000000; 22 23 pass 24