commit 600d2a5a6bc27f21e5ac85bc1f5261d12b0e480e
author Sanjoy Das <sanjoy@playingwithpointers.com> Thu Dec 29 15:47:01 2016 +0000
committer Sanjoy Das <sanjoy@playingwithpointers.com> Thu Dec 29 15:47:01 2016 +0000
tree 82401b221cbe545bfc5ec21474b3e6cc7f203732
parent 55f12d9de91a4f9591abecf85719e8cea8aca2f9

[TBAAVerifier] Make things const-consistent; NFC

llvm-svn: 290712

llvm/lib/IR/Verifier.cpp

diff --git a/llvm/lib/IR/Verifier.cpp b/llvm/lib/IR/Verifier.cpp
index d42f5d0..57beb42a 100644
--- a/llvm/lib/IR/Verifier.cpp
+++ b/llvm/lib/IR/Verifier.cpp
@@ -4533,7 +4533,7 @@
 /// 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::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 @@
 ///
 /// 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 @@
   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 =