Lines Matching refs:Verifier
209 class Verifier : public InstVisitor<Verifier>, VerifierSupport { class
210 friend class InstVisitor<Verifier>;
266 explicit Verifier(raw_ostream *OS, bool ShouldTreatBrokenDebugInfoAsError) in Verifier() function in __anoncea4ff5f0111::Verifier
381 using InstVisitor<Verifier>::visit;
480 void Verifier::visit(Instruction &I) { in visit()
483 InstVisitor<Verifier>::visit(I); in visit()
499 void Verifier::visitGlobalValue(const GlobalValue &GV) { in visitGlobalValue()
537 void Verifier::visitGlobalVariable(const GlobalVariable &GV) { in visitGlobalVariable()
620 void Verifier::visitAliaseeSubExpr(const GlobalAlias &GA, const Constant &C) { in visitAliaseeSubExpr()
626 void Verifier::visitAliaseeSubExpr(SmallPtrSetImpl<const GlobalAlias*> &Visited, in visitAliaseeSubExpr()
656 void Verifier::visitGlobalAlias(const GlobalAlias &GA) { in visitGlobalAlias()
674 void Verifier::visitNamedMDNode(const NamedMDNode &NMD) { in visitNamedMDNode()
687 void Verifier::visitMDNode(const MDNode &MD) { in visitMDNode()
725 void Verifier::visitValueAsMetadata(const ValueAsMetadata &MD, Function *F) { in visitValueAsMetadata()
751 void Verifier::visitMetadataAsValue(const MetadataAsValue &MDV, Function *F) { in visitMetadataAsValue()
795 void Verifier::visitDILocation(const DILocation &N) { in visitDILocation()
802 void Verifier::visitGenericDINode(const GenericDINode &N) { in visitGenericDINode()
806 void Verifier::visitDIScope(const DIScope &N) { in visitDIScope()
811 void Verifier::visitDISubrange(const DISubrange &N) { in visitDISubrange()
816 void Verifier::visitDIEnumerator(const DIEnumerator &N) { in visitDIEnumerator()
820 void Verifier::visitDIBasicType(const DIBasicType &N) { in visitDIBasicType()
826 void Verifier::visitDIDerivedType(const DIDerivedType &N) { in visitDIDerivedType()
857 void Verifier::visitTemplateParams(const MDNode &N, const Metadata &RawParams) { in visitTemplateParams()
866 void Verifier::visitDICompositeType(const DICompositeType &N) { in visitDICompositeType()
897 void Verifier::visitDISubroutineType(const DISubroutineType &N) { in visitDISubroutineType()
909 void Verifier::visitDIFile(const DIFile &N) { in visitDIFile()
913 void Verifier::visitDICompileUnit(const DICompileUnit &N) { in visitDICompileUnit()
967 void Verifier::visitDISubprogram(const DISubprogram &N) { in visitDISubprogram()
1004 void Verifier::visitDILexicalBlockBase(const DILexicalBlockBase &N) { in visitDILexicalBlockBase()
1010 void Verifier::visitDILexicalBlock(const DILexicalBlock &N) { in visitDILexicalBlock()
1017 void Verifier::visitDILexicalBlockFile(const DILexicalBlockFile &N) { in visitDILexicalBlockFile()
1021 void Verifier::visitDINamespace(const DINamespace &N) { in visitDINamespace()
1027 void Verifier::visitDIMacro(const DIMacro &N) { in visitDIMacro()
1037 void Verifier::visitDIMacroFile(const DIMacroFile &N) { in visitDIMacroFile()
1051 void Verifier::visitDIModule(const DIModule &N) { in visitDIModule()
1056 void Verifier::visitDITemplateParameter(const DITemplateParameter &N) { in visitDITemplateParameter()
1060 void Verifier::visitDITemplateTypeParameter(const DITemplateTypeParameter &N) { in visitDITemplateTypeParameter()
1067 void Verifier::visitDITemplateValueParameter( in visitDITemplateValueParameter()
1077 void Verifier::visitDIVariable(const DIVariable &N) { in visitDIVariable()
1085 void Verifier::visitDIGlobalVariable(const DIGlobalVariable &N) { in visitDIGlobalVariable()
1103 void Verifier::visitDILocalVariable(const DILocalVariable &N) { in visitDILocalVariable()
1112 void Verifier::visitDIExpression(const DIExpression &N) { in visitDIExpression()
1116 void Verifier::visitDIObjCProperty(const DIObjCProperty &N) { in visitDIObjCProperty()
1124 void Verifier::visitDIImportedEntity(const DIImportedEntity &N) { in visitDIImportedEntity()
1134 void Verifier::visitComdat(const Comdat &C) { in visitComdat()
1142 void Verifier::visitModuleIdents(const Module &M) { in visitModuleIdents()
1159 void Verifier::visitModuleFlags(const Module &M) { in visitModuleFlags()
1191 Verifier::visitModuleFlag(const MDNode *Op, in visitModuleFlag()
1257 void Verifier::verifyAttributeTypes(AttributeSet Attrs, unsigned Idx, in verifyAttributeTypes()
1329 void Verifier::verifyParameterAttrs(AttributeSet Attrs, unsigned Idx, Type *Ty, in verifyParameterAttrs()
1437 void Verifier::verifyFunctionAttrs(FunctionType *FT, AttributeSet Attrs, in verifyFunctionAttrs()
1589 void Verifier::verifyFunctionMetadata( in verifyFunctionMetadata()
1616 void Verifier::visitConstantExprsRecursively(const Constant *EntryC) { in visitConstantExprsRecursively()
1650 void Verifier::visitConstantExpr(const ConstantExpr *CE) { in visitConstantExpr()
1659 bool Verifier::verifyAttributeCount(AttributeSet Attrs, unsigned Params) { in verifyAttributeCount()
1674 void Verifier::verifyStatepoint(ImmutableCallSite CS) { in verifyStatepoint()
1808 void Verifier::verifyFrameRecoverIndices() { in verifyFrameRecoverIndices()
1832 void Verifier::verifySiblingFuncletUnwinds() { in verifySiblingFuncletUnwinds()
1876 void Verifier::visitFunction(const Function &F) { in visitFunction()
2089 void Verifier::visitBasicBlock(BasicBlock &BB) { in visitBasicBlock()
2148 void Verifier::visitTerminatorInst(TerminatorInst &I) { in visitTerminatorInst()
2155 void Verifier::visitBranchInst(BranchInst &BI) { in visitBranchInst()
2163 void Verifier::visitReturnInst(ReturnInst &RI) { in visitReturnInst()
2182 void Verifier::visitSwitchInst(SwitchInst &SI) { in visitSwitchInst()
2197 void Verifier::visitIndirectBrInst(IndirectBrInst &BI) { in visitIndirectBrInst()
2207 void Verifier::visitSelectInst(SelectInst &SI) { in visitSelectInst()
2220 void Verifier::visitUserOp1(Instruction &I) { in visitUserOp1()
2224 void Verifier::visitTruncInst(TruncInst &I) { in visitTruncInst()
2242 void Verifier::visitZExtInst(ZExtInst &I) { in visitZExtInst()
2260 void Verifier::visitSExtInst(SExtInst &I) { in visitSExtInst()
2278 void Verifier::visitFPTruncInst(FPTruncInst &I) { in visitFPTruncInst()
2295 void Verifier::visitFPExtInst(FPExtInst &I) { in visitFPExtInst()
2313 void Verifier::visitUIToFPInst(UIToFPInst &I) { in visitUIToFPInst()
2336 void Verifier::visitSIToFPInst(SIToFPInst &I) { in visitSIToFPInst()
2359 void Verifier::visitFPToUIInst(FPToUIInst &I) { in visitFPToUIInst()
2382 void Verifier::visitFPToSIInst(FPToSIInst &I) { in visitFPToSIInst()
2405 void Verifier::visitPtrToIntInst(PtrToIntInst &I) { in visitPtrToIntInst()
2427 void Verifier::visitIntToPtrInst(IntToPtrInst &I) { in visitIntToPtrInst()
2447 void Verifier::visitBitCastInst(BitCastInst &I) { in visitBitCastInst()
2454 void Verifier::visitAddrSpaceCastInst(AddrSpaceCastInst &I) { in visitAddrSpaceCastInst()
2472 void Verifier::visitPHINode(PHINode &PN) { in visitPHINode()
2496 void Verifier::verifyCallSite(CallSite CS) { in verifyCallSite()
2679 void Verifier::verifyMustTailCall(CallInst &CI) { in verifyMustTailCall()
2740 void Verifier::visitCallInst(CallInst &CI) { in visitCallInst()
2747 void Verifier::visitInvokeInst(InvokeInst &II) { in visitInvokeInst()
2763 void Verifier::visitBinaryOperator(BinaryOperator &B) { in visitBinaryOperator()
2825 void Verifier::visitICmpInst(ICmpInst &IC) { in visitICmpInst()
2842 void Verifier::visitFCmpInst(FCmpInst &FC) { in visitFCmpInst()
2859 void Verifier::visitExtractElementInst(ExtractElementInst &EI) { in visitExtractElementInst()
2866 void Verifier::visitInsertElementInst(InsertElementInst &IE) { in visitInsertElementInst()
2873 void Verifier::visitShuffleVectorInst(ShuffleVectorInst &SV) { in visitShuffleVectorInst()
2880 void Verifier::visitGetElementPtrInst(GetElementPtrInst &GEP) { in visitGetElementPtrInst()
2918 void Verifier::visitRangeMetadata(Instruction& I, in visitRangeMetadata()
2968 void Verifier::checkAtomicMemAccessSize(const Module *M, Type *Ty, in checkAtomicMemAccessSize()
2976 void Verifier::visitLoadInst(LoadInst &LI) { in visitLoadInst()
3003 void Verifier::visitStoreInst(StoreInst &SI) { in visitStoreInst()
3032 void Verifier::verifySwiftErrorCallSite(CallSite CS, in verifySwiftErrorCallSite()
3046 void Verifier::verifySwiftErrorValue(const Value *SwiftErrorVal) { in verifySwiftErrorValue()
3067 void Verifier::visitAllocaInst(AllocaInst &AI) { in visitAllocaInst()
3087 void Verifier::visitAtomicCmpXchgInst(AtomicCmpXchgInst &CXI) { in visitAtomicCmpXchgInst()
3121 void Verifier::visitAtomicRMWInst(AtomicRMWInst &RMWI) { in visitAtomicRMWInst()
3141 void Verifier::visitFenceInst(FenceInst &FI) { in visitFenceInst()
3153 void Verifier::visitExtractValueInst(ExtractValueInst &EVI) { in visitExtractValueInst()
3161 void Verifier::visitInsertValueInst(InsertValueInst &IVI) { in visitInsertValueInst()
3177 void Verifier::visitEHPadPredecessors(Instruction &I) { in visitEHPadPredecessors()
3250 void Verifier::visitLandingPadInst(LandingPadInst &LPI) { in visitLandingPadInst()
3291 void Verifier::visitCatchPadInst(CatchPadInst &CPI) { in visitCatchPadInst()
3311 void Verifier::visitCatchReturnInst(CatchReturnInst &CatchReturn) { in visitCatchReturnInst()
3319 void Verifier::visitCleanupPadInst(CleanupPadInst &CPI) { in visitCleanupPadInst()
3340 void Verifier::visitFuncletPadInst(FuncletPadInst &FPI) { in visitFuncletPadInst()
3499 void Verifier::visitCatchSwitchInst(CatchSwitchInst &CatchSwitch) { in visitCatchSwitchInst()
3541 void Verifier::visitCleanupReturnInst(CleanupReturnInst &CRI) { in visitCleanupReturnInst()
3557 void Verifier::verifyDominatesUse(Instruction &I, unsigned i) { in verifyDominatesUse()
3582 void Verifier::visitDereferenceableMetadata(Instruction& I, MDNode* MD) { in visitDereferenceableMetadata()
3597 void Verifier::visitInstruction(Instruction &I) { in visitInstruction()
3752 void Verifier::visitIntrinsicCallSite(Intrinsic::ID ID, CallSite CS) { in visitIntrinsicCallSite()
4153 void Verifier::visitDbgIntrinsic(StringRef Kind, DbgIntrinsicTy &DII) { in visitDbgIntrinsic()
4213 void Verifier::verifyBitPieceExpression(const DbgInfoIntrinsic &I) { in verifyBitPieceExpression()
4255 void Verifier::verifyCompileUnits() { in verifyCompileUnits()
4267 void Verifier::verifyDeoptimizeCallingConvs() { in verifyDeoptimizeCallingConvs()
4288 Verifier V(OS, /*ShouldTreatBrokenDebugInfoAsError=*/true); in verifyFunction()
4298 Verifier V(OS, /*ShouldTreatBrokenDebugInfoAsError=*/!BrokenDebugInfo); in verifyModule()
4316 Verifier V;