gcc/testsuite/gcc.dg/tree-ssa/vrp86.c

   1 /* PR tree-optimization/54471 */
   2 /* { dg-do compile } */
   3 /* { dg-options "-O2 -fdump-tree-vrp1" } */
   4
   5 #ifdef __SIZEOF_INT128__
   6 #define T __int128
   7 #else
   8 #define T long long
   9 #endif
  10
  11 void fn1call (void);
  12 void fn2call (void);
  13
  14 void
  15 foo (unsigned T x)
  16 {
  17   if (x > (unsigned T) -3)
  18     return;
  19   unsigned T y = 2 * x;
  20   if (y == 42)
  21     fn1call ();
  22   else
  23     fn2call ();
  24 }
  25
  26 /* { dg-final { scan-tree-dump "fn1call" "vrp1"} } */
  27 /* { dg-final { scan-tree-dump "fn2call" "vrp1"} } */