As we are starting to run the testsuite through the power9 simulator using a
compiler built with the --with-cpu=power9 configuration option, we discovered
that one of the tests (20021120-1.c) failed due to the wrong instruction being
generated. It turns out that the wY constraint (which in turn calls
mem_operand_ds_form) was allowing indexed addresses. Since the alternative for
STXSD (Ativec DS-form instruction occurred before STXSDX (VSX X-form
instruction), the STXSD was generated.
This patch fixes this problem and it causes no regressions. Can I check it
into the trunk? In addition, this bug shows up in GCC 6.2. Assuming there are
no regressions after applying this patch, can I check it into the 6.2 branch as
well?
[gcc]
2016-08-09 Michael Meissner <meiss...@linux.vnet.ibm.com>
PR target/72853
* config/rs6000/rs6000.c (mem_operand_ds_form): Add check for op
being an offsettable address.
[gcc/testsuite]
2016-08-09 Michael Meissner <meiss...@linux.vnet.ibm.com>
PR target/72853
* gcc.target/powerpc/pr72853.c: New test.
--
Michael Meissner, IBM
IBM, M/S 2506R, 550 King Street, Littleton, MA 01460-6245, USA
email: meiss...@linux.vnet.ibm.com, phone: +1 (978) 899-4797
Index: gcc/config/rs6000/rs6000.c
===================================================================
--- gcc/config/rs6000/rs6000.c (revision 239301)
+++ gcc/config/rs6000/rs6000.c (working copy)
@@ -7739,6 +7739,9 @@ mem_operand_ds_form (rtx op, machine_mod
int extra;
rtx addr = XEXP (op, 0);
+ if (!MEM_P (op) || !offsettable_address_p (false, mode, addr))
+ return false;
+
op = address_offset (addr);
if (op == NULL_RTX)
return true;
Index: gcc/testsuite/gcc.target/powerpc/pr72853.c
===================================================================
--- gcc/testsuite/gcc.target/powerpc/pr72853.c (revision 0)
+++ gcc/testsuite/gcc.target/powerpc/pr72853.c (working copy)
@@ -0,0 +1,108 @@
+/* { dg-do compile { target { powerpc*-*-* } } } */
+/* { dg-skip-if "" { powerpc*-*-darwin* } { "*" } { "" } } */
+/* { dg-require-effective-target powerpc_p9vector_ok } */
+/* { dg-skip-if "do not override -mcpu" { powerpc*-*-* } { "-mcpu=*" } {
"-mcpu=power9" } } */
+/* { dg-options "-mcpu=power9 -O3 -mupper-regs-df -mupper-regs-sf
-funroll-loops" } */
+
+/* derived from 20021120-1.c, compiled for -mcpu=power9. */
+
+extern void abort (void);
+extern void exit (int);
+
+volatile double gd[32];
+volatile float gf[32];
+
+void
+foo (int n)
+{
+ double d00, d10, d20, d30, d01, d11, d21, d31, d02, d12, d22, d32, d03, d13,
+ d23, d33, d04, d14, d24, d34, d05, d15, d25, d35, d06, d16, d26, d36, d07,
+ d17, d27, d37;
+ float f00, f10, f20, f30, f01, f11, f21, f31, f02, f12, f22, f32, f03, f13,
+ f23, f33, f04, f14, f24, f34, f05, f15, f25, f35, f06, f16, f26, f36, f07,
+ f17, f27, f37;
+ volatile double *pd;
+ volatile float *pf;
+ int i;
+
+ pd = gd;
+ d00 = *(pd++), d10 = *(pd++), d20 = *(pd++), d30 = *(pd++), d01 =
+ *(pd++), d11 = *(pd++), d21 = *(pd++), d31 = *(pd++), d02 = *(pd++), d12 =
+ *(pd++), d22 = *(pd++), d32 = *(pd++), d03 = *(pd++), d13 = *(pd++), d23 =
+ *(pd++), d33 = *(pd++), d04 = *(pd++), d14 = *(pd++), d24 = *(pd++), d34 =
+ *(pd++), d05 = *(pd++), d15 = *(pd++), d25 = *(pd++), d35 = *(pd++), d06 =
+ *(pd++), d16 = *(pd++), d26 = *(pd++), d36 = *(pd++), d07 = *(pd++), d17 =
+ *(pd++), d27 = *(pd++), d37 = *(pd++);
+ for (i = 0; i < n; i++)
+ {
+ pf = gf;
+ f00 = *(pf++), f10 = *(pf++), f20 = *(pf++), f30 = *(pf++), f01 =
+ *(pf++), f11 = *(pf++), f21 = *(pf++), f31 = *(pf++), f02 =
+ *(pf++), f12 = *(pf++), f22 = *(pf++), f32 = *(pf++), f03 =
+ *(pf++), f13 = *(pf++), f23 = *(pf++), f33 = *(pf++), f04 =
+ *(pf++), f14 = *(pf++), f24 = *(pf++), f34 = *(pf++), f05 =
+ *(pf++), f15 = *(pf++), f25 = *(pf++), f35 = *(pf++), f06 =
+ *(pf++), f16 = *(pf++), f26 = *(pf++), f36 = *(pf++), f07 =
+ *(pf++), f17 = *(pf++), f27 = *(pf++), f37 = *(pf++);
+ pd = gd;
+ d00 += *(pd++), d10 += *(pd++), d20 += *(pd++), d30 += *(pd++), d01 +=
+ *(pd++), d11 += *(pd++), d21 += *(pd++), d31 += *(pd++), d02 +=
+ *(pd++), d12 += *(pd++), d22 += *(pd++), d32 += *(pd++), d03 +=
+ *(pd++), d13 += *(pd++), d23 += *(pd++), d33 += *(pd++), d04 +=
+ *(pd++), d14 += *(pd++), d24 += *(pd++), d34 += *(pd++), d05 +=
+ *(pd++), d15 += *(pd++), d25 += *(pd++), d35 += *(pd++), d06 +=
+ *(pd++), d16 += *(pd++), d26 += *(pd++), d36 += *(pd++), d07 +=
+ *(pd++), d17 += *(pd++), d27 += *(pd++), d37 += *(pd++);
+ pd = gd;
+ d00 += *(pd++), d10 += *(pd++), d20 += *(pd++), d30 += *(pd++), d01 +=
+ *(pd++), d11 += *(pd++), d21 += *(pd++), d31 += *(pd++), d02 +=
+ *(pd++), d12 += *(pd++), d22 += *(pd++), d32 += *(pd++), d03 +=
+ *(pd++), d13 += *(pd++), d23 += *(pd++), d33 += *(pd++), d04 +=
+ *(pd++), d14 += *(pd++), d24 += *(pd++), d34 += *(pd++), d05 +=
+ *(pd++), d15 += *(pd++), d25 += *(pd++), d35 += *(pd++), d06 +=
+ *(pd++), d16 += *(pd++), d26 += *(pd++), d36 += *(pd++), d07 +=
+ *(pd++), d17 += *(pd++), d27 += *(pd++), d37 += *(pd++);
+ pd = gd;
+ d00 += *(pd++), d10 += *(pd++), d20 += *(pd++), d30 += *(pd++), d01 +=
+ *(pd++), d11 += *(pd++), d21 += *(pd++), d31 += *(pd++), d02 +=
+ *(pd++), d12 += *(pd++), d22 += *(pd++), d32 += *(pd++), d03 +=
+ *(pd++), d13 += *(pd++), d23 += *(pd++), d33 += *(pd++), d04 +=
+ *(pd++), d14 += *(pd++), d24 += *(pd++), d34 += *(pd++), d05 +=
+ *(pd++), d15 += *(pd++), d25 += *(pd++), d35 += *(pd++), d06 +=
+ *(pd++), d16 += *(pd++), d26 += *(pd++), d36 += *(pd++), d07 +=
+ *(pd++), d17 += *(pd++), d27 += *(pd++), d37 += *(pd++);
+ pf = gf;
+ *(pf++) = f00, *(pf++) = f10, *(pf++) = f20, *(pf++) = f30, *(pf++) =
+ f01, *(pf++) = f11, *(pf++) = f21, *(pf++) = f31, *(pf++) =
+ f02, *(pf++) = f12, *(pf++) = f22, *(pf++) = f32, *(pf++) =
+ f03, *(pf++) = f13, *(pf++) = f23, *(pf++) = f33, *(pf++) =
+ f04, *(pf++) = f14, *(pf++) = f24, *(pf++) = f34, *(pf++) =
+ f05, *(pf++) = f15, *(pf++) = f25, *(pf++) = f35, *(pf++) =
+ f06, *(pf++) = f16, *(pf++) = f26, *(pf++) = f36, *(pf++) =
+ f07, *(pf++) = f17, *(pf++) = f27, *(pf++) = f37;
+ }
+ pd = gd;
+ *(pd++) = d00, *(pd++) = d10, *(pd++) = d20, *(pd++) = d30, *(pd++) =
+ d01, *(pd++) = d11, *(pd++) = d21, *(pd++) = d31, *(pd++) = d02, *(pd++) =
+ d12, *(pd++) = d22, *(pd++) = d32, *(pd++) = d03, *(pd++) = d13, *(pd++) =
+ d23, *(pd++) = d33, *(pd++) = d04, *(pd++) = d14, *(pd++) = d24, *(pd++) =
+ d34, *(pd++) = d05, *(pd++) = d15, *(pd++) = d25, *(pd++) = d35, *(pd++) =
+ d06, *(pd++) = d16, *(pd++) = d26, *(pd++) = d36, *(pd++) = d07, *(pd++) =
+ d17, *(pd++) = d27, *(pd++) = d37;
+}
+
+int
+main ()
+{
+ int i;
+
+ for (i = 0; i < 32; i++)
+ gd[i] = i, gf[i] = i;
+ foo (1);
+ for (i = 0; i < 32; i++)
+ if (gd[i] != i * 4 || gf[i] != i)
+ abort ();
+ exit (0);
+}
+
+/* { dg-final { scan-assembler-not "stxsd \[0-9\]+,\[0-9\]+,\[0-9\]" } } */
