[PATCH 7/9] ENABLE_CHECKING refactoring: middle-end, LTO FE
Mikhail Maltsev
maltsevm@gmail.com
Mon Oct 5 23:39:00 GMT 2015
gcc/ChangeLog:
2015-10-05 Mikhail Maltsev <maltsevm@gmail.com>
* attribs.c (check_attribute_tables): Define new function.
(init_attributes): Use it.
* cfgcleanup.c (try_optimize_cfg): Use flag_checking.
* cfgexpand.c (expand_goto, expand_debug_expr): Likewise.
(pass_expand::execute): Use checking_verify_flow_info.
* cfghooks.c (verify_flow_info): Remove DEBUG_FUNCTION.
* cfghooks.h (checking_verify_flow_info): Define.
* cfgloop.c (verify_loop_structure): Remove DEBUG_FUNCTION.
* cfgloop.h (checking_verify_loop_structure): Define.
* cfgrtl.c (commit_edge_insertions): Use checking_verify_flow_info.
(fixup_reorder_chain): Use checking_verify_insn_chain.
(checking_verify_insn_chain): Define.
(cfg_layout_finalize): Use checking_verify_insn_chain/flow_info.
(rtl_flow_call_edges_add): Use flag_checking.
* cgraph.c (symbol_table::create_edge): Remove conditional compilation.
(cgraph_edge::redirect_call_stmt_to_callee): Likewise; use
flag_checking.
* cgraph.h (symtab_node::checking_verify_symtab_nodes): Define.
(cgraph_node::checking_verify_cgraph_nodes): Define.
* cgraphclones.c (symbol_table::materialize_all_clones): Use
checking_verify_cgraph_nodes, remove conditional compilation.
* cgraphunit.c (mark_functions_to_output): Use flag_checking.
(cgraph_node::expand_thunk): Use checking_verify_flow_info.
(symbol_table::compile): Use checking_verify_*, remove conditional
compilation.
* ddg.c (add_cross_iteration_register_deps): Use flag_checking.
(create_ddg_all_sccs): Likewise.
* df-core.c (df_finish_pass, df_analyze): Likewise.
* diagnostic-core.h: Adjust to use CHECKING_P.
* diagnostic.c (diagnostic_report_diagnostic): Likewise.
* dominance.c (calculate_dominance_info): Use
checking_verify_dominators.
* dominance.h (checking_verify_dominators): Define.
* dwarf2out.c (add_AT_die_ref, const_ok_for_output_1,
mem_loc_descriptor, loc_list_from_tree, gen_lexical_block_die,
gen_type_die_with_usage, gen_type_die, dwarf2out_decl): Use
flag_checking.
* emit-rtl.c (verify_rtx_sharing, reorder_insns_nobb): Likewise.
* et-forest.c: Fix comment.
* except.c (duplicate_eh_regions): Use flag_checking.
* fwprop.c (register_active_defs, update_df_init): Use CHECKING_P.
(update_uses): Use gcc_checking_assert.
(fwprop_init, fwprop_done): Use CHECKING_P.
* ggc-page.c (ggc_grow): Likewise.
* gimplify.c (gimplify_body): Use flag_checking.
(gimplify_hasher::equal): Use CHECKING_P.
* graphite-isl-ast-to-gimple.c (graphite_verify): Use
checking_verify_* functions.
* graphite-scop-detection.c (canonicalize_loop_closed_ssa_form):
Likewise.
* graphite-sese-to-poly.c (rewrite_reductions_out_of_ssa): Likewise.
(rewrite_cross_bb_scalar_deps_out_of_ssa): Likewise.
* hash-table.h (hash_table::find_empty_slot_for_expand): Remove
conditional compilation.
* ifcvt.c (if_convert): Use checking_verify_flow_info.
* ipa-cp.c (ipcp_propagate_stage): Use flag_checking.
* ipa-devirt.c (type_in_anonymous_namespace_p,
odr_type_p, odr_types_equivalent_p): Use gcc_checking_assert.
(add_type_duplicate, get_odr_type): Use flag_checking.
* ipa-icf.c (sem_item_optimizer::verify_classes,
sem_item_optimizer::traverse_congruence_split,
sem_item_optimizer::do_congruence_step_for_index): Use flag_checking.
* ipa-inline-analysis.c (compute_inline_parameters): Likewise.
* ipa-inline-transform.c (save_inline_function_body): Likewise.
* ipa-inline.c (inline_small_functions): Use CHECKING_P.
(early_inliner): Use flag_checking.
* ipa-inline.h (estimate_edge_growth): Remove conditional compilation.
* ipa-visibility.c (function_and_variable_visibility): Use
flag_checking.
* ipa.c (symbol_table::remove_unreachable_nodes): Likewise.
(ipa_single_use): Use gcc_checking_assert.
* ira-int.h: Use CHECKING_P.
* ira.c (ira): Use flag_checking.
* loop-doloop.c (doloop_optimize_loops): Use
checking_verify_loop_structure.
* loop-init.c (loop_optimizer_init, fix_loop_structure): Likewise.
* loop-invariant.c (move_loop_invariants): Use
checking_verify_flow_info.
* lra-assigns.c (lra_assign): Use CHECKING_P.
* lra-constraints.c (lra_constraints): Use flag_checking.
* lra-eliminations.c (lra_eliminate): Likewise.
* lra-int.h (struct lra_reg): Use CHECKING_P.
* lra-lives.c (check_pseudos_live_through_calls,
lra_create_live_ranges_1): Use CHECKING_P.
* lra-remat.c (create_remat_bb_data): Adjust to use gcc_checking_assert.
* lra.c (lra_update_insn_recog_data, restore_scratches): Use
flag_checking.
(check_rtl): Always define. Remove incorrect guard around
extract_constrain_insn call.
(lra):
* lto-cgraph.c (input_cgraph_1): Use flag_checking.
* lto-streamer-out.c (DFS::DFS): Use gcc_checking_assert.
(lto_output): Use CHECKING_P.
* lto-streamer.c (lto_streamer_init): Likewise.
* omp-low.c (scan_omp_target, expand_omp_taskreg, expand_omp_target,
execute_expand_omp): Likewise.
(lower_omp_target): Use CHECKING_P.
* passes.c (execute_function_todo): Use flag_checking
execute_todo, execute_one_pass): Likewise.
(verify_curr_properties): Always define.
* predict.c (tree_estimate_probability, propagate_freq): Use
flag_checking.
* pretty-print.c (pp_format): Use CHECKING_P.
* real.c (real_to_decimal_for_mode): Likewise.
* recog.c (split_all_insns): Use checking_verify_flow_info.
* regcprop.c (kill_value_one_regno): Always call validate_value_data.
(copy_value): Likewise.
(validate_value_data): Define unconditionally. Use flag_checking.
* reload.c: Fix comment.
* sched-deps.c (CHECK): Remove unused macro.
(add_or_update_dep_1, sd_add_dep): Use flag_checking.
* sel-sched-ir.c (free_regset_pool, tidy_control_flow): Likewise.
* sel-sched.c (struct moveop_static_params, find_best_reg_for_expr,
move_cond_jump, move_op_orig_expr_not_found,
code_motion_process_successors, move_op): Use CHECKING_P.
* sese.h (bb_in_region): Comment checking-related issue.
* ssa-iterators.h (first_readonly_imm_use,
next_readonly_imm_use): Use CHECKING_P.
* store-motion.c (compute_store_table): Use flag_checking.
* symbol-summary.h (function_summary::function_summary): Likewise.
* symtab.c: Remove DEBUG_FUNCTION.
* target.h (cumulative_args_t): Guard by CHECKING_P
(get_cumulative_args, pack_cumulative_args): Use CHECKING_P.
* timevar.c (timer::print): Adjust condition.
* trans-mem.c (ipa_tm_execute): Use checking_verify_cgraph_nodes.
* tree-cfg.c (move_stmt_op): Use flag_checking.
(move_sese_region_to_fn): Use flag_checking.
(gimple_flow_call_edges_add): Likewise.
* tree-cfgcleanup.c (cleanup_tree_cfg_noloop, repair_loop_structures):
Use checking_verify_* functions.
* tree-eh.c (remove_unreachable_handlers): Use flag_checking.
* tree-if-conv.c (pass_if_conversion::execute): Likewise.
* tree-inline.c (expand_call_inline, optimize_inline_calls): Likewise.
* tree-into-ssa.c (update_ssa): Likewise.
* tree-loop-distribution.c (pass_loop_distribution::execute): Likewise.
* tree-outof-ssa.c (eliminate_useless_phis, rewrite_trees): Likewise.
* tree-parloops.c (pass_parallelize_loops::execute): Use
checking_verify_loop_structure.
* tree-predcom.c (suitable_component_p): Use gcc_checking_assert.
* tree-profile.c (gimple_gen_const_delta_profiler): Use flag_checking.
* tree-ssa-alias.c (refs_may_alias_p_1): Use gcc_checking_assert.
* tree-ssa-live.c (verify_live_on_entry): Define unconditionally.
(calculate_live_ranges): Use flag_checking.
* tree-ssa-live.h (register_ssa_partition): Likewise.
* tree-ssa-loop-ivcanon.c (tree_unroll_loops_completely): Use
flag_checking.
* tree-ssa-loop-manip.c (add_exit_phi): Likewise.
(tree_transform_and_unroll_loop): Use checking_* functions.
* tree-ssa-loop-manip.h (checking_verify_loop_closed_ssa): Define.
* tree-ssa-math-opts.c (pass_cse_reciprocals::execute): Use
flag_checking.
* tree-ssa-operands.c (get_expr_operands): Likewise.
* tree-ssa-propagate.c (replace_exp_1): Likewise.
* tree-ssa-structalias.c (rewrite_constraints): Likewise.
* tree-ssa-ter.c (free_temp_expr_table): Likewise.
* tree-ssa-threadupdate.c (duplicate_thread_path): Likewise.
* tree-ssa.c (verify_ssa): Remove DEBUG_FUNCTION.
* tree-ssa.h (checking_verify_ssa): Define.
* tree-ssanames.c (release_ssa_name_fn): Use flag_checking.
* tree-stdarg.c (expand_ifn_va_arg): Likewise.
* tree-vect-loop-manip.c (slpeel_tree_duplicate_loop_to_edge_cfg): Use
checking_verify_dominators.
(slpeel_checking_verify_cfg_after_peeling): Guard by flag_checking.
(vect_do_peeling_for_loop_bound): Always call
slpeel_checking_verify_cfg_after_peeling.
(vect_do_peeling_for_alignment): Likewise.
* tree-vrp.c (supports_overflow_infinity): Use gcc_checking_assert.
(set_value_range): Use flag_checking.
* tree.c (free_lang_data_in_cgraph): Likewise.
* value-prof.c (gimple_remove_histogram_value): Use CHECKING_P.
(free_hist): Likewise.
* var-tracking.c (canonicalize_values_star): Use flag_checking.
(compute_bb_dataflow, vt_find_locations, vt_emit_notes): Likewise.
gcc/lto/ChangeLog:
2015-10-05 Mikhail Maltsev <maltsevm@gmail.com>
* lto.c (unify_scc): Use flag_checking
(lto_fixup_state): Use CHECKING_P.
(do_whole_program_analysis): Use
symtab_node::checking_verify_symtab_nodes.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0007-Backend.patch
Type: text/x-patch
Size: 131113 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/gcc-patches/attachments/20151005/c2900269/attachment.bin>
More information about the Gcc-patches
mailing list