6810 TBAAVerifier::verifyTBAABaseNode(Instruction &I, const MDNode *BaseNode,  in verifyTBAABaseNode()  argument
6812   if (BaseNode->getNumOperands() < 2) {  in verifyTBAABaseNode()
6813     CheckFailed("Base nodes must have at least two operands", &I, BaseNode);  in verifyTBAABaseNode()
6817   auto Itr = TBAABaseNodes.find(BaseNode);  in verifyTBAABaseNode()
6821   auto Result = verifyTBAABaseNodeImpl(I, BaseNode, IsNewFormat);  in verifyTBAABaseNode()
6822   auto InsertResult = TBAABaseNodes.insert({BaseNode, Result});  in verifyTBAABaseNode()
6829 TBAAVerifier::verifyTBAABaseNodeImpl(Instruction &I, const MDNode *BaseNode,  in verifyTBAABaseNodeImpl()  argument
6833   if (BaseNode->getNumOperands() == 2) {  in verifyTBAABaseNodeImpl()
6835     return isValidScalarTBAANode(BaseNode)  in verifyTBAABaseNodeImpl()
6841     if (BaseNode->getNumOperands() % 3 != 0) {  in verifyTBAABaseNodeImpl()
6843                   "multiple of 3!", BaseNode);  in verifyTBAABaseNodeImpl()
6847     if (BaseNode->getNumOperands() % 2 != 1) {  in verifyTBAABaseNodeImpl()
6849                   BaseNode);  in verifyTBAABaseNodeImpl()
6857         BaseNode->getOperand(1));  in verifyTBAABaseNodeImpl()
6859       CheckFailed("Type size nodes must be constants!", &I, BaseNode);  in verifyTBAABaseNodeImpl()
6865   if (!IsNewFormat && !isa<MDString>(BaseNode->getOperand(0))) {  in verifyTBAABaseNodeImpl()
6867                 BaseNode);  in verifyTBAABaseNodeImpl()
6880   for (unsigned Idx = FirstFieldOpNo; Idx < BaseNode->getNumOperands();  in verifyTBAABaseNodeImpl()
6882     const MDOperand &FieldTy = BaseNode->getOperand(Idx);  in verifyTBAABaseNodeImpl()
6883     const MDOperand &FieldOffset = BaseNode->getOperand(Idx + 1);  in verifyTBAABaseNodeImpl()
6885       CheckFailed("Incorrect field entry in struct type node!", &I, BaseNode);  in verifyTBAABaseNodeImpl()
6893       CheckFailed("Offset entries must be constants!", &I, BaseNode);  in verifyTBAABaseNodeImpl()
6904           BaseNode);  in verifyTBAABaseNodeImpl()
6918       CheckFailed("Offsets must be increasing!", &I, BaseNode);  in verifyTBAABaseNodeImpl()
6926           BaseNode->getOperand(Idx + 2));  in verifyTBAABaseNodeImpl()
6928         CheckFailed("Member size entries must be constants!", &I, BaseNode);  in verifyTBAABaseNodeImpl()
6981                                                    const MDNode *BaseNode,  in getFieldNodeFromTBAABaseNode()  argument
6984   assert(BaseNode->getNumOperands() >= 2 && "Invalid base node!");  in getFieldNodeFromTBAABaseNode()
6989   if (BaseNode->getNumOperands() == 2)  in getFieldNodeFromTBAABaseNode()
6990     return cast<MDNode>(BaseNode->getOperand(1));  in getFieldNodeFromTBAABaseNode()
6994   for (unsigned Idx = FirstFieldOpNo; Idx < BaseNode->getNumOperands();  in getFieldNodeFromTBAABaseNode()
6997         mdconst::extract<ConstantInt>(BaseNode->getOperand(Idx + 1));  in getFieldNodeFromTBAABaseNode()
7001                     BaseNode, &Offset);  in getFieldNodeFromTBAABaseNode()
7007           mdconst::extract<ConstantInt>(BaseNode->getOperand(PrevIdx + 1));  in getFieldNodeFromTBAABaseNode()
7009       return cast<MDNode>(BaseNode->getOperand(PrevIdx));  in getFieldNodeFromTBAABaseNode()
7013   unsigned LastIdx = BaseNode->getNumOperands() - NumOpsPerField;  in getFieldNodeFromTBAABaseNode()
7015       BaseNode->getOperand(LastIdx + 1));  in getFieldNodeFromTBAABaseNode()
7017   return cast<MDNode>(BaseNode->getOperand(LastIdx));  in getFieldNodeFromTBAABaseNode()
7045   MDNode *BaseNode = dyn_cast_or_null<MDNode>(MD->getOperand(0));  in visitTBAAMetadata()  local
7079   CheckTBAA(BaseNode && AccessType,  in visitTBAAMetadata()
7082             &I, MD, BaseNode, AccessType);  in visitTBAAMetadata()
7098   for (/* empty */; BaseNode && !IsRootTBAANode(BaseNode);  in visitTBAAMetadata()
7099        BaseNode = getFieldNodeFromTBAABaseNode(I, BaseNode, Offset,  in visitTBAAMetadata()
7101     if (!StructPath.insert(BaseNode).second) {  in visitTBAAMetadata()
7108     std::tie(Invalid, BaseNodeBitWidth) = verifyTBAABaseNode(I, BaseNode,  in visitTBAAMetadata()
7116     SeenAccessTypeInPath |= BaseNode == AccessType;  in visitTBAAMetadata()
7118     if (isValidScalarTBAANode(BaseNode) || BaseNode == AccessType)  in visitTBAAMetadata()