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

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -fdump-tree-vrp1-stats -fdump-tree-dom2-stats" } */
   3
   4 void bla();
   5
   6 /* In the following case, we should be able to thread edge through
   7    the loop header.  */
   8
   9 void thread_entry_through_header (void)
  10 {
  11   int i;
  12
  13   for (i = 0; i < 170; i++)
  14     bla ();
  15 }
  16
  17 /* There's a single jump thread that should be handled by the VRP
  18    jump threading pass.  */
  19 /* { dg-final { scan-tree-dump-times "Jumps threaded: 1" 1 "vrp1"} } */
  20 /* { dg-final { scan-tree-dump-times "Jumps threaded: 2" 0 "vrp1"} } */
  21 /* { dg-final { scan-tree-dump-not "Jumps threaded" "dom2"} } */