1 /* { dg-do compile } */
2 /* { dg-options "-O2 -fdump-tree-vrp1-details" } */
4 blah (int code1, int code2)
9 n_sets = (int) (code1 == 32);
10 if (code2 == 64) goto L2; else goto L3;
16 if (n_sets > 1) goto L4; else goto L10;
24 if (n_sets > 0) goto L25; else goto L8;
32 if (i < n_sets) goto L24; else goto L8;
40 /* The n_sets > 0 test can be simplified into n_sets == 1 since the
41 only way to reach the test is when n_sets <= 1, and the only value
42 which satisfies both conditions is n_sets == 1. */
43 /* { dg-final { scan-tree-dump-times "Simplified relational" 1 "vrp1" } } */
44 /* { dg-final { cleanup-tree-dump "vrp1" } } */