Lines Matching refs:Verifier
1 //===-- Verifier.cpp - Implement the Module Verifier -----------------------==//
10 // This file defines the function verifier interface, that can be used for some
48 #include "llvm/IR/Verifier.h"
165 class Verifier : public InstVisitor<Verifier>, VerifierSupport {
166 friend class InstVisitor<Verifier>;
198 explicit Verifier(raw_ostream &OS)
338 using InstVisitor<Verifier>::visit;
421 void Verifier::visit(Instruction &I) {
424 InstVisitor<Verifier>::visit(I);
428 void Verifier::visitGlobalValue(const GlobalValue &GV) {
445 void Verifier
549 void Verifier::visitAliaseeSubExpr(const GlobalAlias &GA, const Constant &C) {
555 void Verifier::visitAliaseeSubExpr(SmallPtrSetImpl<const GlobalAlias*> &Visited,
584 void Verifier::visitGlobalAlias(const GlobalAlias &GA) {
603 void Verifier::visitNamedMDNode(const NamedMDNode &NMD) {
618 void Verifier::visitMDNode(const MDNode &MD) {
657 void Verifier::visitValueAsMetadata(const ValueAsMetadata &MD, Function *F) {
683 void Verifier::visitMetadataAsValue(const MetadataAsValue &MDV, Function *F) {
699 bool Verifier::isValidUUID(const MDNode &N, const Metadata *MD) {
713 bool Verifier::isTypeRef(const MDNode &N, const Metadata *MD) {
718 bool Verifier::isScopeRef(const MDNode &N, const Metadata *MD) {
723 bool Verifier::isDIRef(const MDNode &N, const Metadata *MD) {
751 void Verifier::visitMDLocation(const MDLocation &N) {
758 void Verifier::visitGenericDebugNode(const GenericDebugNode &N) {
762 void Verifier::visitMDScope(const MDScope &N) {
767 void Verifier::visitMDSubrange(const MDSubrange &N) {
772 void Verifier::visitMDEnumerator(const MDEnumerator &N) {
776 void Verifier::visitMDBasicType(const MDBasicType &N) {
782 void Verifier::visitMDDerivedTypeBase(const MDDerivedTypeBase &N) {
811 void Verifier::visitMDDerivedType(const MDDerivedType &N) {
838 void Verifier::visitTemplateParams(const MDNode &N, const Metadata &RawParams) {
847 void Verifier::visitMDCompositeType(const MDCompositeType &N) {
871 void Verifier::visitMDSubroutineType(const MDSubroutineType &N) {
883 void Verifier::visitMDFile(const MDFile &N) {
887 void Verifier::visitMDCompileUnit(const MDCompileUnit &N) {
933 void Verifier::visitMDSubprogram(const MDSubprogram &N) {
977 // broken code (this is the Verifier after all).
1000 void Verifier::visitMDLexicalBlockBase(const MDLexicalBlockBase &N) {
1006 void Verifier::visitMDLexicalBlock(const MDLexicalBlock &N) {
1013 void Verifier::visitMDLexicalBlockFile(const MDLexicalBlockFile &N) {
1017 void Verifier::visitMDNamespace(const MDNamespace &N) {
1023 void Verifier::visitMDTemplateParameter(const MDTemplateParameter &N) {
1027 void Verifier::visitMDTemplateTypeParameter(const MDTemplateTypeParameter &N) {
1034 void Verifier::visitMDTemplateValueParameter(
1044 void Verifier::visitMDVariable(const MDVariable &N) {
1052 void Verifier::visitMDGlobalVariable(const MDGlobalVariable &N) {
1069 void Verifier::visitMDLocalVariable(const MDLocalVariable &N) {
1080 void Verifier::visitMDExpression(const MDExpression &N) {
1084 void Verifier::visitMDObjCProperty(const MDObjCProperty &N) {
1092 void Verifier::visitMDImportedEntity(const MDImportedEntity &N) {
1102 void Verifier::visitComdat(const Comdat &C) {
1110 void Verifier::visitModuleIdents(const Module &M) {
1128 void Verifier::visitModuleFlags(const Module &M) {
1162 Verifier::visitModuleFlag(const MDNode *Op,
1228 void Verifier::VerifyAttributeTypes(AttributeSet Attrs, unsigned Idx,
1292 void Verifier::VerifyParameterAttrs(AttributeSet Attrs, unsigned Idx, Type *Ty,
1375 void Verifier::VerifyFunctionAttrs(FunctionType *FT, AttributeSet Attrs,
1465 void Verifier::VerifyConstantExprBitcastType(const ConstantExpr *CE) {
1474 bool Verifier::VerifyAttributeCount(AttributeSet Attrs, unsigned Params) {
1489 void Verifier::VerifyStatepoint(ImmutableCallSite CS) {
1586 // about. See example statepoint.ll in the verifier subdirectory
1589 void Verifier::verifyFrameRecoverIndices() {
1604 void Verifier::visitFunction(const Function &F) {
1710 void Verifier::visitBasicBlock(BasicBlock &BB) {
1769 void Verifier::visitTerminatorInst(TerminatorInst &I) {
1776 void Verifier::visitBranchInst(BranchInst &BI) {
1784 void Verifier::visitReturnInst(ReturnInst &RI) {
1803 void Verifier::visitSwitchInst(SwitchInst &SI) {
1818 void Verifier::visitIndirectBrInst(IndirectBrInst &BI) {
1828 void Verifier::visitSelectInst(SelectInst &SI) {
1841 void Verifier::visitUserOp1(Instruction &I) {
1845 void Verifier::visitTruncInst(TruncInst &I) {
1863 void Verifier::visitZExtInst(ZExtInst &I) {
1881 void Verifier::visitSExtInst(SExtInst &I) {
1899 void Verifier::visitFPTruncInst(FPTruncInst &I) {
1916 void Verifier::visitFPExtInst(FPExtInst &I) {
1934 void Verifier::visitUIToFPInst(UIToFPInst &I) {
1957 void Verifier::visitSIToFPInst(SIToFPInst &I) {
1980 void Verifier::visitFPToUIInst(FPToUIInst &I) {
2003 void Verifier::visitFPToSIInst(FPToSIInst &I) {
2026 void Verifier::visitPtrToIntInst(PtrToIntInst &I) {
2048 void Verifier::visitIntToPtrInst(IntToPtrInst &I) {
2068 void Verifier::visitBitCastInst(BitCastInst &I) {
2075 void Verifier::visitAddrSpaceCastInst(AddrSpaceCastInst &I) {
2093 void Verifier::visitPHINode(PHINode &PN) {
2114 void Verifier::VerifyCallSite(CallSite CS) {
2235 void Verifier::verifyMustTailCall(CallInst &CI) {
2300 void Verifier::visitCallInst(CallInst &CI) {
2311 void Verifier::visitInvokeInst(InvokeInst &II) {
2332 void Verifier::visitBinaryOperator(BinaryOperator &B) {
2394 void Verifier::visitICmpInst(ICmpInst &IC) {
2411 void Verifier::visitFCmpInst(FCmpInst &FC) {
2428 void Verifier::visitExtractElementInst(ExtractElementInst &EI) {
2435 void Verifier::visitInsertElementInst(InsertElementInst &IE) {
2442 void Verifier::visitShuffleVectorInst(ShuffleVectorInst &SV) {
2449 void Verifier::visitGetElementPtrInst(GetElementPtrInst &GEP) {
2490 void Verifier::visitRangeMetadata(Instruction& I,
2540 void Verifier::visitLoadInst(LoadInst &LI) {
2567 void Verifier::visitStoreInst(StoreInst &SI) {
2595 void Verifier::visitAllocaInst(AllocaInst &AI) {
2611 void Verifier::visitAtomicCmpXchgInst(AtomicCmpXchgInst &CXI) {
2645 void Verifier::visitAtomicRMWInst(AtomicRMWInst &RMWI) {
2668 void Verifier::visitFenceInst(FenceInst &FI) {
2678 void Verifier::visitExtractValueInst(ExtractValueInst &EVI) {
2686 void Verifier::visitInsertValueInst(InsertValueInst &IVI) {
2695 void Verifier::visitLandingPadInst(LandingPadInst &LPI) {
2744 void Verifier::verifyDominatesUse(Instruction &I, unsigned i) {
2761 void Verifier::visitInstruction(Instruction &I) {
2908 bool Verifier::VerifyIntrinsicType(Type *Ty,
3052 Verifier::VerifyIntrinsicIsVarArg(bool isVarArg,
3075 void Verifier::visitIntrinsicFunctionCall(Intrinsic::ID ID, CallInst &CI) {
3381 void Verifier::visitDbgIntrinsic(StringRef Kind, DbgIntrinsicTy &DII) {
3449 void Verifier::verifyBitPieceExpression(const DbgInfoIntrinsic &I,
3483 void Verifier::visitUnresolvedTypeRef(const MDString *S, const MDNode *N) {
3489 void Verifier::verifyTypeRefs() {
3542 Verifier V(OS ? *OS : NullStr);
3551 Verifier V(OS ? *OS : NullStr);
3567 Verifier V;
3599 INITIALIZE_PASS(VerifierLegacyPass, "verify", "Module Verifier", false, false)
