/* APPLE LOCAL file lno */ /* { dg-do compile } */ /* { dg-options "-O1 -floop-test -fdump-tree-lptest-details" } */ int bar (void); int foo () { int i; int a = 2; while (a) { a *= 3; a += 5; } } /* FIXME: This exposes a problem in the representation. Is it possible to have an exponential and a polynomial together? The first assignment constructs "a -> {2, *, 3}_1", while the second adds 5 as a polynomial function. The following two representations are not correct: "a -> {{2, *, 3}_1, +, 5}_1" "a -> {{2, +, 5}_1, *, 3}_1" The right solution is: "a -> {2, *, 3}_1 + {0, +, 5}_1" but this exposes yet again the "exp + poly" problem: the representation is not homogen. Going into a Taylor decomposition could solve this problem. This is too difficult for the moment, and does not happen often. */ /* Do nothing for this testcase. */ /* FIXME. */