diff options
| author | Nathan Sidwell <nathan@gcc.gnu.org> | 2004-08-30 19:13:03 +0000 |
|---|---|---|
| committer | Nathan Sidwell <nathan@gcc.gnu.org> | 2004-08-30 19:13:03 +0000 |
| commit | 298e6adcf212620192ae9b66c27b4eae64916e7b (patch) | |
| tree | fff62e6c69665ec9937365c779e5da53606f6d80 /gcc/bt-load.c | |
| parent | 0de4325e0bc2e0601e49ac8e85ca9a7134e50198 (diff) | |
| download | gcc-298e6adcf212620192ae9b66c27b4eae64916e7b.zip gcc-298e6adcf212620192ae9b66c27b4eae64916e7b.tar.gz gcc-298e6adcf212620192ae9b66c27b4eae64916e7b.tar.bz2 | |
alias.c (mems_in_disjoint_alias_sets_p, [...]): Use gcc_assert and gcc_unreachable instead of abort.
* alias.c (mems_in_disjoint_alias_sets_p, record_alias_subset,
record_set, rtx_equal_for_memref_p, init_alias_analysis): Use
gcc_assert and gcc_unreachable instead of abort.
* alloc-pool.c (abort, fancy_abort): Remove.
(create_alloc_pool, free_alloc_pool, pool_alloc, pool_free): Use
gcc_assert or gcc_unreachable.
* attribs.c (init_attributes, decl_attributes): Likewise.
* bb-reorder.c (FREE, find_traces_1_round, copy_bb,
mark_bb_for_unlikely_executed_section,
add_labels_and_missing_jumps, fix_crossing_conditional_branches,
fix_crossing_unconditional_branches): Likewise.
* bitmap.c (bitmap_first_set_bit, bitmap_last_set_bit,
bitmap_operation): Likewise.
* bt-load.c (insn_sets_btr_p, augment_live_range,
move_btr_def): Likewise.
* builtins.c (c_readstr, expand_builtin_longjmp, apply_args_size,
apply_result_size, expand_builtin_apply, expand_builtin_mathfn,
expand_builtin_mathfn_2, expand_builtin_mathfn_3,
builtin_memcpy_read_str, expand_movstr, expand_builtin_stpcpy,
expand_builtin_memcmp, expand_builtin_args_info,
std_gimplify_va_arg_expr, expand_builtin_unop,
expand_builtin_fputs, expand_builtin_profile_func,
expand_builtin_fork_or_exec, fold_builtin_bitop,
fold_builtin_classify, fold_builtin_fputs): Likewise.
From-SVN: r86797
Diffstat (limited to 'gcc/bt-load.c')
| -rw-r--r-- | gcc/bt-load.c | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/gcc/bt-load.c b/gcc/bt-load.c index a397429..bbd6abd 100644 --- a/gcc/bt-load.c +++ b/gcc/bt-load.c @@ -237,8 +237,8 @@ insn_sets_btr_p (rtx insn, int check_const, int *regno) if (REG_P (dest) && TEST_HARD_REG_BIT (all_btrs, REGNO (dest))) { - if (btr_referenced_p (src, NULL)) - abort(); + gcc_assert (!btr_referenced_p (src, NULL)); + if (!check_const || CONSTANT_P (src)) { if (regno) @@ -875,11 +875,13 @@ augment_live_range (bitmap live_range, HARD_REG_SET *btrs_live_in_range, if (dominated_by_p (CDI_DOMINATORS, new_bb, head_bb)) *tos++ = new_bb; - else if (dominated_by_p (CDI_DOMINATORS, head_bb, new_bb)) + else { edge e; int new_block = new_bb->index; + gcc_assert (dominated_by_p (CDI_DOMINATORS, head_bb, new_bb)); + bitmap_set_bit (live_range, new_block); if (flag_btr_bb_exclusive) IOR_HARD_REG_SET (*btrs_live_in_range, btrs_live[new_block]); @@ -900,8 +902,6 @@ augment_live_range (bitmap live_range, HARD_REG_SET *btrs_live_in_range, for (e = head_bb->pred; e; e = e->pred_next) *tos++ = e->src; } - else - abort(); while (tos != worklist) { @@ -1146,8 +1146,8 @@ move_btr_def (basic_block new_def_bb, int btr, btr_def def, bitmap live_range, { insp = BB_END (b); for (insp = BB_END (b); ! INSN_P (insp); insp = PREV_INSN (insp)) - if (insp == BB_HEAD (b)) - abort (); + gcc_assert (insp != BB_HEAD (b)); + if (JUMP_P (insp) || can_throw_internal (insp)) insp = PREV_INSN (insp); } |