Reintroduce these asserts, now that BasicAA is a normal AliasAnalysis pass.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@117266 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Dan Gohman 2010-10-25 16:28:57 +00:00
parent 17a0bf996f
commit 852dda4625

View File

@ -67,8 +67,7 @@ void AliasAnalysis::copyValue(Value *From, Value *To) {
AliasAnalysis::ModRefResult AliasAnalysis::ModRefResult
AliasAnalysis::getModRefInfo(ImmutableCallSite CS, AliasAnalysis::getModRefInfo(ImmutableCallSite CS,
const Location &Loc) { const Location &Loc) {
// Don't assert AA because BasicAA calls us in order to make use of the assert(AA && "AA didn't call InitializeAliasAnalysis in its run method!");
// logic here.
ModRefBehavior MRB = getModRefBehavior(CS); ModRefBehavior MRB = getModRefBehavior(CS);
if (MRB == DoesNotAccessMemory) if (MRB == DoesNotAccessMemory)
@ -105,8 +104,7 @@ AliasAnalysis::getModRefInfo(ImmutableCallSite CS,
AliasAnalysis::ModRefResult AliasAnalysis::ModRefResult
AliasAnalysis::getModRefInfo(ImmutableCallSite CS1, ImmutableCallSite CS2) { AliasAnalysis::getModRefInfo(ImmutableCallSite CS1, ImmutableCallSite CS2) {
// Don't assert AA because BasicAA calls us in order to make use of the assert(AA && "AA didn't call InitializeAliasAnalysis in its run method!");
// logic here.
// If CS1 or CS2 are readnone, they don't interact. // If CS1 or CS2 are readnone, they don't interact.
ModRefBehavior CS1B = getModRefBehavior(CS1); ModRefBehavior CS1B = getModRefBehavior(CS1);
@ -164,8 +162,7 @@ AliasAnalysis::getModRefInfo(ImmutableCallSite CS1, ImmutableCallSite CS2) {
AliasAnalysis::ModRefBehavior AliasAnalysis::ModRefBehavior
AliasAnalysis::getModRefBehavior(ImmutableCallSite CS) { AliasAnalysis::getModRefBehavior(ImmutableCallSite CS) {
// Don't assert AA because BasicAA calls us in order to make use of the assert(AA && "AA didn't call InitializeAliasAnalysis in its run method!");
// logic here.
ModRefBehavior Min = UnknownModRefBehavior; ModRefBehavior Min = UnknownModRefBehavior;