diff options
| author | Zdenek Dvorak <dvorakz@suse.cz> | 2006-02-16 16:47:20 +0100 |
|---|---|---|
| committer | Zdenek Dvorak <rakdver@gcc.gnu.org> | 2006-02-16 15:47:20 +0000 |
| commit | 28749cfbf33ee0561cb8711ba786d5de6f6fd69f (patch) | |
| tree | 3280aa0470bb6a6fec83e0edd515a0c12b6a1129 /gcc/loop-invariant.c | |
| parent | b81ac2881e267c356ae502af92da39d9837939de (diff) | |
| download | gcc-28749cfbf33ee0561cb8711ba786d5de6f6fd69f.zip gcc-28749cfbf33ee0561cb8711ba786d5de6f6fd69f.tar.gz gcc-28749cfbf33ee0561cb8711ba786d5de6f6fd69f.tar.bz2 | |
re PR rtl-optimization/26296 (ACATS ICE cxg2007 cxg2012 verify_flow_info failed)
PR rtl-optimization/26296
* Makefile.in (loop-invariant.c): Add except.h dependency.
* loop-invariant.c: Include except.h.
(find_invariant_insn): Ignore insns satisfying can_throw_internal.
From-SVN: r111139
Diffstat (limited to 'gcc/loop-invariant.c')
| -rw-r--r-- | gcc/loop-invariant.c | 17 |
1 files changed, 8 insertions, 9 deletions
diff --git a/gcc/loop-invariant.c b/gcc/loop-invariant.c index a57857d..03a0c34 100644 --- a/gcc/loop-invariant.c +++ b/gcc/loop-invariant.c @@ -52,6 +52,7 @@ Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA #include "flags.h" #include "df.h" #include "hashtab.h" +#include "except.h" /* The data stored for the loop. */ @@ -761,16 +762,14 @@ find_invariant_insn (rtx insn, bool always_reached, bool always_executed) || !check_maybe_invariant (SET_SRC (set))) return; - if (may_trap_p (PATTERN (insn))) - { - if (!always_reached) - return; + /* If the insn can throw exception, we cannot move it at all without changing + cfg. */ + if (can_throw_internal (insn)) + return; - /* Unless the exceptions are handled, the behavior is undefined - if the trap occurs. */ - if (flag_non_call_exceptions) - return; - } + /* We cannot make trapping insn executed, unless it was executed before. */ + if (may_trap_p (PATTERN (insn)) && !always_reached) + return; depends_on = BITMAP_ALLOC (NULL); if (!check_dependencies (insn, depends_on)) |