From b97d37b42373ed291766a929a7dbcadf8af09884 Mon Sep 17 00:00:00 2001 From: Kugan Vivekanandarajah Date: Fri, 10 Jun 2016 21:57:01 +0000 Subject: [PATCH] re PR tree-optimization/71478 (ICE in tree-ssa-reassoc.c after r236564) gcc/testsuite/ChangeLog: 2016-06-11 Kugan Vivekanandarajah PR middle-end/71478 * gcc.dg/pr71478.c: New test. gcc/ChangeLog: 2016-06-11 Kugan Vivekanandarajah PR middle-end/71478 * tree-ssa-reassoc.c (reassociate_bb): Remove (-1) from ops list for vector integer type. From-SVN: r237318 --- gcc/ChangeLog | 6 ++++++ gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.dg/pr71478.c | 21 +++++++++++++++++++++ gcc/tree-ssa-reassoc.c | 3 +-- 4 files changed, 33 insertions(+), 2 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/pr71478.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 0af20baea1f..508ff0eb0bc 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2016-06-11 Kugan Vivekanandarajah + + PR middle-end/71478 + * tree-ssa-reassoc.c (reassociate_bb): Remove (-1) from ops list for + vector integer type. + 2016-06-10 Jakub Jelinek PR middle-end/71494 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index c35bcb69d52..deeeff54bb8 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2016-06-11 Kugan Vivekanandarajah + + PR middle-end/71478 + * gcc.dg/pr71478.c: New test. + 2016-06-10 Jakub Jelinek PR middle-end/71494 diff --git a/gcc/testsuite/gcc.dg/pr71478.c b/gcc/testsuite/gcc.dg/pr71478.c new file mode 100644 index 00000000000..5a3480701e1 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr71478.c @@ -0,0 +1,21 @@ +/* PR middle-end/71478 */ +/* { dg-require-effective-target vect_int } */ +/* { dg-do compile } */ +/* { dg-options "-O3" } */ + +typedef unsigned int __attribute__ ((vector_size (8))) uv2si; +typedef int __attribute__ ((vector_size (8))) v2si; + +uv2si bar (v2si); + +uv2si +foo (void) +{ + v2si x = (v2si) (0x00007fff80008000UL); + v2si y = (v2si) (0x8f997fff00000000UL); + uv2si z = x >= y; + uv2si k = bar (x); + uv2si j = k * __builtin_shuffle (z, z, (uv2si) {1, 3}); + return k * j; +} + diff --git a/gcc/tree-ssa-reassoc.c b/gcc/tree-ssa-reassoc.c index 36b34d37380..e32d503bfef 100644 --- a/gcc/tree-ssa-reassoc.c +++ b/gcc/tree-ssa-reassoc.c @@ -5303,8 +5303,7 @@ reassociate_bb (basic_block bb) && rhs_code == MULT_EXPR) { last = ops.last (); - if (((TREE_CODE (last->op) == INTEGER_CST - && integer_minus_onep (last->op)) + if ((integer_minus_onep (last->op) || real_minus_onep (last->op)) && !HONOR_SNANS (TREE_TYPE (lhs)) && (!HONOR_SIGNED_ZEROS (TREE_TYPE (lhs)) -- 2.30.2