Introduce an invalid context for each statement
authorJohannes Doerfert <doerfert@cs.uni-saarland.de>
Tue, 12 Apr 2016 09:57:34 +0000 (09:57 +0000)
committerJohannes Doerfert <doerfert@cs.uni-saarland.de>
Tue, 12 Apr 2016 09:57:34 +0000 (09:57 +0000)
commit7c01357cef0c0809d079e96d52609b5ed8ae6192
tree27808004ed3b60e3e46a87872679ca0755ef60b2
parentd93d376ba9c9f2443f3bdd61e43e7b09b762ad24
Introduce an invalid context for each statement

  Collect the error domain contexts (formerly in the ErrorDomainCtxMap)
  for each statement in the new InvalidContext member variable. While
  this commit is basically a [NFC] it is a first step to make hoisting
  sound by allowing a more fine grained record of invalid contexts,
  e.g., here on statement level.

llvm-svn: 266053
polly/include/polly/ScopInfo.h
polly/lib/Analysis/ScopInfo.cpp
polly/test/ScopInfo/invariant_loads_complicated_dependences.ll