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