aboutsummaryrefslogtreecommitdiffstats
path: root/lib/VMCore/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* Get rid of the Pass+Context magic.Owen Anderson2009-07-221-1/+2
* llvm_unreachable->llvm_unreachable(0), LLVM_UNREACHABLE->llvm_unreachable.Torok Edwin2009-07-141-2/+2
* assert(0) -> LLVM_UNREACHABLE.Torok Edwin2009-07-111-2/+2
* Thread LLVMContext through MVT and related parts of SDISel.Owen Anderson2009-07-091-1/+1
* Implement changes from Chris's feedback.Torok Edwin2009-07-081-1/+3
* Start converting to new error handling API.Torok Edwin2009-07-081-3/+3
* Support vector casts in more places, fixing a variety of assertionDan Gohman2009-06-151-10/+10
* Cosmetic changes to parameter attribute verification.Duncan Sands2009-06-111-17/+18
* Remove cyclic MDNode detection. Any attempt to create a cyclic MDNode willNick Lewycky2009-06-071-57/+16
* Fix a copy+pasto in an assertion string that Jay Foad noticed.Dan Gohman2009-06-051-1/+1
* Update the Verifier to be aware of the difference between Add and FAdd, etc.Dan Gohman2009-06-051-15/+33
* Give embedded metadata its own type instead of relying on EmptyStructTy.Nick Lewycky2009-05-301-53/+103
* Untabification.Bill Wendling2009-05-301-1/+1
* Dan noticed that the verifier wasn't thoroughly checking uses ofDuncan Sands2009-05-291-50/+49
* Revert this. There's no way to verifiy indirect calls, and an optimizer can turnTorok Edwin2009-05-221-25/+0
* Verify that calling conventions match function prototype.Torok Edwin2009-05-221-0/+25
* Needed #includes. Thanks Fritz van Bommel!Bill Wendling2009-05-101-0/+1
* 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