+2007-04-11 Sebastian Pop <sebpop@gmail.com>
+
+ PR tree-optimization/32367
+ * tree-chrec.h (build_polynomial_chrec): Verify that the left hand side
+ of the chrec has no evolution in that loop.
+ * testsuite/gcc.dg/tree-ssa/pr32367.c: New.
+
2007-06-19 Bob Wilson <bob.wilson@acm.org>
* config/xtensa/xtensa.c: Include "df.h".
--- /dev/null
+/* { dg-do compile } */
+/* { dg-options "-O2" } */
+
+int BinomialCoefficientsInited = 0;
+int BinomialCoefficients[17 * 35];
+double Evaluate_TPat (void)
+{
+ unsigned short n, k;
+ if (BinomialCoefficientsInited == 0)
+ {
+ int *ptr = BinomialCoefficients;
+ for (n = 1; n <= 33; ++n)
+ {
+ for (k = 1; k < n; ++k)
+ ++ptr;
+ *ptr = 1;
+ }
+ }
+}
+
extern bool evolution_function_is_affine_multivariate_p (tree, int);
extern bool evolution_function_is_univariate_p (tree);
extern unsigned nb_vars_in_chrec (tree);
+extern bool evolution_function_is_invariant_p (tree, int);
/* Determines whether CHREC is equal to zero. */
return false;
}
+/* Determines whether CHREC is a loop invariant with respect to LOOP_NUM.
+ Set the result in RES and return true when the property can be computed. */
+
+static inline bool
+no_evolution_in_loop_p (tree chrec, unsigned loop_num, bool *res)
+{
+ tree scev;
+
+ if (chrec == chrec_not_analyzed_yet
+ || chrec == chrec_dont_know
+ || chrec_contains_symbols_defined_in_loop (chrec, loop_num))
+ return false;
+
+ scev = hide_evolution_in_other_loops_than_loop (chrec, loop_num);
+ *res = !tree_is_chrec (scev);
+ return true;
+}
+
/* Build a polynomial chain of recurrence. */
static inline tree
tree left,
tree right)
{
+ bool val;
+
if (left == chrec_dont_know
|| right == chrec_dont_know)
return chrec_dont_know;
+ if (no_evolution_in_loop_p (left, loop_num, &val) && !val)
+ return chrec_dont_know;
+
if (POINTER_TYPE_P (TREE_TYPE (left)))
gcc_assert (sizetype == TREE_TYPE (right));
else
}
}
-extern bool evolution_function_is_invariant_p (tree, int);
/* Determine whether the given tree is an affine evolution function or not. */
static inline bool
return !tree_contains_chrecs (expr, NULL);
}
-/* Determines whether CHREC is a loop invariant with respect to LOOP_NUM.
- Set the result in RES and return true when the property can be computed. */
-
-static inline bool
-no_evolution_in_loop_p (tree chrec, unsigned loop_num, bool *res)
-{
- tree scev;
-
- if (chrec == chrec_not_analyzed_yet
- || chrec == chrec_dont_know
- || chrec_contains_symbols_defined_in_loop (chrec, loop_num))
- return false;
-
- scev = hide_evolution_in_other_loops_than_loop (chrec, loop_num);
- *res = !tree_is_chrec (scev);
- return true;
-}
-
/* Returns the type of the chrec. */
static inline tree