Add read/write support for X86's sseregparm.
[oota-llvm.git] / lib / VMCore / Verifier.cpp
2008-08-13 Dale JohannesenAdd read/write support for X86's sseregparm.
2008-08-05 Dan GohmanFix the AsmWriter to not print extra spaces after param...
2008-07-30 Mon P WangAdded support for overloading intrinsics (atomics)...
2008-07-29 Nate BegemanAdd vector shifts to the IR, patch by Eli Friedman.
2008-07-25 Nate BegemanAllow verifier to be run on partially materialized...
2008-07-23 Dan GohmanEnable first-class aggregates support.
2008-07-18 Chris Lattnerverify limits-fndefn.c from the GCC testsuite before the
2008-06-24 Dan GohmanUse const_cast instead of a C-style cast.
2008-06-09 Dan GohmanRe-apply 52002, allowing the verifier to accept non...
2008-06-06 Duncan SandsWrap MVT::ValueType in a struct to get type safety
2008-06-05 Dan GohmanRevert 52002.
2008-06-05 Matthijs KooijmanChange the Verifier to support returning first class...
2008-05-15 Dan GohmanIR support for extractvalue and insertvalue instruction...
2008-05-14 Dan GohmanMake PreVerifyID, IntSigsEnd, and KillSigsEnd const.
2008-05-13 Dan GohmanChange class' public PassInfo variables to by initializ...
2008-05-13 Dan GohmanClean up the use of static and anonymous namespaces...
2008-05-08 Anton KorobeynikovCheck for validity of aliasee pointer before dereference.
2008-05-07 Anton KorobeynikovTurn StripPointerCast() into a method
2008-05-06 Anton KorobeynikovMake StripPointerCast a common function (should we...
2008-04-25 Nick LewyckyRemove 'unwinds to' support from mainline. This patch...
2008-04-23 Chris Lattnertighten up verifier checks which missed cases where
2008-04-23 Chris LattnerVerify that the operand of a getresult instruction...
2008-04-07 Duncan SandsMake sure that intrinsics automagically get the
2008-03-28 Nick LewyckyUpdate example to new syntax.
2008-03-25 Dan GohmanAdd explicit keywords.
2008-03-22 Anton KorobeynikovFix merge error
2008-03-22 Anton KorobeynikovAdd testcase for prev. commit. Minor fixes
2008-03-22 Anton KorobeynikovAliasing chains cleanups: update langref, add check...
2008-03-12 Chris LattnerReimplement the parameter attributes support, phase...
2008-03-05 Devang PatelCheck struct return type first.
2008-03-03 Devang Patels/isReturnStruct()/hasStructRetAttr()/g
2008-03-03 Devang PatelIf a function uses multive values in ret instruction...
2008-03-01 Chris LattnerFix PR2113 by verifying allocations.
2008-02-26 Devang PatelAdd assert to check return type.
2008-02-23 Devang PatelTo support multiple return values, now ret instruction...
2008-02-22 Dale JohannesenSplit ParameterAttributes.h, putting the complicated
2008-02-21 Devang PatelUse isa<> instead of getTypeID() to check StructType.
2008-02-21 Devang PatelLet invoke return aggregate value.
2008-02-21 Devang PatelLet function call return aggregate.
2008-02-20 Devang PatelWhat if functions can return aggregate values ?
2008-02-20 Devang PatelVerifier should use Assert1 instead of assert.
2008-02-20 Devang PatelUse isValidOperands() to verify GetResultInst.
2008-02-19 Devang PatelAdd GetResultInst. First step for multiple return value...
2008-02-19 Dale JohannesenExpand ParameterAttributes to 32 bits (in preparation
2008-02-09 Chris Lattnercheck that terminators only occur at the end of a block...
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
2008-01-11 Evan ChengAllow parameter attributes on varargs function parameters.
2008-01-07 Duncan SandsSmall cleanup for handling of type/parameter attribute
2008-01-06 Duncan SandsThe transform that tries to turn calls to bitcast funct...
2007-12-29 Chris LattnerRemove attribution from file headers, per discussion...
2007-12-25 Gordon HenriksenNoting and enforcing that GC intrinsics are valid only...
2007-12-25 Gordon HenriksenAdjusting verification of "llvm.gc*" intrinsic prototyp...
2007-12-21 Duncan SandsGet the verifier to check attributes on calls as well
2007-12-17 Duncan SandsMake invokes of inline asm legal. Teach codegen
2007-12-17 Christopher LambChange the PointerType api for creating pointer types...
2007-12-17 Christopher LambMake it clear in the LangRef that allocation instructio...
2007-11-30 Duncan SandsCheck that there are not more attributes than
2007-11-27 Duncan SandsFix PR1146: parameter attributes are longer part of
2007-11-25 Duncan SandsFix PR1816. If a bitcast of a function only exists...
2007-11-22 Duncan SandsRename the 'const' parameter attribute to 'readnone',
2007-11-17 Nate BegemanAdd support for vectors to int <-> float casts.
2007-11-14 Duncan SandsI discover array_lengthof, thanks to gabor on #llvm.
2007-11-14 Duncan SandsSimplify the attribute verification code.
2007-11-14 Anton KorobeynikovAdd pure/const attributes. Documentation will follow.
2007-11-01 Duncan SandsDon't barf on empty basic blocks. Do not rely on assert
2007-11-01 Chris Lattnerremove verifier command line option: this should be...
2007-11-01 Owen AndersonNow with less tabs!
2007-10-31 Owen AndersonAdd a preverifier pass to check that every basic block...
2007-10-29 Chris LattnerI am not sure this is a good idea to be an option,...
2007-10-28 Anton KorobeynikovAdd 'pedantic' mode to verifier rejecting syntactically...
2007-09-29 Duncan SandsCheck that the second parameter of init_trampoline
2007-09-19 Chris Lattnerreject things like "declare internal @foo"
2007-09-18 Gordon HenriksenIncorporating review feedback for GC verifier patch.
2007-09-17 Gordon HenriksenFix for PR1633: Verifier doesn't fully verify GC intrinsics
2007-09-04 David GreeneUpdate GEP constructors to use an iterator interface...
2007-08-18 Chris Lattneruse a nicer accessor.
2007-08-16 Dan GohmanFix the verification for overloaded intrinsic types...
2007-08-16 Dan GohmanAdd MVT::fAny for overloading intrinsics on floating...
2007-08-05 Reid SpencerFix minor doxygen nits.
2007-08-04 Chandler CarruthThis is the patch to provide clean intrinsic function...
2007-07-31 Reid SpencerAfter a discussion with Anton, it turns out that the...
2007-07-31 Reid SpencerThe InReg parameter attribute is valid on function...
2007-07-27 Duncan SandsIt seems logical that InReg should be incompatible
2007-07-27 Duncan SandsAs the number of parameter attributes increases,
2007-07-27 Duncan SandsSupport for trampolines, except for X86 codegen which is
2007-07-24 Reid SpencerMake output match actual condition tested. Thanks,...
2007-07-23 Reid Spencer1. Make sure we print the Function Value for parameter...
2007-07-23 Reid SpencerAdd better verification of attributes on function types...
2007-07-17 Rafael Espindoladetect invalid combination of sret and byval
2007-07-16 Dan GohmanFix comments about vectors to use the current wording.
2007-07-10 Rafael Espindolacheck for correct usage of the byval attribute
2007-07-06 Rafael EspindolaAdd the byval attribute
2007-06-11 Devang PatelUse DominatorTree instead of ETForest.
2007-06-07 Zhou ShengAdd assert to check if the attributes ZExt/SExt, NoAlia...
2007-05-03 Devang PatelDrop 'const'
2007-05-02 Devang PatelUse 'static const char' instead of 'static const int'.
2007-05-01 Devang PatelDo not use typeinfo to identify pass in pass manager.
2007-04-29 Anton KorobeynikovImplement review feedback
2007-04-28 Anton KorobeynikovLet Verifier check aliasees
next