Remove incredibly confusing isBaseAddressKnownZero.
[oota-llvm.git] / test / Verifier /
2015-03-05 Reid KlecknerReplace llvm.frameallocate with llvm.frameescape
2015-03-02 Owen AndersonTeach the verifier to enforce that the alignment argume...
2015-02-27 David Blaikie[opaque pointer type] Add textual IR support for explic...
2015-02-27 David Blaikie[opaque pointer type] Add textual IR support for explic...
2015-02-20 David MajnemerVerifier: Unused comdats might not have a corresponding GV
2015-02-19 Igor LaevskyImplement invoke statepoint verification.
2015-02-18 Igor LaevskyTesting commit access
2015-02-16 David MajnemerAsmParser: Reject alloca with function type
2015-02-16 David MajnemerVerifier: Diagnose module flags which have null ID...
2015-02-11 David MajnemerVerifier: Check for null operands in !llvm.module.flags
2015-02-11 David MajnemerVerifier: Make sure !llvm.ident's operand isn't null
2015-01-30 Philip ReamesFix statepoint verifier tests to actually test verifier.
2015-01-13 Reid KlecknerRename llvm.recoverframeallocation to llvm.framerecover
2015-01-13 Reid KlecknerAdd the llvm.frameallocate and llvm.recoverframeallocat...
2015-01-06 Rafael EspindolaChange the .ll syntax for comdats and add a syntactic...
2014-12-16 Duncan P. N. Exon... IR: Stop printing 'metadata' in Metadata::print()
2014-12-15 Duncan P. N. Exon... IR: Make metadata typeless in assembly
2014-12-11 Duncan P. N. Exon... IR: Canonicalize metadata formatting, NFC
2014-12-01 Philip Reames[Statepoints 1/4] Statepoint infrastructure for garbage...
2014-10-20 Philip ReamesExtend the verifier to validate range metadata on calls...
2014-10-17 Juergen Ributzka[Stackmaps] Enable invoking the patchpoint intrinsic.
2014-08-29 Reid KlecknerVerifier: Don't reject varargs callee cleanup functions
2014-07-30 Rafael EspindolaUse "weak alias" instead of "alias weak"
2014-07-30 Chandler CarruthDon't manually (and forcibly) run the verifier on the...
2014-07-13 David MajnemerIR: Allow comdats to be applied to globals with interna...
2014-06-27 David MajnemerIR: Add COMDATs to the IR
2014-06-19 Jingyue Wu[ValueTracking] Extend range metadata to call/invoke
2014-06-12 Bob WilsonMove test for r210734 to Feature/aliases.ll.
2014-06-12 Bob WilsonFix verifier for GlobalAliases to avoid recursing into...
2014-06-05 Tom RoederAdd a new attribute called 'jumptable' that creates...
2014-06-03 Rafael EspindolaAllow alias to point to an arbitrary ConstantExpr.
2014-05-16 Reid KlecknerAdd comdat key field to llvm.global_ctors and llvm...
2014-05-16 Rafael EspindolaFix most of PR10367.
2014-05-15 Reid Klecknermusttail: Fix the verification of alignment attributes
2014-05-09 Reid KlecknerAllow sret on the second parameter as well as the first
2014-04-30 David MajnemerIR: Conservatively verify inalloca arguments
2014-04-24 Reid KlecknerAdd 'musttail' marker to call instructions
2014-03-12 Rafael EspindolaReject alias to undefined symbols in the verifier.
2014-03-09 David MajnemerIR: Change inalloca's grammar a bit
2014-01-19 Chandler Carruth[PM] Make the verifier work independently of any pass...
2014-01-17 Reid KlecknerAdd an inalloca flag to allocas
2014-01-16 Reid KlecknerChange inalloca rules to make it only apply to the...
2014-01-02 Matt ArsenaultFix all the verifier tests I added for address spaces.
2013-12-19 Reid KlecknerBegin adding docs and IR-level support for the inalloca...
2013-12-13 Andrew TrickGrow the stackmap/patchpoint format to hold 64-bit...
2013-12-07 Kaelyn UhrainFix the segfault reported in PR 11990.
2013-10-31 Andrew TrickAdd Verifier test case for variable argument intrinsics.
2013-10-16 Rafael EspindolaAdd support for metadata representing .ident directives.
2013-08-16 Daniel Dunbar[tests] Cleanup initialization of test suffixes.
2013-07-31 Matt ArsenaultReject bitcasts between address spaces with different...
2013-07-22 Jakub StaszakFix typo in test.
2013-07-20 Matt ArsenaultDisallow global aliases to bitcast between address...
2013-07-19 Rafael Espindolas/compiler_used/compiler.used/.
2013-04-22 Rafael EspindolaAlso verify llvm.compiler_used.
2013-04-22 Rafael EspindolaClarify that llvm.used can contain aliases.
2013-04-08 Eli BenderskyRewrite test/Verifier tests to use FileCheck instead...
2013-01-16 Daniel Dunbar[IR] Add 'Append' and 'AppendUnique' module flag behaviors.
2013-01-15 Daniel Dunbar[IR] Add verification for module flags with the "requir...
2013-01-15 Daniel Dunbar[IR] Add verifier support for llvm.module.flags.
2012-08-17 Rafael EspindolaAssert that dominates is not given a multiple edge...
2012-08-10 Eli FriedmanThe normal edge of an invoke is not allowed to branch...
2012-07-23 Sylvestre LedruFix a typo (the the => the)
2012-07-02 Chandler CarruthFix the remaining TCL-style quotes found in the testsui...
2012-07-02 Chandler CarruthConvert the uses of '|&' to use '2>&1 |' instead, which...
2012-07-02 Chandler CarruthConvert all tests using TCL-style quoting to use shell...
2012-07-02 Chandler CarruthMake tests which first provide a negative assertion...
2012-06-28 Nuno Lopesmake the verifier accept @llvm.donothing as the only...
2012-06-18 Nuno Lopesrevert r158660, since Chris has some issues with this...
2012-06-18 Nuno Lopesadd the 'alloc' metadata node to represent the size...
2012-06-01 Rafael EspindolaUse dominates(Instruction, Use) in the verifier.
2012-06-01 Rafael EspindolaAdd some tests checking that the verifier rejects cases...
2012-05-31 Rafael EspindolaFix typos noticed by Benjamin Kramer.
2012-05-31 Rafael EspindolaRequire intervals in the range metadata to be in a...
2012-05-27 Chris LattnerThese tests used intrinsics with the wrong prototype...
2012-04-16 Duncan SandsRemove support for the special 'fast' value for fpmath...
2012-04-16 Duncan SandsMake it possible to indicate relaxed floating point...
2012-04-14 Duncan SandsRename "fpaccuracy" metadata to the more generic "fpmat...
2012-04-10 Duncan SandsExpress the number of ULPs in fpaccuracy metadata as...
2012-03-24 Rafael EspindolaFirst part of PR12251. Add documentation and verifier...
2012-02-16 Eli BenderskyReplace all instances of dg.exp file with lit.local...
2011-12-12 Chandler CarruthTeach the verifier to reject all non-constant arguments...
2011-07-09 Chris LattnerLand the long talked about "type system rewrite" patch...
2011-07-09 Chris Lattnermore tests not making the jump into the brave new world.
2011-06-17 Chris Lattnerstop accepting begin/end around function bodies in...
2011-06-17 Chris Lattnermanually upgrade a bunch of tests to modern syntax...
2010-08-08 Nick LewyckyReject unrepresentable pointer types in intrinsics...
2010-04-04 Mon P WangReapply address space patch after fixing an issue in...
2010-04-02 Mon P WangRevert r100191 since it breaks objc in clang
2010-04-02 Mon P WangReapply address space patch after fixing an issue in...
2010-03-30 Bob WilsonRevert Mon Ping's change 99928, since it broke all...
2010-03-30 Mon P WangAdded support for address spaces and added a isVolatile...
2010-01-05 Dan GohmanDelete useless trailing semicolons.
2009-08-25 Dan GohmanRemove obsolete -f flags.
2009-05-29 Duncan SandsDan noticed that the verifier wasn't thoroughly checkin...
2009-05-22 Torok EdwinRevert this. There's no way to verifiy indirect calls...
2009-05-22 Torok EdwinVerify that calling conventions match function prototype.
2009-01-02 Chris LattnerReimplement the old and horrible bison parser for ...
2008-11-15 Nick LewyckyCorrect this error message.
2008-08-27 Dan GohmanDiagnose uses of unsized types with the byval attribute...
2008-08-23 Chris LattnerVerify that the alignment argument to llvm.memcpy is...
next