Make sure that intrinsics automagically get the
[oota-llvm.git] / lib / VMCore / Verifier.cpp
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
2007-04-28 Anton KorobeynikovImplement review feedback. Aliasees can be either Globa...
2007-04-25 Anton KorobeynikovImplement aliases. This fixes PR1017 and it's dependent...
2007-04-20 Chris LattnerFix regressions introduced by my previous patch: opt...
2007-04-20 Chris Lattnercatch a case that was biting jeffc
2007-04-17 Chris Lattnereliminate a use of Instruction::getPrev(), patch by...
2007-04-12 Reid SpencerFor PR1284:
2007-04-10 Chris Lattnerunbreak the build :(
2007-04-10 Jeff CohenFix build problem.
2007-04-04 Reid SpencerImplement the llvm.bit.part_select.iN.iN.iN overloaded...
2007-04-01 Reid SpencerFor PR1297:
2007-02-15 Reid SpencerFor PR1195:
2007-02-15 Reid SpencerFor PR1195:
2007-02-12 Chris LattnerSwitch ValueSymbolTable to use StringMap<Value*> instea...
2007-02-10 Chris Lattnerconvert some vectors to smallvector.
2007-02-10 Chris Lattnerspeed up the verifier 8.5% by using a smallvector inste...
2007-02-10 Chris LattnerChange an std::set to a SmallPtrSet. This speeds up...
2007-02-06 Jim LaskeySupport var arg intrinsics.
2007-02-05 Reid SpencerFor PR411:
2007-02-02 Reid SpencerChanges to support making the shift instructions be...
2007-01-30 Reid SpencerFor PR1136: Rename GlobalVariable::isExternal as isDecl...
2007-01-28 Anton KorobeynikovPropagate changes from my local tree. This patch includes:
2007-01-15 Chris Lattnerrename Type::isIntegral to Type::isInteger, eliminating...
next