summaryrefslogtreecommitdiffstats
path: root/llvm/lib/IR/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* [opaque pointer type] Access the pointee of the result type from the GEP rath...David Blaikie2015-04-171-2/+1
* [opaque pointer type] Query the GEP for its source element type directly rath...David Blaikie2015-04-171-2/+1
* DebugInfo: Remove 'inlinedAt:' field from MDLocalVariableDuncan P. N. Exon Smith2015-04-151-9/+1
* Verifier: Check that @llvm.dbg.* intrinsics have a !dbg attachmentDuncan P. N. Exon Smith2015-04-151-4/+38
* DebugInfo: Gut DISubprogram and DILexicalBlock*Duncan P. N. Exon Smith2015-04-141-1/+1
* Reapply "Verifier: Check for incompatible bit piece expressions"Duncan P. N. Exon Smith2015-04-131-7/+92
* Revert "Verifier: Check for incompatible bit piece expressions"Duncan P. N. Exon Smith2015-04-131-89/+7
* DebugInfo: Make MDSubprogram::getFunction() return ConstantDuncan P. N. Exon Smith2015-04-111-5/+1
* Verifier: Check for incompatible bit piece expressionsDuncan P. N. Exon Smith2015-04-111-7/+89
* 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
OpenPOWER on IntegriCloud