Add an invalid domain to memory accesses
authorJohannes Doerfert <doerfert@cs.uni-saarland.de>
Sat, 23 Apr 2016 14:32:34 +0000 (14:32 +0000)
committerJohannes Doerfert <doerfert@cs.uni-saarland.de>
Sat, 23 Apr 2016 14:32:34 +0000 (14:32 +0000)
commit85676e3674fcfe1f4386ff8c5cf858b8c9238d86
tree192ee307efb98771d99a01f95311b76cff0475b7
parentac9c32e216d23d9be9751726bc440db3ac5deac9
Add an invalid domain to memory accesses

  Memory accesses can have non-precisely modeled access functions that
  would cause us to build incorrect execution context for hoisted loads.
  This is the same issue that occurred during the domain construction for
  statements and it is dealt with the same way.

llvm-svn: 267289
polly/include/polly/ScopInfo.h
polly/lib/Analysis/ScopInfo.cpp
polly/test/ScopInfo/non-precise-inv-load-1.ll [new file with mode: 0644]