From 96af667a5e7aa8909958c4c59b8672fc93d24799 Mon Sep 17 00:00:00 2001 From: Geoff Keating Date: Mon, 23 Oct 2000 18:42:52 +0000 Subject: [PATCH] local-alloc.c (update_equiv_regs): Add an abort(). * local-alloc.c (update_equiv_regs): Add an abort(). When deleting or moving insns, update reg_equiv[regno].init_insns. From-SVN: r37018 --- gcc/ChangeLog | 5 +++++ gcc/local-alloc.c | 12 +++++++++++- 2 files changed, 16 insertions(+), 1 deletion(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index c3941b4442b..8a97f077e58 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2000-10-23 Geoff Keating + + * local-alloc.c (update_equiv_regs): Add an abort(). When + deleting or moving insns, update reg_equiv[regno].init_insns. + 2000-10-23 Mark Mitchell * c-tree.texi: Improve documentation for IF_STMTs and related diff --git a/gcc/local-alloc.c b/gcc/local-alloc.c index d581d5c96be..2d7cac8f01f 100644 --- a/gcc/local-alloc.c +++ b/gcc/local-alloc.c @@ -1088,6 +1088,9 @@ update_equiv_regs () once and used once. (If it were only set, but not used, flow would have deleted the setting insns.) Hence there can only be one insn in reg_equiv[REGNO].init_insns. */ + if (reg_equiv[regno].init_insns == NULL_RTX + || XEXP (reg_equiv[regno].init_insns, 1) != NULL_RTX) + abort (); equiv_insn = XEXP (reg_equiv[regno].init_insns, 0); if (asm_noperands (PATTERN (equiv_insn)) < 0 @@ -1123,14 +1126,19 @@ update_equiv_regs () PUT_CODE (equiv_insn, NOTE); NOTE_LINE_NUMBER (equiv_insn) = NOTE_INSN_DELETED; NOTE_SOURCE_FILE (equiv_insn) = 0; + + reg_equiv[regno].init_insns = + XEXP (reg_equiv[regno].init_insns, 1); } /* Move the initialization of the register to just before INSN. Update the flow information. */ else if (PREV_INSN (insn) != equiv_insn) { int l; + rtx new_insn; - emit_insn_before (copy_rtx (PATTERN (equiv_insn)), insn); + new_insn = emit_insn_before (copy_rtx (PATTERN (equiv_insn)), + insn); REG_NOTES (PREV_INSN (insn)) = REG_NOTES (equiv_insn); REG_NOTES (equiv_insn) = 0; @@ -1138,6 +1146,8 @@ update_equiv_regs () NOTE_LINE_NUMBER (equiv_insn) = NOTE_INSN_DELETED; NOTE_SOURCE_FILE (equiv_insn) = 0; + XEXP (reg_equiv[regno].init_insns, 0) = new_insn; + REG_BASIC_BLOCK (regno) = block >= 0 ? block : 0; REG_N_CALLS_CROSSED (regno) = 0; REG_LIVE_LENGTH (regno) = 2; -- 2.30.2