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

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

2015-03-30	David Blaikie	[opaque pointer type] Change GetElementPtrInst::getInde...	blob \| commitdiff \| raw
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
2015-02-10	Duncan P. N. Exon...	Verifier: Create stubs for specialized metadata nodes	blob \| commitdiff \| raw \| diff to current
2015-02-09	Duncan P. N. Exon...	Verifier: Const-qualify Metadata, NFC	blob \| commitdiff \| raw \| diff to current
2015-02-08	Elena Demikhovsky	Masked Gather and Scatter Intrinsics.	blob \| commitdiff \| raw \| diff to current
2015-02-03	Philip Reames	Use ImmutableCallSite for statepoint verification.	blob \| commitdiff \| raw \| diff to current
2015-01-30	Philip Reames	Factor out statepoint verification into separate functi...	blob \| commitdiff \| raw \| diff to current
2015-01-22	Ramkumar Ramachandra	Intrinsics: introduce llvm_any_ty aka ValueType Any	blob \| commitdiff \| raw \| diff to current
2015-01-21	Adrian Prantl	Make DIExpression::Verify() stricter by checking that...	blob \| commitdiff \| raw \| diff to current
2015-01-20	Ramkumar Ramachandra	[GC] Verify-pass void vararg functions in gc.statepoint	blob \| commitdiff \| raw \| diff to current
2015-01-19	Duncan P. N. Exon...	IR: Remove MDNodeFwdDecl	blob \| commitdiff \| raw \| diff to current
2015-01-13	Ramkumar Ramachandra	Standardize {pred,succ,use,user}_empty()	blob \| commitdiff \| raw \| diff to current
2015-01-13	Reid Kleckner	Rename llvm.recoverframeallocation to llvm.framerecover	blob \| commitdiff \| raw \| diff to current
2015-01-13	Reid Kleckner	Add the llvm.frameallocate and llvm.recoverframeallocat...	blob \| commitdiff \| raw \| diff to current
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
next

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

RSS Atom