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

References

lib/IR/Verifier.cpp
 5435       isa<MDNode>(MD->getOperand(0)) && MD->getNumOperands() >= 3;
 5435       isa<MDNode>(MD->getOperand(0)) && MD->getNumOperands() >= 3;
 5441   MDNode *BaseNode = dyn_cast_or_null<MDNode>(MD->getOperand(0));
 5442   MDNode *AccessType = dyn_cast_or_null<MDNode>(MD->getOperand(1));
 5447     AssertTBAA(MD->getNumOperands() == 4 || MD->getNumOperands() == 5,
 5447     AssertTBAA(MD->getNumOperands() == 4 || MD->getNumOperands() == 5,
 5448                "Access tag metadata must have either 4 or 5 operands", &I, MD);
 5450     AssertTBAA(MD->getNumOperands() < 5,
 5451                "Struct tag metadata must have either 3 or 4 operands", &I, MD);
 5457         MD->getOperand(3));
 5458     AssertTBAA(AccessSizeNode, "Access size field must be a constant", &I, MD);
 5463   if (MD->getNumOperands() == ImmutabilityFlagOpNo + 1) {
 5465         MD->getOperand(ImmutabilityFlagOpNo));
 5468                &I, MD);
 5472         &I, MD);
 5478              &I, MD, BaseNode, AccessType);
 5482                "Access type node must be a valid scalar type", &I, MD,
 5486   auto *OffsetCI = mdconst::dyn_extract_or_null<ConstantInt>(MD->getOperand(2));
 5487   AssertTBAA(OffsetCI, "Offset must be constant integer", &I, MD);
 5498       CheckFailed("Cycle detected in struct path", &I, MD);
 5516                  &I, MD, &Offset);
 5521                "Access bit-width not the same as description bit-width", &I, MD,
 5529              &I, MD);