From 382ad5ce1bb6ce92c276adc9a35c619c0a070aca Mon Sep 17 00:00:00 2001 From: Richard Biener Date: Fri, 7 Nov 2014 20:57:01 +0000 Subject: [PATCH] re PR tree-optimization/63605 (wrong code at -O3 on x86_64-linux-gnu) 2014-11-07 Richard Biener PR tree-optimization/63605 * fold-const.c (fold_binary_loc): Properly use element_precision for types that may not be scalar. * gcc.dg/vect/pr63605.c: New testcase. From-SVN: r217238 --- gcc/ChangeLog | 6 ++++++ gcc/fold-const.c | 2 +- gcc/testsuite/ChangeLog | 5 +++++ gcc/testsuite/gcc.dg/vect/pr63605.c | 22 ++++++++++++++++++++++ 4 files changed, 34 insertions(+), 1 deletion(-) create mode 100644 gcc/testsuite/gcc.dg/vect/pr63605.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index eb5d793f1be..966c0b449cb 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2014-11-07 Richard Biener + + PR tree-optimization/63605 + * fold-const.c (fold_binary_loc): Properly use element_precision + for types that may not be scalar. + 2014-11-07 Evgeny Stupachenko PR target/63534 diff --git a/gcc/fold-const.c b/gcc/fold-const.c index cff9c106f1e..c712213444c 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -12817,7 +12817,7 @@ fold_binary_loc (location_t loc, tree arg00 = TREE_OPERAND (arg0, 0); tree arg01 = TREE_OPERAND (arg0, 1); tree itype = TREE_TYPE (arg00); - if (wi::eq_p (arg01, TYPE_PRECISION (itype) - 1)) + if (wi::eq_p (arg01, element_precision (itype) - 1)) { if (TYPE_UNSIGNED (itype)) { diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 52ff7effc67..ba9df2cfb28 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2014-11-07 Richard Biener + + PR tree-optimization/63605 + * gcc.dg/vect/pr63605.c: New testcase. + 2014-11-07 Jeff Law * g++.dg/pr61289-2.C: Renamed from pr61289-2.c. diff --git a/gcc/testsuite/gcc.dg/vect/pr63605.c b/gcc/testsuite/gcc.dg/vect/pr63605.c new file mode 100644 index 00000000000..5096c7239d8 --- /dev/null +++ b/gcc/testsuite/gcc.dg/vect/pr63605.c @@ -0,0 +1,22 @@ +/* { dg-do run } */ + +#include "tree-vect.h" + +extern void abort (void); + +int a, b[8] = { 2, 0, 0, 0, 0, 0, 0, 0 }, c[8]; + +int +main () +{ + int d; + check_vect (); + for (; a < 8; a++) + { + d = b[a] >> 1; + c[a] = d != 0; + } + if (c[0] != 1) + abort (); + return 0; +} -- 2.30.2