gcc/testsuite/gcc.dg/tree-ssa/recip-5.c

   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 *-*-* } 1 } */
   4
   5 /* Test the reciprocal optimizations together with trapping math.  */
   6
   7 extern int f2();
   8
   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 /* { dg-final { cleanup-tree-dump "recip" } } */
  31 /* { dg-final { cleanup-tree-dump "optimized" } } */
  32