The following fixes the ICEs in PR71230. Bootstrap and regtest running on x86_64-unknown-linux-gnu.
Richard. 2016-05-24 Richard Biener <rguent...@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. Index: gcc/tree-ssa-math-opts.c =================================================================== *** gcc/tree-ssa-math-opts.c (revision 236630) --- gcc/tree-ssa-math-opts.c (working copy) *************** init_symbolic_number (struct symbolic_nu *** 2051,2056 **** --- 2051,2059 ---- { 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 Index: gcc/testsuite/gcc.dg/optimize-bswapsi-5.c =================================================================== *** gcc/testsuite/gcc.dg/optimize-bswapsi-5.c (revision 0) --- gcc/testsuite/gcc.dg/optimize-bswapsi-5.c (working copy) *************** *** 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" } } */