diff options
author | Chris Lattner <sabre@nondot.org> | 2002-08-22 21:22:25 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2002-08-22 21:22:25 +0000 |
commit | f12c2c28bd72091f2d7fff5718265c5ad52e7af8 (patch) | |
tree | 51c527a6fb2f3fbe57b963faed3585ce49f4f651 | |
parent | 80b7f8ceb4ea78276f69fe2ae6dfb172f4895165 (diff) |
Add doxygen comments to AliasAnalysis class
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@3475 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r-- | include/llvm/Analysis/AliasAnalysis.h | 50 |
1 files changed, 25 insertions, 25 deletions
diff --git a/include/llvm/Analysis/AliasAnalysis.h b/include/llvm/Analysis/AliasAnalysis.h index 1fe9b21474..64647887e5 100644 --- a/include/llvm/Analysis/AliasAnalysis.h +++ b/include/llvm/Analysis/AliasAnalysis.h @@ -21,41 +21,41 @@ class Instruction; struct AliasAnalysis { - // Alias analysis result - Either we know for sure that it does not alias, we - // know for sure it must alias, or we don't know anything: The two pointers - // _might_ alias. This enum is designed so you can do things like: - // if (AA.alias(P1, P2)) { ... } - // to check to see if two pointers might alias. - // + /// Alias analysis result - Either we know for sure that it does not alias, we + /// know for sure it must alias, or we don't know anything: The two pointers + /// _might_ alias. This enum is designed so you can do things like: + /// if (AA.alias(P1, P2)) { ... } + /// to check to see if two pointers might alias. + /// enum Result { NoAlias = 0, MayAlias = 1, MustAlias = 2 }; - // alias - The main low level interface to the alias analysis implementation. - // Returns a Result indicating whether the two pointers are aliased to each - // other. This is the interface that must be implemented by specific alias - // analysis implementations. - // + /// alias - The main low level interface to the alias analysis implementation. + /// Returns a Result indicating whether the two pointers are aliased to each + /// other. This is the interface that must be implemented by specific alias + /// analysis implementations. + /// virtual Result alias(const Value *V1, const Value *V2) const = 0; - // canCallModify - Return a Result that indicates whether the specified - // function call can modify the memory location pointed to by Ptr. - // + /// canCallModify - Return a Result that indicates whether the specified + /// function call can modify the memory location pointed to by Ptr. + /// virtual Result canCallModify(const CallInst &CI, const Value *Ptr) const = 0; - // canInvokeModify - Return a Result that indicates whether the specified - // function invoke can modify the memory location pointed to by Ptr. - // + /// canInvokeModify - Return a Result that indicates whether the specified + /// function invoke can modify the memory location pointed to by Ptr. + /// virtual Result canInvokeModify(const InvokeInst &I, const Value *Ptr) const=0; - // canBasicBlockModify - Return true if it is possible for execution of the - // specified basic block to modify the value pointed to by Ptr. - // + /// canBasicBlockModify - Return true if it is possible for execution of the + /// specified basic block to modify the value pointed to by Ptr. + /// bool canBasicBlockModify(const BasicBlock &BB, const Value *Ptr) const; - // canInstructionRangeModify - Return true if it is possible for the execution - // of the specified instructions to modify the value pointed to by Ptr. The - // instructions to consider are all of the instructions in the range of - // [I1,I2] INCLUSIVE. I1 and I2 must be in the same basic block. - // + /// canInstructionRangeModify - Return true if it is possible for the + /// execution of the specified instructions to modify the value pointed to by + /// Ptr. The instructions to consider are all of the instructions in the + /// range of [I1,I2] INCLUSIVE. I1 and I2 must be in the same basic block. + /// bool canInstructionRangeModify(const Instruction &I1, const Instruction &I2, const Value *Ptr) const; |