re PR middle-end/34627 (Incorrect branching with -Ox on hppa)

PR middle-end/34627
	combine.c (simplify_if_then_else): Make sure the comparison is
	against const0_rtx when simplifying to (abs x) or (neg (abs X)).

From-SVN: r132194
This commit is contained in:
Steven Bosscher
2008-02-09 00:34:19 +00:00
committed by John David Anglin
parent e73173c452
commit d522121a5c
2 changed files with 8 additions and 1 deletions

View File

@@ -1,3 +1,9 @@
2008-02-08 Steven Bosscher <stevenb.gcc@gmail.com>
PR middle-end/34627
combine.c (simplify_if_then_else): Make sure the comparison is
against const0_rtx when simplifying to (abs x) or (neg (abs X)).
2008-07-07 Richard Henderson <rth@redhat.com>
PR rtl-opt/33410

View File

@@ -4968,9 +4968,10 @@ simplify_if_then_else (rtx x)
/* Look for cases where we have (abs x) or (neg (abs X)). */
if (GET_MODE_CLASS (mode) == MODE_INT
&& comparison_p
&& XEXP (cond, 1) == const0_rtx
&& GET_CODE (false_rtx) == NEG
&& rtx_equal_p (true_rtx, XEXP (false_rtx, 0))
&& comparison_p
&& rtx_equal_p (true_rtx, XEXP (cond, 0))
&& ! side_effects_p (true_rtx))
switch (true_code)