diff options
author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2017-07-26 01:32:19 +0000 |
---|---|---|
committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2017-07-26 01:32:19 +0000 |
commit | 69b28c878234ed98456c7f6f4d386c3b4826ae0c (patch) | |
tree | e967f54ceb5121050ec5ed6a1f85dab555a17c47 /lib/Analysis/ScalarEvolution.cpp | |
parent | 59859d99500409dee073fef469bfff1f5920454a (diff) |
[SCEV] Remove unnecessary call to forgetMemoizedResults
`SCEVUnknown::allUsesReplacedWith` does not need to call `forgetMemoizedResults`
since RAUW does a value-equivalent replacement by assumption. If this
assumption was false then the later setValPtr(New) call would be incorrect too.
This is a non-trivial performance optimization for functions with a large number
of loops since `forgetMemoizedResults` walks all loop backedge taken counts to
see if any of them use the SCEVUnknown being RAUWed. However, this improvement
is difficult to demonstrate without checking in an excessively large IR file.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@309072 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/ScalarEvolution.cpp')
-rw-r--r-- | lib/Analysis/ScalarEvolution.cpp | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/lib/Analysis/ScalarEvolution.cpp b/lib/Analysis/ScalarEvolution.cpp index b726fd97b70..4d7b59c4763 100644 --- a/lib/Analysis/ScalarEvolution.cpp +++ b/lib/Analysis/ScalarEvolution.cpp @@ -415,9 +415,6 @@ void SCEVUnknown::deleted() { } void SCEVUnknown::allUsesReplacedWith(Value *New) { - // Clear this SCEVUnknown from various maps. - SE->forgetMemoizedResults(this); - // Remove this SCEVUnknown from the uniquing map. SE->UniqueSCEVs.RemoveNode(this); |