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

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

2015-01-13	Reid Kleckner	Add the llvm.frameallocate and llvm.recoverframeallocat...	blob \| commitdiff \| raw
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
2014-12-04	Elena Demikhovsky	Masked Load / Store Intrinsics - the CodeGen part.	blob \| commitdiff \| raw \| diff to current
2014-12-04	Philip Reames	A few more checks for gc.statepoints in the Verifier	blob \| commitdiff \| raw \| diff to current
2014-12-03	Philip Reames	Strength Verifier checks around the types involved...	blob \| commitdiff \| raw \| diff to current
2014-12-03	Philip Reames	Make the Verifier more strict about gc.statepoints	blob \| commitdiff \| raw \| diff to current
2014-12-01	Philip Reames	[Statepoints 1/4] Statepoint infrastructure for garbage...	blob \| commitdiff \| raw \| diff to current
2014-11-28	Duncan P. N. Exon...	Revert "Masked Vector Load and Store Intrinsics."	blob \| commitdiff \| raw \| diff to current
2014-11-23	Elena Demikhovsky	Masked Vector Load and Store Intrinsics.	blob \| commitdiff \| raw \| diff to current
2014-11-21	Zachary Turner	Add curly braces to workaround an MSVC bug.	blob \| commitdiff \| raw \| diff to current
2014-11-21	Adrian Prantl	Verifier: Check that all instructions have their parent...	blob \| commitdiff \| raw \| diff to current
2014-11-19	David Blaikie	Update SetVector to rely on the underlying set's insert...	blob \| commitdiff \| raw \| diff to current
2014-11-11	Duncan P. N. Exon...	Revert "IR: MDNode => Value"	blob \| commitdiff \| raw \| diff to current
2014-11-05	Duncan P. N. Exon...	IR: MDNode => Value: NamedMDNode::getOperator()	blob \| commitdiff \| raw \| diff to current
2014-11-01	Rafael Espindola	Remove redundant calls to isMaterializable.	blob \| commitdiff \| raw \| diff to current
2014-11-01	Duncan P. N. Exon...	IR: MDNode => Value: Instruction::getMetadata()	blob \| commitdiff \| raw \| diff to current
2014-10-24	Rafael Espindola	Don't ever call materializeAllPermanently during LTO.	blob \| commitdiff \| raw \| diff to current
2014-10-21	Philip Reames	Extend the verifier to check usage of 'nonnull' metadata.	blob \| commitdiff \| raw \| diff to current
2014-10-20	Philip Reames	Extend the verifier to validate range metadata on calls...	blob \| commitdiff \| raw \| diff to current
2014-10-17	Juergen Ributzka	[Stackmaps] Enable invoking the patchpoint intrinsic.	blob \| commitdiff \| raw \| diff to current
2014-09-08	Alexey Samsonov	Be more careful in parsing Module::ModFlagBehavior...	blob \| commitdiff \| raw \| diff to current
2014-08-29	Reid Kleckner	Verifier: Don't reject varargs callee cleanup functions	blob \| commitdiff \| raw \| diff to current
2014-08-21	Craig Topper	Repace SmallPtrSet with SmallPtrSetImpl in function...	blob \| commitdiff \| raw \| diff to current
2014-08-18	Craig Topper	Revert "Repace SmallPtrSet with SmallPtrSetImpl in...	blob \| commitdiff \| raw \| diff to current
2014-08-17	Craig Topper	Repace SmallPtrSet with SmallPtrSetImpl in function...	blob \| commitdiff \| raw \| diff to current
2014-07-21	Duncan P. N. Exon...	Revert "[C++11] Add predecessors(BasicBlock *) / succes...	blob \| commitdiff \| raw \| diff to current
2014-07-20	Manuel Jacob	[C++11] Add predecessors(BasicBlock *) / successors...	blob \| commitdiff \| raw \| diff to current
2014-07-15	Reid Kleckner	Document the maximum LLVM IR alignment, which is 1...	blob \| commitdiff \| raw \| diff to current
2014-07-13	David Majnemer	IR: Allow comdats to be applied to globals with interna...	blob \| commitdiff \| raw \| diff to current
2014-06-28	David Majnemer	Verifier: Update assert message to reflect LangRef	blob \| commitdiff \| raw \| diff to current
2014-06-27	David Majnemer	IR: Add COMDATs to the IR	blob \| commitdiff \| raw \| diff to current
2014-06-19	Jingyue Wu	[ValueTracking] Extend range metadata to call/invoke	blob \| commitdiff \| raw \| diff to current
2014-06-12	Bob Wilson	Fix verifier for GlobalAliases to avoid recursing into...	blob \| commitdiff \| raw \| diff to current
2014-06-06	Rafael Espindola	Allow aliases to be unnamed_addr.	blob \| commitdiff \| raw \| diff to current
2014-06-05	Tom Roeder	Add a new attribute called 'jumptable' that creates...	blob \| commitdiff \| raw \| diff to current
2014-06-04	Rafael Espindola	Clauses in a landingpad are always Constant. Use a...	blob \| commitdiff \| raw \| diff to current
2014-06-03	Rafael Espindola	Allow alias to point to an arbitrary ConstantExpr.	blob \| commitdiff \| raw \| diff to current
2014-05-26	Rafael Espindola	Use existing helper function.	blob \| commitdiff \| raw \| diff to current
2014-05-16	Reid Kleckner	Add comdat key field to llvm.global_ctors and llvm...	blob \| commitdiff \| raw \| diff to current
2014-05-16	Rafael Espindola	Fix most of PR10367.	blob \| commitdiff \| raw \| diff to current
2014-05-15	Reid Kleckner	musttail: Fix the verification of alignment attributes	blob \| commitdiff \| raw \| diff to current
2014-05-09	Reid Kleckner	Allow sret on the second parameter as well as the first	blob \| commitdiff \| raw \| diff to current
2014-05-06	Rafael Espindola	Special case aliases in GlobalValue::getSection.	blob \| commitdiff \| raw \| diff to current
2014-05-06	Rafael Espindola	Special case aliases in GlobalValue::getAlignment.	blob \| commitdiff \| raw \| diff to current
2014-05-02	Rafael Espindola	Aliases are always definitions. Delete dead code.	blob \| commitdiff \| raw \| diff to current
2014-04-30	David Majnemer	IR: Conservatively verify inalloca arguments	blob \| commitdiff \| raw \| diff to current
2014-04-24	Reid Kleckner	Add 'musttail' marker to call instructions	blob \| commitdiff \| raw \| diff to current
2014-04-15	Duncan P. N. Exon...	verify-di: Add back braces for MSVC compatability	blob \| commitdiff \| raw \| diff to current
2014-04-15	Duncan P. N. Exon...	verify-di: Implement DebugInfoVerifier	blob \| commitdiff \| raw \| diff to current
2014-04-15	Duncan P. N. Exon...	verify-di: split out VerifierSupport	blob \| commitdiff \| raw \| diff to current
2014-04-09	Craig Topper	[C++11] More 'nullptr' conversion or in some cases...	blob \| commitdiff \| raw \| diff to current
2014-04-08	Duncan P. N. Exon...	Verifier: Give the right message for bad atomic loads	blob \| commitdiff \| raw \| diff to current
2014-04-07	Eric Christopher	Invert the option to enable debug info verification...	blob \| commitdiff \| raw \| diff to current
2014-03-29	Tim Northover	Intrinsics: add LLVMHalfElementsVectorType constraint	blob \| commitdiff \| raw \| diff to current
2014-03-28	Tim Northover	Intrinsics: expand semantics of LLVMExtendedVectorType...	blob \| commitdiff \| raw \| diff to current
2014-03-27	Rafael Espindola	Prevent alias from pointing to weak aliases.	blob \| commitdiff \| raw \| diff to current
2014-03-26	Rafael Espindola	Revert "Prevent alias from pointing to weak aliases."	blob \| commitdiff \| raw \| diff to current
2014-03-26	Rafael Espindola	Prevent alias from pointing to weak aliases.	blob \| commitdiff \| raw \| diff to current
2014-03-18	Alon Mishne	[C++11] Change DebugInfoFinder to use range-based loops	blob \| commitdiff \| raw \| diff to current
2014-03-12	Rafael Espindola	Reject alias to undefined symbols in the verifier.	blob \| commitdiff \| raw \| diff to current
2014-03-12	Rafael Espindola	Avoid repeated calls to CE->getOperand(0). No functiona...	blob \| commitdiff \| raw \| diff to current
2014-03-11	Tim Northover	IR: add a second ordering operand to cmpxhg for failure	blob \| commitdiff \| raw \| diff to current
2014-03-10	Justin Bogner	IR: Slightly more verbose error in Verifier	blob \| commitdiff \| raw \| diff to current
2014-03-09	Ahmed Charles	[C++11] Fix break due to MSVC bug.	blob \| commitdiff \| raw \| diff to current
2014-03-09	Chandler Carruth	[C++11] Add range based accessors for the Use-Def chain...	blob \| commitdiff \| raw \| diff to current
2014-03-06	Chandler Carruth	[Layering] Move InstVisitor.h into the IR library as...	blob \| commitdiff \| raw \| diff to current
2014-03-06	Chandler Carruth	[Layering] Move DebugInfo.h into the IR library where...	blob \| commitdiff \| raw \| diff to current
2014-03-05	Craig Topper	[C++11] Add 'override' keyword to IR library.	blob \| commitdiff \| raw \| diff to current
2014-03-04	Chandler Carruth	[Modules] Move the ConstantRange class into the IR...	blob \| commitdiff \| raw \| diff to current
2014-03-04	Chandler Carruth	[Modules] Move CFG.h to the IR library as it defines...	blob \| commitdiff \| raw \| diff to current
2014-03-04	Chandler Carruth	[Modules] Move CallSite into the IR library where it...	blob \| commitdiff \| raw \| diff to current
2014-02-13	Rafael Espindola	Check that GlobalAliases don't have section or alignment.	blob \| commitdiff \| raw \| diff to current
2014-01-20	Chandler Carruth	[PM] Wire up the Verifier for the new pass manager...	blob \| commitdiff \| raw \| diff to current
2014-01-19	Chandler Carruth	[PM] Make the verifier work independently of any pass...	blob \| commitdiff \| raw \| diff to current
2014-01-17	Chandler Carruth	[PM] [cleanup] Rename some of the Verifier's members...	blob \| commitdiff \| raw \| diff to current
2014-01-17	Chandler Carruth	[PM] Remove the preverifier and directly compute the...	blob \| commitdiff \| raw \| diff to current
2014-01-16	Reid Kleckner	Change inalloca rules to make it only apply to the...	blob \| commitdiff \| raw \| diff to current
2014-01-14	Nico Rieck	Decouple dllexport/dllimport from linkage	blob \| commitdiff \| raw \| diff to current
2014-01-14	Nico Rieck	Revert "Decouple dllexport/dllimport from linkage"	blob \| commitdiff \| raw \| diff to current
2014-01-14	Nico Rieck	Decouple dllexport/dllimport from linkage	blob \| commitdiff \| raw \| diff to current
2014-01-13	Chandler Carruth	[PM] Split DominatorTree into a concrete analysis resul...	blob \| commitdiff \| raw \| diff to current
2014-01-13	Chandler Carruth	[cleanup] Move the Dominators.h and Verifier.h headers...	blob \| commitdiff \| raw \| diff to current
2014-01-09	Chandler Carruth	Put the functionality for printing a value to a raw_ost...	blob \| commitdiff \| raw \| diff to current
2014-01-07	Chandler Carruth	Move the LLVM IR asm writer header files into the IR...	blob \| commitdiff \| raw \| diff to current
2014-01-02	Matt Arsenault	Allow addrspacecast in global aliases	blob \| commitdiff \| raw \| diff to current
2013-12-19	Reid Kleckner	Begin adding docs and IR-level support for the inalloca...	blob \| commitdiff \| raw \| diff to current
2013-12-07	Kaelyn Uhrain	Fix the segfault reported in PR 11990.	blob \| commitdiff \| raw \| diff to current
2013-11-18	Paul Robinson	The 'optnone' attribute means don't inline anything...	blob \| commitdiff \| raw \| diff to current
2013-11-18	Manman Ren	Debug Info Verifier: disable it by default.	blob \| commitdiff \| raw \| diff to current
2013-11-17	Manman Ren	Debug Info Verifier: fix when to find debug info nodes...	blob \| commitdiff \| raw \| diff to current
2013-11-17	Manman Ren	Debug Info Verifier: enable public functions of Finder...	blob \| commitdiff \| raw \| diff to current
2013-11-16	Manman Ren	Debug Info Verifier: remove un-used argument in verifyD...	blob \| commitdiff \| raw \| diff to current
2013-11-15	Matt Arsenault	Add addrspacecast instruction.	blob \| commitdiff \| raw \| diff to current
2013-11-13	Rafael Espindola	Don't call doFinalization from verifyFunction.	blob \| commitdiff \| raw \| diff to current
2013-11-01	Rafael Espindola	Remove linkonce_odr_auto_hide.	blob \| commitdiff \| raw \| diff to current
2013-10-31	Andrew Trick	Enable variable arguments support for intrinsics.	blob \| commitdiff \| raw \| diff to current
next

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

RSS Atom