summaryrefslogtreecommitdiffstats
path: root/llvm/lib/IR/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* IR: Remove MDNodeFwdDeclDuncan P. N. Exon Smith2015-01-191-1/+1
* Standardize {pred,succ,use,user}_empty()Ramkumar Ramachandra2015-01-131-1/+1
* Rename llvm.recoverframeallocation to llvm.framerecoverReid Kleckner2015-01-131-2/+2
* Add the llvm.frameallocate and llvm.recoverframeallocation intrinsicsReid Kleckner2015-01-131-2/+27
* [GC] improve testing around gc.relocate and fix a testPhilip Reames2015-01-071-9/+32
* [PM] Switch the new pass manager to use a reference-based API for IRChandler Carruth2015-01-051-4/+4
* Masked Load/Store - Changed the order of parameters in intrinsics.Elena Demikhovsky2014-12-251-0/+7
* Use CastInst::castIsValid to simplify the verifier.Rafael Espindola2014-12-161-47/+9
* IR: Split Metadata from ValueDuncan P. N. Exon Smith2014-12-091-42/+99
* Masked Load / Store Intrinsics - the CodeGen part.Elena Demikhovsky2014-12-041-0/+13
* A few more checks for gc.statepoints in the VerifierPhilip Reames2014-12-041-0/+11
OpenPOWER on IntegriCloud