6304 TBAAVerifier::verifyTBAABaseNode(Instruction &I, const MDNode *BaseNode,  in verifyTBAABaseNode()  argument
6306   if (BaseNode->getNumOperands() < 2) {  in verifyTBAABaseNode()
6307     CheckFailed("Base nodes must have at least two operands", &I, BaseNode);  in verifyTBAABaseNode()
6311   auto Itr = TBAABaseNodes.find(BaseNode);  in verifyTBAABaseNode()
6315   auto Result = verifyTBAABaseNodeImpl(I, BaseNode, IsNewFormat);  in verifyTBAABaseNode()
6316   auto InsertResult = TBAABaseNodes.insert({BaseNode, Result});  in verifyTBAABaseNode()
6323 TBAAVerifier::verifyTBAABaseNodeImpl(Instruction &I, const MDNode *BaseNode,  in verifyTBAABaseNodeImpl()  argument
6327   if (BaseNode->getNumOperands() == 2) {  in verifyTBAABaseNodeImpl()
6329     return isValidScalarTBAANode(BaseNode)  in verifyTBAABaseNodeImpl()
6335     if (BaseNode->getNumOperands() % 3 != 0) {  in verifyTBAABaseNodeImpl()
6337                   "multiple of 3!", BaseNode);  in verifyTBAABaseNodeImpl()
6341     if (BaseNode->getNumOperands() % 2 != 1) {  in verifyTBAABaseNodeImpl()
6343                   BaseNode);  in verifyTBAABaseNodeImpl()
6351         BaseNode->getOperand(1));  in verifyTBAABaseNodeImpl()
6353       CheckFailed("Type size nodes must be constants!", &I, BaseNode);  in verifyTBAABaseNodeImpl()
6359   if (!IsNewFormat && !isa<MDString>(BaseNode->getOperand(0))) {  in verifyTBAABaseNodeImpl()
6361                 BaseNode);  in verifyTBAABaseNodeImpl()
6374   for (unsigned Idx = FirstFieldOpNo; Idx < BaseNode->getNumOperands();  in verifyTBAABaseNodeImpl()
6376     const MDOperand &FieldTy = BaseNode->getOperand(Idx);  in verifyTBAABaseNodeImpl()
6377     const MDOperand &FieldOffset = BaseNode->getOperand(Idx + 1);  in verifyTBAABaseNodeImpl()
6379       CheckFailed("Incorrect field entry in struct type node!", &I, BaseNode);  in verifyTBAABaseNodeImpl()
6387       CheckFailed("Offset entries must be constants!", &I, BaseNode);  in verifyTBAABaseNodeImpl()
6398           BaseNode);  in verifyTBAABaseNodeImpl()
6412       CheckFailed("Offsets must be increasing!", &I, BaseNode);  in verifyTBAABaseNodeImpl()
6420           BaseNode->getOperand(Idx + 2));  in verifyTBAABaseNodeImpl()
6422         CheckFailed("Member size entries must be constants!", &I, BaseNode);  in verifyTBAABaseNodeImpl()
6475                                                    const MDNode *BaseNode,  in getFieldNodeFromTBAABaseNode()  argument
6478   assert(BaseNode->getNumOperands() >= 2 && "Invalid base node!");  in getFieldNodeFromTBAABaseNode()
6483   if (BaseNode->getNumOperands() == 2)  in getFieldNodeFromTBAABaseNode()
6484     return cast<MDNode>(BaseNode->getOperand(1));  in getFieldNodeFromTBAABaseNode()
6488   for (unsigned Idx = FirstFieldOpNo; Idx < BaseNode->getNumOperands();  in getFieldNodeFromTBAABaseNode()
6491         mdconst::extract<ConstantInt>(BaseNode->getOperand(Idx + 1));  in getFieldNodeFromTBAABaseNode()
6495                     BaseNode, &Offset);  in getFieldNodeFromTBAABaseNode()
6501           mdconst::extract<ConstantInt>(BaseNode->getOperand(PrevIdx + 1));  in getFieldNodeFromTBAABaseNode()
6503       return cast<MDNode>(BaseNode->getOperand(PrevIdx));  in getFieldNodeFromTBAABaseNode()
6507   unsigned LastIdx = BaseNode->getNumOperands() - NumOpsPerField;  in getFieldNodeFromTBAABaseNode()
6509       BaseNode->getOperand(LastIdx + 1));  in getFieldNodeFromTBAABaseNode()
6511   return cast<MDNode>(BaseNode->getOperand(LastIdx));  in getFieldNodeFromTBAABaseNode()
6536   MDNode *BaseNode = dyn_cast_or_null<MDNode>(MD->getOperand(0));  in visitTBAAMetadata()  local
6570   CheckTBAA(BaseNode && AccessType,  in visitTBAAMetadata()
6573             &I, MD, BaseNode, AccessType);  in visitTBAAMetadata()
6589   for (/* empty */; BaseNode && !IsRootTBAANode(BaseNode);  in visitTBAAMetadata()
6590        BaseNode = getFieldNodeFromTBAABaseNode(I, BaseNode, Offset,  in visitTBAAMetadata()
6592     if (!StructPath.insert(BaseNode).second) {  in visitTBAAMetadata()
6599     std::tie(Invalid, BaseNodeBitWidth) = verifyTBAABaseNode(I, BaseNode,  in visitTBAAMetadata()
6607     SeenAccessTypeInPath |= BaseNode == AccessType;  in visitTBAAMetadata()
6609     if (isValidScalarTBAANode(BaseNode) || BaseNode == AccessType)  in visitTBAAMetadata()