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

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-dom2-details" } */
   3
   4 void foo();
   5 void bla();
   6 void bar();
   7
   8 void dont_thread_1 (void)
   9 {
  10   int i = 0;
  11   int first = 1;
  12
  13   do
  14     {
  15       if (first)
  16         foo ();
  17       else
  18         bar ();
  19
  20       first = 0;
  21       bla ();
  22     } while (i++ < 100);
  23 }
  24
  25 /* This one can only be threaded if both paths to the
  26    conditional inside the loop are threaded at the same
  27    time.  Else we potentially end up with irreducible
  28    loops.  */
  29 /* { dg-final { scan-tree-dump-not "IRREDUCIBLE_LOOP" "dom2" } } */