diff options
Diffstat (limited to 'llvm/lib/Analysis/Loads.cpp')
| -rw-r--r-- | llvm/lib/Analysis/Loads.cpp | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/llvm/lib/Analysis/Loads.cpp b/llvm/lib/Analysis/Loads.cpp index 5ca5384..2ca35a4 100644 --- a/llvm/lib/Analysis/Loads.cpp +++ b/llvm/lib/Analysis/Loads.cpp @@ -222,9 +222,7 @@ bool llvm::isDereferenceableAndAlignedInLoop(LoadInst *LI, Loop *L, if (Step->getAPInt() != EltSize) return false; - // TODO: If the symbolic trip count has a small bound (max count), we might - // be able to prove safety. - auto TC = SE.getSmallConstantTripCount(L); + auto TC = SE.getSmallConstantMaxTripCount(L); if (!TC) return false; |