177 class Verifier : public InstVisitor<Verifier>, VerifierSupport {  class
178   friend class InstVisitor<Verifier>;
213   explicit Verifier(raw_ostream &OS)  in Verifier()  function in __anon6ad653e40111::Verifier
353   using InstVisitor<Verifier>::visit;
445 void Verifier::visit(Instruction &I) {  in visit()
448   InstVisitor<Verifier>::visit(I);  in visit()
452 void Verifier::visitGlobalValue(const GlobalValue &GV) {  in visitGlobalValue()
472 void Verifier::visitGlobalVariable(const GlobalVariable &GV) {  in visitGlobalVariable()
558 void Verifier::visitAliaseeSubExpr(const GlobalAlias &GA, const Constant &C) {  in visitAliaseeSubExpr()
564 void Verifier::visitAliaseeSubExpr(SmallPtrSetImpl<const GlobalAlias*> &Visited,  in visitAliaseeSubExpr()
594 void Verifier::visitGlobalAlias(const GlobalAlias &GA) {  in visitGlobalAlias()
612 void Verifier::visitNamedMDNode(const NamedMDNode &NMD) {  in visitNamedMDNode()
627 void Verifier::visitMDNode(const MDNode &MD) {  in visitMDNode()
666 void Verifier::visitValueAsMetadata(const ValueAsMetadata &MD, Function *F) {  in visitValueAsMetadata()
692 void Verifier::visitMetadataAsValue(const MetadataAsValue &MDV, Function *F) {  in visitMetadataAsValue()
708 bool Verifier::isValidUUID(const MDNode &N, const Metadata *MD) {  in isValidUUID()
722 bool Verifier::isTypeRef(const MDNode &N, const Metadata *MD) {  in isTypeRef()
727 bool Verifier::isScopeRef(const MDNode &N, const Metadata *MD) {  in isScopeRef()
732 bool Verifier::isDIRef(const MDNode &N, const Metadata *MD) {  in isDIRef()
760 void Verifier::visitDILocation(const DILocation &N) {  in visitDILocation()
767 void Verifier::visitGenericDINode(const GenericDINode &N) {  in visitGenericDINode()
771 void Verifier::visitDIScope(const DIScope &N) {  in visitDIScope()
776 void Verifier::visitDISubrange(const DISubrange &N) {  in visitDISubrange()
781 void Verifier::visitDIEnumerator(const DIEnumerator &N) {  in visitDIEnumerator()
785 void Verifier::visitDIBasicType(const DIBasicType &N) {  in visitDIBasicType()
791 void Verifier::visitDIDerivedType(const DIDerivedType &N) {  in visitDIDerivedType()
822 void Verifier::visitTemplateParams(const MDNode &N, const Metadata &RawParams) {  in visitTemplateParams()
831 void Verifier::visitDICompositeType(const DICompositeType &N) {  in visitDICompositeType()
862 void Verifier::visitDISubroutineType(const DISubroutineType &N) {  in visitDISubroutineType()
874 void Verifier::visitDIFile(const DIFile &N) {  in visitDIFile()
878 void Verifier::visitDICompileUnit(const DICompileUnit &N) {  in visitDICompileUnit()
931 void Verifier::visitDISubprogram(const DISubprogram &N) {  in visitDISubprogram()
959 void Verifier::visitDILexicalBlockBase(const DILexicalBlockBase &N) {  in visitDILexicalBlockBase()
965 void Verifier::visitDILexicalBlock(const DILexicalBlock &N) {  in visitDILexicalBlock()
972 void Verifier::visitDILexicalBlockFile(const DILexicalBlockFile &N) {  in visitDILexicalBlockFile()
976 void Verifier::visitDINamespace(const DINamespace &N) {  in visitDINamespace()
982 void Verifier::visitDIMacro(const DIMacro &N) {  in visitDIMacro()
989 void Verifier::visitDIMacroFile(const DIMacroFile &N) {  in visitDIMacroFile()
1003 void Verifier::visitDIModule(const DIModule &N) {  in visitDIModule()
1008 void Verifier::visitDITemplateParameter(const DITemplateParameter &N) {  in visitDITemplateParameter()
1012 void Verifier::visitDITemplateTypeParameter(const DITemplateTypeParameter &N) {  in visitDITemplateTypeParameter()
1019 void Verifier::visitDITemplateValueParameter(  in visitDITemplateValueParameter()
1029 void Verifier::visitDIVariable(const DIVariable &N) {  in visitDIVariable()
1037 void Verifier::visitDIGlobalVariable(const DIGlobalVariable &N) {  in visitDIGlobalVariable()
1054 void Verifier::visitDILocalVariable(const DILocalVariable &N) {  in visitDILocalVariable()
1063 void Verifier::visitDIExpression(const DIExpression &N) {  in visitDIExpression()
1067 void Verifier::visitDIObjCProperty(const DIObjCProperty &N) {  in visitDIObjCProperty()
1075 void Verifier::visitDIImportedEntity(const DIImportedEntity &N) {  in visitDIImportedEntity()
1085 void Verifier::visitComdat(const Comdat &C) {  in visitComdat()
1093 void Verifier::visitModuleIdents(const Module &M) {  in visitModuleIdents()
1111 void Verifier::visitModuleFlags(const Module &M) {  in visitModuleFlags()
1145 Verifier::visitModuleFlag(const MDNode *Op,  in visitModuleFlag()
1211 void Verifier::VerifyAttributeTypes(AttributeSet Attrs, unsigned Idx,  in VerifyAttributeTypes()
1281 void Verifier::VerifyParameterAttrs(AttributeSet Attrs, unsigned Idx, Type *Ty,  in VerifyParameterAttrs()
1365 void Verifier::VerifyFunctionAttrs(FunctionType *FT, AttributeSet Attrs,  in VerifyFunctionAttrs()
1467 void Verifier::VerifyFunctionMetadata(  in VerifyFunctionMetadata()
1497 void Verifier::visitConstantExprsRecursively(const Constant *EntryC) {  in visitConstantExprsRecursively()
1525 void Verifier::visitConstantExpr(const ConstantExpr *CE) {  in visitConstantExpr()
1534 bool Verifier::VerifyAttributeCount(AttributeSet Attrs, unsigned Params) {  in VerifyAttributeCount()
1549 void Verifier::VerifyStatepoint(ImmutableCallSite CS) {  in VerifyStatepoint()
1683 void Verifier::verifyFrameRecoverIndices() {  in verifyFrameRecoverIndices()
1698 void Verifier::visitFunction(const Function &F) {  in visitFunction()
1888 void Verifier::visitBasicBlock(BasicBlock &BB) {  in visitBasicBlock()
1947 void Verifier::visitTerminatorInst(TerminatorInst &I) {  in visitTerminatorInst()
1954 void Verifier::visitBranchInst(BranchInst &BI) {  in visitBranchInst()
1962 void Verifier::visitReturnInst(ReturnInst &RI) {  in visitReturnInst()
1981 void Verifier::visitSwitchInst(SwitchInst &SI) {  in visitSwitchInst()
1996 void Verifier::visitIndirectBrInst(IndirectBrInst &BI) {  in visitIndirectBrInst()
2006 void Verifier::visitSelectInst(SelectInst &SI) {  in visitSelectInst()
2019 void Verifier::visitUserOp1(Instruction &I) {  in visitUserOp1()
2023 void Verifier::visitTruncInst(TruncInst &I) {  in visitTruncInst()
2041 void Verifier::visitZExtInst(ZExtInst &I) {  in visitZExtInst()
2059 void Verifier::visitSExtInst(SExtInst &I) {  in visitSExtInst()
2077 void Verifier::visitFPTruncInst(FPTruncInst &I) {  in visitFPTruncInst()
2094 void Verifier::visitFPExtInst(FPExtInst &I) {  in visitFPExtInst()
2112 void Verifier::visitUIToFPInst(UIToFPInst &I) {  in visitUIToFPInst()
2135 void Verifier::visitSIToFPInst(SIToFPInst &I) {  in visitSIToFPInst()
2158 void Verifier::visitFPToUIInst(FPToUIInst &I) {  in visitFPToUIInst()
2181 void Verifier::visitFPToSIInst(FPToSIInst &I) {  in visitFPToSIInst()
2204 void Verifier::visitPtrToIntInst(PtrToIntInst &I) {  in visitPtrToIntInst()
2226 void Verifier::visitIntToPtrInst(IntToPtrInst &I) {  in visitIntToPtrInst()
2246 void Verifier::visitBitCastInst(BitCastInst &I) {  in visitBitCastInst()
2253 void Verifier::visitAddrSpaceCastInst(AddrSpaceCastInst &I) {  in visitAddrSpaceCastInst()
2271 void Verifier::visitPHINode(PHINode &PN) {  in visitPHINode()
2295 void Verifier::VerifyCallSite(CallSite CS) {  in VerifyCallSite()
2452 void Verifier::verifyMustTailCall(CallInst &CI) {  in verifyMustTailCall()
2513 void Verifier::visitCallInst(CallInst &CI) {  in visitCallInst()
2520 void Verifier::visitInvokeInst(InvokeInst &II) {  in visitInvokeInst()
2536 void Verifier::visitBinaryOperator(BinaryOperator &B) {  in visitBinaryOperator()
2598 void Verifier::visitICmpInst(ICmpInst &IC) {  in visitICmpInst()
2615 void Verifier::visitFCmpInst(FCmpInst &FC) {  in visitFCmpInst()
2632 void Verifier::visitExtractElementInst(ExtractElementInst &EI) {  in visitExtractElementInst()
2639 void Verifier::visitInsertElementInst(InsertElementInst &IE) {  in visitInsertElementInst()
2646 void Verifier::visitShuffleVectorInst(ShuffleVectorInst &SV) {  in visitShuffleVectorInst()
2653 void Verifier::visitGetElementPtrInst(GetElementPtrInst &GEP) {  in visitGetElementPtrInst()
2691 void Verifier::visitRangeMetadata(Instruction& I,  in visitRangeMetadata()
2741 void Verifier::checkAtomicMemAccessSize(const Module *M, Type *Ty,  in checkAtomicMemAccessSize()
2749 void Verifier::visitLoadInst(LoadInst &LI) {  in visitLoadInst()
2774 void Verifier::visitStoreInst(StoreInst &SI) {  in visitStoreInst()
2800 void Verifier::visitAllocaInst(AllocaInst &AI) {  in visitAllocaInst()
2816 void Verifier::visitAtomicCmpXchgInst(AtomicCmpXchgInst &CXI) {  in visitAtomicCmpXchgInst()
2848 void Verifier::visitAtomicRMWInst(AtomicRMWInst &RMWI) {  in visitAtomicRMWInst()
2868 void Verifier::visitFenceInst(FenceInst &FI) {  in visitFenceInst()
2878 void Verifier::visitExtractValueInst(ExtractValueInst &EVI) {  in visitExtractValueInst()
2886 void Verifier::visitInsertValueInst(InsertValueInst &IVI) {  in visitInsertValueInst()
2895 void Verifier::visitEHPadPredecessors(Instruction &I) {  in visitEHPadPredecessors()
2936 void Verifier::visitLandingPadInst(LandingPadInst &LPI) {  in visitLandingPadInst()
2977 void Verifier::visitCatchPadInst(CatchPadInst &CPI) {  in visitCatchPadInst()
2998 void Verifier::visitCatchReturnInst(CatchReturnInst &CatchReturn) {  in visitCatchReturnInst()
3006 void Verifier::visitCleanupPadInst(CleanupPadInst &CPI) {  in visitCleanupPadInst()
3055 void Verifier::visitCatchSwitchInst(CatchSwitchInst &CatchSwitch) {  in visitCatchSwitchInst()
3087 void Verifier::visitCleanupReturnInst(CleanupReturnInst &CRI) {  in visitCleanupReturnInst()
3103 void Verifier::verifyDominatesUse(Instruction &I, unsigned i) {  in verifyDominatesUse()
3118 void Verifier::visitDereferenceableMetadata(Instruction& I, MDNode* MD) {  in visitDereferenceableMetadata()
3133 void Verifier::visitInstruction(Instruction &I) {  in visitInstruction()
3287 bool Verifier::VerifyIntrinsicType(Type *Ty,  in VerifyIntrinsicType()
3432 Verifier::VerifyIntrinsicIsVarArg(bool isVarArg,  in VerifyIntrinsicIsVarArg()
3454 void Verifier::visitIntrinsicCallSite(Intrinsic::ID ID, CallSite CS) {  in visitIntrinsicCallSite()
3780 void Verifier::visitDbgIntrinsic(StringRef Kind, DbgIntrinsicTy &DII) {  in visitDbgIntrinsic()
3848 void Verifier::verifyBitPieceExpression(const DbgInfoIntrinsic &I,  in verifyBitPieceExpression()
3891 void Verifier::visitUnresolvedTypeRef(const MDString *S, const MDNode *N) {  in visitUnresolvedTypeRef()
3897 void Verifier::verifyTypeRefs() {  in verifyTypeRefs()
3950   Verifier V(OS ? *OS : NullStr);  in verifyFunction()
3959   Verifier V(OS ? *OS : NullStr);  in verifyModule()
3975   Verifier V;