Programming Languages Research Group: Git - oota-llvm.git/history

[oota-llvm.git] / lib / IR / Verifier.cpp

2015-05-08	David Blaikie	[opaque pointer type] Cleanup a few references to point...	blob \| commitdiff \| raw
2015-05-08	Pat Gavlin	Extend the statepoint intrinsic to allow statepoints...	blob \| commitdiff \| raw \| diff to current
2015-05-08	David Blaikie	[opaque pointer type] Explicit pointee type for GEPOper...	blob \| commitdiff \| raw \| diff to current
2015-05-06	Pete Cooper	Change typeIncompatible to return an AttrBuilder instea...	blob \| commitdiff \| raw \| diff to current
2015-05-06	Sanjoy Das	[Statepoint] Clean up Statepoint.h: accessor names.	blob \| commitdiff \| raw \| diff to current
2015-04-29	Adrian Prantl	Temporarily relax a check in the debug info verifier.	blob \| commitdiff \| raw \| diff to current
2015-04-29	Duncan P. N. Exon...	IR: Give 'DI' prefix to debug info metadata	blob \| commitdiff \| raw \| diff to current
2015-04-24	Duncan P. N. Exon...	Verifier: Function metadata attachments require a body	blob \| commitdiff \| raw \| diff to current
2015-04-24	David Blaikie	[opaque pointer type] Verifier/AutoUpgrade: Remove...	blob \| commitdiff \| raw \| diff to current
2015-04-23	David Blaikie	Recommit r235458: [opaque pointer type] Avoid using...	blob \| commitdiff \| raw \| diff to current
2015-04-22	David Blaikie	Revert "[opaque pointer type] Avoid using PointerType...	blob \| commitdiff \| raw \| diff to current
2015-04-21	David Blaikie	[opaque pointer type] Avoid using PointerType::getEleme...	blob \| commitdiff \| raw \| diff to current
2015-04-17	David Blaikie	[opaque pointer type] Access the pointee of the result...	blob \| commitdiff \| raw \| diff to current
2015-04-17	David Blaikie	[opaque pointer type] Query the GEP for its source...	blob \| commitdiff \| raw \| diff to current
2015-04-15	Duncan P. N. Exon...	DebugInfo: Remove 'inlinedAt:' field from MDLocalVariable	blob \| commitdiff \| raw \| diff to current
2015-04-15	Duncan P. N. Exon...	Verifier: Check that @llvm.dbg.* intrinsics have a...	blob \| commitdiff \| raw \| diff to current
2015-04-14	Duncan P. N. Exon...	DebugInfo: Gut DISubprogram and DILexicalBlock*	blob \| commitdiff \| raw \| diff to current
2015-04-13	Duncan P. N. Exon...	Reapply "Verifier: Check for incompatible bit piece...	blob \| commitdiff \| raw \| diff to current
2015-04-13	Duncan P. N. Exon...	Revert "Verifier: Check for incompatible bit piece...	blob \| commitdiff \| raw \| diff to current
2015-04-11	Duncan P. N. Exon...	DebugInfo: Make MDSubprogram::getFunction() return...	blob \| commitdiff \| raw \| diff to current
2015-04-11	Duncan P. N. Exon...	Verifier: Check for incompatible bit piece expressions	blob \| commitdiff \| raw \| diff to current
2015-04-07	Duncan P. N. Exon...	IR: Remove MDTupleTypedArrayWrapper::operator MDTuple*()	blob \| commitdiff \| raw \| diff to current
2015-04-06	David Blaikie	[opaque pointer type] Avoid using PointerType::getEleme...	blob \| commitdiff \| raw \| diff to current
2015-04-06	Duncan P. N. Exon...	Metadata: Add typed array-like wrapper for MDTuple	blob \| commitdiff \| raw \| diff to current
2015-04-06	Duncan P. N. Exon...	Verifier: Check composite type template params	blob \| commitdiff \| raw \| diff to current
2015-04-03	David Majnemer	[WinEH] Sink UnwindHelp completely out of IR	blob \| commitdiff \| raw \| diff to current
2015-04-03	Duncan P. N. Exon...	Verifier: Check that inlined-at locations agree	blob \| commitdiff \| raw \| diff to current
2015-04-02	Reid Kleckner	[WinEH] Make llvm.eh.actions use frameescape indices...	blob \| commitdiff \| raw \| diff to current
2015-03-31	David Majnemer	[WinEH] Generate .xdata for catch handlers	blob \| commitdiff \| raw \| diff to current
2015-03-31	Duncan P. N. Exon...	Verifier: Don't return early from verifyTypeRefs()	blob \| commitdiff \| raw \| diff to current
2015-03-31	Duncan P. N. Exon...	Verifier: Explicitly verify type references	blob \| commitdiff \| raw \| diff to current
2015-03-31	Duncan P. N. Exon...	Verifier: Move over DISubprogram::Verify()	blob \| commitdiff \| raw \| diff to current
2015-03-31	Duncan P. N. Exon...	Verifier: Check reference flags in debug info	blob \| commitdiff \| raw \| diff to current
2015-03-31	Duncan P. N. Exon...	Verifier: Move more debug info checks away from Verify()	blob \| commitdiff \| raw \| diff to current
2015-03-31	Duncan P. N. Exon...	Verifier: Move checks over from DIDescriptor::Verify()	blob \| commitdiff \| raw \| diff to current
2015-03-30	David Blaikie	[opaque pointer type] Change GetElementPtrInst::getInde...	blob \| commitdiff \| raw \| diff to current
2015-03-30	Duncan P. N. Exon...	Verifier: Add operand checks for remaining debug info	blob \| commitdiff \| raw \| diff to current
2015-03-30	Duncan P. N. Exon...	Verifier: Loosen r233559 check for 'function:' field...	blob \| commitdiff \| raw \| diff to current
2015-03-30	Duncan P. N. Exon...	Verifier: Add operand checks for MDLexicalBlock	blob \| commitdiff \| raw \| diff to current
2015-03-30	Duncan P. N. Exon...	Verifier: Check operands of MDSubprogram nodes	blob \| commitdiff \| raw \| diff to current
2015-03-28	Duncan P. N. Exon...	Verifier: Allow subroutine types to have no type array	blob \| commitdiff \| raw \| diff to current
2015-03-27	Duncan P. N. Exon...	Verifier: Check operands of MDType subclasses and MDCom...	blob \| commitdiff \| raw \| diff to current
2015-03-27	Duncan P. N. Exon...	Verifier: Check fields of MDVariable subclasses	blob \| commitdiff \| raw \| diff to current
2015-03-27	Philip Reames	Require a GC strategy be specified for functions which...	blob \| commitdiff \| raw \| diff to current
2015-03-27	David Majnemer	WinEH: Create a parent frame alloca for HandlerType...	blob \| commitdiff \| raw \| diff to current
2015-03-26	Duncan P. N. Exon...	Verifier: Check accessors of MDLocation	blob \| commitdiff \| raw \| diff to current
2015-03-25	Reid Kleckner	WinEH: Create an unwind help alloca for __CxxFrameHandl...	blob \| commitdiff \| raw \| diff to current
2015-03-24	Duncan P. N. Exon...	Verifier: Start recursing into !dbg attachments	blob \| commitdiff \| raw \| diff to current
2015-03-24	Duncan P. N. Exon...	Verifier: !llvm.dbg.cu must point at compile units	blob \| commitdiff \| raw \| diff to current
2015-03-20	Duncan P. N. Exon...	Verifier: Check that !dbg attachments have the right...	blob \| commitdiff \| raw \| diff to current
2015-03-20	Duncan P. N. Exon...	Verifier: Remove the separate DebugInfoVerifier class	blob \| commitdiff \| raw \| diff to current
2015-03-19	Duncan P. N. Exon...	Verifier: Remove the separate -verify-di pass	blob \| commitdiff \| raw \| diff to current
2015-03-17	Duncan P. N. Exon...	DebugInfo: Drop fake DW_TAG_expression	blob \| commitdiff \| raw \| diff to current
2015-03-17	Duncan P. N. Exon...	Verifier: Set --verify-debug-info=true by default	blob \| commitdiff \| raw \| diff to current
2015-03-16	Duncan P. N. Exon...	Verifier: Don't call debug info verifier if the module...	blob \| commitdiff \| raw \| diff to current
2015-03-16	Duncan P. N. Exon...	Verifier: Simplify logic in processCallInst(), NFC	blob \| commitdiff \| raw \| diff to current
2015-03-16	Duncan P. N. Exon...	IR: Take advantage of -verify checks for MDExpression	blob \| commitdiff \| raw \| diff to current
2015-03-16	Duncan P. N. Exon...	Verifier: Remove unnecessary double-checks	blob \| commitdiff \| raw \| diff to current
2015-03-16	Duncan P. N. Exon...	Fix doxygen comments from r232268	blob \| commitdiff \| raw \| diff to current
2015-03-15	Duncan P. N. Exon...	DbgIntrinsicInst: Downcast to specialized MDNodes in...	blob \| commitdiff \| raw \| diff to current
2015-03-15	Duncan P. N. Exon...	Verifier: Check debug info intrinsic arguments	blob \| commitdiff \| raw \| diff to current
2015-03-15	Duncan P. N. Exon...	Verifier: Remove unnecessary null check	blob \| commitdiff \| raw \| diff to current
2015-03-15	Duncan P. N. Exon...	Verifier: Make the raw_ostream constructor argument...	blob \| commitdiff \| raw \| diff to current
2015-03-14	Duncan P. N. Exon...	IR: Make Metadata::print() reliable and useful	blob \| commitdiff \| raw \| diff to current
2015-03-14	Duncan P. N. Exon...	Recover the ability to 'b CheckFailed' after r231577	blob \| commitdiff \| raw \| diff to current
2015-03-13	Owen Anderson	Fix an infinite recursion in the verifier caused by...	blob \| commitdiff \| raw \| diff to current
2015-03-11	Owen Anderson	Fix another verifier crash where a GC intrinsic would...	blob \| commitdiff \| raw \| diff to current
2015-03-10	Owen Anderson	Fix an issue in the verifier where we could try to...	blob \| commitdiff \| raw \| diff to current
2015-03-09	David Blaikie	Simplify expressions involving boolean constants with...	blob \| commitdiff \| raw \| diff to current
2015-03-07	Benjamin Kramer	Make the assertion macros in Verifier and Linter truly...	blob \| commitdiff \| raw \| diff to current
2015-03-05	Reid Kleckner	Remove accidental errs() call in Verifier	blob \| commitdiff \| raw \| diff to current
2015-03-05	Reid Kleckner	Replace llvm.frameallocate with llvm.frameescape	blob \| commitdiff \| raw \| diff to current
2015-03-02	Owen Anderson	Teach the verifier to enforce that the alignment argume...	blob \| commitdiff \| raw \| diff to current
2015-02-20	David Majnemer	Verifier: Unused comdats might not have a corresponding GV	blob \| commitdiff \| raw \| diff to current
2015-02-19	Igor Laevsky	Implement invoke statepoint verification.	blob \| commitdiff \| raw \| diff to current
2015-02-17	Benjamin Kramer	Prefer SmallVector::append/insert over push_back loops.	blob \| commitdiff \| raw \| diff to current
2015-02-16	David Majnemer	Verifier: Diagnose module flags which have null ID...	blob \| commitdiff \| raw \| diff to current
2015-02-13	Duncan P. N. Exon...	IR: Add MDExpression::ExprOperand	blob \| commitdiff \| raw \| diff to current
2015-02-11	David Majnemer	Verifier: Check for null operands in !llvm.module.flags	blob \| commitdiff \| raw \| diff to current
2015-02-11	David Majnemer	Verifier: Make sure !llvm.ident's operand isn't null	blob \| commitdiff \| raw \| diff to current
2015-02-10	Duncan P. N. Exon...	Verifier: reuse getInlinedAt() result, NFC	blob \| commitdiff \| raw \| diff to current
2015-02-10	Duncan P. N. Exon...	Verifier: Check for valid tags in debug nodes	blob \| commitdiff \| raw \| diff to current
2015-02-10	Duncan P. N. Exon...	Verifier: Add simple checks for MDLocation	blob \| commitdiff \| raw \| diff to current
2015-02-10	Duncan P. N. Exon...	Verifier: Create stubs for specialized metadata nodes	blob \| commitdiff \| raw \| diff to current
2015-02-09	Duncan P. N. Exon...	Verifier: Const-qualify Metadata, NFC	blob \| commitdiff \| raw \| diff to current
2015-02-08	Elena Demikhovsky	Masked Gather and Scatter Intrinsics.	blob \| commitdiff \| raw \| diff to current
2015-02-03	Philip Reames	Use ImmutableCallSite for statepoint verification.	blob \| commitdiff \| raw \| diff to current
2015-01-30	Philip Reames	Factor out statepoint verification into separate functi...	blob \| commitdiff \| raw \| diff to current
2015-01-22	Ramkumar Ramachandra	Intrinsics: introduce llvm_any_ty aka ValueType Any	blob \| commitdiff \| raw \| diff to current
2015-01-21	Adrian Prantl	Make DIExpression::Verify() stricter by checking that...	blob \| commitdiff \| raw \| diff to current
2015-01-20	Ramkumar Ramachandra	[GC] Verify-pass void vararg functions in gc.statepoint	blob \| commitdiff \| raw \| diff to current
2015-01-19	Duncan P. N. Exon...	IR: Remove MDNodeFwdDecl	blob \| commitdiff \| raw \| diff to current
2015-01-13	Ramkumar Ramachandra	Standardize {pred,succ,use,user}_empty()	blob \| commitdiff \| raw \| diff to current
2015-01-13	Reid Kleckner	Rename llvm.recoverframeallocation to llvm.framerecover	blob \| commitdiff \| raw \| diff to current
2015-01-13	Reid Kleckner	Add the llvm.frameallocate and llvm.recoverframeallocat...	blob \| commitdiff \| raw \| diff to current
2015-01-07	Philip Reames	[GC] improve testing around gc.relocate and fix a test	blob \| commitdiff \| raw \| diff to current
2015-01-05	Chandler Carruth	[PM] Switch the new pass manager to use a reference...	blob \| commitdiff \| raw \| diff to current
2014-12-25	Elena Demikhovsky	Masked Load/Store - Changed the order of parameters...	blob \| commitdiff \| raw \| diff to current
2014-12-16	Rafael Espindola	Use CastInst::castIsValid to simplify the verifier.	blob \| commitdiff \| raw \| diff to current
2014-12-09	Duncan P. N. Exon...	IR: Split Metadata from Value	blob \| commitdiff \| raw \| diff to current
next

C/C++ LLVM-based compilers that forbids OOTA behaviors

RSS Atom