diff options
Diffstat (limited to 'sim/testsuite/bfin/c_ccflag_a0a1.S')
-rw-r--r-- | sim/testsuite/bfin/c_ccflag_a0a1.S | 143 |
1 files changed, 143 insertions, 0 deletions
diff --git a/sim/testsuite/bfin/c_ccflag_a0a1.S b/sim/testsuite/bfin/c_ccflag_a0a1.S new file mode 100644 index 00000000000..8163417f391 --- /dev/null +++ b/sim/testsuite/bfin/c_ccflag_a0a1.S @@ -0,0 +1,143 @@ +//Original:/testcases/core/c_ccflag_a0a1/c_ccflag_a0a1.dsp +// Spec Reference: ccflag a0-a1 (==, <, <=) +# mach: bfin + +#include "test.h" +.include "testutils.inc" + start + + imm32 r0, 0x12345778; + imm32 r1, 0x12345678; + imm32 r2, 0x056789ab; + imm32 r3, 0x80231345; + + imm32 r4, 0x00770088; + imm32 r5, 0x009900aa; + imm32 r6, 0x00bb00cc; + imm32 r7, _UNSET; + + ASTAT = R7; + R4 = ASTAT; + A0 = R0; + A1 = R0; + +// positive a0 EQUAL to a1 + CC = A0 == A1; + R5 = ASTAT; + CC = A0 < A1; + R6 = ASTAT; + CHECKREG r4, _UNSET; + CHECKREG r5, (_AC0|_CC|_AC0_COPY|_AZ); + CHECKREG r6, (_AC0|_AC0_COPY|_AZ); + CC = A0 <= A1; + R5 = ASTAT; + CC = A0 < A1; + R6 = ASTAT; + CC = A0 <= A1; + R7 = ASTAT; + CHECKREG r5, (_AC0|_CC|_AC0_COPY|_AZ); + CHECKREG r6, (_AC0|_AC0_COPY|_AZ); + CHECKREG r7, (_AC0|_CC|_AC0_COPY|_AZ); + +// positive a0 GREATER than to positive a1 + A1 = R1; + CC = A0 == A1; + R5 = ASTAT; + CC = A0 < A1; + R6 = ASTAT; + CC = A0 <= A1; + R7 = ASTAT; + CHECKREG r5, (_AC0|_AC0_COPY); // carry + CHECKREG r6, (_AC0|_AC0_COPY); + CHECKREG r7, (_AC0|_AC0_COPY); + +// positive a0 LESS than to positive a1 + A1 = R2; + CC = A0 == A1; + R5 = ASTAT; + CC = A0 < A1; + R6 = ASTAT; + CC = A0 <= A1; + R7 = ASTAT; + CHECKREG r5, (_AC0|_AC0_COPY); + CHECKREG r6, (_AC0|_AC0_COPY); + CHECKREG r7, (_AC0|_AC0_COPY); + +// positive a0 GREATER than to neg a1 + A1 = R3; + CC = A0 == A1; + R5 = ASTAT; + CC = A0 < A1; + R6 = ASTAT; + CC = A0 <= A1; + R7 = ASTAT; + CHECKREG r5, _UNSET; + CHECKREG r6, _UNSET; + CHECKREG r7, _UNSET; + +// negative a0 and positive a1 + imm32 r0, -1; + imm32 r1, 2; + imm32 r2, -3; + imm32 r3, -4; + A0 = R0; + A1 = R1; + + R7 = 0; + ASTAT = R7; + R4 = ASTAT; + + CC = A0 == A1; + R5 = ASTAT; + CC = A0 < A1; + R6 = ASTAT; + CC = A0 <= A1; + R7 = ASTAT; + CHECKREG r4, _UNSET; + CHECKREG r5, (_AC0|_AC0_COPY|_AN); + CHECKREG r6, (_AC0|_AC0_COPY|_CC|_AN); + CHECKREG r7, (_AC0|_AC0_COPY|_CC|_AN); + +// negative a0 LESS than neg a1 + A0 = R3; + A1 = R4; + CC = A0 == A1; + R5 = ASTAT; + CC = A0 < A1; + R6 = ASTAT; + CC = A0 <= A1; + R7 = ASTAT; + CHECKREG r4, _UNSET; + CHECKREG r5, (_AC0|_AC0_COPY|_AN); + CHECKREG r6, (_AC0|_AC0_COPY|_CC|_AN); + CHECKREG r7, (_AC0|_AC0_COPY|_CC|_AN); + +// negative a0 GREATER neg a1 + A0 = R0; + A1 = R3; + CC = A0 == A1; + R5 = ASTAT; + CC = A0 < A1; + R6 = ASTAT; + CC = A0 <= A1; + R7 = ASTAT; + CHECKREG r4, _UNSET; + CHECKREG r5, (_AC0|_AC0_COPY); + CHECKREG r6, (_AC0|_AC0_COPY); + CHECKREG r7, (_AC0|_AC0_COPY); + +// negative a0 EQUAL neg imm3 + A0 = R3; + A1 = R3; + CC = A0 == A1; + R5 = ASTAT; + CC = A0 < A1; + R6 = ASTAT; + CC = A0 <= A1; + R7 = ASTAT; + CHECKREG r4, _UNSET; + CHECKREG r5, (_AC0|_CC|_AC0_COPY|_AZ); + CHECKREG r6, (_AC0|_AC0_COPY|_AZ); + CHECKREG r7, (_AC0|_CC|_AC0_COPY|_AZ); + + pass |