OSDN Git Service

Integrate the readonly/readnone logic more deeply
authorDuncan Sands <baldrick@free.fr>
Sat, 1 Dec 2007 07:51:45 +0000 (07:51 +0000)
committerDuncan Sands <baldrick@free.fr>
Sat, 1 Dec 2007 07:51:45 +0000 (07:51 +0000)
commitdff6710717b159f089c76a07eda074eb6347eb92
tree7bbd754ebe64f5d4bbc6000e0e66bdd99f9c847f
parente3110d0825e6316fd2dd21d6a4e593295cd413f1
Integrate the readonly/readnone logic more deeply
into alias analysis.  This meant updating the API
which now has versions of the getModRefBehavior,
doesNotAccessMemory and onlyReadsMemory methods
which take a callsite parameter.  These should be
used unless the callsite is not known, since in
general they can do a better job than the versions
that take a function.  Also, users should no longer
call the version of getModRefBehavior that takes
both a function and a callsite.  To reduce the
chance of misuse it is now protected.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@44487 91177308-0d34-0410-b5e6-96231b3b80d8
12 files changed:
include/llvm/Analysis/AliasAnalysis.h
lib/Analysis/AliasAnalysis.cpp
lib/Analysis/AliasAnalysisCounter.cpp
lib/Analysis/AliasSetTracker.cpp
lib/Analysis/BasicAliasAnalysis.cpp
lib/Analysis/IPA/GlobalsModRef.cpp
lib/Analysis/LoadValueNumbering.cpp
lib/Analysis/MemoryDependenceAnalysis.cpp
lib/Transforms/Scalar/ADCE.cpp
lib/Transforms/Scalar/DeadStoreElimination.cpp
lib/Transforms/Scalar/GVN.cpp
lib/Transforms/Scalar/LICM.cpp