| /* { dg-do compile } */ | |
| /* { dg-options "-O2 -fdump-tree-evrp" } */ | |
| extern void vrp_keep (void); | |
| extern void vrp_kill (void); | |
| void | |
| f2 (int s, int b) | |
| { | |
| if (s > 4) | |
| s = 4; | |
| if (s < -16) | |
| s = -16; | |
| /* s in [-16, 4]. */ | |
| b = (b & 1) + 1; | |
| /* b in range [1, 2]. */ | |
| b = s << b; | |
| /* b in range [-64, 16]. */ | |
| if (b == -2) | |
| vrp_keep (); | |
| if (b <= -65) | |
| vrp_kill (); | |
| if (b >= 17) | |
| vrp_kill (); | |
| } | |
| /* { dg-final { scan-tree-dump-times "vrp_keep \\(" 1 "evrp"} } */ | |
| /* { dg-final { scan-tree-dump-times "vrp_kill \\(" 0 "evrp"} } */ |