diff options
author | rsandifo <rsandifo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-08-14 11:55:52 +0000 |
---|---|---|
committer | rsandifo <rsandifo@138bc75d-0d04-0410-961f-82ee72b054a4> | 2006-08-14 11:55:52 +0000 |
commit | 4438235082d92dd64278dc9b15cb0f9b19b1e2e7 (patch) | |
tree | 708c5891d7f7a0a2c10d910822ab1ea133ae9978 /gcc/reorg.c | |
parent | 863b3aaff1a0e18aa76ea7526b98141e50d5d260 (diff) | |
download | gcc-4438235082d92dd64278dc9b15cb0f9b19b1e2e7.tar.gz |
gcc/
PR rtl-optimization/28634
* reorg.c (fill_slots_from_thread): Do not assume A + X - X == A
for floating-point modes unless flag_unsafe_math_optimizations.
gcc/testsuite/
PR rtl-optimization/28634
* gcc.c-torture/execute/ieee/pr28634.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@116124 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/reorg.c')
-rw-r--r-- | gcc/reorg.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/reorg.c b/gcc/reorg.c index 42ecda0db4c..8c097dca412 100644 --- a/gcc/reorg.c +++ b/gcc/reorg.c @@ -2817,6 +2817,8 @@ fill_slots_from_thread (rtx insn, rtx condition, rtx thread, dest = SET_DEST (pat), src = SET_SRC (pat); if ((GET_CODE (src) == PLUS || GET_CODE (src) == MINUS) && rtx_equal_p (XEXP (src, 0), dest) + && (!FLOAT_MODE_P (GET_MODE (src)) + || flag_unsafe_math_optimizations) && ! reg_overlap_mentioned_p (dest, XEXP (src, 1)) && ! side_effects_p (pat)) { |