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