1 files changed, 39 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/sms-4.c b/gcc/testsuite/gcc.dg/sms-4.c
new file mode 100644
index 000000000..eafb39562
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/sms-4.c
@@ -0,0 +1,39 @@
+/* Inspired from sbitmap_a_or_b_and_c_cg function in sbitmap.c.  */
+/* { dg-do run } */
+/* { dg-options "-O2 -fmodulo-sched -fmodulo-sched-allow-regmoves -fdump-rtl-sms" } */
+
+extern void abort (void);
+
+int a[5] = { 0, 1, 0, 0, 0 };
+int b[5] = { 0, 1, 0, 1, 0 };
+int c[5] = { 0, 0, 1, 1, 0 };
+int dst[5] = { 0, 0, 0, 0, 0 };
+
+__attribute__ ((noinline))
+void
+foo (int size, int *ap, int *bp, int *cp, int *dstp)
+{
+  unsigned int i, n = size;
+  int changed = 0;
+
+  for (i = 0; i < n; i++)
+    {
+      const int tmp = *ap++ | (*bp++ & *cp++);
+      changed |= *dstp ^ tmp;
+      *dstp++ = tmp;
+    }
+
+  if (changed == 0)
+    abort ();
+}
+
+int
+main ()
+{
+  foo (5, a, b, c, dst);
+  return 0;
+}
+
+/* { dg-final { scan-rtl-dump-times "SMS succeeded" 1 "sms" { target spu-*-* powerpc*-*-* } } } */
+/* { dg-final { cleanup-rtl-dump "sms" } } */
+