diff options
| author | hubicka <hubicka@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-06-09 15:41:23 +0000 |
|---|---|---|
| committer | hubicka <hubicka@138bc75d-0d04-0410-961f-82ee72b054a4> | 2010-06-09 15:41:23 +0000 |
| commit | e95895ef52353afa8dc6426ed728a5a3b1d33cea (patch) | |
| tree | a4c4e0746614916994fd84f1f77c014d6733416d /gcc/tree-ssa-live.h | |
| parent | f9ade9e97d3f3a3316a1f94cea0d84f5dc9852aa (diff) | |
| download | gcc-e95895ef52353afa8dc6426ed728a5a3b1d33cea.tar.gz | |
* cgraph.h (varpool_first_static_initializer,
varpool_next_static_initializer): Make checking only when
checking enabled.
* tree-vectorizer.h (vinfo_for_stmt): Remove check.
(set_vinfo_for_stmt, get_earlier_stmt, is_loop_header_bb_p): Change
gcc_assert to gcc_checking_assert.
* tree-flow-inline.h (gimple_vop, get_var_ann, relink_imm_use, phi_nodes
set_phi_nodes, phi_arg_index_from_use, op_iter_next_use,
op_iter_next_def, op_iter_next_tree, op_iter_init, op_iter_init_use,
op_iter_init_phiuse, op_iter_init_phidef, array_ref_contains_indirect_ref,
ref_contains_array_ref): Use gcc_checking_assert.
* emit-rtl.h (set_first_insn, set_last_insn): Likewise.
* tree-ssa-live.h (var_to_partition, var_to_partition_to_var,
partition_is_global, live_on_entry, live_on_exit,
live_merge_and_clear): Likewise.
* system.h (gcc_checking_assert): New macro.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@160489 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/tree-ssa-live.h')
| -rw-r--r-- | gcc/tree-ssa-live.h | 22 |
1 files changed, 10 insertions, 12 deletions
diff --git a/gcc/tree-ssa-live.h b/gcc/tree-ssa-live.h index f49f065d69d..c2af48b9850 100644 --- a/gcc/tree-ssa-live.h +++ b/gcc/tree-ssa-live.h @@ -144,7 +144,6 @@ var_to_partition (var_map map, tree var) { int part; - gcc_assert (TREE_CODE (var) == SSA_NAME); part = partition_find (map->var_partition, SSA_NAME_VERSION (var)); if (map->partition_to_view) part = map->partition_to_view[part]; @@ -172,8 +171,8 @@ var_to_partition_to_var (var_map map, tree var) static inline int basevar_index (var_map map, int partition) { - gcc_assert (partition >= 0 - && partition <= (int) num_var_partitions (map)); + gcc_checking_assert (partition >= 0 + && partition <= (int) num_var_partitions (map)); return map->partition_to_base_index[partition]; } @@ -271,7 +270,7 @@ extern void dump_live_info (FILE *, tree_live_info_p, int); static inline int partition_is_global (tree_live_info_p live, int p) { - gcc_assert (live->global); + gcc_checking_assert (live->global); return bitmap_bit_p (live->global, p); } @@ -282,9 +281,9 @@ partition_is_global (tree_live_info_p live, int p) static inline bitmap live_on_entry (tree_live_info_p live, basic_block bb) { - gcc_assert (live->livein); - gcc_assert (bb != ENTRY_BLOCK_PTR); - gcc_assert (bb != EXIT_BLOCK_PTR); + gcc_checking_assert (live->livein + && bb != ENTRY_BLOCK_PTR + && bb != EXIT_BLOCK_PTR); return live->livein[bb->index]; } @@ -296,9 +295,9 @@ live_on_entry (tree_live_info_p live, basic_block bb) static inline bitmap live_on_exit (tree_live_info_p live, basic_block bb) { - gcc_assert (live->liveout); - gcc_assert (bb != ENTRY_BLOCK_PTR); - gcc_assert (bb != EXIT_BLOCK_PTR); + gcc_checking_assert (live->liveout + && bb != ENTRY_BLOCK_PTR + && bb != EXIT_BLOCK_PTR); return live->liveout[bb->index]; } @@ -319,8 +318,7 @@ live_var_map (tree_live_info_p live) static inline void live_merge_and_clear (tree_live_info_p live, int p1, int p2) { - gcc_assert (live->livein[p1]); - gcc_assert (live->livein[p2]); + gcc_checking_assert (live->livein[p1] && live->livein[p2]); bitmap_ior_into (live->livein[p1], live->livein[p2]); bitmap_zero (live->livein[p2]); } |