diff options
author | Jan Hubicka <hubicka@ucw.cz> | 2017-10-19 22:19:15 +0200 |
---|---|---|
committer | Jan Hubicka <hubicka@gcc.gnu.org> | 2017-10-19 20:19:15 +0000 |
commit | ef30ab837c42b9555b3fc290454a5c02cb65487a (patch) | |
tree | 4369c2bc5c320d42e366fed603000b529e1d32b8 /gcc/predict.c | |
parent | 68581ee1c343fb52065f6ff39ea0d84175b12a66 (diff) | |
download | gcc-ef30ab837c42b9555b3fc290454a5c02cb65487a.zip gcc-ef30ab837c42b9555b3fc290454a5c02cb65487a.tar.gz gcc-ef30ab837c42b9555b3fc290454a5c02cb65487a.tar.bz2 |
asan.c (create_cond_insert_point): Do not update edge count.
* asan.c (create_cond_insert_point): Do not update edge count.
* auto-profile.c (afdo_propagate_edge): Update for edge count removal.
(afdo_propagate_circuit): Likewise.
(afdo_calculate_branch_prob): Likewise.
(afdo_annotate_cfg): Likewise.
* basic-block.h (struct edge_def): Remove count.
(edge_def::count): New accessor.
* bb-reorder.c (rotate_loop): Update.
(find_traces_1_round): Update.
(connect_traces): Update.
(sanitize_hot_paths): Update.
* cfg.c (unchecked_make_edge): Update.
(make_single_succ_edge): Update.
(check_bb_profile): Update.
(dump_edge_info): Update.
(update_bb_profile_for_threading): Update.
(scale_bbs_frequencies_int): Update.
(scale_bbs_frequencies_gcov_type): Update.
(scale_bbs_frequencies_profile_count): Update.
(scale_bbs_frequencies): Update.
* cfganal.c (connect_infinite_loops_to_exit): Update.
* cfgbuild.c (compute_outgoing_frequencies): Update.
(find_many_sub_basic_blocks): Update.
* cfgcleanup.c (try_forward_edges): Update.
(try_crossjump_to_edge): Update
* cfgexpand.c (expand_gimple_cond): Update
(expand_gimple_tailcall): Update
(construct_exit_block): Update
* cfghooks.c (verify_flow_info): Update
(redirect_edge_succ_nodup): Update
(split_edge): Update
(make_forwarder_block): Update
(duplicate_block): Update
(account_profile_record): Update
* cfgloop.c (find_subloop_latch_edge_by_profile): Update.
* cfgloopanal.c (expected_loop_iterations_unbounded): Update.
* cfgloopmanip.c (scale_loop_profile): Update.
(loopify): Update.
(lv_adjust_loop_entry_edge): Update.
* cfgrtl.c (try_redirect_by_replacing_jump): Update.
(force_nonfallthru_and_redirect): Update.
(purge_dead_edges): Update.
(rtl_flow_call_edges_add): Update.
* cgraphunit.c (init_lowered_empty_function): Update.
(cgraph_node::expand_thunk): Update.
* gimple-pretty-print.c (dump_probability): Update.
(dump_edge_probability): Update.
* gimple-ssa-isolate-paths.c (isolate_path): Update.
* haifa-sched.c (sched_create_recovery_edges): Update.
* hsa-gen.c (convert_switch_statements): Update.
* ifcvt.c (dead_or_predicable): Update.
* ipa-inline-transform.c (inline_transform): Update.
* ipa-split.c (split_function): Update.
* ipa-utils.c (ipa_merge_profiles): Update.
* loop-doloop.c (add_test): Update.
* loop-unroll.c (unroll_loop_runtime_iterations): Update.
* lto-streamer-in.c (input_cfg): Update.
(input_function): Update.
* lto-streamer-out.c (output_cfg): Update.
* modulo-sched.c (sms_schedule): Update.
* postreload-gcse.c (eliminate_partially_redundant_load): Update.
* predict.c (maybe_hot_edge_p): Update.
(unlikely_executed_edge_p): Update.
(probably_never_executed_edge_p): Update.
(dump_prediction): Update.
(drop_profile): Update.
(propagate_unlikely_bbs_forward): Update.
(determine_unlikely_bbs): Update.
(force_edge_cold): Update.
* profile.c (compute_branch_probabilities): Update.
* reg-stack.c (better_edge): Update.
* shrink-wrap.c (handle_simple_exit): Update.
* tracer.c (better_p): Update.
* trans-mem.c (expand_transaction): Update.
(split_bb_make_tm_edge): Update.
* tree-call-cdce.c: Update.
* tree-cfg.c (gimple_find_sub_bbs): Update.
(gimple_split_edge): Update.
(gimple_duplicate_sese_region): Update.
(gimple_duplicate_sese_tail): Update.
(gimple_flow_call_edges_add): Update.
(insert_cond_bb): Update.
(execute_fixup_cfg): Update.
* tree-cfgcleanup.c (cleanup_control_expr_graph): Update.
* tree-complex.c (expand_complex_div_wide): Update.
* tree-eh.c (lower_resx): Update.
(unsplit_eh): Update.
(cleanup_empty_eh_move_lp): Update.
* tree-inline.c (copy_edges_for_bb): Update.
(freqs_to_counts): Update.
(copy_cfg_body): Update.
* tree-ssa-dce.c (remove_dead_stmt): Update.
* tree-ssa-ifcombine.c (update_profile_after_ifcombine): Update.
* tree-ssa-loop-im.c (execute_sm_if_changed): Update.
* tree-ssa-loop-ivcanon.c (remove_exits_and_undefined_stmts): Update.
(unloop_loops): Update.
* tree-ssa-loop-manip.c (tree_transform_and_unroll_loop): Update.
* tree-ssa-loop-split.c (connect_loops): Update.
(split_loop): Update.
* tree-ssa-loop-unswitch.c (hoist_guard): Update.
* tree-ssa-phionlycprop.c (propagate_rhs_into_lhs): Update.
* tree-ssa-phiopt.c (replace_phi_edge_with_variable): Update.
* tree-ssa-reassoc.c (branch_fixup): Update.
* tree-ssa-tail-merge.c (replace_block_by): Update.
* tree-ssa-threadupdate.c (remove_ctrl_stmt_and_useless_edges): Update.
(compute_path_counts): Update.
(update_profile): Update.
(recompute_probabilities): Update.
(update_joiner_offpath_counts): Update.
(estimated_freqs_path): Update.
(freqs_to_counts_path): Update.
(clear_counts_path): Update.
(ssa_fix_duplicate_block_edges): Update.
(duplicate_thread_path): Update.
* tree-switch-conversion.c (hoist_edge_and_branch_if_true): Update.
(case_bit_test_cmp): Update.
(collect_switch_conv_info): Update.
(gen_inbound_check): Update.
(do_jump_if_equal): Update.
(emit_cmp_and_jump_insns): Update.
* tree-tailcall.c (decrease_profile): Update.
(eliminate_tail_call): Update.
* tree-vect-loop-manip.c (slpeel_add_loop_guard): Update.
(vect_do_peeling): Update.
* tree-vect-loop.c (scale_profile_for_vect_loop): Update.
* ubsan.c (ubsan_expand_null_ifn): Update.
(ubsan_expand_ptr_ifn): Update.
* value-prof.c (gimple_divmod_fixed_value): Update.
(gimple_mod_pow2): Update.
(gimple_mod_subtract): Update.
(gimple_ic): Update.
(gimple_stringop_fixed_value): Update.
From-SVN: r253910
Diffstat (limited to 'gcc/predict.c')
-rw-r--r-- | gcc/predict.c | 63 |
1 files changed, 19 insertions, 44 deletions
diff --git a/gcc/predict.c b/gcc/predict.c index e534502..0a85d0b 100644 --- a/gcc/predict.c +++ b/gcc/predict.c @@ -203,7 +203,7 @@ maybe_hot_bb_p (struct function *fun, const_basic_block bb) bool maybe_hot_edge_p (edge e) { - if (!maybe_hot_count_p (cfun, e->count)) + if (!maybe_hot_count_p (cfun, e->count ())) return false; return maybe_hot_frequency_p (cfun, EDGE_FREQUENCY (e)); } @@ -247,7 +247,7 @@ probably_never_executed_bb_p (struct function *fun, const_basic_block bb) static bool unlikely_executed_edge_p (edge e) { - return (e->count == profile_count::zero () + return (e->count () == profile_count::zero () || e->probability == profile_probability::never ()) || (e->flags & (EDGE_EH | EDGE_FAKE)); } @@ -259,7 +259,7 @@ probably_never_executed_edge_p (struct function *fun, edge e) { if (unlikely_executed_edge_p (e)) return true; - return probably_never_executed (fun, e->count, EDGE_FREQUENCY (e)); + return probably_never_executed (fun, e->count (), EDGE_FREQUENCY (e)); } /* Return true when current function should always be optimized for size. */ @@ -746,8 +746,8 @@ dump_prediction (FILE *file, enum br_predictor predictor, int probability, if (e) { fprintf (file, " hit "); - e->count.dump (file); - fprintf (file, " (%.1f%%)", e->count.to_gcov_type() * 100.0 + e->count ().dump (file); + fprintf (file, " (%.1f%%)", e->count ().to_gcov_type() * 100.0 / bb->count.to_gcov_type ()); } } @@ -3199,21 +3199,14 @@ drop_profile (struct cgraph_node *node, profile_count call_count) FOR_ALL_BB_FN (bb, fn) { bb->count = profile_count::uninitialized (); - - edge_iterator ei; - edge e; - FOR_EACH_EDGE (e, ei, bb->preds) - e->count = profile_count::uninitialized (); } struct cgraph_edge *e; for (e = node->callees; e; e = e->next_caller) { - e->count = profile_count::uninitialized (); e->frequency = compute_call_stmt_bb_frequency (e->caller->decl, gimple_bb (e->call_stmt)); } - node->count = profile_count::uninitialized (); profile_status_for_fn (fn) = (flag_guess_branch_prob ? PROFILE_GUESSED : PROFILE_ABSENT); @@ -3396,7 +3389,7 @@ propagate_unlikely_bbs_forward (void) { bb = worklist.pop (); FOR_EACH_EDGE (e, ei, bb->succs) - if (!(e->count == profile_count::zero ()) + if (!(e->count () == profile_count::zero ()) && !(e->dest->count == profile_count::zero ()) && !e->dest->aux) { @@ -3417,8 +3410,6 @@ propagate_unlikely_bbs_forward (void) bb->index); bb->count = profile_count::zero (); bb->frequency = 0; - FOR_EACH_EDGE (e, ei, bb->succs) - e->count = profile_count::zero (); } else bb->aux = NULL; @@ -3450,20 +3441,16 @@ determine_unlikely_bbs () } if (bb->count == profile_count::zero ()) - { - bb->frequency = 0; - FOR_EACH_EDGE (e, ei, bb->preds) - e->count = profile_count::zero (); - } + bb->frequency = 0; FOR_EACH_EDGE (e, ei, bb->succs) - if (!(e->count == profile_count::zero ()) + if (!(e->probability == profile_probability::never ()) && unlikely_executed_edge_p (e)) { if (dump_file && (dump_flags & TDF_DETAILS)) fprintf (dump_file, "Edge %i->%i is locally unlikely\n", bb->index, e->dest->index); - e->count = profile_count::zero (); + e->probability = profile_probability::never (); } gcc_checking_assert (!bb->aux); @@ -3477,7 +3464,8 @@ determine_unlikely_bbs () { nsuccs[bb->index] = 0; FOR_EACH_EDGE (e, ei, bb->succs) - if (!(e->count == profile_count::zero ())) + if (!(e->probability == profile_probability::never ()) + && !(e->dest->count == profile_count::zero ())) nsuccs[bb->index]++; if (!nsuccs[bb->index]) worklist.safe_push (bb); @@ -3511,9 +3499,9 @@ determine_unlikely_bbs () bb->count = profile_count::zero (); bb->frequency = 0; FOR_EACH_EDGE (e, ei, bb->preds) - if (!(e->count == profile_count::zero ())) + if (!(e->probability == profile_probability::never ())) { - e->count = profile_count::zero (); + e->probability = profile_probability::never (); if (!(e->src->count == profile_count::zero ())) { nsuccs[e->src->index]--; @@ -3928,8 +3916,6 @@ force_edge_cold (edge e, bool impossible) profile_probability prob_sum = profile_probability::never (); edge_iterator ei; edge e2; - profile_count old_count = e->count; - profile_probability old_probability = e->probability; bool uninitialized_exit = false; profile_probability goal = (impossible ? profile_probability::never () @@ -3937,13 +3923,13 @@ force_edge_cold (edge e, bool impossible) /* If edge is already improbably or cold, just return. */ if (e->probability <= goal - && (!impossible || e->count == profile_count::zero ())) + && (!impossible || e->count () == profile_count::zero ())) return; FOR_EACH_EDGE (e2, ei, e->src->succs) if (e2 != e) { - if (e2->count.initialized_p ()) - count_sum += e2->count; + if (e2->count ().initialized_p ()) + count_sum += e2->count (); else uninitialized_exit = true; if (e2->probability.initialized_p ()) @@ -3956,13 +3942,6 @@ force_edge_cold (edge e, bool impossible) { if (!(e->probability < goal)) e->probability = goal; - if (impossible) - e->count = profile_count::zero (); - else if (old_probability > profile_probability::never ()) - e->count = e->count.apply_probability (e->probability - / old_probability); - else - e->count = e->count.apply_scale (1, REG_BR_PROB_BASE); profile_probability prob_comp = prob_sum / e->probability.invert (); @@ -3971,12 +3950,9 @@ force_edge_cold (edge e, bool impossible) "probability to other edges.\n", e->src->index, e->dest->index, impossible ? "impossible" : "cold"); - profile_count count_sum2 = count_sum + old_count - e->count; FOR_EACH_EDGE (e2, ei, e->src->succs) if (e2 != e) { - if (count_sum > 0) - e2->count.apply_scale (count_sum2, count_sum); e2->probability /= prob_comp; } if (current_ir_type () != IR_GIMPLE @@ -4027,7 +4003,6 @@ force_edge_cold (edge e, bool impossible) fprintf (dump_file, "Making bb %i impossible and dropping count to 0.\n", e->src->index); - e->count = profile_count::zero (); e->src->count = profile_count::zero (); FOR_EACH_EDGE (e2, ei, e->src->preds) force_edge_cold (e2, impossible); @@ -4050,10 +4025,10 @@ force_edge_cold (edge e, bool impossible) impossible ? "impossible" : "cold"); e->src->frequency = MIN (e->src->frequency, impossible ? 0 : 1); if (impossible) - e->src->count = e->count = profile_count::zero (); + e->src->count = profile_count::zero (); else - e->src->count = e->count = e->count.apply_scale (e->src->frequency, - old_frequency); + e->src->count = e->count ().apply_scale (e->src->frequency, + old_frequency); force_edge_cold (single_pred_edge (e->src), impossible); } else if (dump_file && (dump_flags & TDF_DETAILS) |