diff --git a/gcc/ChangeLog b/gcc/ChangeLog index c9af64a056b..1a295ba5b6c 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +Thu Jun 5 14:59:44 CEST 2003 Jan Hubicka + + * combine.c (simplify_if_then_else): (IF_THEN_ELSE (NE REG 0) (0) (8)) + is REG for nonzero_bits (REG) == 8. + Thu Jun 5 13:23:51 CEST 2003 Jan Hubicka * i386.md (align): Fix warning; clarify what to do when no p2align diff --git a/gcc/combine.c b/gcc/combine.c index c47065568fd..d476bf0ac82 100644 --- a/gcc/combine.c +++ b/gcc/combine.c @@ -5049,6 +5049,14 @@ simplify_if_then_else (x) simplify_shift_const (NULL_RTX, ASHIFT, mode, gen_lowpart_for_combine (mode, XEXP (cond, 0)), i); + /* (IF_THEN_ELSE (NE REG 0) (0) (8)) is REG for nonzero_bits (REG) == 8. */ + if (true_code == NE && XEXP (cond, 1) == const0_rtx + && false_rtx == const0_rtx && GET_CODE (true_rtx) == CONST_INT + && (INTVAL (true_rtx) & GET_MODE_MASK (mode)) + == nonzero_bits (XEXP (cond, 0), mode) + && (i = exact_log2 (INTVAL (true_rtx) & GET_MODE_MASK (mode))) >= 0) + return XEXP (cond, 0); + return x; }