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

   1 // { dg-options "-O1 -fdump-tree-dom3-raw" }
   2
   3 extern int
   4 __attribute__((const))
   5 foo4b (int);
   6
   7 int f4b (unsigned int r)
   8 {
   9   if (foo4b (r))
  10     r *= 8U;
  11
  12   if ((r / 2U) & 2U)
  13     r += foo4b (r);
  14
  15   return r;
  16 }
  17
  18 // { dg-final { scan-tree-dump-times {gimple_call <foo4b,} 1 dom3 } }