diff options
| author | Roger Sayle <roger@eyesopen.com> | 2004-10-30 00:56:59 +0000 |
|---|---|---|
| committer | Roger Sayle <sayle@gcc.gnu.org> | 2004-10-30 00:56:59 +0000 |
| commit | 5976e643ed10a021367870663b1105aaf064393a (patch) | |
| tree | 3e72bc5f754672ecac841d4642054de785714fa0 /gcc/gcse.c | |
| parent | 8b5a12daa03d076b8b57dc565333eecb8d1880d0 (diff) | |
| download | gcc-5976e643ed10a021367870663b1105aaf064393a.zip gcc-5976e643ed10a021367870663b1105aaf064393a.tar.gz gcc-5976e643ed10a021367870663b1105aaf064393a.tar.bz2 | |
re PR rtl-optimization/17581 (Long long arithmetic fails inside a switch/case statement when compiled with -O2)
PR rtl-optimization/17581
* cselib.c (cselib_process_insn): The last instruction of a libcall
block, with the REG_RETVAL note, should be considered in the libcall.
* gcse.c (do_local_cprop): Allow constants to be propagated outside
of libcall blocks.
(adjust_libcall_notes): Use simplify_replace_rtx instead of
replace_rtx to avoid creating invalid RTL in REG_RETVAL notes.
* gcc.dg/pr17581-1.c: New test case.
From-SVN: r89873
Diffstat (limited to 'gcc/gcse.c')
| -rw-r--r-- | gcc/gcse.c | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -3134,7 +3134,8 @@ do_local_cprop (rtx x, rtx insn, int alter_jumps, rtx *libcall_sp) rtx this_rtx = l->loc; rtx note; - if (l->in_libcall) + /* Don't CSE non-constant values out of libcall blocks. */ + if (l->in_libcall && ! CONSTANT_P (this_rtx)) continue; if (gcse_constant_p (this_rtx)) @@ -3222,7 +3223,7 @@ adjust_libcall_notes (rtx oldreg, rtx newval, rtx insn, rtx *libcall_sp) return true; } } - XEXP (note, 0) = replace_rtx (XEXP (note, 0), oldreg, newval); + XEXP (note, 0) = simplify_replace_rtx (XEXP (note, 0), oldreg, newval); insn = end; } return true; |