diff options
| author | Richard Kenner <kenner@vlsi1.ultra.nyu.edu> | 2001-11-08 23:40:15 +0000 |
|---|---|---|
| committer | Richard Kenner <kenner@gcc.gnu.org> | 2001-11-08 18:40:15 -0500 |
| commit | 7857151141885e7e091c30170f76bbf394b56478 (patch) | |
| tree | 7a800f5676cc63224fbedcbb03bdb90f30059351 /gcc | |
| parent | 66c60e67562e57ace539e135207e099075b9ab39 (diff) | |
| download | gcc-7857151141885e7e091c30170f76bbf394b56478.zip gcc-7857151141885e7e091c30170f76bbf394b56478.tar.gz gcc-7857151141885e7e091c30170f76bbf394b56478.tar.bz2 | |
* reload1.c (reload): Don't delete equiv insn if can throw.
From-SVN: r46866
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 2 | ||||
| -rw-r--r-- | gcc/reload1.c | 13 |
2 files changed, 12 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index a718a8f..82ec7f9 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,7 @@ Thu Nov 8 18:00:55 2001 Richard Kenner <kenner@vlsi1.ultra.nyu.edu> + * reload1.c (reload): Don't delete equiv insn if can throw. + * expr.c (emit_block_move): If X is readonly emit CLOBBER for it. (clear_storage): Likewise, for OBJECT. diff --git a/gcc/reload1.c b/gcc/reload1.c index 165573b..ffc80de 100644 --- a/gcc/reload1.c +++ b/gcc/reload1.c @@ -1071,9 +1071,16 @@ reload (first, global) for (list = reg_equiv_init[i]; list; list = XEXP (list, 1)) { rtx equiv_insn = XEXP (list, 0); - if (GET_CODE (equiv_insn) == NOTE) - continue; - if (reg_set_p (regno_reg_rtx[i], PATTERN (equiv_insn))) + + /* If we already deleted the insn or if it may trap, we can't + delete it. The latter case shouldn't happen, but can + if an insn has a variable address, gets a REG_EH_REGION + note added to it, and then gets converted into an load + from a constant address. */ + if (GET_CODE (equiv_insn) == NOTE + || can_throw_internal (equiv_insn)) + ; + else if (reg_set_p (regno_reg_rtx[i], PATTERN (equiv_insn))) delete_dead_insn (equiv_insn); else { |