New feature: add support for target intrinsics being defined in the
[oota-llvm.git] / lib / VMCore / Verifier.cpp
2009-02-04 Nate BegemanNew feature: add support for target intrinsics being...
2009-02-02 Chris Lattnerreject things like: zext <4 x i32> %tmp to i256
2009-01-19 Devang PatelVerify Intrinsic::dbg_declare.
2009-01-15 Rafael EspindolaAdd the private linkage.
2009-01-08 Bob WilsonFix failure messages in Verifier::PerformTypeCheck...
2009-01-07 Bob WilsonAssert that VectorType::getTruncatedElementVectorType...
2009-01-07 Bob WilsonImprove support for type-generic vector intrinsics...
2008-12-29 Chris Lattnermove select validation logic into a shared place where...
2008-12-01 Chris LattnerThe PreVerifier pass preserves everything. In practice...
2008-11-21 Chris Lattnerreapply Sanjiv's patch to genericize memcpy/memset...
2008-11-21 Bill WendlingRevert r59802. It was breaking the build of llvm-gcc:
2008-11-21 Sanjiv GuptaMake mem[cpy,move,set] intrinsics overloaded.
2008-11-19 Bill WendlingUse stripPointerCasts when checking for AllocaInsts...
2008-11-19 Bill WendlingUse dyn_cast instead of cast.
2008-11-19 Bill WendlingMatch an element of the return type if it returns a...
2008-11-18 Bill WendlingVerify that the second parameter of the stacprotector...
2008-11-15 Nick LewyckyCorrect this error message.
2008-11-13 Bill WendlingModify the intrinsics pattern to separate out the ...
2008-11-13 Bill WendlingRefactor the code that does the type checking for intri...
2008-11-10 Mon P WangAdded support for the following definition of shufflevector
2008-10-25 Gordon HenriksenRelated to PR2911, reject as invalid non-pointer GC...
2008-10-16 Chris LattnerVerify prefetch arguments, PR2576.
2008-10-05 Chris Lattnerfix an incorrect and extremely confusing error message
2008-10-03 Devang PatelFix function attribute verification check.
2008-10-03 Devang PatelVerify function attributes.
2008-10-02 Devang PatelRemove redundant check.
2008-10-01 Devang PatelAttributes noinline alwaysinline are incompatible
2008-09-26 Devang PatelNow Attributes are divided in three groups
2008-09-26 Dale JohannesenAnother file I forgot.
2008-09-25 Devang Patel Large mechanical patch.
2008-09-24 Devang Patels/ParamAttrsWithIndex/FnAttributeWithIndex/g
2008-09-23 Devang Patels/ParameterAttributes/Attributes/g
2008-09-23 Devang PatelUse parameter attribute store (soon to be renamed) for
2008-09-09 Anton KorobeynikovMake safer variant of alias resolution routine to be...
2008-09-09 Dan GohmanExtend the vcmp/fcmp LLVM IR instructions to take vecto...
2008-09-08 Dan GohmanBitcasting two or from aggregate types is not permitted...
2008-09-04 Dan GohmanTidy up several unbeseeming casts from pointer to intptr_t.
2008-09-02 Nuno Lopesplug a little memleak in verifyFunction()
2008-08-28 Chris LattnerMake the verifier reject instructions which have null...
2008-08-27 Chris LattnerMinor cleanup.
2008-08-27 Dan GohmanDiagnose uses of unsized types with the byval attribute...
2008-08-27 Dan GohmanUpdate wording, as aggregates are now first-class.
2008-08-24 Chris Lattnerremove the type checking logic already done by tblgen...
2008-08-23 Bill WendlingReverting r55227. This was causing the following failur...
2008-08-23 Chris LattnerVerify that the alignment argument to llvm.memcpy is...
2008-08-23 Chris Lattnerremove verification for gc intrinsic argument types...
2008-08-19 Chris Lattnerwhitespace cleanup
2008-08-17 Gordon HenriksenRename some GC classes so that their roll will hopefull...
2008-08-14 Dan GohmanImprove support for vector casts in LLVM IR and CodeGen.
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...
next