From: Jakub Jelinek <jakub@redhat.com>
Date: Sat, 25 Nov 2017 19:35:47 +0000 (+0100)
Subject: re PR rtl-optimization/81553 (ICE in immed_wide_int_const, at emit-rtl.c:607)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e95be6330d3621d46cc6acc3dd4c45da5fd3f4b6;p=gcc.git

re PR rtl-optimization/81553 (ICE in immed_wide_int_const, at emit-rtl.c:607)

	PR rtl-optimization/81553
	* combine.c (simplify_if_then_else): In (if_then_else COND (OP Z C1) Z)
	to (OP Z (mult COND (C1 * STORE_FLAG_VALUE))) optimization, if OP
	is a shift where C1 has different mode than the whole shift, use C1's
	mode for MULT rather than the shift's mode.

	* gcc.c-torture/compile/pr81553.c: New test.

From-SVN: r255150
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 5e8b5388b20..3445e3e08ee 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,11 @@
 2017-11-25  Jakub Jelinek  <jakub@redhat.com>
 
+	PR rtl-optimization/81553
+	* combine.c (simplify_if_then_else): In (if_then_else COND (OP Z C1) Z)
+	to (OP Z (mult COND (C1 * STORE_FLAG_VALUE))) optimization, if OP
+	is a shift where C1 has different mode than the whole shift, use C1's
+	mode for MULT rather than the shift's mode.
+
 	PR target/82848
 	* config/rs6000/rs6000.c (rs6000_gimple_fold_builtin): Don't fold
 	builtins not enabled in the currently selected ISA.
diff --git a/gcc/combine.c b/gcc/combine.c
index ab515436fc8..0ce07511a3e 100644
--- a/gcc/combine.c
+++ b/gcc/combine.c
@@ -6639,11 +6639,15 @@ simplify_if_then_else (rtx x)
 
       if (z)
 	{
-	  temp = subst (simplify_gen_relational (true_code, m, VOIDmode,
+	  machine_mode cm = m;
+	  if ((op == ASHIFT || op == LSHIFTRT || op == ASHIFTRT)
+	      && GET_MODE (c1) != VOIDmode)
+	    cm = GET_MODE (c1);
+	  temp = subst (simplify_gen_relational (true_code, cm, VOIDmode,
 						 cond_op0, cond_op1),
 			pc_rtx, pc_rtx, 0, 0, 0);
-	  temp = simplify_gen_binary (MULT, m, temp,
-				      simplify_gen_binary (MULT, m, c1,
+	  temp = simplify_gen_binary (MULT, cm, temp,
+				      simplify_gen_binary (MULT, cm, c1,
 							   const_true_rtx));
 	  temp = subst (temp, pc_rtx, pc_rtx, 0, 0, 0);
 	  temp = simplify_gen_binary (op, m, gen_lowpart (m, z), temp);
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 4c4b81eadab..f0169279cd1 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2017-11-25  Jakub Jelinek  <jakub@redhat.com>
+
+	PR rtl-optimization/81553
+	* gcc.c-torture/compile/pr81553.c: New test.
+
 2017-11-25  Andreas Schwab  <schwab@linux-m68k.org>
 
 	* g++.dg/abi/structret1.C (FrameworkObject::action): Return a
diff --git a/gcc/testsuite/gcc.c-torture/compile/pr81553.c b/gcc/testsuite/gcc.c-torture/compile/pr81553.c
new file mode 100644
index 00000000000..ae33b169824
--- /dev/null
+++ b/gcc/testsuite/gcc.c-torture/compile/pr81553.c
@@ -0,0 +1,10 @@
+/* PR rtl-optimization/81553 */
+
+int a, b, c, d;
+
+void
+foo (void)
+{
+  d = 1 >> c >> 1;
+  b = ~(209883449764912897ULL & d) << (0 >= a) | ~d;
+}