21 lines
431 B
C
21 lines
431 B
C
/* { dg-do compile } */
|
|
/* { dg-options "-O2 -fdump-tree-vrp1" } */
|
|
|
|
void fail(void) __attribute__((noreturn));
|
|
int bar(int);
|
|
|
|
int foo(int x) {
|
|
int i;
|
|
int s = 0;
|
|
|
|
if (x <= 0) fail();
|
|
for (i = 0; i < x; ++i) {
|
|
/* This division by 4 should be replaced with >> 2. */
|
|
s += bar(i/4);
|
|
}
|
|
return s;
|
|
}
|
|
|
|
/* { dg-final { scan-tree-dump-times " = i_.* >> 2" 1 "vrp1" } } */
|
|
/* { dg-final { cleanup-tree-dump "vrp1" } } */
|