From 241b71bb88e4b3e77114cee97d2eb611790cb9fa Mon Sep 17 00:00:00 2001 From: Tom de Vries Date: Wed, 27 Nov 2013 10:00:48 +0000 Subject: [PATCH] Handle vector increment/decrement in build_unary_op 2013-11-27 Tom de Vries Marc Glisse PR c++/59032 * c-typeck.c (build_unary_op): Allow vector increment and decrement. * typeck.c (cp_build_unary_op): Allow vector increment and decrement. * c-c++-common/pr59032.c: New testcase. Co-Authored-By: Marc Glisse From-SVN: r205439 --- gcc/c/ChangeLog | 6 ++++++ gcc/c/c-typeck.c | 6 ++++-- gcc/cp/ChangeLog | 6 ++++++ gcc/cp/typeck.c | 4 +++- gcc/testsuite/ChangeLog | 6 ++++++ gcc/testsuite/c-c++-common/pr59032.c | 30 ++++++++++++++++++++++++++++ 6 files changed, 55 insertions(+), 3 deletions(-) create mode 100644 gcc/testsuite/c-c++-common/pr59032.c diff --git a/gcc/c/ChangeLog b/gcc/c/ChangeLog index 333aa11d7f2..1b7af32a0cc 100644 --- a/gcc/c/ChangeLog +++ b/gcc/c/ChangeLog @@ -1,3 +1,9 @@ +2013-11-27 Tom de Vries + Marc Glisse + + PR c++/59032 + * c-typeck.c (build_unary_op): Allow vector increment and decrement. + 2013-11-22 Andrew MacLeod * c-typeck.c: Add required include files from gimple.h. diff --git a/gcc/c/c-typeck.c b/gcc/c/c-typeck.c index 0c9c8c855b2..f602ca4eb54 100644 --- a/gcc/c/c-typeck.c +++ b/gcc/c/c-typeck.c @@ -3982,7 +3982,7 @@ build_unary_op (location_t location, if (typecode != POINTER_TYPE && typecode != FIXED_POINT_TYPE && typecode != INTEGER_TYPE && typecode != REAL_TYPE - && typecode != COMPLEX_TYPE) + && typecode != COMPLEX_TYPE && typecode != VECTOR_TYPE) { if (code == PREINCREMENT_EXPR || code == POSTINCREMENT_EXPR) error_at (location, "wrong type argument to increment"); @@ -4047,7 +4047,9 @@ build_unary_op (location_t location, } else { - inc = integer_one_node; + inc = VECTOR_TYPE_P (argtype) + ? build_one_cst (argtype) + : integer_one_node; inc = convert (argtype, inc); } diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 8c5ec0a9556..4d4e0e4b22f 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2013-11-27 Tom de Vries + Marc Glisse + + PR c++/59032 + * typeck.c (cp_build_unary_op): Allow vector increment and decrement. + 2013-11-27 Tom de Vries Marc Glisse diff --git a/gcc/cp/typeck.c b/gcc/cp/typeck.c index a4da037db33..9f9f7b6775b 100644 --- a/gcc/cp/typeck.c +++ b/gcc/cp/typeck.c @@ -5748,7 +5748,9 @@ cp_build_unary_op (enum tree_code code, tree xarg, int noconvert, inc = cxx_sizeof_nowarn (TREE_TYPE (argtype)); } else - inc = integer_one_node; + inc = VECTOR_TYPE_P (argtype) + ? build_one_cst (argtype) + : integer_one_node; inc = cp_convert (argtype, inc, complain); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ca48472dc90..6cf7c386ae6 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,9 @@ +2013-11-27 Tom de Vries + Marc Glisse + + PR c++/59032 + * c-c++-common/pr59032.c: New testcase. + 2013-11-27 Tom de Vries Marc Glisse diff --git a/gcc/testsuite/c-c++-common/pr59032.c b/gcc/testsuite/c-c++-common/pr59032.c new file mode 100644 index 00000000000..327f5aeb6bc --- /dev/null +++ b/gcc/testsuite/c-c++-common/pr59032.c @@ -0,0 +1,30 @@ +/* { dg-do compile } */ +/* { dg-options "-O2" } */ + +void +foo() +{ + float v __attribute__((vector_size(8))); + v++; +} + +void +foo2 () +{ + float v __attribute__((vector_size(8))); + ++v; +} + +void +foo3 () +{ + float v __attribute__((vector_size(8))); + v--; +} + +void +foo4 () +{ + float v __attribute__((vector_size(8))); + --v; +}