llvm-project/polly/lib/Exchange
Tobias Grosser 3cbe5cfff3 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
2012-03-08 15:21:51 +00:00
..
CMakeLists.txt cmake: Create libPollyExchange as in the autoconf build 2011-11-22 19:40:24 +00:00
JSONExporter.cpp Remove FinalRead 2012-03-08 15:21:51 +00:00
Makefile Add initial version of Polly 2011-04-29 06:27:02 +00:00
OpenScopExporter.cpp Remove FinalRead 2012-03-08 15:21:51 +00:00
OpenScopImporter.cpp Remove FinalRead 2012-03-08 15:21:51 +00:00
ScopLib.cpp Remove FinalRead 2012-03-08 15:21:51 +00:00
ScopLibExporter.cpp Do not use getNameStr() anymore. 2011-11-17 14:52:36 +00:00
ScopLibImporter.cpp Do not use getNameStr() anymore. 2011-11-17 14:52:36 +00:00