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

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

2015-06-19	Alexander Kornienko	Fixed/added namespace ending comments using clang-tidy...	blob \| commitdiff \| raw
2015-06-17	David Majnemer	Move the personality function from LandingPadInst to...	blob \| commitdiff \| raw \| diff to current
2015-06-17	Rafael Espindola	Allow aliases to be unnamed.	blob \| commitdiff \| raw \| diff to current
2015-06-15	Adrian Prantl	Debug Info IR: Switch DIObjCProperty to use DITypeRef.	blob \| commitdiff \| raw \| diff to current
2015-06-15	Peter Collingbourne	Protection against stack-based memory corruption errors...	blob \| commitdiff \| raw \| diff to current
2015-05-26	Owen Anderson	Add initial support for the convergent attribute.	blob \| commitdiff \| raw \| diff to current
2015-05-20	David Blaikie	[opaque pointer type] Pass explicit type to Load instru...	blob \| commitdiff \| raw \| diff to current
2015-05-20	Pete Cooper	Change Function::getIntrinsicID() to return an Intrinsi...	blob \| commitdiff \| raw \| diff to current
2015-05-18	Chen Li	[Verifier] Assert gc_relocate always return a pointer...	blob \| commitdiff \| raw \| diff to current
2015-05-13	Sanjoy Das	[Safepoints][Verifier] Fix a tautological Assert.	blob \| commitdiff \| raw \| diff to current
2015-05-13	Diego Novillo	Add function entry count metadata.	blob \| commitdiff \| raw \| diff to current
2015-05-12	Sanjoy Das	[Statepoints] Support for "patchable" statepoints.	blob \| commitdiff \| raw \| diff to current
2015-05-12	Pete Cooper	Convert PHI getIncomingValue() to foreach over incoming...	blob \| commitdiff \| raw \| diff to current
2015-05-11	Sanjoy Das	Rename variables in gc_relocate related functions to...	blob \| commitdiff \| raw \| diff to current
2015-05-11	David Blaikie	Simplify a return expression and an access to an alloca...	blob \| commitdiff \| raw \| diff to current
2015-05-11	Sanjoy Das	[RewriteStatepointsForGC] Fix a bug on creating gc_relo...	blob \| commitdiff \| raw \| diff to current
2015-05-09	Quentin Colombet	Revert r236912.	blob \| commitdiff \| raw \| diff to current
2015-05-08	David Blaikie	[opaque pointer type] Cleanup a few references to point...	blob \| commitdiff \| raw \| diff to current
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
next

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

RSS Atom