gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-thread-2f.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-vrp1-stats -fdump-tree-dom2-stats" } */
   3
   4 void foo();
   5 void bla();
   6 void bar();
   7
   8 /* Avoid threading in this case, in order to avoid creating loop with
   9    multiple entries.  */
  10
  11 void dont_thread_4 (int a, int nfirst)
  12 {
  13   int i = 0;
  14   int first;
  15
  16   if (a)
  17     first = 0;
  18   else
  19     first = 1;
  20
  21   do
  22     {
  23       if (first)
  24         foo ();
  25       else
  26         bar ();
  27
  28       first = nfirst;
  29       bla ();
  30     } while (i++ < 100);
  31 }
  32
  33 /* { dg-final { scan-tree-dump-not "Jumps threaded" "vrp1"} } */
  34 /* { dg-final { scan-tree-dump-not "Jumps threaded" "dom2"} } */