re PR target/81285 (r249888 breaks bootstrap on ppc64le)

	PR bootstrap/81285
	* loop-doloop.c (add_test): Update profile.

From-SVN: r249904

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 905c6916262d03191acbcb5dccde50806f017b05..19c6c29070bda8d013f99f1d84a68f1baa1ca05b 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2017-07-02  Jan Hubicka  <hubicka@ucw.cz>
+
+       PR bootstrap/81285
+       * loop-doloop.c (add_test): Update profile.
+
 2017-07-03  Martin Liska  <mliska@suse.cz>
 
        PR sanitize/81040

diff --git a/gcc/loop-doloop.c b/gcc/loop-doloop.c
index 13bf8cf2ecf58ee887c2d3fafa282397611571b8..b4995b389bb4009dfaf060391d1f9722e4334d8d 100644 (file)
--- a/gcc/loop-doloop.c
+++ b/gcc/loop-doloop.c
@@ -347,6 +347,8 @@ add_test (rtx cond, edge *e, basic_block dest)
   rtx op0 = XEXP (cond, 0), op1 = XEXP (cond, 1);
   enum rtx_code code = GET_CODE (cond);
   basic_block bb;
+  /* The jump is supposed to handle an unlikely special case.  */
+  profile_probability prob = profile_probability::guessed_never ();
 
   mode = GET_MODE (XEXP (cond, 0));
   if (mode == VOIDmode)
@@ -357,7 +359,7 @@ add_test (rtx cond, edge *e, basic_block dest)
   op1 = force_operand (op1, NULL_RTX);
   label = block_label (dest);
   do_compare_rtx_and_jump (op0, op1, code, 0, mode, NULL_RTX, NULL, label,
-                          profile_probability::uninitialized ());
+                          prob);
 
   jump = get_last_insn ();
   if (!jump || !JUMP_P (jump))
@@ -387,12 +389,14 @@ add_test (rtx cond, edge *e, basic_block dest)
 
   JUMP_LABEL (jump) = label;
 
-  /* The jump is supposed to handle an unlikely special case.  */
-  add_int_reg_note (jump, REG_BR_PROB, 0);
-
   LABEL_NUSES (label)++;
 
-  make_edge (bb, dest, (*e)->flags & ~EDGE_FALLTHRU);
+  edge e2 = make_edge (bb, dest, (*e)->flags & ~EDGE_FALLTHRU);
+  e2->probability = prob;
+  e2->count = e2->src->count.apply_probability (prob);
+  (*e)->probability = prob.invert ();
+  (*e)->count = (*e)->count.apply_probability (prob);
+  update_br_prob_note (e2->src);
   return true;
 }