re PR target/27006 (Invalid altivec constant loading code)

2006-04-13  Paolo Bonzini  <bonzini@gnu.org>
	    Ulrich Weigand  <uweigand@de.ibm.com>

	PR target/27006
	* config/rs6000/rs6000.h (EASY_VECTOR_15_ADD_SELF): Require n
	to be even.

	PR target/27006
	* gcc.dg/vmx/pr27006.c: New testcase.

Co-Authored-By: Ulrich Weigand <uweigand@de.ibm.com>
From-SVN: r112923

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index bae62293f8a41a9fabd20d283424997cc33820c6..d37196d1ecc83de0bf24bf87d8b53b7ec1629a83 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2006-04-13  Paolo Bonzini  <bonzini@gnu.org>
+           Ulrich Weigand  <uweigand@de.ibm.com>
+
+       PR target/27006
+       * config/rs6000/rs6000.h (EASY_VECTOR_15_ADD_SELF): Require n
+       to be even.
+
 2006-04-13  Alan Modra  <amodra@bigpond.net.au>
 
        PR target/26459

diff --git a/gcc/config/rs6000/rs6000.h b/gcc/config/rs6000/rs6000.h
index 75ff4a66cd6c4f32a9b6652382bcf31ca6d97ec6..96dd2d230c554c31972715e90a1d6426f99e4820 100644 (file)
--- a/gcc/config/rs6000/rs6000.h
+++ b/gcc/config/rs6000/rs6000.h
@@ -1598,7 +1598,8 @@ typedef struct rs6000_args
 
 #define EASY_VECTOR_15(n) ((n) >= -16 && (n) <= 15)
 #define EASY_VECTOR_15_ADD_SELF(n) (!EASY_VECTOR_15((n))       \
-                                   && EASY_VECTOR_15((n) >> 1))
+                                   && EASY_VECTOR_15((n) >> 1) \
+                                   && ((n) & 1) == 0)
 
 /* The macros REG_OK_FOR..._P assume that the arg is a REG rtx
    and check its validity for a certain class.

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 758f363265e661b07582d564f77d99703f54c7ab..2d61f83c4539b5f97dc728226b21233f3b6a5c21 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,9 @@
+2006-04-13  Paolo Bonzini  <bonzini@gnu.org>
+           Ulrich Weigand  <uweigand@de.ibm.com>
+
+       PR target/27006
+       * gcc.dg/vmx/pr27006.c: New testcase.
+
 2006-04-12  Jerry DeLisle  <jvdelisle@gcc.gnu.org>
 
        PR libgfortran/26766

diff --git a/gcc/testsuite/gcc.dg/vmx/pr27006.c b/gcc/testsuite/gcc.dg/vmx/pr27006.c
new file mode 100644 (file)
index 0000000..1b92252
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/vmx/pr27006.c
@@ -0,0 +1,23 @@
+/* { dg-do run */
+/* { dg-options "-maltivec" } */
+
+extern void abort ();
+
+typedef union
+{
+  int i[4];
+  __attribute__((altivec(vector__))) int v;
+} vec_int4;
+
+int main (void)
+{
+  vec_int4 i1;
+
+  i1.v = (__attribute__((altivec(vector__))) int){31, 31, 31, 31};
+
+  if (i1.i[0] != 31)
+    abort ();
+
+  return 0;
+}
+