| /* PR tree-optimization/49039 */ |
| /* { dg-do compile } */ |
| /* { dg-options "-O2 -fdump-tree-evrp" } */ |
| |
| extern void bar (void); |
| |
| void |
| foo (unsigned int x, unsigned int y) |
| { |
| unsigned int minv, maxv; |
| if (x >= 3 && x <= 6) |
| return; |
| if (y >= 5 && y <= 8) |
| return; |
| minv = x < y ? x : y; |
| maxv = x > y ? x : y; |
| if (minv == 5) |
| bar (); |
| if (minv == 6) |
| bar (); |
| if (maxv == 5) |
| bar (); |
| if (maxv == 6) |
| bar (); |
| } |
| |
| /* { dg-final { scan-tree-dump-times "Folding predicate minv_.* == 5 to 0" 1 "evrp" } } */ |
| /* { dg-final { scan-tree-dump-times "Folding predicate minv_.* == 6 to 0" 1 "evrp" } } */ |
| /* { dg-final { scan-tree-dump-times "Folding predicate maxv_.* == 5 to 0" 1 "evrp" } } */ |
| /* { dg-final { scan-tree-dump-times "Folding predicate maxv_.* == 6 to 0" 1 "evrp" } } */ |
