re PR rtl-optimization/47862 (Incorrect code for spilling a vector register)
authorPat Haugen <pthaugen@us.ibm.com>
Mon, 7 Mar 2011 19:27:09 +0000 (19:27 +0000)
committerPat Haugen <pthaugen@gcc.gnu.org>
Mon, 7 Mar 2011 19:27:09 +0000 (19:27 +0000)
        PR target/47862
        * config/rs6000/rs6000.h (HARD_REGNO_CALLER_SAVE_MODE): Define.
        * config/rs6000/e500.h (HARD_REGNO_CALLER_SAVE_MODE): Undefine
        before definition.

        * testsuite/gcc.target/powerpc/pr47862.c: New.

From-SVN: r170748

gcc/ChangeLog
gcc/config/rs6000/e500.h
gcc/config/rs6000/rs6000.h
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.target/powerpc/pr47862.c [new file with mode: 0644]

index 0b6a15ba0d8e609457e4ea4354bea1ea7f611586..64ff65e3d1a94789e75c734cffe9902f5e834536 100644 (file)
@@ -1,3 +1,10 @@
+2011-03-07  Pat Haugen <pthaugen@us.ibm.com>
+
+       PR target/47862
+       * config/rs6000/rs6000.h (HARD_REGNO_CALLER_SAVE_MODE): Define.
+       * config/rs6000/e500.h (HARD_REGNO_CALLER_SAVE_MODE): Undefine
+       before definition.
+
 2011-03-07  Zdenek Dvorak  <ook@ucw.cz>
 
        PR bootstrap/48000
index 744f4de4c58045e428f3e4ac1e32364d7b54c30c..807df0900a531713f590e6b9d70b14f9fa798e78 100644 (file)
@@ -47,6 +47,8 @@
       }                                                                        \
   } while (0)
 
+/* Override rs6000.h definition.  */
+#undef HARD_REGNO_CALLER_SAVE_MODE
 /* When setting up caller-save slots (MODE == VOIDmode) ensure we
    allocate space for DFmode.  Save gprs in the correct mode too.  */
 #define HARD_REGNO_CALLER_SAVE_MODE(REGNO, NREGS, MODE) \
index 98ec24c75eb9b21e17595b501e5c336970c5066e..49134568b71359e1cd7aa17fc4ee92d401c02042 100644 (file)
@@ -1005,6 +1005,16 @@ extern unsigned rs6000_pointer_size;
 
 #define HARD_REGNO_NREGS(REGNO, MODE) rs6000_hard_regno_nregs[(MODE)][(REGNO)]
 
+/* When setting up caller-save slots (MODE == VOIDmode) ensure we allocate
+   enough space to account for vectors in FP regs. */
+#define HARD_REGNO_CALLER_SAVE_MODE(REGNO, NREGS, MODE)        \
+  (TARGET_VSX                                          \
+   && ((MODE) == VOIDmode || VSX_VECTOR_MODE (MODE)    \
+       || ALTIVEC_VECTOR_MODE (MODE))                  \
+   && FP_REGNO_P (REGNO)                               \
+   ? V2DFmode                                          \
+   : choose_hard_reg_mode ((REGNO), (NREGS), false))
+
 #define HARD_REGNO_CALL_PART_CLOBBERED(REGNO, MODE)                    \
   (((TARGET_32BIT && TARGET_POWERPC64                                  \
      && (GET_MODE_SIZE (MODE) > 4)                                     \
index 04caa838bffd7f902500e3f1ea8db4056f505d5f..7635092e6963754063b1c0567e62a27bfb3f0c6a 100644 (file)
@@ -1,3 +1,8 @@
+2011-03-07  Pat Haugen <pthaugen@us.ibm.com>
+
+       PR target/47862
+       * gcc.target/powerpc/pr47862.c: New.
+
 2011-03-07  Jack Howarth <howarth@bromo.med.uc.edu>
 
        PR target/45413
diff --git a/gcc/testsuite/gcc.target/powerpc/pr47862.c b/gcc/testsuite/gcc.target/powerpc/pr47862.c
new file mode 100644 (file)
index 0000000..528cace
--- /dev/null
@@ -0,0 +1,19 @@
+/* { dg-do compile { target { powerpc*-*-* } } } */
+/* { dg-skip-if "" { powerpc*-*-darwin* } { "*" } { "" } } */
+/* { dg-require-effective-target powerpc_vsx_ok } */
+/* { dg-options "-O2 -mcpu=power7" } */
+/* { dg-final { scan-assembler-not "stfd" } } */
+
+/* PR 47862: Verify caller-save spill of vectors in FP regs do not use
+   legacy FP insns, which spill only half the vector.  */
+extern vector double dd[15];
+
+vector double foo() {
+  vector double a,b,c,d,e,f,g,h,i,j,k,l,m,n;
+
+  a=dd[1]; b=dd[2]; c=dd[3]; d=dd[4]; e=dd[5]; f=dd[6]; g=dd[7]; h=dd[8]; i=dd[9];
+  j=dd[10]; k=dd[11]; l=dd[12]; m=dd[13]; n=dd[14];
+  bar();
+  return (a+b+c+d+e+f+g+h+i+j+k+l+m+n);
+}
+