Lines Matching refs:BaseNode
4905 TBAAVerifier::verifyTBAABaseNode(Instruction &I, const MDNode *BaseNode, in verifyTBAABaseNode() argument
4907 if (BaseNode->getNumOperands() < 2) { in verifyTBAABaseNode()
4908 CheckFailed("Base nodes must have at least two operands", &I, BaseNode); in verifyTBAABaseNode()
4912 auto Itr = TBAABaseNodes.find(BaseNode); in verifyTBAABaseNode()
4916 auto Result = verifyTBAABaseNodeImpl(I, BaseNode, IsNewFormat); in verifyTBAABaseNode()
4917 auto InsertResult = TBAABaseNodes.insert({BaseNode, Result}); in verifyTBAABaseNode()
4924 TBAAVerifier::verifyTBAABaseNodeImpl(Instruction &I, const MDNode *BaseNode, in verifyTBAABaseNodeImpl() argument
4928 if (BaseNode->getNumOperands() == 2) { in verifyTBAABaseNodeImpl()
4930 return isValidScalarTBAANode(BaseNode) in verifyTBAABaseNodeImpl()
4936 if (BaseNode->getNumOperands() % 3 != 0) { in verifyTBAABaseNodeImpl()
4938 "multiple of 3!", BaseNode); in verifyTBAABaseNodeImpl()
4942 if (BaseNode->getNumOperands() % 2 != 1) { in verifyTBAABaseNodeImpl()
4944 BaseNode); in verifyTBAABaseNodeImpl()
4952 BaseNode->getOperand(1)); in verifyTBAABaseNodeImpl()
4954 CheckFailed("Type size nodes must be constants!", &I, BaseNode); in verifyTBAABaseNodeImpl()
4960 if (!IsNewFormat && !isa<MDString>(BaseNode->getOperand(0))) { in verifyTBAABaseNodeImpl()
4962 BaseNode); in verifyTBAABaseNodeImpl()
4975 for (unsigned Idx = FirstFieldOpNo; Idx < BaseNode->getNumOperands(); in verifyTBAABaseNodeImpl()
4977 const MDOperand &FieldTy = BaseNode->getOperand(Idx); in verifyTBAABaseNodeImpl()
4978 const MDOperand &FieldOffset = BaseNode->getOperand(Idx + 1); in verifyTBAABaseNodeImpl()
4980 CheckFailed("Incorrect field entry in struct type node!", &I, BaseNode); in verifyTBAABaseNodeImpl()
4988 CheckFailed("Offset entries must be constants!", &I, BaseNode); in verifyTBAABaseNodeImpl()
4999 BaseNode); in verifyTBAABaseNodeImpl()
5013 CheckFailed("Offsets must be increasing!", &I, BaseNode); in verifyTBAABaseNodeImpl()
5021 BaseNode->getOperand(Idx + 2)); in verifyTBAABaseNodeImpl()
5023 CheckFailed("Member size entries must be constants!", &I, BaseNode); in verifyTBAABaseNodeImpl()
5076 const MDNode *BaseNode, in getFieldNodeFromTBAABaseNode() argument
5079 assert(BaseNode->getNumOperands() >= 2 && "Invalid base node!"); in getFieldNodeFromTBAABaseNode()
5084 if (BaseNode->getNumOperands() == 2) in getFieldNodeFromTBAABaseNode()
5085 return cast<MDNode>(BaseNode->getOperand(1)); in getFieldNodeFromTBAABaseNode()
5089 for (unsigned Idx = FirstFieldOpNo; Idx < BaseNode->getNumOperands(); in getFieldNodeFromTBAABaseNode()
5092 mdconst::extract<ConstantInt>(BaseNode->getOperand(Idx + 1)); in getFieldNodeFromTBAABaseNode()
5096 BaseNode, &Offset); in getFieldNodeFromTBAABaseNode()
5102 mdconst::extract<ConstantInt>(BaseNode->getOperand(PrevIdx + 1)); in getFieldNodeFromTBAABaseNode()
5104 return cast<MDNode>(BaseNode->getOperand(PrevIdx)); in getFieldNodeFromTBAABaseNode()
5108 unsigned LastIdx = BaseNode->getNumOperands() - NumOpsPerField; in getFieldNodeFromTBAABaseNode()
5110 BaseNode->getOperand(LastIdx + 1)); in getFieldNodeFromTBAABaseNode()
5112 return cast<MDNode>(BaseNode->getOperand(LastIdx)); in getFieldNodeFromTBAABaseNode()
5141 MDNode *BaseNode = dyn_cast_or_null<MDNode>(MD->getOperand(0)); in visitTBAAMetadata() local
5175 AssertTBAA(BaseNode && AccessType, in visitTBAAMetadata()
5178 &I, MD, BaseNode, AccessType); in visitTBAAMetadata()
5194 for (/* empty */; BaseNode && !IsRootTBAANode(BaseNode); in visitTBAAMetadata()
5195 BaseNode = getFieldNodeFromTBAABaseNode(I, BaseNode, Offset, in visitTBAAMetadata()
5197 if (!StructPath.insert(BaseNode).second) { in visitTBAAMetadata()
5204 std::tie(Invalid, BaseNodeBitWidth) = verifyTBAABaseNode(I, BaseNode, in visitTBAAMetadata()
5212 SeenAccessTypeInPath |= BaseNode == AccessType; in visitTBAAMetadata()
5214 if (isValidScalarTBAANode(BaseNode) || BaseNode == AccessType) in visitTBAAMetadata()