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
thread_entry_through_header(void)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"} } */
22