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