Hi,
I will commit this patch to trunk after regstrap.
Sebastian
2011-07-23 Sebastian Pop <sebastian....@amd.com>
PR middle-end/45450
* graphite-poly.c (apply_poly_transforms): Disable legality check
after an openscop read.
---
gcc/ChangeLog | 6 ++++++
gcc/graphite-poly.c | 6 +++++-
2 files changed, 11 insertions(+), 1 deletions(-)
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 266dd28..4dbca71 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,11 @@
2011-07-23 Sebastian Pop <sebastian....@amd.com>
+ PR middle-end/45450
+ * graphite-poly.c (apply_poly_transforms): Disable legality check
+ after an openscop read.
+
+2011-07-23 Sebastian Pop <sebastian....@amd.com>
+
PR middle-end/47691
* graphite-clast-to-gimple.c (translate_clast_user): Update use of
copy_bb_and_scalar_dependences.
diff --git a/gcc/graphite-poly.c b/gcc/graphite-poly.c
index bfdbc9f..db5b0cb 100644
--- a/gcc/graphite-poly.c
+++ b/gcc/graphite-poly.c
@@ -738,7 +738,11 @@ apply_poly_transforms (scop_p scop)
graphite_file = init_graphite_in_file (file_scop_number);
transform_done |= graphite_read_scop_file (graphite_file, scop);
- if (!graphite_legal_transform (scop))
+ /* We cannot check for the legality of the transform here: there
+ are cases where graphite_legal_transform cannot determine the
+ dependence at compile time. For an example, see the
+ explanation of why http://gcc.gnu.org/PR45450 is invalid. */
+ if (0 && !graphite_legal_transform (scop))
fatal_error ("the graphite file read for scop %d does not contain a
legal transform",
(int) file_scop_number);
--
1.7.4.1
