Add support for vectors of pointers.
[oota-llvm.git] / lib / VMCore / Verifier.cpp
2009-10-17 Nick LewyckyEmit newlines at the end of instructions too.
2009-10-13 Nick LewyckyForce memory use markers to have a ConstantInt for...
2009-10-05 Chris Lattnerstrength reduce a ton of type equality tests to check...
2009-09-27 Nick LewyckyRemove the "metadata*" type and simplify the code it...
2009-09-22 Victor HernandezNo need to verify that malloc's return type is i8*.
2009-09-18 Victor HernandezUpdate malloc call creation code (AllocType is now...
2009-09-14 Nick LewyckyFifth time's a charm! Remove ourselves as abstract...
2009-09-14 Nick LewyckyDon't leak! Always remove oneself as a listener after...
2009-09-13 Nick LewyckyActually remove old types from the set.
2009-09-13 Nick LewyckyStoring a set of PATypeHolders is a bad idea because...
2009-09-11 Chris Lattnerreject attempts to take the address of an intrinsic...
2009-09-08 Nick LewyckyHoist out the test+insert to CheckedTypes. This doesn...
2009-09-08 Nick LewyckySimplify from my last change. Assert1 is a macro that...
2009-09-08 Nick LewyckyVerify types. Invalid types can be constructed when...
2009-09-07 Nick LewyckyExpress this in the canonical way.
2009-09-07 Nick LewyckyHomogenize whitespace.
2009-09-06 Duncan SandsPublic and private corrections, warned about by icc...
2009-09-03 Gabor Greifback out my recent commit (r80858), it seems to break...
2009-09-03 Gabor Greifre-commit r66920 (which has been backed out in r66953...
2009-08-23 Benjamin KramerKill off more cerr/cout uses and prune includes a bit.
2009-08-23 Chris Lattnereliminate the std::ostream form of WriteAsOperand and...
2009-08-23 Chris Lattnerswitch a couple things off std::ostream
2009-08-13 Owen AndersonPush LLVMContexts through the IntegerType APIs.
2009-08-12 Owen AndersonAdd contexts to some of the MVT APIs. No functionality...
2009-08-11 Owen AndersonSplit EVT into MVT and EVT, the former representing...
2009-08-11 Bob WilsonAdd a new overloaded EVT::vAny type for use in TableGen...
2009-08-10 Owen AndersonRename MVT to EVT, in preparation for splitting SimpleV...
2009-08-05 Chris Lattnercommon globals may also not be marked constant.
2009-08-05 Chris LattnerClarify common linkage and the requirements on it....
2009-07-30 Nate BegemanTypo
2009-07-29 Owen AndersonMove types back to the 2.5 API.
2009-07-29 Bob WilsonFix an assumption that there is a single return value...
2009-07-28 Devang PatelRename MDNode.h header. It defines MDnode and other...
2009-07-25 Daniel DunbarInitial update to VMCore to use Twines for string argum...
2009-07-22 Owen AndersonGet rid of the Pass+Context magic.
2009-07-14 Torok Edwinllvm_unreachable->llvm_unreachable(0), LLVM_UNREACHABLE...
2009-07-11 Torok Edwinassert(0) -> LLVM_UNREACHABLE.
2009-07-09 Owen AndersonThread LLVMContext through MVT and related parts of...
2009-07-08 Torok EdwinImplement changes from Chris's feedback.
2009-07-08 Torok EdwinStart converting to new error handling API.
2009-06-15 Dan GohmanSupport vector casts in more places, fixing a variety...
2009-06-11 Duncan SandsCosmetic changes to parameter attribute verification.
2009-06-07 Nick LewyckyRemove cyclic MDNode detection. Any attempt to create...
2009-06-05 Dan GohmanFix a copy+pasto in an assertion string that Jay Foad...
2009-06-05 Dan GohmanUpdate the Verifier to be aware of the difference betwe...
2009-05-30 Nick LewyckyGive embedded metadata its own type instead of relying...
2009-05-30 Bill WendlingUntabification.
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-05-10 Bill WendlingNeeded #includes. Thanks Fritz van Bommel!
2009-04-25 Chris LattnerAllow aliasee to be a GEP or bitcast instead of just...
2009-04-04 Nick LewyckyAdd support for embedded metadata to LLVM. This introdu...
2009-03-17 Gabor Greiftypo
2009-03-15 Nick LewyckySimplify. "Broken" is always true here.
2009-03-13 Bill WendlingRevert r66920. It was causing failures in the self...
2009-03-13 Gabor GreifSecond installment of "BasicBlock operands to the back"
2009-02-28 Chris LattnerChange WriteTypeSymbolic to not put a space out before...
2009-02-05 Dale JohannesenReapply 63765. Patches for clang and llvm-gcc to follow.
2009-02-04 Dale JohannesenReverting 63765. This broke the build of both clang
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.
next