1 files changed, 40 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.dg/tree-ssa-chrec/ssa-chrec-29.c b/gcc/testsuite/gcc.dg/tree-ssa-chrec/ssa-chrec-29.c
new file mode 100644
index 00000000000..716797361fe
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa-chrec/ssa-chrec-29.c
@@ -0,0 +1,40 @@
+/* { dg-do compile } */ 
+/* { dg-options "-O1 -fscalar-evolutions -fdump-tree-scev-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. */
+