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" } } */