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

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

2014-10-24	Rafael Espindola	Don't ever call materializeAllPermanently during LTO.	blob \| commitdiff \| raw
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
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
next

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

RSS Atom