summaryrefslogtreecommitdiffstats
path: root/llvm/lib/VMCore/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* Allow aliasee to be a GEP or bitcast instead of just a bitcast.Chris Lattner2009-04-251-1/+3
* Add support for embedded metadata to LLVM. This introduces two new types ofNick Lewycky2009-04-041-1/+50
* typoGabor Greif2009-03-171-1/+1
* Simplify. "Broken" is always true here.Nick Lewycky2009-03-151-1/+1
* Revert r66920. It was causing failures in the self-hosting buildbot (in releaseBill Wendling2009-03-131-1/+1
* Second installment of "BasicBlock operands to the back"Gabor Greif2009-03-131-1/+1
* Change WriteTypeSymbolic to not put a space out before types, also, removeChris Lattner2009-02-281-2/+5
* Reapply 63765. Patches for clang and llvm-gcc to follow.Dale Johannesen2009-02-051-2/+1
* Reverting 63765. This broke the build of both clangDale Johannesen2009-02-041-1/+2
* New feature: add support for target intrinsics being defined in theNate Begeman2009-02-041-2/+1
* reject things like: zext <4 x i32> %tmp to i256Chris Lattner2009-02-021-0/+10
* Verify Intrinsic::dbg_declare. Devang Patel2009-01-191-0/+5
* Add the private linkage.Rafael Espindola2009-01-151-2/+2
* Fix failure messages in Verifier::PerformTypeCheck. The argument numbersBob Wilson2009-01-081-47/+42
* Assert that VectorType::getTruncatedElementVectorType is not used withBob Wilson2009-01-071-4/+10
* Improve support for type-generic vector intrinsics by teaching TableGen howBob Wilson2009-01-071-1/+27
* move select validation logic into a shared place where the select ctor,Chris Lattner2008-12-291-17/+4
* The PreVerifier pass preserves everything. In practice, thisChris Lattner2008-12-011-0/+4
* reapply Sanjiv's patch to genericize memcpy/memset/memmove to take anChris Lattner2008-11-211-6/+3
* Revert r59802. It was breaking the build of llvm-gcc:Bill Wendling2008-11-211-3/+6
* Make mem[cpy,move,set] intrinsics overloaded.Sanjiv Gupta2008-11-211-6/+3
* Use stripPointerCasts when checking for AllocaInsts for the stackprotector in...Bill Wendling2008-11-191-1/+1
* Use dyn_cast instead of cast.Bill Wendling2008-11-191-1/+1
* Match an element of the return type if it returns a structure.Bill Wendling2008-11-191-2/+12
* Verify that the second parameter of the stacprotector intrinsic is an allocaBill Wendling2008-11-181-0/+5
* Correct this error message.Nick Lewycky2008-11-151-1/+1
* Modify the intrinsics pattern to separate out the "return" types from theBill Wendling2008-11-131-12/+27
* Refactor the code that does the type checking for intrinsics.Bill Wendling2008-11-131-115/+132
* Added support for the following definition of shufflevector Mon P Wang2008-11-101-5/+6
* Related to PR2911, reject as invalid non-pointer GC roots.Gordon Henriksen2008-10-251-2/+4
* Verify prefetch arguments, PR2576.Chris Lattner2008-10-161-0/+8
* fix an incorrect and extremely confusing error messageChris Lattner2008-10-051-1/+1
* Fix function attribute verification check.Devang Patel2008-10-031-6/+5
* Verify function attributes.Devang Patel2008-10-031-1/+5
* Remove redundant check.Devang Patel2008-10-021-9/+0
* Attributes noinline alwaysinline are incompatibleDevang Patel2008-10-011-0/+17
* Now Attributes are divided in three groupsDevang Patel2008-09-261-1/+1
* Another file I forgot.Dale Johannesen2008-09-261-1/+0
* Large mechanical patch.Devang Patel2008-09-251-25/+25
* s/ParamAttrsWithIndex/FnAttributeWithIndex/gDevang Patel2008-09-241-1/+1
* s/ParameterAttributes/Attributes/gDevang Patel2008-09-231-9/+9
* Use parameter attribute store (soon to be renamed) forDevang Patel2008-09-231-4/+15
* Make safer variant of alias resolution routine to be defaultAnton Korobeynikov2008-09-091-1/+1
* Extend the vcmp/fcmp LLVM IR instructions to take vectors as argumentsDan Gohman2008-09-091-4/+17
* Bitcasting two or from aggregate types is not permitted. UpdateDan Gohman2008-09-081-0/+6
* Tidy up several unbeseeming casts from pointer to intptr_t.Dan Gohman2008-09-041-5/+5
* plug a little memleak in verifyFunction()Nuno Lopes2008-09-021-1/+3
* Make the verifier reject instructions which have null pointers Chris Lattner2008-08-281-0/+11
* Minor cleanup.Chris Lattner2008-08-271-16/+15
* Diagnose uses of unsized types with the byval attribute in theDan Gohman2008-08-271-0/+11
OpenPOWER on IntegriCloud