From: pinskia <pinskia@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Mon, 13 Aug 2007 20:06:15 +0000 (+0000)
Subject: 2007-08-13  Andrew Pinski  <pinskia@gmail.com>
X-Git-Tag: upstream/4.9.2~46991
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=0eb14c3d868225929e1dbf3ccabbd388b874a1d6;p=platform%2Fupstream%2Flinaro-gcc.git

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
--- 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
--- 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
--- 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
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;
+}