Lines Matching refs:BaseNode
7224 TBAAVerifier::verifyTBAABaseNode(Instruction &I, const MDNode *BaseNode, in verifyTBAABaseNode() argument
7226 if (BaseNode->getNumOperands() < 2) { in verifyTBAABaseNode()
7227 CheckFailed("Base nodes must have at least two operands", &I, BaseNode); in verifyTBAABaseNode()
7231 auto Itr = TBAABaseNodes.find(BaseNode); in verifyTBAABaseNode()
7235 auto Result = verifyTBAABaseNodeImpl(I, BaseNode, IsNewFormat); in verifyTBAABaseNode()
7236 auto InsertResult = TBAABaseNodes.insert({BaseNode, Result}); in verifyTBAABaseNode()
7243 TBAAVerifier::verifyTBAABaseNodeImpl(Instruction &I, const MDNode *BaseNode, in verifyTBAABaseNodeImpl() argument
7247 if (BaseNode->getNumOperands() == 2) { in verifyTBAABaseNodeImpl()
7249 return isValidScalarTBAANode(BaseNode) in verifyTBAABaseNodeImpl()
7255 if (BaseNode->getNumOperands() % 3 != 0) { in verifyTBAABaseNodeImpl()
7257 "multiple of 3!", BaseNode); in verifyTBAABaseNodeImpl()
7261 if (BaseNode->getNumOperands() % 2 != 1) { in verifyTBAABaseNodeImpl()
7263 BaseNode); in verifyTBAABaseNodeImpl()
7271 BaseNode->getOperand(1)); in verifyTBAABaseNodeImpl()
7273 CheckFailed("Type size nodes must be constants!", &I, BaseNode); in verifyTBAABaseNodeImpl()
7279 if (!IsNewFormat && !isa<MDString>(BaseNode->getOperand(0))) { in verifyTBAABaseNodeImpl()
7281 BaseNode); in verifyTBAABaseNodeImpl()
7294 for (unsigned Idx = FirstFieldOpNo; Idx < BaseNode->getNumOperands(); in verifyTBAABaseNodeImpl()
7296 const MDOperand &FieldTy = BaseNode->getOperand(Idx); in verifyTBAABaseNodeImpl()
7297 const MDOperand &FieldOffset = BaseNode->getOperand(Idx + 1); in verifyTBAABaseNodeImpl()
7299 CheckFailed("Incorrect field entry in struct type node!", &I, BaseNode); in verifyTBAABaseNodeImpl()
7307 CheckFailed("Offset entries must be constants!", &I, BaseNode); in verifyTBAABaseNodeImpl()
7318 BaseNode); in verifyTBAABaseNodeImpl()
7332 CheckFailed("Offsets must be increasing!", &I, BaseNode); in verifyTBAABaseNodeImpl()
7340 BaseNode->getOperand(Idx + 2)); in verifyTBAABaseNodeImpl()
7342 CheckFailed("Member size entries must be constants!", &I, BaseNode); in verifyTBAABaseNodeImpl()
7395 const MDNode *BaseNode, in getFieldNodeFromTBAABaseNode() argument
7398 assert(BaseNode->getNumOperands() >= 2 && "Invalid base node!"); in getFieldNodeFromTBAABaseNode()
7403 if (BaseNode->getNumOperands() == 2) in getFieldNodeFromTBAABaseNode()
7404 return cast<MDNode>(BaseNode->getOperand(1)); in getFieldNodeFromTBAABaseNode()
7408 for (unsigned Idx = FirstFieldOpNo; Idx < BaseNode->getNumOperands(); in getFieldNodeFromTBAABaseNode()
7411 mdconst::extract<ConstantInt>(BaseNode->getOperand(Idx + 1)); in getFieldNodeFromTBAABaseNode()
7415 BaseNode, &Offset); in getFieldNodeFromTBAABaseNode()
7421 mdconst::extract<ConstantInt>(BaseNode->getOperand(PrevIdx + 1)); in getFieldNodeFromTBAABaseNode()
7423 return cast<MDNode>(BaseNode->getOperand(PrevIdx)); in getFieldNodeFromTBAABaseNode()
7427 unsigned LastIdx = BaseNode->getNumOperands() - NumOpsPerField; in getFieldNodeFromTBAABaseNode()
7429 BaseNode->getOperand(LastIdx + 1)); in getFieldNodeFromTBAABaseNode()
7431 return cast<MDNode>(BaseNode->getOperand(LastIdx)); in getFieldNodeFromTBAABaseNode()
7459 MDNode *BaseNode = dyn_cast_or_null<MDNode>(MD->getOperand(0)); in visitTBAAMetadata() local
7493 CheckTBAA(BaseNode && AccessType, in visitTBAAMetadata()
7496 &I, MD, BaseNode, AccessType); in visitTBAAMetadata()
7512 for (/* empty */; BaseNode && !IsRootTBAANode(BaseNode); in visitTBAAMetadata()
7513 BaseNode = getFieldNodeFromTBAABaseNode(I, BaseNode, Offset, in visitTBAAMetadata()
7515 if (!StructPath.insert(BaseNode).second) { in visitTBAAMetadata()
7522 std::tie(Invalid, BaseNodeBitWidth) = verifyTBAABaseNode(I, BaseNode, in visitTBAAMetadata()
7530 SeenAccessTypeInPath |= BaseNode == AccessType; in visitTBAAMetadata()
7532 if (isValidScalarTBAANode(BaseNode) || BaseNode == AccessType) in visitTBAAMetadata()