diff options
Diffstat (limited to 'gcc/postreload-gcse.c')
-rw-r--r-- | gcc/postreload-gcse.c | 33 |
1 files changed, 11 insertions, 22 deletions
diff --git a/gcc/postreload-gcse.c b/gcc/postreload-gcse.c index 93d81c48241..7c0be2f7b74 100644 --- a/gcc/postreload-gcse.c +++ b/gcc/postreload-gcse.c @@ -305,9 +305,7 @@ expr_equiv_p (const void *exp1p, const void *exp2p) struct expr *exp1 = (struct expr *) exp1p; struct expr *exp2 = (struct expr *) exp2p; int equiv_p = exp_equiv_p (exp1->expr, exp2->expr, 0, true); - if (equiv_p - && exp1->hash != exp2->hash) - abort (); + gcc_assert (!equiv_p || exp1->hash == exp2->hash); return equiv_p; } @@ -485,11 +483,8 @@ oprs_unchanged_p (rtx x, rtx insn, bool after_insn) switch (code) { case REG: -#ifdef ENABLE_CHECKING /* We are called after register allocation. */ - if (REGNO (x) >= FIRST_PSEUDO_REGISTER) - abort (); -#endif + gcc_assert (REGNO (x) < FIRST_PSEUDO_REGISTER); if (after_insn) /* If the last CUID setting the insn is less than the CUID of INSN, then reg X is not changed in or after INSN. */ @@ -785,8 +780,7 @@ hash_scan_set (rtx insn) #ifdef ENABLE_CHEKCING /* We shouldn't have any EH_REGION notes post reload. */ - if (find_reg_note (insn, REG_EH_REGION, NULL_RTX)) - abort (); + gcc_assert (!find_reg_note (insn, REG_EH_REGION, NULL_RTX)); #endif if (REG_P (dest)) @@ -934,11 +928,9 @@ reg_set_between_after_reload_p (rtx reg, rtx from_insn, rtx to_insn) rtx insn; int regno; -#ifdef ENABLE_CHECKING /* We are called after register allocation. */ - if (!REG_P (reg) || REGNO (reg) >= FIRST_PSEUDO_REGISTER) - abort (); -#endif + gcc_assert (REG_P (reg)); + gcc_assert (REGNO (reg) < FIRST_PSEUDO_REGISTER); if (from_insn == to_insn) return NULL_RTX; @@ -973,11 +965,9 @@ reg_used_between_after_reload_p (rtx reg, rtx from_insn, rtx to_insn) rtx insn; int regno; -#ifdef ENABLE_CHECKING /* We are called after register allocation. */ - if (!REG_P (reg) || REGNO (reg) >= FIRST_PSEUDO_REGISTER) - abort (); -#endif + gcc_assert (REG_P (reg)); + gcc_assert (REGNO (reg) < FIRST_PSEUDO_REGISTER); if (from_insn == to_insn) return NULL_RTX; @@ -1027,7 +1017,7 @@ get_avail_load_store_reg (rtx insn) return SET_DEST(PATTERN(insn)); if (REG_P (SET_SRC (PATTERN (insn)))) /* A store. */ return SET_SRC (PATTERN (insn)); - abort (); + gcc_unreachable (); } /* Return nonzero if the predecessors of BB are "well behaved". */ @@ -1109,8 +1099,8 @@ eliminate_partially_redundant_load (basic_block bb, rtx insn, { /* Check if the loaded register is not used. */ avail_insn = a_occr->insn; - if (! (avail_reg = get_avail_load_store_reg (avail_insn))) - abort (); + avail_reg = get_avail_load_store_reg (avail_insn); + gcc_assert (avail_reg); /* Make sure we can generate a move from register avail_reg to dest. */ extract_insn (gen_move_insn (copy_rtx (dest), @@ -1181,8 +1171,7 @@ eliminate_partially_redundant_load (basic_block bb, rtx insn, /* Set avail_reg to be the register having the value of the memory. */ avail_reg = get_avail_load_store_reg (avail_insn); - if (! avail_reg) - abort (); + gcc_assert (avail_reg); insert_insn_on_edge (gen_move_insn (copy_rtx (dest), copy_rtx (avail_reg)), |