diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/combine.c | 6 |
2 files changed, 9 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d907564..5b10868 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2003-09-07 Roger Sayle <roger@eyesopen.com> + + * combine.c (combine_simplify_rtx): Don't convert -(A*B) into + (-A)*B if we care about sign-dependent rounding. + 2003-09-07 Gabriel Dos Reis <gcc@integrable-solutions.net> * c-pretty-print.h (pp_c_left_brace): Declare. diff --git a/gcc/combine.c b/gcc/combine.c index 26cdf49..0853a2c 100644 --- a/gcc/combine.c +++ b/gcc/combine.c @@ -3970,14 +3970,16 @@ combine_simplify_rtx (rtx x, enum machine_mode op0_mode, int last, /* (neg (mult A B)) becomes (mult (neg A) B). This works even for floating-point values. */ - if (GET_CODE (XEXP (x, 0)) == MULT) + if (GET_CODE (XEXP (x, 0)) == MULT + && !HONOR_SIGN_DEPENDENT_ROUNDING (mode)) { temp = simplify_gen_unary (NEG, mode, XEXP (XEXP (x, 0), 0), mode); return gen_binary (MULT, mode, temp, XEXP (XEXP (x, 0), 1)); } /* (neg (xor A 1)) is (plus A -1) if A is known to be either 0 or 1. */ - if (GET_CODE (XEXP (x, 0)) == XOR && XEXP (XEXP (x, 0), 1) == const1_rtx + if (GET_CODE (XEXP (x, 0)) == XOR + && XEXP (XEXP (x, 0), 1) == const1_rtx && nonzero_bits (XEXP (XEXP (x, 0), 0), mode) == 1) return gen_binary (PLUS, mode, XEXP (XEXP (x, 0), 0), constm1_rtx); |