aboutsummaryrefslogtreecommitdiffstats
path: root/lib/VMCore/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* Kill off more cerr/cout uses and prune includes a bit.Benjamin Kramer2009-08-231-3/+2
* eliminate the std::ostream form of WriteAsOperand and update clients.Chris Lattner2009-08-231-1/+1
* switch a couple things off std::ostreamChris Lattner2009-08-231-23/+21
* Push LLVMContexts through the IntegerType APIs.Owen Anderson2009-08-131-15/+19
* Add contexts to some of the MVT APIs. No functionality change yet, just the ...Owen Anderson2009-08-121-1/+2
* Split EVT into MVT and EVT, the former representing _just_ a primitive type, ...Owen Anderson2009-08-111-11/+11
* Add a new overloaded EVT::vAny type for use in TableGen to allow intrinsicBob Wilson2009-08-111-0/+6
* Rename MVT to EVT, in preparation for splitting SimpleValueType out into its ...Owen Anderson2009-08-101-13/+13
* common globals may also not be marked constant.Chris Lattner2009-08-051-3/+6
* Clarify common linkage and the requirements on it. EnforceChris Lattner2009-08-051-0/+7
* TypoNate Begeman2009-07-301-1/+1
* Move types back to the 2.5 API.Owen Anderson2009-07-291-2/+1
* Fix an assumption that there is a single return value when verifyingBob Wilson2009-07-291-2/+2
* Rename MDNode.h header. It defines MDnode and other metadata classes.Devang Patel2009-07-281-1/+1
* Initial update to VMCore to use Twines for string arguments.Daniel Dunbar2009-07-251-5/+5
* 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