From 0d3ce69b79ab7d7ea4a2fc4ed5e983ea6efcfa69 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Tue, 6 Dec 2016 10:21:13 +0100 Subject: [PATCH] re PR tree-optimization/78675 (ICE: verify_gimple failed (error: integral result type precision does not match field size of BIT_FIELD_REF)) 2016-12-06 Jakub Jelinek PR tree-optimization/78675 * tree-vect-loop.c (vectorizable_live_operation): For VECTOR_BOOLEAN_TYPE_P vectype use integral type with bitsize precision instead of TREE_TYPE (vectype) for the BIT_FIELD_REF. * gcc.c-torture/execute/pr78675.c: New test. * gcc.target/i386/pr78675-1.c: New test. * gcc.target/i386/pr78675-2.c: New test. From-SVN: r243283 --- gcc/ChangeLog | 7 ++++ gcc/testsuite/ChangeLog | 7 ++++ gcc/testsuite/gcc.c-torture/execute/pr78675.c | 38 +++++++++++++++++++ gcc/testsuite/gcc.target/i386/pr78675-1.c | 5 +++ gcc/testsuite/gcc.target/i386/pr78675-2.c | 15 ++++++++ gcc/tree-vect-loop.c | 6 ++- 6 files changed, 76 insertions(+), 2 deletions(-) create mode 100644 gcc/testsuite/gcc.c-torture/execute/pr78675.c create mode 100644 gcc/testsuite/gcc.target/i386/pr78675-1.c create mode 100644 gcc/testsuite/gcc.target/i386/pr78675-2.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 38e86cfd707..4e70e2705b0 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2016-12-06 Jakub Jelinek + + PR tree-optimization/78675 + * tree-vect-loop.c (vectorizable_live_operation): For + VECTOR_BOOLEAN_TYPE_P vectype use integral type with bitsize precision + instead of TREE_TYPE (vectype) for the BIT_FIELD_REF. + 2016-12-06 Eric Botcazou PR middle-end/78642 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 3b0a8fae079..35f10fe0563 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,10 @@ +2016-12-06 Jakub Jelinek + + PR tree-optimization/78675 + * gcc.c-torture/execute/pr78675.c: New test. + * gcc.target/i386/pr78675-1.c: New test. + * gcc.target/i386/pr78675-2.c: New test. + 2016-12-05 Andrew Senkevich * gcc.target/i386/avx512bw-kandd-1.c: New. diff --git a/gcc/testsuite/gcc.c-torture/execute/pr78675.c b/gcc/testsuite/gcc.c-torture/execute/pr78675.c new file mode 100644 index 00000000000..7cef3425f76 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/pr78675.c @@ -0,0 +1,38 @@ +/* PR tree-optimization/78675 */ + +long int a; + +__attribute__((noinline, noclone)) long int +foo (long int x) +{ + long int b; + while (a < 1) + { + b = a && x; + ++a; + } + return b; +} + +int +main () +{ + if (foo (0) != 0) + __builtin_abort (); + a = 0; + if (foo (1) != 0) + __builtin_abort (); + a = 0; + if (foo (25) != 0) + __builtin_abort (); + a = -64; + if (foo (0) != 0) + __builtin_abort (); + a = -64; + if (foo (1) != 0) + __builtin_abort (); + a = -64; + if (foo (25) != 0) + __builtin_abort (); + return 0; +} diff --git a/gcc/testsuite/gcc.target/i386/pr78675-1.c b/gcc/testsuite/gcc.target/i386/pr78675-1.c new file mode 100644 index 00000000000..68435b656fe --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr78675-1.c @@ -0,0 +1,5 @@ +/* PR tree-optimization/78675 */ +/* { dg-do compile } */ +/* { dg-options "-O3 -mavx512f" } */ + +#include "../../gcc.c-torture/execute/pr78675.c" diff --git a/gcc/testsuite/gcc.target/i386/pr78675-2.c b/gcc/testsuite/gcc.target/i386/pr78675-2.c new file mode 100644 index 00000000000..8f5ef875e6f --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr78675-2.c @@ -0,0 +1,15 @@ +/* { dg-do run } */ +/* { dg-options "-O3 -mavx512f" } */ +/* { dg-require-effective-target avx512f } */ + +#include "avx512f-check.h" + +#define main do_main + +#include "../../gcc.c-torture/execute/pr78675.c" + +static void +avx512f_test (void) +{ + do_main (); +} diff --git a/gcc/tree-vect-loop.c b/gcc/tree-vect-loop.c index 4150b0d9ee2..6e8b89c3cd3 100644 --- a/gcc/tree-vect-loop.c +++ b/gcc/tree-vect-loop.c @@ -6601,8 +6601,10 @@ vectorizable_live_operation (gimple *stmt, /* Create a new vectorized stmt for the uses of STMT and insert outside the loop. */ gimple_seq stmts = NULL; - tree new_tree = build3 (BIT_FIELD_REF, TREE_TYPE (vectype), vec_lhs, bitsize, - bitstart); + tree bftype = TREE_TYPE (vectype); + if (VECTOR_BOOLEAN_TYPE_P (vectype)) + bftype = build_nonstandard_integer_type (tree_to_uhwi (bitsize), 1); + tree new_tree = build3 (BIT_FIELD_REF, bftype, vec_lhs, bitsize, bitstart); new_tree = force_gimple_operand (fold_convert (lhs_type, new_tree), &stmts, true, NULL_TREE); if (stmts) -- 2.30.2