/* APPLE LOCAL file lno */ | |
/* { dg-do compile } */ | |
/* { dg-options "-O1 -floop-test -fdump-tree-lptest-details" } */ | |
int foo (void); | |
int main (void) | |
{ | |
int a = -100; | |
int b = 2; | |
int c = 3; | |
while (a) | |
{ | |
/* Exercises if-phi-nodes. */ | |
if (foo ()) | |
a += b; | |
else | |
a += c; | |
b++; | |
c++; | |
} | |
} | |
/* The analyzer has to detect the following evolution function: | |
a -> {-100, +, {[2, 3], +, 1}_1}_1 | |
*/ | |
/* FIXME. */ | |