aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.9/gcc/graphite-scop-detection.c
diff options
context:
space:
mode:
Diffstat (limited to 'gcc-4.9/gcc/graphite-scop-detection.c')
-rw-r--r--gcc-4.9/gcc/graphite-scop-detection.c11
1 files changed, 10 insertions, 1 deletions
diff --git a/gcc-4.9/gcc/graphite-scop-detection.c b/gcc-4.9/gcc/graphite-scop-detection.c
index b5e4a8c8c..821f0846e 100644
--- a/gcc-4.9/gcc/graphite-scop-detection.c
+++ b/gcc-4.9/gcc/graphite-scop-detection.c
@@ -219,7 +219,14 @@ graphite_can_represent_scev (tree scev)
switch (TREE_CODE (scev))
{
+ case NEGATE_EXPR:
+ case BIT_NOT_EXPR:
+ CASE_CONVERT:
+ case NON_LVALUE_EXPR:
+ return graphite_can_represent_scev (TREE_OPERAND (scev, 0));
+
case PLUS_EXPR:
+ case POINTER_PLUS_EXPR:
case MINUS_EXPR:
return graphite_can_represent_scev (TREE_OPERAND (scev, 0))
&& graphite_can_represent_scev (TREE_OPERAND (scev, 1));
@@ -241,13 +248,15 @@ graphite_can_represent_scev (tree scev)
if (!evolution_function_right_is_integer_cst (scev)
|| !graphite_can_represent_init (scev))
return false;
+ return graphite_can_represent_scev (CHREC_LEFT (scev));
default:
break;
}
/* Only affine functions can be represented. */
- if (!scev_is_linear_expression (scev))
+ if (tree_contains_chrecs (scev, NULL)
+ || !scev_is_linear_expression (scev))
return false;
return true;