reference, declarationdefinition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

References

lib/IR/Verifier.cpp
 5429   AssertTBAA(isa<LoadInst>(I) || isa<StoreInst>(I) || isa<CallInst>(I) ||
 5429   AssertTBAA(isa<LoadInst>(I) || isa<StoreInst>(I) || isa<CallInst>(I) ||
 5429   AssertTBAA(isa<LoadInst>(I) || isa<StoreInst>(I) || isa<CallInst>(I) ||
 5430                  isa<VAArgInst>(I) || isa<AtomicRMWInst>(I) ||
 5430                  isa<VAArgInst>(I) || isa<AtomicRMWInst>(I) ||
 5431                  isa<AtomicCmpXchgInst>(I),
 5432              "This instruction shall not have a TBAA access tag!", &I);
 5439       "Old-style TBAA is no longer allowed, use struct-path TBAA instead", &I);
 5448                "Access tag metadata must have either 4 or 5 operands", &I, MD);
 5451                "Struct tag metadata must have either 3 or 4 operands", &I, MD);
 5458     AssertTBAA(AccessSizeNode, "Access size field must be a constant", &I, MD);
 5468                &I, MD);
 5472         &I, MD);
 5478              &I, MD, BaseNode, AccessType);
 5482                "Access type node must be a valid scalar type", &I, MD,
 5487   AssertTBAA(OffsetCI, "Offset must be constant integer", &I, MD);
 5495        BaseNode = getFieldNodeFromTBAABaseNode(I, BaseNode, Offset,
 5498       CheckFailed("Cycle detected in struct path", &I, MD);
 5504     std::tie(Invalid, BaseNodeBitWidth) = verifyTBAABaseNode(I, BaseNode,
 5516                  &I, MD, &Offset);
 5521                "Access bit-width not the same as description bit-width", &I, MD,
 5529              &I, MD);