1 /* { dg-options "-O1 -funsafe-math-optimizations -ftrapping-math -fdump-tree-recip -fdump-tree-optimized" } */
2 /* { dg-do compile } */
3 /* { dg-warning "-fassociative-math disabled" "" { target *-*-* } 0 } */
4
5 /* Test the reciprocal optimizations together with trapping math. */
6
7 extern int f2();
8
f1(double y,double z,double w,double j,double k)9 double f1(double y, double z, double w, double j, double k)
10 {
11 double b, c, d, e, f, g;
12
13 if (f2 ())
14 /* inserts one division here */
15 b = 1 / y, c = z / y, d = j / y;
16 else
17 /* one division here */
18 b = 3 / y, c = w / y, d = k / y;
19
20 /* and one here, that should be removed afterwards but is not right now */
21 e = b / y;
22 f = c / y;
23 g = d / y;
24
25 return e + f + g;
26 }
27
28 /* { dg-final { scan-tree-dump-times " / " 3 "recip" } } */
29 /* { dg-final { scan-tree-dump-times " / " 2 "optimized" { xfail *-*-* } } } */
30
31