diff --git a/gcc/ChangeLog b/gcc/ChangeLog index cef575916e1..33096a35db8 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +Wed Aug 23 04:55:48 2000 Alexandre Oliva + + * simplify-rtx.c (simplify_rtx): Don't pass VOIDmode to + simplify_relational_operation() unless both operands are of + VOIDmode. + * cse.c (fold_rtx): Likewise. + Tue Aug 22 23:53:27 EDT 2000 John Wehle (john@feith.com) * rtlanal.c (rtx_unstable_p): The pic register is stable diff --git a/gcc/cse.c b/gcc/cse.c index 105420454f9..7073f1eea9e 100644 --- a/gcc/cse.c +++ b/gcc/cse.c @@ -3858,7 +3858,19 @@ fold_rtx (x, insn) } } - new = simplify_relational_operation (code, mode_arg0, + new = simplify_relational_operation (code, + (mode_arg0 != VOIDmode + ? mode_arg0 + : (GET_MODE (const_arg0 + ? const_arg0 + : folded_arg0) + != VOIDmode) + ? GET_MODE (const_arg0 + ? const_arg0 + : folded_arg0) + : GET_MODE (const_arg1 + ? const_arg1 + : folded_arg1)), const_arg0 ? const_arg0 : folded_arg0, const_arg1 ? const_arg1 : folded_arg1); #ifdef FLOAT_STORE_FLAG_VALUE diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c index e97e7b76a1b..701b7ba1721 100644 --- a/gcc/simplify-rtx.c +++ b/gcc/simplify-rtx.c @@ -1694,7 +1694,7 @@ simplify_relational_operation (code, mode, op0, op1) if (mode == VOIDmode && (GET_MODE (op0) != VOIDmode || GET_MODE (op1) != VOIDmode)) - abort(); + abort (); /* If op0 is a compare, extract the comparison arguments from it. */ if (GET_CODE (op0) == COMPARE && op1 == const0_rtx) @@ -2091,7 +2091,10 @@ simplify_rtx (x) XEXP (x, 0), XEXP (x, 1), XEXP (x, 2)); case '<': - return simplify_relational_operation (code, GET_MODE (XEXP (x, 0)), + return simplify_relational_operation (code, + (GET_MODE (XEXP (x, 0)) != VOIDmode + ? GET_MODE (XEXP (x, 0)) + : GET_MODE (XEXP (x, 1))), XEXP (x, 0), XEXP (x, 1)); default: return NULL;