summaryrefslogtreecommitdiffstats
path: root/llvm/lib/IR/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* Replace llvm.frameallocate with llvm.frameescapeReid Kleckner2015-03-051-11/+44
* Teach the verifier to enforce that the alignment argument of memory intrinsic...Owen Anderson2015-03-021-2/+8
* Verifier: Unused comdats might not have a corresponding GVDavid Majnemer2015-02-201-8/+1
* Implement invoke statepoint verification.Igor Laevsky2015-02-191-9/+49
* Prefer SmallVector::append/insert over push_back loops.Benjamin Kramer2015-02-171-2/+1
* Verifier: Diagnose module flags which have null ID operandsDavid Majnemer2015-02-161-1/+1
* IR: Add MDExpression::ExprOperandDuncan P. N. Exon Smith2015-02-131-0/+1
* Verifier: Check for null operands in !llvm.module.flagsDavid Majnemer2015-02-111-1/+1
* Verifier: Make sure !llvm.ident's operand isn't nullDavid Majnemer2015-02-111-1/+1
* Verifier: reuse getInlinedAt() result, NFCDuncan P. N. Exon Smith2015-02-101-3/+2
* Verifier: Check for valid tags in debug nodesDuncan P. N. Exon Smith2015-02-101-21/+107
* Verifier: Add simple checks for MDLocationDuncan P. N. Exon Smith2015-02-101-1/+7
* Verifier: Create stubs for specialized metadata nodesDuncan P. N. Exon Smith2015-02-101-0/+37
* Verifier: Const-qualify Metadata, NFCDuncan P. N. Exon Smith2015-02-091-7/+7
* Masked Gather and Scatter Intrinsics.Elena Demikhovsky2015-02-081-0/+17
* Use ImmutableCallSite for statepoint verification.Philip Reames2015-02-031-17/+20
* Factor out statepoint verification into separate function. (NFC)Philip Reames2015-01-301-93/+102
* Intrinsics: introduce llvm_any_ty aka ValueType AnyRamkumar Ramachandra2015-01-221-1/+3
* Make DIExpression::Verify() stricter by checking that the number ofAdrian Prantl2015-01-211-4/+12
* [GC] Verify-pass void vararg functions in gc.statepointRamkumar Ramachandra2015-01-201-5/+13
OpenPOWER on IntegriCloud