blob: 8163417f391bb33bcb117959f421a6a39ea4dbd9 [file] [log] [blame]
//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