Home
last modified time | relevance | path

Searched refs:CheckTBAA (Results 1 – 1 of 1) sorted by relevance

/llvm-project-15.0.7/llvm/lib/IR/
H A DVerifier.cpp6524 CheckTBAA(isa<LoadInst>(I) || isa<StoreInst>(I) || isa<CallInst>(I) || in visitTBAAMetadata()
6532 CheckTBAA(IsStructPathTBAA, in visitTBAAMetadata()
6542 CheckTBAA(MD->getNumOperands() == 4 || MD->getNumOperands() == 5, in visitTBAAMetadata()
6545 CheckTBAA(MD->getNumOperands() < 5, in visitTBAAMetadata()
6561 CheckTBAA(IsImmutableCI, in visitTBAAMetadata()
6564 CheckTBAA( in visitTBAAMetadata()
6570 CheckTBAA(BaseNode && AccessType, in visitTBAAMetadata()
6576 CheckTBAA(isValidScalarTBAANode(AccessType), in visitTBAAMetadata()
6582 CheckTBAA(OffsetCI, "Offset must be constant integer", &I, MD); in visitTBAAMetadata()
6610 CheckTBAA(Offset == 0, "Offset not zero at the point of scalar access", in visitTBAAMetadata()
[all …]