diff options
author | Chris Lattner <sabre@nondot.org> | 2008-07-23 05:06:28 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2008-07-23 05:06:28 +0000 |
commit | 12cf43f8dc6e5e460cf8a703a676f344d6f771cc (patch) | |
tree | d4a991f40c7367570d36eb6fbd90abaea879d68a /lib | |
parent | 2d7d52aa0167860e0405659ce5e75f68a704116e (diff) | |
download | external_llvm-12cf43f8dc6e5e460cf8a703a676f344d6f771cc.zip external_llvm-12cf43f8dc6e5e460cf8a703a676f344d6f771cc.tar.gz external_llvm-12cf43f8dc6e5e460cf8a703a676f344d6f771cc.tar.bz2 |
"Allow LICM to sink or lift loads from constant memory. Also add a test
case for this.
This allows instructions like loads from global variables declared to
be constant to be moved out of loops."
Patch by Stefanus Du Toit!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@53945 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib')
-rw-r--r-- | lib/Transforms/Scalar/LICM.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/lib/Transforms/Scalar/LICM.cpp b/lib/Transforms/Scalar/LICM.cpp index f7afaf4..13440c1 100644 --- a/lib/Transforms/Scalar/LICM.cpp +++ b/lib/Transforms/Scalar/LICM.cpp @@ -370,6 +370,11 @@ bool LICM::canSinkOrHoistInst(Instruction &I) { if (LI->isVolatile()) return false; // Don't hoist volatile loads! + // Loads from constant memory are always safe to move, even if they end up + // in the same alias set as something that ends up being modified. + if (AA->pointsToConstantMemory(LI->getOperand(0))) + return true; + // Don't hoist loads which have may-aliased stores in loop. unsigned Size = 0; if (LI->getType()->isSized()) |