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, 2 deletions

diff --git a/polly/lib/Exchange/OpenScopExporter.cpp b/polly/lib/Exchange/OpenScopExporter.cpp
index 7f1af1d0861..39b4a2aa44a 100755
--- a/polly/lib/Exchange/OpenScopExporter.cpp
+++ b/polly/lib/Exchange/OpenScopExporter.cpp
@@ -176,8 +176,6 @@ openscop_statement_p OpenScop::initializeStatement(ScopStmt *stmt) {
 void OpenScop::initializeStatements() {
   for (Scop::reverse_iterator SI = PollyScop->rbegin(), SE = PollyScop->rend();
        SI != SE; ++SI) {
-    if ((*SI)->isFinalRead())
-      continue;
     openscop_statement_p stmt = initializeStatement(*SI);
     stmt->next = openscop->statement;
     openscop->statement = stmt;