| //Original:/testcases/core/c_brcc_brf_brt_bp/c_brcc_brf_brt_bp.dsp |
| // Spec Reference: brcc brfbrt |
| # mach: bfin |
| |
| .include "testutils.inc" |
| start |
| |
| |
| |
| |
| imm32 r0, 0x00000000; |
| imm32 r1, 0x00000000; |
| imm32 r2, 0x00000000; |
| imm32 r3, 0x00000000; |
| imm32 r4, 0x00000444; |
| imm32 r5, 0x00000555; |
| imm32 r6, 0x00000000; |
| imm32 r7, 0x00000000; |
| |
| begin: |
| ASTAT = R0; // clear cc |
| CC = R4 < R5; |
| IF CC JUMP good1 (BP); // branch on true (should branch) |
| R1 = 1; // if go here, error |
| good1: IF !CC JUMP bad1 (BP); // branch on false (should not branch) |
| CC = ! CC; |
| IF !CC JUMP good2; // should branch here |
| bad1: R2 = 2; // if go here, error |
| good2: CC = ! CC; // clear cc=0 |
| IF CC JUMP good3 (BP); // branch on false (should branch) |
| R3 = 3; // if go here, error |
| good3: IF !CC JUMP bad2 (BP); // branch on true (should not branch) |
| IF CC JUMP end; // we're done |
| bad2: R0 = 8; // if go here error |
| |
| end: |
| |
| CHECKREG r0, 0x00000000; |
| CHECKREG r1, 0x00000000; |
| CHECKREG r2, 0x00000000; |
| CHECKREG r3, 0x00000000; |
| CHECKREG r4, 0x00000444; |
| CHECKREG r5, 0x00000555; |
| CHECKREG r6, 0x00000000; |
| CHECKREG r7, 0x00000000; |
| |
| pass |