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

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

2014-04-15	Duncan P. N. Exon...	verify-di: Implement DebugInfoVerifier	blob \| commitdiff \| raw
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
2013-10-30	Rafael Espindola	Add calls to doInitialization() and doFinalization...	blob \| commitdiff \| raw \| diff to current
2013-10-16	Rafael Espindola	Add support for metadata representing .ident directives.	blob \| commitdiff \| raw \| diff to current
2013-10-09	Rafael Espindola	Add a GlobalAlias::isValidLinkage to reduce code duplic...	blob \| commitdiff \| raw \| diff to current
2013-10-06	Rafael Espindola	Add support for aliases with linkonce_odr.	blob \| commitdiff \| raw \| diff to current
2013-09-09	Manman Ren	Debug Info: Use DIScopeRef for DIType::getContext.	blob \| commitdiff \| raw \| diff to current
2013-09-09	Bob Wilson	Revert patches to add case-range support for PR1255.	blob \| commitdiff \| raw \| diff to current
2013-09-07	Richard Smith	Remove verifier check that attribute 'builtin' is only...	blob \| commitdiff \| raw \| diff to current
2013-08-23	Andrea Di Biagio	Add function attribute 'optnone'.	blob \| commitdiff \| raw \| diff to current
2013-08-06	Manman Ren	Debug Info Finder\|Verifier: handle DbgLoc attached...	blob \| commitdiff \| raw \| diff to current
2013-08-02	Eric Christopher	Temporarily revert "Debug Info Finder\|Verifier: handle...	blob \| commitdiff \| raw \| diff to current
2013-08-01	Manman Ren	Debug Info Finder\|Verifier: handle DbgLoc attached...	blob \| commitdiff \| raw \| diff to current
2013-07-31	Matt Arsenault	Reject bitcasts between address spaces with different...	blob \| commitdiff \| raw \| diff to current
2013-07-23	Manman Ren	Debug Info Finder: use processDeclare and processValue...	blob \| commitdiff \| raw \| diff to current
2013-07-20	Matt Arsenault	Disallow global aliases to bitcast between address...	blob \| commitdiff \| raw \| diff to current
2013-07-20	Matt Arsenault	Remove trailing whitespace, fix file path in comment	blob \| commitdiff \| raw \| diff to current
2013-07-20	Manman Ren	Debug Info Verifier: simplify DIxxx::Verify	blob \| commitdiff \| raw \| diff to current
2013-07-19	Rafael Espindola	s/compiler_used/compiler.used/.	blob \| commitdiff \| raw \| diff to current
2013-07-19	Manman Ren	Debug Info: enable verifying by default and disable...	blob \| commitdiff \| raw \| diff to current
2013-07-06	Nick Lewycky	Extend 'readonly' and 'readnone' to work on function...	blob \| commitdiff \| raw \| diff to current
2013-07-02	Tobias Grosser	IRVerifier: Correctly check attribute types	blob \| commitdiff \| raw \| diff to current
2013-06-27	Michael Gottesman	Added support for the Builtin attribute.	blob \| commitdiff \| raw \| diff to current
2013-06-19	Michael Gottesman	[APFloat] Converted all references to APFloat::isNormal...	blob \| commitdiff \| raw \| diff to current
2013-06-18	Bill Wendling	We want a string representation of the attribute, not...	blob \| commitdiff \| raw \| diff to current
2013-06-11	Rafael Espindola	Require members of llvm.used to be named.	blob \| commitdiff \| raw \| diff to current
2013-05-27	Rafael Espindola	Make it explicit that GlobalAlias are ok in llvm.used.	blob \| commitdiff \| raw \| diff to current
2013-05-24	Diego Novillo	Add a new function attribute 'cold' to functions.	blob \| commitdiff \| raw \| diff to current
2013-04-23	Stephen Lin	Add some constraints to use of 'returned':	blob \| commitdiff \| raw \| diff to current
2013-04-22	Rafael Espindola	Also verify llvm.compiler_used.	blob \| commitdiff \| raw \| diff to current
2013-04-22	Rafael Espindola	Clarify that llvm.used can contain aliases.	blob \| commitdiff \| raw \| diff to current
2013-04-20	Stephen Lin	Add CodeGen support for functions that always return...	blob \| commitdiff \| raw \| diff to current
2013-04-18	Bill Wendling	This patch addresses two cleanup issues:	blob \| commitdiff \| raw \| diff to current
2013-02-26	Kostya Serebryany	Unify clang/llvm attributes for asan/tsan/msan (LLVM...	blob \| commitdiff \| raw \| diff to current
2013-02-22	Bill Wendling	Implement the NoBuiltin attribute.	blob \| commitdiff \| raw \| diff to current
2013-02-11	Kostya Serebryany	[tsan/msan] adding thread_safety and uninitialized_chec...	blob \| commitdiff \| raw \| diff to current
2013-02-10	Bill Wendling	Add 'empty' query methods to the builder and use them...	blob \| commitdiff \| raw \| diff to current
2013-01-31	Bill Wendling	Make the AttrBuilder creation method of Attribute priva...	blob \| commitdiff \| raw \| diff to current
2013-01-31	Bill Wendling	Revert for now:	blob \| commitdiff \| raw \| diff to current
2013-01-31	Bill Wendling	Remove the AttrBuilder version of the Attribute::get...	blob \| commitdiff \| raw \| diff to current
2013-01-30	Bill Wendling	Convert typeIncompatible to return an AttributeSet.	blob \| commitdiff \| raw \| diff to current
2013-01-30	Bill Wendling	Attempt to fix dragonegg. Use the number of slots to...	blob \| commitdiff \| raw \| diff to current
2013-01-25	Bill Wendling	Remove some introspection functions.	blob \| commitdiff \| raw \| diff to current
2013-01-25	Bill Wendling	Add an accessor method to get the slot's index. This...	blob \| commitdiff \| raw \| diff to current
2013-01-25	Bill Wendling	Use the AttributeSet query instead of the Attribute...	blob \| commitdiff \| raw \| diff to current
2013-01-21	Bill Wendling	Use AttributeSet instead of Attribute to verify things.	blob \| commitdiff \| raw \| diff to current
2013-01-18	Bill Wendling	Push some more methods down to hide the use of the...	blob \| commitdiff \| raw \| diff to current
2013-01-16	Daniel Dunbar	[IR] Add 'Append' and 'AppendUnique' module flag behaviors.	blob \| commitdiff \| raw \| diff to current
2013-01-15	Daniel Dunbar	[IR] Add verification for module flags with the "requir...	blob \| commitdiff \| raw \| diff to current
2013-01-15	Daniel Dunbar	[IR] Add verifier support for llvm.module.flags.	blob \| commitdiff \| raw \| diff to current
2013-01-11	Michael Ilseman	Support for half intrinsics. Pushes MMX into slower...	blob \| commitdiff \| raw \| diff to current
2013-01-04	Eli Bendersky	Remove unused #include	blob \| commitdiff \| raw \| diff to current
2013-01-02	Chandler Carruth	Move all of the header files which are involved in...	blob \| commitdiff \| raw \| diff to current
2013-01-02	Chandler Carruth	Rename VMCore directory to IR.	blob \| commitdiff \| raw \| diff to current

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

RSS Atom