diff options
| author | Richard Biener <rguenther@suse.de> | 2016-05-24 14:40:35 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2016-05-24 14:40:35 +0000 |
| commit | b556ea3b4653c99c2c8b5ecce5565f1b4963078b (patch) | |
| tree | 957266a24c0c2729967c0120d5dff5449effa616 | |
| parent | e5328f5dc2bc46eedf1d367de0bd751d43f1311d (diff) | |
| download | gcc-b556ea3b4653c99c2c8b5ecce5565f1b4963078b.zip gcc-b556ea3b4653c99c2c8b5ecce5565f1b4963078b.tar.gz gcc-b556ea3b4653c99c2c8b5ecce5565f1b4963078b.tar.bz2 | |
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
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/optimize-bswapsi-5.c | 31 | ||||
| -rw-r--r-- | gcc/tree-ssa-math-opts.c | 3 |
4 files changed, 45 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 13134d9..45313ab 100644 --- 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 --- 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 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 --- 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 |