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

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-vrp1 --param fsm-scale-path-blocks=1" } */
   3
   4 int func_81 (int);
   5 int func_98 (int);
   6
   7 void
   8 func_18 ( int t )
   9 {
  10   unsigned l_889;
  11   int l_895 = 1;
  12   for (0; 1; ++l_889)
  13     {
  14       int t1 = 0;
  15       func_98 (0);
  16       func_98 (0);
  17       if (func_81 (1))
  18         {
  19           int rhs = l_895;
  20           if (rhs == 0)
  21             rhs = 1;
  22           if (1 & (t % rhs))
  23             t1 = 1;
  24         }
  25       func_98 (t1);
  26       l_895 = 0;
  27     }
  28 }
  29
  30 /* There should be no if left.  */
  31
  32 /* { dg-final { scan-tree-dump-times "if" 0 "vrp1" } } */