summaryrefslogtreecommitdiffstats
path: root/llvm/lib/IR/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* IR: Remove MDTupleTypedArrayWrapper::operator MDTuple*()Duncan P. N. Exon Smith2015-04-071-0/+4
* [opaque pointer type] Avoid using PointerType::getElementType when parsing IRDavid Blaikie2015-04-061-3/+1
* Metadata: Add typed array-like wrapper for MDTupleDuncan P. N. Exon Smith2015-04-061-2/+2
* Verifier: Check composite type template paramsDuncan P. N. Exon Smith2015-04-061-11/+18
* [WinEH] Sink UnwindHelp completely out of IRDavid Majnemer2015-04-031-7/+0
* Verifier: Check that inlined-at locations agreeDuncan P. N. Exon Smith2015-04-031-0/+14
* [WinEH] Make llvm.eh.actions use frameescape indices for catch paramsReid Kleckner2015-04-021-0/+2
* [WinEH] Generate .xdata for catch handlersDavid Majnemer2015-03-311-7/+0
* Verifier: Don't return early from verifyTypeRefs()Duncan P. N. Exon Smith2015-03-311-8/+2
* Verifier: Explicitly verify type referencesDuncan P. N. Exon Smith2015-03-311-83/+93
* Verifier: Move over DISubprogram::Verify()Duncan P. N. Exon Smith2015-03-311-0/+39
* Verifier: Check reference flags in debug infoDuncan P. N. Exon Smith2015-03-311-0/+11
* Verifier: Move more debug info checks away from Verify()Duncan P. N. Exon Smith2015-03-311-0/+1
* Verifier: Move checks over from DIDescriptor::Verify()Duncan P. N. Exon Smith2015-03-311-0/+31
* [opaque pointer type] Change GetElementPtrInst::getIndexedType to take the po...David Blaikie2015-03-301-1/+1
* Verifier: Add operand checks for remaining debug infoDuncan P. N. Exon Smith2015-03-301-0/+27
* Verifier: Loosen r233559 check for 'function:' field in MDSubprogramDuncan P. N. Exon Smith2015-03-301-3/+2
* Verifier: Add operand checks for MDLexicalBlockDuncan P. N. Exon Smith2015-03-301-2/+12
* Verifier: Check operands of MDSubprogram nodesDuncan P. N. Exon Smith2015-03-301-0/+58
* Verifier: Allow subroutine types to have no type arrayDuncan P. N. Exon Smith2015-03-281-6/+5
* Verifier: Check operands of MDType subclasses and MDCompileUnitDuncan P. N. Exon Smith2015-03-271-0/+80
* Verifier: Check fields of MDVariable subclassesDuncan P. N. Exon Smith2015-03-271-0/+38
* Require a GC strategy be specified for functions which use gc.statepointPhilip Reames2015-03-271-0/+4
* WinEH: Create a parent frame alloca for HandlerType xdata tablesDavid Majnemer2015-03-271-0/+7
* Verifier: Check accessors of MDLocationDuncan P. N. Exon Smith2015-03-261-2/+3
* WinEH: Create an unwind help alloca for __CxxFrameHandler3 xdata tablesReid Kleckner2015-03-251-0/+7
* Verifier: Start recursing into !dbg attachmentsDuncan P. N. Exon Smith2015-03-241-4/+2
* Verifier: !llvm.dbg.cu must point at compile unitsDuncan P. N. Exon Smith2015-03-241-0/+11
* Verifier: Check that !dbg attachments have the right typeDuncan P. N. Exon Smith2015-03-201-0/+7
* Verifier: Remove the separate DebugInfoVerifier classDuncan P. N. Exon Smith2015-03-201-28/+14
* Verifier: Remove the separate -verify-di passDuncan P. N. Exon Smith2015-03-191-32/+2
* DebugInfo: Drop fake DW_TAG_expressionDuncan P. N. Exon Smith2015-03-171-1/+0
* Verifier: Set --verify-debug-info=true by defaultDuncan P. N. Exon Smith2015-03-171-1/+1
* Verifier: Don't call debug info verifier if the module is brokenDuncan P. N. Exon Smith2015-03-161-1/+6
* Verifier: Simplify logic in processCallInst(), NFCDuncan P. N. Exon Smith2015-03-161-8/+4
* IR: Take advantage of -verify checks for MDExpressionDuncan P. N. Exon Smith2015-03-161-4/+0
* Verifier: Remove unnecessary double-checksDuncan P. N. Exon Smith2015-03-161-4/+0
* Fix doxygen comments from r232268Duncan P. N. Exon Smith2015-03-161-8/+8
* DbgIntrinsicInst: Downcast to specialized MDNodes in accessorsDuncan P. N. Exon Smith2015-03-151-2/+2
* Verifier: Check debug info intrinsic argumentsDuncan P. N. Exon Smith2015-03-151-0/+24
* Verifier: Remove unnecessary null checkDuncan P. N. Exon Smith2015-03-151-3/+3
* Verifier: Make the raw_ostream constructor argument requiredDuncan P. N. Exon Smith2015-03-151-2/+2
* IR: Make Metadata::print() reliable and usefulDuncan P. N. Exon Smith2015-03-141-1/+1
* Recover the ability to 'b CheckFailed' after r231577Duncan P. N. Exon Smith2015-03-141-6/+15
* Fix an infinite recursion in the verifier caused by calling isSized on a recu...Owen Anderson2015-03-131-1/+2
* Fix another verifier crash where a GC intrinsic would look at the internals o...Owen Anderson2015-03-111-0/+5
* Fix an issue in the verifier where we could try to read information out of a ...Owen Anderson2015-03-101-1/+5
* Simplify expressions involving boolean constants with clang-tidyDavid Blaikie2015-03-091-2/+2
* Make the assertion macros in Verifier and Linter truly variadic.Benjamin Kramer2015-03-071-923/+888
* Remove accidental errs() call in VerifierReid Kleckner2015-03-051-1/+0
OpenPOWER on IntegriCloud