gcc/testsuite/gcc.dg/tree-ssa/vrp-float-relations-6.c

   1 // { dg-do compile }
   2 // { dg-options "-O2 -fgimple -fdump-tree-evrp" }
   3
   4 void link_error();
   5
   6 void __GIMPLE (ssa,startwith("evrp"))
   7 foo1 (float x, float y)
   8 {
   9   __BB(2):
  10   if (x_4(D) >= y_5(D))
  11     goto __BB5;
  12   else
  13     goto __BB3;
  14
  15   __BB(3):
  16   // Relation at this point is VREL_LT.
  17   if (x_4(D) __UNLT y_5(D))
  18     goto __BB5;
  19   else
  20     goto __BB4;
  21
  22   __BB(4):
  23   link_error ();
  24   goto __BB5;
  25
  26   __BB(5):
  27   return;
  28 }
  29
  30 void __GIMPLE (ssa,startwith("evrp"))
  31 foo2 (float x, float y)
  32 {
  33   __BB(2):
  34   if (x_4(D) >= y_5(D))
  35     goto __BB5;
  36   else
  37     goto __BB3;
  38
  39   __BB(3):
  40   // Relation at this point is VREL_LT.
  41   if (x_4(D) __UNLE y_5(D))
  42     goto __BB5;
  43   else
  44     goto __BB4;
  45
  46   __BB(4):
  47   link_error ();
  48   goto __BB5;
  49
  50   __BB(5):
  51   return;
  52 }
  53
  54 // { dg-final { scan-tree-dump-not "link_error" "evrp" } }