aboutsummaryrefslogtreecommitdiff
path: root/lib/VMCore/Verifier.cpp
AgeCommit message (Expand)Author
2009-07-14llvm_unreachable->llvm_unreachable(0), LLVM_UNREACHABLE->llvm_unreachable.Torok Edwin
2009-07-11assert(0) -> LLVM_UNREACHABLE.Torok Edwin
2009-07-09Thread LLVMContext through MVT and related parts of SDISel.Owen Anderson
2009-07-08Implement changes from Chris's feedback.Torok Edwin
2009-07-08Start converting to new error handling API.Torok Edwin
2009-06-15Support vector casts in more places, fixing a variety of assertionDan Gohman
2009-06-11Cosmetic changes to parameter attribute verification.Duncan Sands
2009-06-07Remove cyclic MDNode detection. Any attempt to create a cyclic MDNode willNick Lewycky
2009-06-05Fix a copy+pasto in an assertion string that Jay Foad noticed.Dan Gohman
2009-06-05Update the Verifier to be aware of the difference between Add and FAdd, etc.Dan Gohman
2009-05-30Give embedded metadata its own type instead of relying on EmptyStructTy.Nick Lewycky
2009-05-30Untabification.Bill Wendling
2009-05-29Dan noticed that the verifier wasn't thoroughly checking uses ofDuncan Sands
2009-05-22Revert this. There's no way to verifiy indirect calls, and an optimizer can turnTorok Edwin
2009-05-22Verify that calling conventions match function prototype.Torok Edwin
2009-05-10Needed #includes. Thanks Fritz van Bommel!Bill Wendling
2009-04-25Allow aliasee to be a GEP or bitcast instead of just a bitcast.Chris Lattner
2009-04-04Add support for embedded metadata to LLVM. This introduces two new types ofNick Lewycky
2009-03-17typoGabor Greif
2009-03-15Simplify. "Broken" is always true here.Nick Lewycky
2009-03-13Revert r66920. It was causing failures in the self-hosting buildbot (in releaseBill Wendling
2009-03-13Second installment of "BasicBlock operands to the back"Gabor Greif
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