Remove FinalRead

The FinalRead statement represented a virtual read that is executed after the
SCoP. It was used when we verified the correctness of a schedule by checking if
it yields the same FLOW dependences as the original code. This is only works, if
we have a final read that reads all memory at the end of the SCoP.
We now switched to just checking if a schedule does not introduce negative
dependences and also consider WAW WAR dependences. This restricts the schedules
a little bit more, but we do not have any optimizer that would calculate a more
complex schedule. Hence, for now final reads are obsolete.

llvm-svn: 152319

1 files changed, 0 insertions, 5 deletions

diff --git a/polly/lib/Pocc.cpp b/polly/lib/Pocc.cpp
index 6bed2e3663f..74aa3463a77 100644
--- a/polly/lib/Pocc.cpp
+++ b/polly/lib/Pocc.cpp
@@ -168,9 +168,6 @@ bool Pocc::runOnScop(Scop &S) {
     bool isSingleValued = true;
 
     for (Scop::iterator SI = S.begin(), SE = S.end(); SI != SE; ++SI) {
-      if ((*SI)->isFinalRead())
-        continue;
-
       isl_map *scat = (*SI)->getScattering();
       isl_map *projected = isl_map_project_out(scat, isl_dim_out, lastLoop,
                                                scatterDims - lastLoop);
@@ -189,8 +186,6 @@ bool Pocc::runOnScop(Scop &S) {
 
   // Strip mine the innermost loop.
   for (Scop::iterator SI = S.begin(), SE = S.end(); SI != SE; ++SI) {
-    if ((*SI)->isFinalRead())
-      continue;
     isl_map *scat = (*SI)->getScattering();
     int scatDims = (*SI)->getNumScattering();
     isl_space *Space = isl_space_alloc(S.getIslCtx(), S.getNumParams(),