From: Richard Biener <rguenther@suse.de>
Date: Thu, 24 Mar 2016 14:07:42 +0000 (+0000)
Subject: re PR tree-optimization/70396 (ICE on valid code at -O3 in 32-bit and 64-bit modes... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=69a9a66f466f89b3e65bad5ee3087cbf7461fd98;p=gcc.git

re PR tree-optimization/70396 (ICE on valid code at -O3 in 32-bit and 64-bit modes on x86_64-linux-gnu (in immed_wide_int_const, at emit-rtl.c:606))

2016-03-24  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/70396
	* tree-vect-stmts.c (vectorizable_comparison): Use
	get_vectype_for_scalar_type.

	* gcc.dg/torture/pr70396.c: New testcase.

From-SVN: r234455
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a4ade25c6ca..c17cc11c624 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2016-03-24  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/70396
+	* tree-vect-stmts.c (vectorizable_comparison): Use
+	get_vectype_for_scalar_type.
+
 2016-03-24  Richard Biener  <rguenther@suse.de>
 
 	PR middle-end/70370
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 73cb726f644..99ef9f7a417 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-03-24  Richard Biener  <rguenther@suse.de>
+
+	PR tree-optimization/70396
+	* gcc.dg/torture/pr70396.c: New testcase.
+
 2016-03-24  Richard Biener  <rguenther@suse.de>
 
 	PR middle-end/70370
diff --git a/gcc/testsuite/gcc.dg/torture/pr70396.c b/gcc/testsuite/gcc.dg/torture/pr70396.c
new file mode 100644
index 00000000000..839610f2095
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr70396.c
@@ -0,0 +1,17 @@
+/* { dg-do compile } */
+
+struct S2 {
+    signed f1 : 3;
+};
+int a[100];
+int b, c;
+char d;
+void fn1() {
+    struct S2 e;
+    b / e.f1;
+    c = 2;
+    for (; c < 100; c++) {
+	d = 0;
+	a[c] = ~e.f1 != d;
+    }
+}
diff --git a/gcc/tree-vect-stmts.c b/gcc/tree-vect-stmts.c
index d12c0628196..cd5afeafebd 100644
--- a/gcc/tree-vect-stmts.c
+++ b/gcc/tree-vect-stmts.c
@@ -7790,8 +7790,8 @@ vectorizable_comparison (gimple *stmt, gimple_stmt_iterator *gsi,
   /* Invariant comparison.  */
   if (!vectype)
     {
-      vectype = build_vector_type (TREE_TYPE (rhs1), nunits);
-      if (tree_to_shwi (TYPE_SIZE_UNIT (vectype)) != current_vector_size)
+      vectype = get_vectype_for_scalar_type (TREE_TYPE (rhs1));
+      if (TYPE_VECTOR_SUBPARTS (vectype) != nunits)
 	return false;
     }
   else if (nunits != TYPE_VECTOR_SUBPARTS (vectype))