re PR target/59003 (profiledbootstrap miscompiles gcc during stagefeedback --with...

	PR target/59003
	* config/i386/i386.c (expand_small_movmem_or_setmem): If mode is
	smaller than size, perform several stores or loads and stores
	at dst + count - size to store or copy all of size bytes, rather
	than just last modesize bytes.

	* gcc.dg/tree-prof/pr59003.c: New test.

From-SVN: r206896

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a571495fb3a2b3b7122c4d3f30a2225270c1d51d..9efc19abde39271a06d569c3f337628be9722ab5 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,11 @@
+2014-01-21  Jakub Jelinek  <jakub@redhat.com>
+
+       PR target/59003
+       * config/i386/i386.c (expand_small_movmem_or_setmem): If mode is
+       smaller than size, perform several stores or loads and stores
+       at dst + count - size to store or copy all of size bytes, rather
+       than just last modesize bytes.
+
 2014-01-20  DJ Delorie  <dj@redhat.com>
 
        * config/rl78/rl78.c (rl78_propogate_register_origins): Verify

diff --git a/gcc/config/i386/i386.c b/gcc/config/i386/i386.c
index 1a4d5683e342c3d64fe67526c0e85c1a189d0f10..4629053af79dc06b123e3c1b5df3a0963308face 100644 (file)
--- a/gcc/config/i386/i386.c
+++ b/gcc/config/i386/i386.c
@@ -23397,16 +23397,24 @@ expand_small_movmem_or_setmem (rtx destmem, rtx srcmem,
     }
 
   destmem = offset_address (destmem, count, 1);
-  destmem = offset_address (destmem, GEN_INT (-size - GET_MODE_SIZE (mode)),
+  destmem = offset_address (destmem, GEN_INT (-2 * size),
                            GET_MODE_SIZE (mode));
-  if (issetmem)
-    emit_move_insn (destmem, gen_lowpart (mode, value));
-  else
+  if (!issetmem)
     {
       srcmem = offset_address (srcmem, count, 1);
-      srcmem = offset_address (srcmem, GEN_INT (-size - GET_MODE_SIZE (mode)),
+      srcmem = offset_address (srcmem, GEN_INT (-2 * size),
                               GET_MODE_SIZE (mode));
-      emit_move_insn (destmem, srcmem);
+    }
+  for (n = 0; n * GET_MODE_SIZE (mode) < size; n++)
+    {
+      if (issetmem)
+       emit_move_insn (destmem, gen_lowpart (mode, value));
+      else
+       {
+         emit_move_insn (destmem, srcmem);
+         srcmem = offset_address (srcmem, modesize, GET_MODE_SIZE (mode));
+       }
+      destmem = offset_address (destmem, modesize, GET_MODE_SIZE (mode));
     }
   emit_jump_insn (gen_jump (done_label));
   emit_barrier ();

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index addd796ff015a709c8dd011d3923addff9c718c5..f7f6f88e26aaa7d2839a502a77aa186e487ff363 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,8 @@
 2014-01-21  Jakub Jelinek  <jakub@redhat.com>
 
+       PR target/59003
+       * gcc.dg/tree-prof/pr59003.c: New test.
+
        PR middle-end/59860
        * gcc.dg/strlenopt-4.c: Expect the same counts on s390*-* as on all
        other targets.

diff --git a/gcc/testsuite/gcc.dg/tree-prof/pr59003.c b/gcc/testsuite/gcc.dg/tree-prof/pr59003.c
new file mode 100644 (file)
index 0000000..b4ca9ea
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-prof/pr59003.c
@@ -0,0 +1,29 @@
+/* PR target/59003 */
+/* { dg-options "-O2" } */
+/* { dg-options "-O2 -mtune=amdfam10" { target i?86-*-* x86_64-*-* } } */
+
+__attribute__((noinline, noclone)) void *
+foo (void *p, unsigned int q)
+{
+  return __builtin_memset (p, 0, q * 4UL);
+}
+
+char buf[128] __attribute__((aligned (32)));
+
+int
+main ()
+{
+  int i;
+  for (i = 0; i < 100000; i++)
+    foo (buf + 4, 1 + (i & 1));
+  for (i = 0; i < 128; i++)
+    {
+      buf[i] = 'X';
+      asm volatile ("" : : : "memory");
+    }
+  foo (buf + 32, 7);
+  for (i = 0; i < 128; i++)
+    if (buf[i] != ((i < 32 || i >= 32 + 28) ? 'X' : 0))
+      __builtin_abort ();
+  return 0;
+}