summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gcc.dg/pr30957-1.c
blob: 65b98fa533d58747a9411b354cf11c3157a1be5e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
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*" } } */