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