re PR tree-optimization/71240 (ICE on valid code at -O2 and above on…

re PR tree-optimization/71240 (ICE on valid code at -O2 and above on x86_64-linux-gnu: verify_gimple failed)

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

	PR tree-optimization/71240
	* tree-ssa-math-opts.c (init_symbolic_number): Verify the source
	has integral type.

	* gcc.dg/optimize-bswapsi-5.c: New testcase.

From-SVN: r236644

gcc/ChangeLog

 2016-05-24  Richard Biener  <rguenther@suse.de>
 
+	PR tree-optimization/71240
+	* tree-ssa-math-opts.c (init_symbolic_number): Verify the source
+	has integral type.
+
+2016-05-24  Richard Biener  <rguenther@suse.de>
+
 	PR tree-optimization/71230
 	* tree-ssa-reassoc.c (zero_one_operation): Handle negate special ops.
 

gcc/testsuite/ChangeLog

 2016-05-24  Richard Biener  <rguenther@suse.de>
 
+	PR tree-optimization/71240
+	* gcc.dg/optimize-bswapsi-5.c: New testcase.
+
+2016-05-24  Richard Biener  <rguenther@suse.de>
+
 	PR tree-optimization/71230
 	* gcc.dg/torture/pr71230.c: New testcase.
 	* g++.dg/torture/pr71230.C: Likewise.

gcc/testsuite/gcc.dg/optimize-bswapsi-5.c

+/* { dg-do compile } */
+/* { dg-require-effective-target bswap32 } */
+/* { dg-options "-O2 -fdump-tree-bswap" } */
+/* { dg-additional-options "-march=z900" { target s390-*-* } } */
+
+struct L { unsigned int l[2]; };
+union U { double a; struct L l; } u;
+
+void
+foo (double a, struct L *p)
+{
+  u.a = a;
+  struct L l = u.l, m;
+  m.l[0] = (((l.l[1] & 0xff000000) >> 24)
+	    | ((l.l[1] & 0x00ff0000) >> 8)
+	    | ((l.l[1] & 0x0000ff00) << 8)
+	    | ((l.l[1] & 0x000000ff) << 24));
+  m.l[1] = (((l.l[0] & 0xff000000) >> 24)
+	    | ((l.l[0] & 0x00ff0000) >> 8)
+	    | ((l.l[0] & 0x0000ff00) << 8)
+	    | ((l.l[0] & 0x000000ff) << 24));
+  *p = m;
+}
+
+void
+bar (double a, struct L *p)
+{
+  foo (a, p);
+}
+
+/* { dg-final { scan-tree-dump-times "32 bit bswap implementation found at" 2 "bswap" } } */

gcc/tree-ssa-math-opts.c

@@ -2051,6 +2051,9 @@ init_symbolic_number (struct symbolic_number *n, tree src)
 {
   int size;
 
+  if (! INTEGRAL_TYPE_P (TREE_TYPE (src)))
+    return false;
+
   n->base_addr = n->offset = n->alias_set = n->vuse = NULL_TREE;
 
   /* Set up the symbolic number N by setting each byte to a value between 1 and