diff options
| author | Ivan A. Kosarev <ikosarev@accesssoftek.com> | 2017-12-18 18:46:44 +0000 |
|---|---|---|
| committer | Ivan A. Kosarev <ikosarev@accesssoftek.com> | 2017-12-18 18:46:44 +0000 |
| commit | b10a40f71db3c6476e962a746d70b43e307b8bc8 (patch) | |
| tree | e28a4103f27a94533dae8b6629ccd9c855c246e5 /include | |
| parent | 826e27c6e021eb681f4e962496276c22926f0e7b (diff) | |
[IR] Support the new TBAA metadata format in IR verifier
Differential Revision: https://reviews.llvm.org/D40438
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@321007 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'include')
| -rw-r--r-- | include/llvm/IR/Verifier.h | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/include/llvm/IR/Verifier.h b/include/llvm/IR/Verifier.h index 15e52d9e074..bc10f330bc8 100644 --- a/include/llvm/IR/Verifier.h +++ b/include/llvm/IR/Verifier.h @@ -61,11 +61,13 @@ class TBAAVerifier { /// \name Helper functions used by \c visitTBAAMetadata. /// @{ MDNode *getFieldNodeFromTBAABaseNode(Instruction &I, const MDNode *BaseNode, - APInt &Offset); + APInt &Offset, bool IsNewFormat); TBAAVerifier::TBAABaseNodeSummary verifyTBAABaseNode(Instruction &I, - const MDNode *BaseNode); + const MDNode *BaseNode, + bool IsNewFormat); TBAABaseNodeSummary verifyTBAABaseNodeImpl(Instruction &I, - const MDNode *BaseNode); + const MDNode *BaseNode, + bool IsNewFormat); bool isValidScalarTBAANode(const MDNode *MD); /// @} |