diff options
author | Chris Lattner <sabre@nondot.org> | 2004-07-25 07:57:37 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2004-07-25 07:57:37 +0000 |
commit | 5c88260f70d5286adeca61c31bdf51f8debaccbc (patch) | |
tree | 93eb746a0d23773ca8e465c39e364931801d0b58 /lib/Analysis/AliasSetTracker.cpp | |
parent | c25b55a5b237772bbd7cc55988d3ca0ec569aede (diff) |
Add support for free instructions
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@15197 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/AliasSetTracker.cpp')
-rw-r--r-- | lib/Analysis/AliasSetTracker.cpp | 20 |
1 files changed, 18 insertions, 2 deletions
diff --git a/lib/Analysis/AliasSetTracker.cpp b/lib/Analysis/AliasSetTracker.cpp index efb3184bd5..22396b5d87 100644 --- a/lib/Analysis/AliasSetTracker.cpp +++ b/lib/Analysis/AliasSetTracker.cpp @@ -233,6 +233,13 @@ bool AliasSetTracker::add(StoreInst *SI) { return NewPtr; } +bool AliasSetTracker::add(FreeInst *FI) { + bool NewPtr; + AliasSet &AS = addPointer(FI->getOperand(0), ~0, + AliasSet::Mods, NewPtr); + return NewPtr; +} + bool AliasSetTracker::add(CallSite CS) { bool NewPtr; @@ -262,6 +269,8 @@ bool AliasSetTracker::add(Instruction *I) { return add(CI); else if (InvokeInst *II = dyn_cast<InvokeInst>(I)) return add(II); + else if (FreeInst *FI = dyn_cast<FreeInst>(I)) + return add(FI); return true; } @@ -326,6 +335,13 @@ bool AliasSetTracker::remove(StoreInst *SI) { return true; } +bool AliasSetTracker::remove(FreeInst *FI) { + AliasSet *AS = findAliasSetForPointer(FI->getOperand(0), ~0); + if (!AS) return false; + remove(*AS); + return true; +} + bool AliasSetTracker::remove(CallSite CS) { if (Function *F = CS.getCalledFunction()) if (AA.doesNotAccessMemory(F)) @@ -345,8 +361,8 @@ bool AliasSetTracker::remove(Instruction *I) { return remove(SI); else if (CallInst *CI = dyn_cast<CallInst>(I)) return remove(CI); - else if (InvokeInst *II = dyn_cast<InvokeInst>(I)) - return remove(II); + else if (FreeInst *FI = dyn_cast<FreeInst>(I)) + return remove(FI); return true; } |