diff options
| author | Nathan Sidwell <nathan@codesourcery.com> | 2005-04-01 14:17:36 +0000 |
|---|---|---|
| committer | Nathan Sidwell <nathan@gcc.gnu.org> | 2005-04-01 14:17:36 +0000 |
| commit | b5e624c6dc2cfbc1bc41fc4f4b70a320f0f0cadb (patch) | |
| tree | 2faae66acc9a81f1dddcb31724e669a2eb325a04 /gcc/local-alloc.c | |
| parent | 71df4441367b6ed747ccc97431f1a63fc68ee00b (diff) | |
| download | gcc-b5e624c6dc2cfbc1bc41fc4f4b70a320f0f0cadb.zip gcc-b5e624c6dc2cfbc1bc41fc4f4b70a320f0f0cadb.tar.gz gcc-b5e624c6dc2cfbc1bc41fc4f4b70a320f0f0cadb.tar.bz2 | |
local-alloc.c (update_equiv_regs): Use gcc_assert, gcc_unreachable.
* local-alloc.c (update_equiv_regs): Use gcc_assert, gcc_unreachable.
(block_alloc, find_free_reg): Likewise.
* loop-doloop.c (doloop_modify): Likewise.
* loop-invariant.c (record_use): Likewise.
* loop-iv.c (get_biv_step_1, get_biv_step, iv_analyze,
get_iv_value, canon_condition, eliminate_implied_condition,
eliminate_implied_condition, simplify_using_initial_values,
shorten_into_mode, canonicalize_iv_subregs,
iv_number_of_iterations): Likewise.
* loop-unroll.c (expand_var_during_unrolling): Likewise.
* loop-unswitch.c (compare_and_jump_seq, unswitch_single_loop,
unswitch_loop): Likewise.
* loop.c (INSN_LUID, loop_optimize, rtx_equal_for_loop_p,
move_movables, replace_call_address, find_and_verify_loops,
rtx_equal_for_prefetch_p, fold_rtx_mult_add, loop_iterations,
record_giv, final_giv_value, general_induction_var,
simplify_giv_expr, extension_within_bounds_p, try_copy_prop,
loop_giv_dump): Likewise.
From-SVN: r97394
Diffstat (limited to 'gcc/local-alloc.c')
| -rw-r--r-- | gcc/local-alloc.c | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/gcc/local-alloc.c b/gcc/local-alloc.c index 10117da..3969a86 100644 --- a/gcc/local-alloc.c +++ b/gcc/local-alloc.c @@ -1032,9 +1032,8 @@ update_equiv_regs (void) 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 (); + gcc_assert (reg_equiv[regno].init_insns + && !XEXP (reg_equiv[regno].init_insns, 1)); equiv_insn = XEXP (reg_equiv[regno].init_insns, 0); /* We may not move instructions that can throw, since @@ -1196,8 +1195,10 @@ block_alloc (int b) while (1) { if (!NOTE_P (insn)) - if (++insn_count > max_uid) - abort (); + { + ++insn_count; + gcc_assert (insn_count <= max_uid); + } if (insn == BB_HEAD (BASIC_BLOCK (b))) break; insn = PREV_INSN (insn); @@ -2117,8 +2118,7 @@ find_free_reg (enum reg_class class, enum machine_mode mode, int qtyno, #endif /* Validate our parameters. */ - if (born_index < 0 || born_index > dead_index) - abort (); + gcc_assert (born_index >= 0 && born_index <= dead_index); /* Don't let a pseudo live in a reg across a function call if we might get a nonlocal goto. */ |