diff options
| author | Sanjoy Das <sanjoy@playingwithpointers.com> | 2016-12-29 15:47:01 +0000 |
|---|---|---|
| committer | Sanjoy Das <sanjoy@playingwithpointers.com> | 2016-12-29 15:47:01 +0000 |
| commit | 600d2a5a6bc27f21e5ac85bc1f5261d12b0e480e (patch) | |
| tree | 82401b221cbe545bfc5ec21474b3e6cc7f203732 /llvm/lib | |
| parent | 55f12d9de91a4f9591abecf85719e8cea8aca2f9 (diff) | |
| download | bcm5719-llvm-600d2a5a6bc27f21e5ac85bc1f5261d12b0e480e.tar.gz bcm5719-llvm-600d2a5a6bc27f21e5ac85bc1f5261d12b0e480e.zip | |
[TBAAVerifier] Make things const-consistent; NFC
llvm-svn: 290712
Diffstat (limited to 'llvm/lib')
| -rw-r--r-- | llvm/lib/IR/Verifier.cpp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/llvm/lib/IR/Verifier.cpp b/llvm/lib/IR/Verifier.cpp index d42f5d090d1..57beb42a4a9 100644 --- a/llvm/lib/IR/Verifier.cpp +++ b/llvm/lib/IR/Verifier.cpp @@ -4533,7 +4533,7 @@ template <typename... Tys> void TBAAVerifier::CheckFailed(Tys &&... Args) { /// TBAA scheme. This means \p BaseNode is either a scalar node, or a /// struct-type node describing an aggregate data structure (like a struct). TBAAVerifier::TBAABaseNodeSummary -TBAAVerifier::verifyTBAABaseNode(Instruction &I, MDNode *BaseNode) { +TBAAVerifier::verifyTBAABaseNode(Instruction &I, const MDNode *BaseNode) { if (BaseNode->getNumOperands() < 2) { CheckFailed("Base nodes must have at least two operands", &I, BaseNode); return {true, ~0u}; @@ -4551,7 +4551,7 @@ TBAAVerifier::verifyTBAABaseNode(Instruction &I, MDNode *BaseNode) { } TBAAVerifier::TBAABaseNodeSummary -TBAAVerifier::verifyTBAABaseNodeImpl(Instruction &I, MDNode *BaseNode) { +TBAAVerifier::verifyTBAABaseNodeImpl(Instruction &I, const MDNode *BaseNode) { const TBAAVerifier::TBAABaseNodeSummary InvalidNode = {true, ~0u}; if (BaseNode->getNumOperands() == 2) { @@ -4674,7 +4674,7 @@ bool TBAAVerifier::isValidScalarTBAANode(const MDNode *MD) { /// /// We assume we've okayed \p BaseNode via \c verifyTBAABaseNode. MDNode *TBAAVerifier::getFieldNodeFromTBAABaseNode(Instruction &I, - MDNode *BaseNode, + const MDNode *BaseNode, APInt &Offset) { assert(BaseNode->getNumOperands() >= 2 && "Invalid base node!"); @@ -4708,10 +4708,10 @@ MDNode *TBAAVerifier::getFieldNodeFromTBAABaseNode(Instruction &I, return cast<MDNode>(BaseNode->getOperand(BaseNode->getNumOperands() - 2)); } -bool TBAAVerifier::visitTBAAMetadata(Instruction &I, MDNode *MD) { +bool TBAAVerifier::visitTBAAMetadata(Instruction &I, const MDNode *MD) { AssertTBAA(isa<LoadInst>(I) || isa<StoreInst>(I) || isa<CallInst>(I) || - isa<VAArgInst>(I) || isa<AtomicRMWInst>(I) || - isa<AtomicCmpXchgInst>(I), + isa<VAArgInst>(I) || isa<AtomicRMWInst>(I) || + isa<AtomicCmpXchgInst>(I), "TBAA is only for loads, stores and calls!", &I); bool IsStructPathTBAA = |
