lib/IR/Verifier.cpp

1 //===-- Verifier.cpp - Implement the Module Verifier -----------------------==//
46 #include "llvm/IR/Verifier.h"
254 class Verifier : public InstVisitor<Verifier>, VerifierSupport {
255   friend class InstVisitor<Verifier>;
316   explicit Verifier(raw_ostream *OS, bool ShouldTreatBrokenDebugInfoAsError,
364   /// Verify the module that this instance of \c Verifier was initialized with.
439   using InstVisitor<Verifier>::visit;
550 void Verifier::visit(Instruction &I) {
553   InstVisitor<Verifier>::visit(I);
569 void Verifier::visitGlobalValue(const GlobalValue &GV) {
623 void Verifier::visitGlobalVariable(const GlobalVariable &GV) {
719 void Verifier::visitAliaseeSubExpr(const GlobalAlias &GA, const Constant &C) {
725 void Verifier::visitAliaseeSubExpr(SmallPtrSetImpl<const GlobalAlias*> &Visited,
755 void Verifier::visitGlobalAlias(const GlobalAlias &GA) {
773 void Verifier::visitNamedMDNode(const NamedMDNode &NMD) {
791 void Verifier::visitMDNode(const MDNode &MD, AreDebugLocsAllowed AllowLocs) {
831 void Verifier::visitValueAsMetadata(const ValueAsMetadata &MD, Function *F) {
857 void Verifier::visitMetadataAsValue(const MetadataAsValue &MDV, Function *F) {
877 void Verifier::visitDILocation(const DILocation &N) {
886 void Verifier::visitGenericDINode(const GenericDINode &N) {
890 void Verifier::visitDIScope(const DIScope &N) {
895 void Verifier::visitDISubrange(const DISubrange &N) {
923 void Verifier::visitDIEnumerator(const DIEnumerator &N) {
927 void Verifier::visitDIBasicType(const DIBasicType &N) {
935 void Verifier::visitDIDerivedType(const DIDerivedType &N) {
978 void Verifier::visitTemplateParams(const MDNode &N, const Metadata &RawParams) {
987 void Verifier::visitDICompositeType(const DICompositeType &N) {
1040 void Verifier::visitDISubroutineType(const DISubroutineType &N) {
1052 void Verifier::visitDIFile(const DIFile &N) {
1076 void Verifier::visitDICompileUnit(const DICompileUnit &N) {
1132 void Verifier::visitDISubprogram(const DISubprogram &N) {
1186 void Verifier::visitDILexicalBlockBase(const DILexicalBlockBase &N) {
1194 void Verifier::visitDILexicalBlock(const DILexicalBlock &N) {
1201 void Verifier::visitDILexicalBlockFile(const DILexicalBlockFile &N) {
1205 void Verifier::visitDICommonBlock(const DICommonBlock &N) {
1213 void Verifier::visitDINamespace(const DINamespace &N) {
1219 void Verifier::visitDIMacro(const DIMacro &N) {
1229 void Verifier::visitDIMacroFile(const DIMacroFile &N) {
1243 void Verifier::visitDIModule(const DIModule &N) {
1248 void Verifier::visitDITemplateParameter(const DITemplateParameter &N) {
1252 void Verifier::visitDITemplateTypeParameter(const DITemplateTypeParameter &N) {
1259 void Verifier::visitDITemplateValueParameter(
1269 void Verifier::visitDIVariable(const DIVariable &N) {
1276 void Verifier::visitDIGlobalVariable(const DIGlobalVariable &N) {
1291 void Verifier::visitDILocalVariable(const DILocalVariable &N) {
1303 void Verifier::visitDILabel(const DILabel &N) {
1314 void Verifier::visitDIExpression(const DIExpression &N) {
1318 void Verifier::visitDIGlobalVariableExpression(
1330 void Verifier::visitDIObjCProperty(const DIObjCProperty &N) {
1338 void Verifier::visitDIImportedEntity(const DIImportedEntity &N) {
1348 void Verifier::visitComdat(const Comdat &C) {
1357 void Verifier::visitModuleIdents(const Module &M) {
1374 void Verifier::visitModuleCommandLines(const Module &M) {
1392 void Verifier::visitModuleFlags(const Module &M) {
1424 Verifier::visitModuleFlag(const MDNode *Op,
1523 void Verifier::visitModuleFlagCGProfileEntry(const MDOperand &MDO) {
1603 void Verifier::verifyAttributeTypes(AttributeSet Attrs, bool IsFunction,
1634 void Verifier::verifyParameterAttrs(AttributeSet Attrs, Type *Ty,
1747 void Verifier::verifyFunctionAttrs(FunctionType *FT, AttributeList Attrs,
1937 void Verifier::verifyFunctionMetadata(
1967 void Verifier::visitConstantExprsRecursively(const Constant *EntryC) {
2001 void Verifier::visitConstantExpr(const ConstantExpr *CE) {
2021 bool Verifier::verifyAttributeCount(AttributeList Attrs, unsigned Params) {
2028 void Verifier::verifyStatepoint(const CallBase &Call) {
2170 void Verifier::verifyFrameRecoverIndices() {
2194 void Verifier::verifySiblingFuncletUnwinds() {
2238 void Verifier::visitFunction(const Function &F) {
2439     // broken code (this is the Verifier after all).
2482 void Verifier::visitBasicBlock(BasicBlock &BB) {
2540 void Verifier::visitTerminator(Instruction &I) {
2547 void Verifier::visitBranchInst(BranchInst &BI) {
2555 void Verifier::visitReturnInst(ReturnInst &RI) {
2574 void Verifier::visitSwitchInst(SwitchInst &SI) {
2589 void Verifier::visitIndirectBrInst(IndirectBrInst &BI) {
2599 void Verifier::visitCallBrInst(CallBrInst &CBI) {
2625 void Verifier::visitSelectInst(SelectInst &SI) {
2638 void Verifier::visitUserOp1(Instruction &I) {
2642 void Verifier::visitTruncInst(TruncInst &I) {
2660 void Verifier::visitZExtInst(ZExtInst &I) {
2678 void Verifier::visitSExtInst(SExtInst &I) {
2696 void Verifier::visitFPTruncInst(FPTruncInst &I) {
2713 void Verifier::visitFPExtInst(FPExtInst &I) {
2731 void Verifier::visitUIToFPInst(UIToFPInst &I) {
2754 void Verifier::visitSIToFPInst(SIToFPInst &I) {
2777 void Verifier::visitFPToUIInst(FPToUIInst &I) {
2800 void Verifier::visitFPToSIInst(FPToSIInst &I) {
2823 void Verifier::visitPtrToIntInst(PtrToIntInst &I) {
2848 void Verifier::visitIntToPtrInst(IntToPtrInst &I) {
2872 void Verifier::visitBitCastInst(BitCastInst &I) {
2879 void Verifier::visitAddrSpaceCastInst(AddrSpaceCastInst &I) {
2898 void Verifier::visitPHINode(PHINode &PN) {
2922 void Verifier::visitCallBase(CallBase &Call) {
3192 void Verifier::verifyMustTailCall(CallInst &CI) {
3256 void Verifier::visitCallInst(CallInst &CI) {
3263 void Verifier::visitInvokeInst(InvokeInst &II) {
3278 void Verifier::visitUnaryOperator(UnaryOperator &U) {
3301 void Verifier::visitBinaryOperator(BinaryOperator &B) {
3363 void Verifier::visitICmpInst(ICmpInst &IC) {
3379 void Verifier::visitFCmpInst(FCmpInst &FC) {
3395 void Verifier::visitExtractElementInst(ExtractElementInst &EI) {
3402 void Verifier::visitInsertElementInst(InsertElementInst &IE) {
3409 void Verifier::visitShuffleVectorInst(ShuffleVectorInst &SV) {
3416 void Verifier::visitGetElementPtrInst(GetElementPtrInst &GEP) {
3466 void Verifier::visitRangeMetadata(Instruction &I, MDNode *Range, Type *Ty) {
3514 void Verifier::checkAtomicMemAccessSize(Type *Ty, const Instruction *I) {
3521 void Verifier::visitLoadInst(LoadInst &LI) {
3547 void Verifier::visitStoreInst(StoreInst &SI) {
3575 void Verifier::verifySwiftErrorCall(CallBase &Call,
3588 void Verifier::verifySwiftErrorValue(const Value *SwiftErrorVal) {
3607 void Verifier::visitAllocaInst(AllocaInst &AI) {
3628 void Verifier::visitAtomicCmpXchgInst(AtomicCmpXchgInst &CXI) {
3661 void Verifier::visitAtomicRMWInst(AtomicRMWInst &RMWI) {
3695 void Verifier::visitFenceInst(FenceInst &FI) {
3707 void Verifier::visitExtractValueInst(ExtractValueInst &EVI) {
3715 void Verifier::visitInsertValueInst(InsertValueInst &IVI) {
3731 void Verifier::visitEHPadPredecessors(Instruction &I) {
3804 void Verifier::visitLandingPadInst(LandingPadInst &LPI) {
3845 void Verifier::visitResumeInst(ResumeInst &RI) {
3860 void Verifier::visitCatchPadInst(CatchPadInst &CPI) {
3880 void Verifier::visitCatchReturnInst(CatchReturnInst &CatchReturn) {
3888 void Verifier::visitCleanupPadInst(CleanupPadInst &CPI) {
3909 void Verifier::visitFuncletPadInst(FuncletPadInst &FPI) {
4068 void Verifier::visitCatchSwitchInst(CatchSwitchInst &CatchSwitch) {
4110 void Verifier::visitCleanupReturnInst(CleanupReturnInst &CRI) {
4126 void Verifier::verifyDominatesUse(Instruction &I, unsigned i) {
4151 void Verifier::visitDereferenceableMetadata(Instruction& I, MDNode* MD) {
4164 void Verifier::visitProfMetadata(Instruction &I, MDNode *MD) {
4210 void Verifier::visitInstruction(Instruction &I) {
4393 void Verifier::visitIntrinsicCall(Intrinsic::ID ID, CallBase &Call) {
5100 void Verifier::visitConstrainedFPIntrinsic(ConstrainedFPIntrinsic &FPI) {
5240 void Verifier::visitDbgIntrinsic(StringRef Kind, DbgVariableIntrinsic &DII) {
5282 void Verifier::visitDbgLabelIntrinsic(StringRef Kind, DbgLabelInst &DLI) {
5312 void Verifier::verifyFragmentExpression(const DbgVariableIntrinsic &I) {
5338 void Verifier::verifyFragmentExpression(const DIVariable &V,
5354 void Verifier::verifyFnArgs(const DbgVariableIntrinsic &I) {
5383 void Verifier::verifyNotEntryValue(const DbgVariableIntrinsic &I) {
5393 void Verifier::verifyCompileUnits() {
5408 void Verifier::verifyDeoptimizeCallingConvs() {
5421 void Verifier::verifySourceDebugInfo(const DICompileUnit &U, const DIFile &F) {
5437   Verifier V(OS, /*ShouldTreatBrokenDebugInfoAsError=*/true, *f.getParent());
5447   Verifier V(OS, /*ShouldTreatBrokenDebugInfoAsError=*/!BrokenDebugInfo, M);
5466   std::unique_ptr<Verifier> V;
5479     V = std::make_unique<Verifier>(
5858 INITIALIZE_PASS(VerifierLegacyPass, "verify", "Module Verifier", false, false)