diff --git a/gcc/ChangeLog b/gcc/ChangeLog index a718a8fadffeba08e093133cebb0d144c571ce53..82ec7f9a579274e5d9abdad82d578e7e786d4d04 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 165573bdf8d867ccaa2a7c1db2207beab52147c9..ffc80de8e6ab14d3cb7d5a18060c2acb324cb4d9 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 {