gcc/testsuite/gcc.dg/tree-ssa/ssa-dom-thread-1.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fno-tree-vrp -fdump-tree-dom1-details" } */
   3 void t(void);
   4 void q(void);
   5 void q1(void);
   6 void
   7 threading(int a,int b)
   8 {
   9         if (a>b)
  10           t();
  11         else
  12           q();
  13         if (a<=b)
  14           q1();
  15 }
  16 /* We should thread the jump twice and elliminate it.  */
  17 /* { dg-final { scan-tree-dump-times "Threaded" 2 "dom1"} } */
  18 /* { dg-final { cleanup-tree-dump "dom1" } } */