gcc/testsuite/gcc.dg/tree-ssa/vrp-float-8.c

   1 // { dg-do compile }
   2 // { dg-options "-O2 -fno-thread-jumps -fdump-tree-evrp" }
   3
   4 extern void link_error ();
   5
   6 void fast_sqrt (float);
   7
   8 float test (float x)
   9 {
  10     float y = x*x;
  11     if (y >= 0.f)
  12       {
  13         if (__builtin_isnan (y))
  14          link_error ();
  15         else
  16           fast_sqrt (y);
  17
  18        if (!__builtin_isnan (y))
  19          fast_sqrt (y);
  20        else
  21          link_error ();
  22       }
  23 }
  24
  25 // { dg-final { scan-tree-dump-times "fast_sqrt" 2 "evrp" } }
  26 // { dg-final { scan-tree-dump-not "link_error" "evrp" } }