Lines Matching refs:BaseNode
5823 TBAAVerifier::verifyTBAABaseNode(Instruction &I, const MDNode *BaseNode, in verifyTBAABaseNode() argument
5825 if (BaseNode->getNumOperands() < 2) { in verifyTBAABaseNode()
5826 CheckFailed("Base nodes must have at least two operands", &I, BaseNode); in verifyTBAABaseNode()
5830 auto Itr = TBAABaseNodes.find(BaseNode); in verifyTBAABaseNode()
5834 auto Result = verifyTBAABaseNodeImpl(I, BaseNode, IsNewFormat); in verifyTBAABaseNode()
5835 auto InsertResult = TBAABaseNodes.insert({BaseNode, Result}); in verifyTBAABaseNode()
5842 TBAAVerifier::verifyTBAABaseNodeImpl(Instruction &I, const MDNode *BaseNode, in verifyTBAABaseNodeImpl() argument
5846 if (BaseNode->getNumOperands() == 2) { in verifyTBAABaseNodeImpl()
5848 return isValidScalarTBAANode(BaseNode) in verifyTBAABaseNodeImpl()
5854 if (BaseNode->getNumOperands() % 3 != 0) { in verifyTBAABaseNodeImpl()
5856 "multiple of 3!", BaseNode); in verifyTBAABaseNodeImpl()
5860 if (BaseNode->getNumOperands() % 2 != 1) { in verifyTBAABaseNodeImpl()
5862 BaseNode); in verifyTBAABaseNodeImpl()
5870 BaseNode->getOperand(1)); in verifyTBAABaseNodeImpl()
5872 CheckFailed("Type size nodes must be constants!", &I, BaseNode); in verifyTBAABaseNodeImpl()
5878 if (!IsNewFormat && !isa<MDString>(BaseNode->getOperand(0))) { in verifyTBAABaseNodeImpl()
5880 BaseNode); in verifyTBAABaseNodeImpl()
5893 for (unsigned Idx = FirstFieldOpNo; Idx < BaseNode->getNumOperands(); in verifyTBAABaseNodeImpl()
5895 const MDOperand &FieldTy = BaseNode->getOperand(Idx); in verifyTBAABaseNodeImpl()
5896 const MDOperand &FieldOffset = BaseNode->getOperand(Idx + 1); in verifyTBAABaseNodeImpl()
5898 CheckFailed("Incorrect field entry in struct type node!", &I, BaseNode); in verifyTBAABaseNodeImpl()
5906 CheckFailed("Offset entries must be constants!", &I, BaseNode); in verifyTBAABaseNodeImpl()
5917 BaseNode); in verifyTBAABaseNodeImpl()
5931 CheckFailed("Offsets must be increasing!", &I, BaseNode); in verifyTBAABaseNodeImpl()
5939 BaseNode->getOperand(Idx + 2)); in verifyTBAABaseNodeImpl()
5941 CheckFailed("Member size entries must be constants!", &I, BaseNode); in verifyTBAABaseNodeImpl()
5994 const MDNode *BaseNode, in getFieldNodeFromTBAABaseNode() argument
5997 assert(BaseNode->getNumOperands() >= 2 && "Invalid base node!"); in getFieldNodeFromTBAABaseNode()
6002 if (BaseNode->getNumOperands() == 2) in getFieldNodeFromTBAABaseNode()
6003 return cast<MDNode>(BaseNode->getOperand(1)); in getFieldNodeFromTBAABaseNode()
6007 for (unsigned Idx = FirstFieldOpNo; Idx < BaseNode->getNumOperands(); in getFieldNodeFromTBAABaseNode()
6010 mdconst::extract<ConstantInt>(BaseNode->getOperand(Idx + 1)); in getFieldNodeFromTBAABaseNode()
6014 BaseNode, &Offset); in getFieldNodeFromTBAABaseNode()
6020 mdconst::extract<ConstantInt>(BaseNode->getOperand(PrevIdx + 1)); in getFieldNodeFromTBAABaseNode()
6022 return cast<MDNode>(BaseNode->getOperand(PrevIdx)); in getFieldNodeFromTBAABaseNode()
6026 unsigned LastIdx = BaseNode->getNumOperands() - NumOpsPerField; in getFieldNodeFromTBAABaseNode()
6028 BaseNode->getOperand(LastIdx + 1)); in getFieldNodeFromTBAABaseNode()
6030 return cast<MDNode>(BaseNode->getOperand(LastIdx)); in getFieldNodeFromTBAABaseNode()
6059 MDNode *BaseNode = dyn_cast_or_null<MDNode>(MD->getOperand(0)); in visitTBAAMetadata() local
6093 AssertTBAA(BaseNode && AccessType, in visitTBAAMetadata()
6096 &I, MD, BaseNode, AccessType); in visitTBAAMetadata()
6112 for (/* empty */; BaseNode && !IsRootTBAANode(BaseNode); in visitTBAAMetadata()
6113 BaseNode = getFieldNodeFromTBAABaseNode(I, BaseNode, Offset, in visitTBAAMetadata()
6115 if (!StructPath.insert(BaseNode).second) { in visitTBAAMetadata()
6122 std::tie(Invalid, BaseNodeBitWidth) = verifyTBAABaseNode(I, BaseNode, in visitTBAAMetadata()
6130 SeenAccessTypeInPath |= BaseNode == AccessType; in visitTBAAMetadata()
6132 if (isValidScalarTBAANode(BaseNode) || BaseNode == AccessType) in visitTBAAMetadata()