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

llvm-svn: 117266
This commit is contained in:
Dan Gohman 2010-10-25 16:28:57 +00:00
parent 2e20dfb0f2
commit 1033ce669b
1 changed files with 3 additions and 6 deletions

View File

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