Calculate prediction remainder at proper place (PR tree-optimization/88650).

2019-01-02  Martin Liska  <mliska@suse.cz>

	PR tree-optimization/88650
	* predict.c (set_even_probabilities): Calculate probability
	remainer only when really used.
2019-01-02  Martin Liska  <mliska@suse.cz>

	PR tree-optimization/88650
	* gfortran.dg/predict-3.f90: New test.

From-SVN: r267513

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b39771c621ba2d1615e72ea664f981b15587b8cc..f79bab5574648f009283cabd3cec2a2833033d7b 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2019-01-02  Martin Liska  <mliska@suse.cz>
+
+       PR tree-optimization/88650
+       * predict.c (set_even_probabilities): Calculate probability
+       remainer only when really used.
+
 2019-01-02  Richard Biener  <rguenther@suse.de>
 
        PR middle-end/88651

diff --git a/gcc/predict.c b/gcc/predict.c
index 745be185a290c789bb26b97e5694299914e5ec05..0ac8adf286fbd639640e504f4600587ad8662c63 100644 (file)
--- a/gcc/predict.c
+++ b/gcc/predict.c
@@ -877,19 +877,21 @@ set_even_probabilities (basic_block bb,
            int p = prediction->ep_probability;
            profile_probability prob
              = profile_probability::from_reg_br_prob_base (p);
-           profile_probability remainder = prob.invert ();
-           remainder -= profile_probability::very_unlikely ()
-             .apply_scale (unlikely_count, 1);
-           int count = nedges - unlikely_count - 1;
-           gcc_assert (count >= 0);
-           profile_probability even = remainder.apply_scale (1, count);
 
            if (prediction->ep_edge == e)
              e->probability = prob;
            else if (unlikely_edges != NULL && unlikely_edges->contains (e))
              e->probability = profile_probability::very_unlikely ();
            else
-             e->probability = even;
+             {
+               profile_probability remainder = prob.invert ();
+               remainder -= profile_probability::very_unlikely ()
+                 .apply_scale (unlikely_count, 1);
+               int count = nedges - unlikely_count - 1;
+               gcc_assert (count >= 0);
+
+               e->probability = remainder.apply_scale (1, count);
+             }
          }
        else
          e->probability = profile_probability::never ();

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index bd219f56480921b7a2d43796df27636f4ba3b1c1..269d780e465cdb7797c174e51dba9203d7eb47ee 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2019-01-02  Martin Liska  <mliska@suse.cz>
+
+       PR tree-optimization/88650
+       * gfortran.dg/predict-3.f90: New test.
+
 2019-01-02  Rainer Orth  <ro@CeBiTec.Uni-Bielefeld.DE>
 
        * g++.dg/gcov/pr88263.C: Rename namespace log to logging.

diff --git a/gcc/testsuite/gfortran.dg/predict-3.f90 b/gcc/testsuite/gfortran.dg/predict-3.f90
new file mode 100644 (file)
index 0000000..f543788
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/predict-3.f90
@@ -0,0 +1,28 @@
+! { dg-do compile }
+! { dg-options "-fno-tree-fre -fno-tree-ccp -Og" }
+
+program simplify_transfer
+  call pr30881 ()
+contains
+  subroutine pr18769 ()
+    type t
+    end type t
+  end subroutine pr18769
+  subroutine pr30881 ()
+    INTEGER, PARAMETER :: K=1
+    I=TRANSFER(.TRUE.,K)
+    SELECT CASE(I)
+      CASE(TRANSFER(.TRUE.,K))
+      CASE(TRANSFER(.FALSE.,K))
+        STOP 2
+      CASE DEFAULT
+        STOP 3
+    END SELECT
+  END subroutine pr30881
+  subroutine pr31194 ()
+  end subroutine pr31194
+  subroutine pr31216 ()
+  END subroutine pr31216
+  subroutine pr31427 ()
+  END subroutine pr31427
+end program simplify_transfer