1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-pre-stats" } */
13 /* We should detect that a+b is the same along both edges, and replace it with
15 /* { dg-final { scan-tree-dump-times "Eliminated: 1" 1 "pre"} } */
16 /* { dg-final { scan-tree-dump-times "Insertions" 0 "pre"} } */