Model scalar writes with uses outside the SCoP
authorJohannes Doerfert <doerfert@cs.uni-saarland.de>
Wed, 11 Feb 2015 17:02:52 +0000 (17:02 +0000)
committerJohannes Doerfert <doerfert@cs.uni-saarland.de>
Wed, 11 Feb 2015 17:02:52 +0000 (17:02 +0000)
commit1f87f485b1d9df387f72b449b1a60f033e9ce959
tree3743c8147c5f20cfcf74de8ff909c3ca46d07f0d
parentecd3b04cd7588b7789038f0756c6cdef810c64c4
Model scalar writes with uses outside the SCoP

  These write are important as they will force the scheduling and code
  generation of an otherwise trivial statement and also impose an order of
  execution needed to guarantee the correct final value for a scalar in a loop.

  Added test case modeled after ClamAV/clamscan.

llvm-svn: 228847
polly/lib/Analysis/TempScopInfo.cpp
polly/test/ScopInfo/escaping_empty_scop.ll [new file with mode: 0644]