diff options
| author | law <law@138bc75d-0d04-0410-961f-82ee72b054a4> | 2000-02-11 19:35:57 +0000 |
|---|---|---|
| committer | law <law@138bc75d-0d04-0410-961f-82ee72b054a4> | 2000-02-11 19:35:57 +0000 |
| commit | 3cc4218a4239d4c95cdcbb19082c73a5b125f4aa (patch) | |
| tree | 4f7c1de9d41848cde64412c8651f3224743ee4d4 | |
| parent | ffb6162735a81d82e931314fe2bde06d9ea4a94e (diff) | |
| download | ppe42-gcc-3cc4218a4239d4c95cdcbb19082c73a5b125f4aa.tar.gz ppe42-gcc-3cc4218a4239d4c95cdcbb19082c73a5b125f4aa.zip | |
* jump.c (jump_optimize_1): The first operand in a relational
can be a CONST_INT.
* optabs.c (emit_conditional_move): Handle relationals which
have a known true/false result.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@31929 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | gcc/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/jump.c | 8 | ||||
| -rw-r--r-- | gcc/optabs.c | 6 |
3 files changed, 18 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 5feeef00f7a..a4cdc7354a2 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +Feb 11 12:30:53 2000 Jeffrey A Law (law@cygnus.com) + + * jump.c (jump_optimize_1): The first operand in a relational + can be a CONST_INT. + * optabs.c (emit_conditional_move): Handle relationals which + have a known true/false result. + 2000-02-11 Geoff Keating <geoffk@cygnus.com> * function.c (thread_prologue_and_epilogue_insns): Don't insert diff --git a/gcc/jump.c b/gcc/jump.c index fcabc27d349..d816b126ac4 100644 --- a/gcc/jump.c +++ b/gcc/jump.c @@ -1305,10 +1305,16 @@ jump_optimize_1 (f, cross_jump, noop_moves, after_regscan, mark_labels_only) insn? After all, we're going to delete it. We'd have to modify emit_conditional_move to take a comparison rtx instead or write a new function. */ - cond0 = gen_reg_rtx (GET_MODE (XEXP (temp4, 0))); + /* We want the target to be able to simplify comparisons with zero (and maybe other constants as well), so don't create pseudos for them. There's no need to either. */ + if (GET_CODE (XEXP (temp4, 0)) == CONST_INT + || GET_CODE (XEXP (temp4, 0)) == CONST_DOUBLE) + cond0 = XEXP (temp4, 0); + else + cond0 = gen_reg_rtx (GET_MODE (XEXP (temp4, 0))); + if (GET_CODE (XEXP (temp4, 1)) == CONST_INT || GET_CODE (XEXP (temp4, 1)) == CONST_DOUBLE) cond1 = XEXP (temp4, 1); diff --git a/gcc/optabs.c b/gcc/optabs.c index df08316a325..9ce0c926460 100644 --- a/gcc/optabs.c +++ b/gcc/optabs.c @@ -3593,9 +3593,11 @@ emit_conditional_move (target, code, op0, op1, cmode, op2, op3, mode, = compare_from_rtx (op0, op1, code, unsignedp, cmode, NULL_RTX, 0); /* ??? Watch for const0_rtx (nop) and const_true_rtx (unconditional)? */ + /* We can get const0_rtx or const_true_rtx in some circumstances. Just + return NULL and let the caller figure out how best to deal with this + situation. */ if (GET_CODE (comparison) != code) - /* This shouldn't happen. */ - abort (); + return NULL_RTX; insn = GEN_FCN (icode) (subtarget, comparison, op2, op3); |
