Make this input file pass the verifier.
[oota-llvm.git] / test / Verifier /
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...
2008-06-10 Matthijs KooijmanFor all RUN lines starting with "not", redirect stderr...
2008-05-23 Dan GohmanMake structs and arrays first-class types, and add...
2008-05-20 Gabor GreifEliminate questionable syntax for stdin redirection...
2008-05-20 Gabor Greifsabre brings to my attention that the 'tr' suffix is...
2008-05-20 Gabor GreifRename the last test with .llx extension to .ll, resolv...
2008-05-16 Dan GohmanRevert the change from r51157 in
2008-05-15 Dan GohmanIR support for extractvalue and insertvalue instruction...
2008-03-22 Anton KorobeynikovAdd testcase for prev. commit. Minor fixes
2008-03-16 Nick LewyckyAll of these tests had out of date syntax and were...
2008-03-16 Nick LewyckyFunctions are allowed to return structures. (Note that...
2008-03-16 Nick LewyckyRegressions/ is long gone.
2008-03-10 Tanya LattnerRemove llvm-upgrade and update tests.
2008-03-01 Chris LattnerFix PR2113 by verifying allocations.
2008-03-01 Chris LattnerFix this test.
2008-01-22 Chris Lattnerupdate this test to pass with duncan's change.
2008-01-14 Duncan SandsThis test is now the same as byval-1.ll, so remove it.
2008-01-14 Duncan SandsTest that byval cannot be used with pointers to
2008-01-14 Duncan SandsWe now allow byval on fairly general pointer types.
2008-01-12 Duncan SandsBe more liberal in what parameter attributes are
2008-01-11 Duncan SandsDo not allow attributes beyond a function's last
2007-12-21 Duncan SandsGet the verifier to check attributes on calls as well
next