From: Jakub Jelinek <jakub@redhat.com>
Date: Wed, 20 Jun 2018 14:51:04 +0000 (+0200)
Subject: re PR debug/86194 (ICE: SIGSEGV in avoid_constant_pool_reference (simplify-rtx.c... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=125fe9abf3f205bbc2c36fbcb981b81b522466ca;p=gcc.git

re PR debug/86194 (ICE: SIGSEGV in avoid_constant_pool_reference (simplify-rtx.c:215) with -O -g -mavx512bw)

	PR debug/86194
	* var-tracking.c (use_narrower_mode_test): Check if shift amount can
	be narrowed.

	* gcc.target/i386/pr86194.c: New test.

From-SVN: r261807
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 5d267eb1fac..7b399f1a3b9 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,9 @@
 2018-06-20  Jakub Jelinek  <jakub@redhat.com>
 
+	PR debug/86194
+	* var-tracking.c (use_narrower_mode_test): Check if shift amount can
+	be narrowed.
+
 	PR tree-optimization/86231
 	* tree-vrp.c (union_ranges): For (  [  )  ] or (   )[   ] range and
 	anti-range don't overwrite *vr0min before using it to compute *vr0max.
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 5b3de8da4d2..ce89b3348f6 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,8 @@
 2018-06-20  Jakub Jelinek  <jakub@redhat.com>
 
+	PR debug/86194
+	* gcc.target/i386/pr86194.c: New test.
+
 	PR tree-optimization/86231
 	* gcc.dg/tree-ssa/vrp119.c: New test.
 	* gcc.c-torture/execute/pr86231.c: New test.
diff --git a/gcc/testsuite/gcc.target/i386/pr86194.c b/gcc/testsuite/gcc.target/i386/pr86194.c
new file mode 100644
index 00000000000..0993155f0c4
--- /dev/null
+++ b/gcc/testsuite/gcc.target/i386/pr86194.c
@@ -0,0 +1,24 @@
+/* PR debug/86194 */
+/* { dg-do compile { target int128 } } */
+/* { dg-options "-O -g -mavx512bw" } */
+
+typedef unsigned U __attribute__ ((vector_size (64)));
+typedef unsigned long V __attribute__ ((vector_size (64)));
+typedef unsigned __int128 W __attribute__ ((vector_size (64)));
+
+U u;
+
+W
+bar (W w)
+{
+  U k = u;
+  w <<= (W)(U) { 5, 3, 3, 0, 7, 3, 1, 3, k[7] };
+  k += (U) { -(char)w[3] } != k;
+  return (W)k + w;
+}
+
+void
+foo (void)
+{
+  u = (U){ bar ((W)(V) { 0, ~0, 0, 0, 0, 0, ~0 })[0] };
+}
diff --git a/gcc/var-tracking.c b/gcc/var-tracking.c
index 2bbde92086f..8e800960b6d 100644
--- a/gcc/var-tracking.c
+++ b/gcc/var-tracking.c
@@ -964,6 +964,24 @@ use_narrower_mode_test (rtx x, const_rtx subreg)
 	  case MULT:
 	    break;
 	  case ASHIFT:
+	    if (GET_MODE (XEXP (x, 1)) != VOIDmode)
+	      {
+		enum machine_mode mode = GET_MODE (subreg);
+		rtx op1 = XEXP (x, 1);
+		enum machine_mode op1_mode = GET_MODE (op1);
+		if (GET_MODE_PRECISION (as_a <scalar_int_mode> (mode))
+		    < GET_MODE_PRECISION (as_a <scalar_int_mode> (op1_mode)))
+		  {
+		    poly_uint64 byte = subreg_lowpart_offset (mode, op1_mode);
+		    if (GET_CODE (op1) == SUBREG || GET_CODE (op1) == CONCAT)
+		      {
+			if (!simplify_subreg (mode, op1, op1_mode, byte))
+			  return false;
+		      }
+		    else if (!validate_subreg (mode, op1_mode, op1, byte))
+		      return false;
+		  }
+	      }
 	    iter.substitute (XEXP (x, 0));
 	    break;
 	  default: