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

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 13134d9..45313ab 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,11 @@
 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.
 

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index a6f65b8..25decd3 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,10 @@
 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.

diff --git a/gcc/testsuite/gcc.dg/optimize-bswapsi-5.c b/gcc/testsuite/gcc.dg/optimize-bswapsi-5.c
new file mode 100644 (file)
index 0000000..a824547
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/optimize-bswapsi-5.c
@@ -0,0 +1,31 @@
+/* { 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" } } */

diff --git a/gcc/tree-ssa-math-opts.c b/gcc/tree-ssa-math-opts.c
index 81688cd..0b0c866 100644 (file)
--- a/gcc/tree-ssa-math-opts.c
+++ b/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