Probably overwritten loads should not be considered hoistable
authorJohannes Doerfert <doerfert@cs.uni-saarland.de>
Thu, 17 Nov 2016 22:25:17 +0000 (22:25 +0000)
committerJohannes Doerfert <doerfert@cs.uni-saarland.de>
Thu, 17 Nov 2016 22:25:17 +0000 (22:25 +0000)
commit6cd59e9076290a7a66093ed0025e9a4419c0bb42
tree29554510d3c9010e2d03bf342dc1cae8d7e7450d
parent50dfbc572aff84d736d81701446d34b1c05ab9ef
Probably overwritten loads should not be considered hoistable

Do not assume a load to be hoistable/invariant if the pointer is used by
another instruction in the SCoP that might write to memory and that is
always executed.

llvm-svn: 287272
polly/include/polly/Support/ScopHelper.h
polly/lib/Analysis/ScopDetection.cpp
polly/lib/Support/ScopHelper.cpp
polly/test/ScopInfo/complex-successor-structure.ll