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