This patch makes graphite run the scev_const_prop systematically even
when using -fno-tree-scev-cprop. When scev_const_prop is not applied,
there exist close_phi nodes for the main induction variable, making it
impossible for graphite to distinguish between reductions and the IVs.
So the main IV is translated as it was a reduction, i.e., using copies
into temporary arrays, and that makes the scev analysis impossible
during code generation.
Bootstrapped and tested on amd64-linux.
2011-07-23 Sebastian Pop <sebastian....@amd.com>
PR middle-end/47691
* graphite.c (graphite_initialize): Call scev_const_prop when
flag_tree_scev_cprop is not set.
* gfortran.dg/graphite/id-pr47691.f: New.
---
gcc/ChangeLog | 6 ++++++
gcc/graphite.c | 3 +++
gcc/testsuite/ChangeLog | 5 +++++
gcc/testsuite/gfortran.dg/graphite/id-pr47691.f | 7 +++++++
4 files changed, 21 insertions(+), 0 deletions(-)
create mode 100644 gcc/testsuite/gfortran.dg/graphite/id-pr47691.f
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 9cfa21b..36347d6 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2011-07-23 Sebastian Pop <sebastian....@amd.com>
+
+ PR middle-end/47691
+ * graphite.c (graphite_initialize): Call scev_const_prop when
+ flag_tree_scev_cprop is not set.
+
2011-07-21 Sebastian Pop <sebastian....@amd.com>
PR middle-end/47654
diff --git a/gcc/graphite.c b/gcc/graphite.c
index b013447..dfe9ca7 100644
--- a/gcc/graphite.c
+++ b/gcc/graphite.c
@@ -201,6 +201,9 @@ graphite_initialize (void)
return false;
}
+ if (!flag_tree_scev_cprop)
+ scev_const_prop ();
+
scev_reset ();
recompute_all_dominators ();
initialize_original_copy_tables ();
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index a63b647..5f9b79d 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2011-07-23 Sebastian Pop <sebastian....@amd.com>
+
+ PR middle-end/47691
+ * gfortran.dg/graphite/id-pr47691.f: New.
+
2011-07-21 Sebastian Pop <sebastian....@amd.com>
PR middle-end/47654
diff --git a/gcc/testsuite/gfortran.dg/graphite/id-pr47691.f
b/gcc/testsuite/gfortran.dg/graphite/id-pr47691.f
new file mode 100644
index 0000000..0abbd55
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/graphite/id-pr47691.f
@@ -0,0 +1,7 @@
+! { dg-options "-O -fgraphite-identity -ffast-math -fno-tree-scev-cprop" }
+ dimension b(12,8)
+ do i=1,norb
+ end do
+ b(i,j) = 0
+ call rdrsym(b)
+ end
--
1.7.4.1
