aboutsummaryrefslogtreecommitdiff
path: root/lib/VMCore/Verifier.cpp
AgeCommit message (Expand)Author
2009-02-28Change WriteTypeSymbolic to not put a space out before types, also, removeChris Lattner
2009-02-05Reapply 63765. Patches for clang and llvm-gcc to follow.Dale Johannesen
2009-02-04Reverting 63765. This broke the build of both clangDale Johannesen
2009-02-04New feature: add support for target intrinsics being defined in theNate Begeman
2009-02-02reject things like: zext <4 x i32> %tmp to i256Chris Lattner
2009-01-19Verify Intrinsic::dbg_declare. Devang Patel
2009-01-15Add the private linkage.Rafael Espindola
2009-01-08Fix failure messages in Verifier::PerformTypeCheck. The argument numbersBob Wilson
2009-01-07Assert that VectorType::getTruncatedElementVectorType is not used withBob Wilson
2009-01-07Improve support for type-generic vector intrinsics by teaching TableGen howBob Wilson
2008-12-29move select validation logic into a shared place where the select ctor,Chris Lattner
2008-12-01The PreVerifier pass preserves everything. In practice, thisChris Lattner
2008-11-21reapply Sanjiv's patch to genericize memcpy/memset/memmove to take anChris Lattner
2008-11-21Revert r59802. It was breaking the build of llvm-gcc:Bill Wendling
2008-11-21Make mem[cpy,move,set] intrinsics overloaded.Sanjiv Gupta
2008-11-19Use stripPointerCasts when checking for AllocaInsts for the stackprotector in...Bill Wendling
2008-11-19Use dyn_cast instead of cast.Bill Wendling
2008-11-19Match an element of the return type if it returns a structure.Bill Wendling
2008-11-18Verify that the second parameter of the stacprotector intrinsic is an allocaBill Wendling
2008-11-15Correct this error message.Nick Lewycky
2008-11-13Modify the intrinsics pattern to separate out the "return" types from theBill Wendling
2008-11-13Refactor the code that does the type checking for intrinsics.Bill Wendling
2008-11-10Added support for the following definition of shufflevector Mon P Wang
2008-10-25Related to PR2911, reject as invalid non-pointer GC roots.Gordon Henriksen
2008-10-16Verify prefetch arguments, PR2576.Chris Lattner
2008-10-05fix an incorrect and extremely confusing error messageChris Lattner
2008-10-03Fix function attribute verification check.Devang Patel
2008-10-03Verify function attributes.Devang Patel
2008-10-02Remove redundant check.Devang Patel
2008-10-01Attributes noinline alwaysinline are incompatibleDevang Patel
2008-09-26Now Attributes are divided in three groupsDevang Patel
2008-09-26Another file I forgot.Dale Johannesen
2008-09-25 Large mechanical patch.Devang Patel
2008-09-24s/ParamAttrsWithIndex/FnAttributeWithIndex/gDevang Patel
2008-09-23s/ParameterAttributes/Attributes/gDevang Patel
2008-09-23Use parameter attribute store (soon to be renamed) forDevang Patel
2008-09-09Make safer variant of alias resolution routine to be defaultAnton Korobeynikov
2008-09-09Extend the vcmp/fcmp LLVM IR instructions to take vectors as argumentsDan Gohman
2008-09-08Bitcasting two or from aggregate types is not permitted. UpdateDan Gohman
2008-09-04Tidy up several unbeseeming casts from pointer to intptr_t.Dan Gohman
2008-09-02plug a little memleak in verifyFunction()Nuno Lopes
2008-08-28Make the verifier reject instructions which have null pointers Chris Lattner
2008-08-27Minor cleanup.Chris Lattner
2008-08-27Diagnose uses of unsized types with the byval attribute in theDan Gohman
2008-08-27Update wording, as aggregates are now first-class.Dan Gohman
2008-08-24remove the type checking logic already done by tblgen, just keep theChris Lattner
2008-08-23Reverting r55227. This was causing the following failures in the regressionBill Wendling
2008-08-23Verify that the alignment argument to llvm.memcpy is a constantChris Lattner
2008-08-23remove verification for gc intrinsic argument types. it was indented wrongChris Lattner
2008-08-19whitespace cleanupChris Lattner