From: Jakub Jelinek <jakub@redhat.com>
Date: Tue, 3 Apr 2018 21:42:51 +0000 (+0200)
Subject: re PR tree-optimization/85156 (ICE with -O1 -g: gimplification failed)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=0d2f7959f7b5fed2f74f5ed1f3e2d7db77bb5361;p=gcc.git

re PR tree-optimization/85156 (ICE with -O1 -g: gimplification failed)

	PR tree-optimization/85156
	* builtins.c (fold_builtin_expect): Use save_expr on arg1 to avoid
	evaluating the argument multiple times.

	* c-c++-common/pr85156.c: New test.
	* gcc.c-torture/execute/pr85156.c: New test.

From-SVN: r259057
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index fea1bed40d1..78d14afe171 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2018-04-03  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/85156
+	* builtins.c (fold_builtin_expect): Use save_expr on arg1 to avoid
+	evaluating the argument multiple times.
+
 2018-04-03  Bill Schmidt  <wschmidt@linux.ibm.com>
 
 	* config/rs6000/emmintrin.h (_mm_cvtpd_epi32): Use __vector rather
diff --git a/gcc/builtins.c b/gcc/builtins.c
index 0c560182f72..e0f6c2a1c0f 100644
--- a/gcc/builtins.c
+++ b/gcc/builtins.c
@@ -7998,6 +7998,7 @@ fold_builtin_expect (location_t loc, tree arg0, tree arg1, tree arg2)
     {
       tree op0 = TREE_OPERAND (inner, 0);
       tree op1 = TREE_OPERAND (inner, 1);
+      arg1 = save_expr (arg1);
 
       op0 = build_builtin_expect_predicate (loc, op0, arg1, arg2);
       op1 = build_builtin_expect_predicate (loc, op1, arg1, arg2);
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 4bd6d261d65..6d1322cb076 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,9 @@
+2018-04-03  Jakub Jelinek  <jakub@redhat.com>
+
+	PR tree-optimization/85156
+	* c-c++-common/pr85156.c: New test.
+	* gcc.c-torture/execute/pr85156.c: New test.
+
 2018-04-03  Bill Schmidt  <wschmidt@linux.ibm.com>
 
 	* gcc.target/powerpc/powerpc.exp: Add .C suffix for main loop.
diff --git a/gcc/testsuite/c-c++-common/pr85156.c b/gcc/testsuite/c-c++-common/pr85156.c
new file mode 100644
index 00000000000..4f5986ba48b
--- /dev/null
+++ b/gcc/testsuite/c-c++-common/pr85156.c
@@ -0,0 +1,11 @@
+/* PR tree-optimization/85156 */
+/* { dg-do compile } */
+/* { dg-options "-O2 -g" } */
+
+int a, b;
+
+int
+foo (void)
+{
+  return __builtin_expect (a ? b != 0 : 0, ({ 1; }));
+}
diff --git a/gcc/testsuite/gcc.c-torture/execute/pr85156.c b/gcc/testsuite/gcc.c-torture/execute/pr85156.c
new file mode 100644
index 00000000000..a2968370283
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/execute/pr85156.c
@@ -0,0 +1,21 @@
+/* PR tree-optimization/85156 */
+
+int x, y;
+
+__attribute__((noipa)) int
+foo (int z)
+{
+  if (__builtin_expect (x ? y != 0 : 0, z++))
+    return 7;
+  return z;
+}
+
+int
+main ()
+{
+  x = 1;
+  asm volatile ("" : "+m" (x), "+m" (y));
+  if (foo (10) != 11)
+    __builtin_abort ();
+  return 0;
+}