Lines Matching refs:CheckTBAA
7212 #define CheckTBAA(C, ...) \ macro
7444 CheckTBAA(MD->getNumOperands() > 0, "TBAA metadata cannot have 0 operands", in visitTBAAMetadata()
7447 CheckTBAA(isa<LoadInst>(I) || isa<StoreInst>(I) || isa<CallInst>(I) || in visitTBAAMetadata()
7455 CheckTBAA(IsStructPathTBAA, in visitTBAAMetadata()
7465 CheckTBAA(MD->getNumOperands() == 4 || MD->getNumOperands() == 5, in visitTBAAMetadata()
7468 CheckTBAA(MD->getNumOperands() < 5, in visitTBAAMetadata()
7476 CheckTBAA(AccessSizeNode, "Access size field must be a constant", &I, MD); in visitTBAAMetadata()
7484 CheckTBAA(IsImmutableCI, in visitTBAAMetadata()
7487 CheckTBAA( in visitTBAAMetadata()
7493 CheckTBAA(BaseNode && AccessType, in visitTBAAMetadata()
7499 CheckTBAA(isValidScalarTBAANode(AccessType), in visitTBAAMetadata()
7505 CheckTBAA(OffsetCI, "Offset must be constant integer", &I, MD); in visitTBAAMetadata()
7533 CheckTBAA(Offset == 0, "Offset not zero at the point of scalar access", in visitTBAAMetadata()
7536 CheckTBAA(BaseNodeBitWidth == Offset.getBitWidth() || in visitTBAAMetadata()
7546 CheckTBAA(SeenAccessTypeInPath, "Did not see access type in access path!", &I, in visitTBAAMetadata()