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

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

2015-09-03	Joseph Tremoulet	[WinEH] Add llvm.eh.exceptionpointer intrinsic	blob \| commitdiff \| raw
2015-09-03	Joseph Tremoulet	[WinEH] Add cleanupendpad instruction	blob \| commitdiff \| raw \| diff to current
2015-09-02	Joseph Tremoulet	[TableGen] Allow TokenTy in intrinsic signatures	blob \| commitdiff \| raw \| diff to current
2015-08-28	Duncan P. N. Exon...	DI: Add Function::getSubprogram()	blob \| commitdiff \| raw \| diff to current
2015-08-28	Duncan P. N. Exon...	DI: Require subprogram definitions to be distinct	blob \| commitdiff \| raw \| diff to current
2015-08-23	Joseph Tremoulet	[WinEH] Require token linkage in EH pad/ret signatures	blob \| commitdiff \| raw \| diff to current
2015-08-22	David Blaikie	Verifier: Don't crash on null entries in debug info...	blob \| commitdiff \| raw \| diff to current
2015-08-14	David Majnemer	[IR] Add token types	blob \| commitdiff \| raw \| diff to current
2015-08-11	David Majnemer	[IR] Verify EH pad predecessors	blob \| commitdiff \| raw \| diff to current
2015-08-03	Duncan P. N. Exon...	DI: Disallow uniquable DICompileUnits	blob \| commitdiff \| raw \| diff to current
2015-08-01	Craig Topper	De-constify pointers to Type since they can't be modifi...	blob \| commitdiff \| raw \| diff to current
2015-07-31	Duncan P. N. Exon...	DI: Remove DW_TAG_arg_variable and DW_TAG_auto_variable	blob \| commitdiff \| raw \| diff to current
2015-07-31	David Majnemer	New EH representation for MSVC compatibility	blob \| commitdiff \| raw \| diff to current
2015-07-28	Sanjoy Das	[Statepoints] Let patchable statepoints have a symbolic...	blob \| commitdiff \| raw \| diff to current
2015-07-24	Duncan P. N. Exon...	DI/Verifier: Fix argument bitrot in DILocalVariable	blob \| commitdiff \| raw \| diff to current
2015-07-24	Duncan P. N. Exon...	DI: Remove DIDerivedTypeBase	blob \| commitdiff \| raw \| diff to current
2015-07-24	Duncan P. N. Exon...	Verifier: Sink filename check into visitMDCompositeType...	blob \| commitdiff \| raw \| diff to current
2015-07-24	Duncan P. N. Exon...	Verifier: Remove unnecessary references to DW_TAG_subro...	blob \| commitdiff \| raw \| diff to current
2015-07-11	Igor Laevsky	Add argmemonly attribute.	blob \| commitdiff \| raw \| diff to current
2015-07-10	David Majnemer	Revert the new EH instructions	blob \| commitdiff \| raw \| diff to current
2015-07-10	David Majnemer	Tighten the verifier check for catchblock.	blob \| commitdiff \| raw \| diff to current
2015-07-10	David Majnemer	Address Joseph's review comments.	blob \| commitdiff \| raw \| diff to current
2015-07-10	David Majnemer	Address Reid's review feedback.	blob \| commitdiff \| raw \| diff to current
2015-07-10	David Majnemer	New EH representation for MSVC compatibility	blob \| commitdiff \| raw \| diff to current
2015-07-09	Elena Demikhovsky	Extended syntax of vector version of getelementptr...	blob \| commitdiff \| raw \| diff to current
2015-07-07	Reid Kleckner	Rename llvm.frameescape and llvm.framerecover to locale...	blob \| commitdiff \| raw \| diff to current
2015-07-05	Peter Collingbourne	Verifier: Forbid comdats on linker declarations.	blob \| commitdiff \| raw \| diff to current
2015-06-29	Adrian Prantl	Add a DIModule metadata node to the IR.	blob \| commitdiff \| raw \| diff to current
2015-06-26	Philip Reames	Minor style cleanup after 240843 [NFC]	blob \| commitdiff \| raw \| diff to current
2015-06-26	Philip Reames	[Verifier] Follow on to 240836	blob \| commitdiff \| raw \| diff to current
2015-06-26	Philip Reames	[Verifier] Verify invokes of intrinsics	blob \| commitdiff \| raw \| diff to current
2015-06-23	Alexander Kornienko	Revert r240137 (Fixed/added namespace ending comments...	blob \| commitdiff \| raw \| diff to current
2015-06-19	Alexander Kornienko	Fixed/added namespace ending comments using clang-tidy...	blob \| commitdiff \| raw \| diff to current
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
next

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

RSS Atom