2007-08-13 Andrew Pinski <pinskia@gmail.com>

        PR C/30427
        * c-typeck.c (build_unary_op <case BIT_NOT_EXPR>): Reject vector float
        types.

2007-08-13  Andrew Pinski  <pinskia@gmail.com>

        PR C/30427
        *  gcc.dg/vector-1.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@127396 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d8cba16..a2f9281 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2007-08-13  Andrew Pinski  <pinskia@gmail.com>
+
+       PR C/30427
+       * c-typeck.c (build_unary_op <case BIT_NOT_EXPR>): Reject vector float
+       types.
+
 2007-08-13  Nick Clifton  <nickc@redhat.com>
 
        * config/arm/arm_neon.h: Revert GPLv3 patch to this file.

diff --git a/gcc/c-typeck.c b/gcc/c-typeck.c
index 516314e..4fb7092 100644 (file)
--- a/gcc/c-typeck.c
+++ b/gcc/c-typeck.c
@@ -2832,7 +2832,10 @@ build_unary_op (enum tree_code code, tree xarg, int flag)
       break;
 
     case BIT_NOT_EXPR:
-      if (typecode == INTEGER_TYPE || typecode == VECTOR_TYPE)
+      /* ~ works on integer types and non float vectors. */
+      if (typecode == INTEGER_TYPE
+         || (typecode == VECTOR_TYPE
+             && !VECTOR_FLOAT_TYPE_P (TREE_TYPE (arg))))
        {
          if (!noconvert)
            arg = default_conversion (arg);

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 542ac1a..ccf4aac 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2007-08-13  Andrew Pinski  <pinskia@gmail.com>
+
+       PR C/30427
+       *  gcc.dg/vector-1.c: New test.
+
 2007-08-13  Richard Sandiford  <richard@codesourcery.com>
 
        * gcc.dg/pr21255-4.c: Skip for PIC.

diff --git a/gcc/testsuite/gcc.dg/vector-1.c b/gcc/testsuite/gcc.dg/vector-1.c
new file mode 100644 (file)
index 0000000..288dd1e
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/vector-1.c
@@ -0,0 +1,15 @@
+/* { dg-do compile } */
+/* { dg-options "" } */
+
+/* Check for application of ~ on vector types.  */
+
+#define vector __attribute__((vector_size(16) ))
+
+vector float a;
+vector int a1;
+
+int f(void)
+{
+ a =  ~a; /* { dg-error "" } */
+ a1 =  ~a1;
+}