1 files changed, 37 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/pr30957-1.c b/gcc/testsuite/gcc.dg/pr30957-1.c
new file mode 100644
index 000000000..65b98fa53
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr30957-1.c
@@ -0,0 +1,37 @@
+/* { dg-do run { xfail *-*-* } } */
+/* We don't (and don't want to) perform this optimisation on soft-float
+   targets, where each addition is a library call.  This test requires
+   -fassociative-math for enabling the variable-expansion as well as
+   -fsigned-zeros for honoring the sign of zero; but
+   they can not co-exist; also under -funsafe-math-optimizations, so we
+   expect it to fail.  */
+/* { dg-require-effective-target hard_float } */
+/* { dg-options "-O2 -funroll-loops -funsafe-math-optimizations -fvariable-expansion-in-unroller -fdump-rtl-loop2_unroll" } */
+
+extern void abort (void);
+extern void exit (int);
+
+float __attribute__((noinline))
+foo (float d, int n)
+{
+  unsigned i;
+  float accum = d;
+
+  for (i = 0; i < n; i++)
+    accum += d;
+
+  return accum;
+}
+
+int
+main ()
+{
+  if (__builtin_copysignf (1.0, foo (0.0 / -5.0, 10)) != -1.0)
+    abort ();
+  exit (0);
+}
+
+/* { dg-final { scan-rtl-dump "Expanding Accumulator" "loop2_unroll" } } */
+/* { dg-final { cleanup-rtl-dump "loop*" } } */
+
+