aboutsummaryrefslogtreecommitdiffstats
path: root/lib/VMCore/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* 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
* Update wording, as aggregates are now first-class.Dan Gohman2008-08-271-3/+2
* remove the type checking logic already done by tblgen, just keep theChris Lattner2008-08-241-36/+10
* Reverting r55227. This was causing the following failures in the regressionBill Wendling2008-08-231-0/+39
* Verify that the alignment argument to llvm.memcpy is a constantChris Lattner2008-08-231-0/+10
* remove verification for gc intrinsic argument types. it was indented wrongChris Lattner2008-08-231-39/+0
* whitespace cleanupChris Lattner2008-08-191-1/+1
* Rename some GC classes so that their roll will hopefully be clearer.Gordon Henriksen2008-08-171-2/+2
* Improve support for vector casts in LLVM IR and CodeGen.Dan Gohman2008-08-141-10/+10
* Add read/write support for X86's sseregparm.Dale Johannesen2008-08-131-0/+1
* Fix the AsmWriter to not print extra spaces after parameter attributes.Dan Gohman2008-08-051-4/+4
* Added support for overloading intrinsics (atomics) based on pointersMon P Wang2008-07-301-7/+25
* Add vector shifts to the IR, patch by Eli Friedman.Nate Begeman2008-07-291-5/+11
* Allow verifier to be run on partially materialized modules.Nate Begeman2008-07-251-1/+2
* Enable first-class aggregates support.Dan Gohman2008-07-231-24/+17
* verify limits-fndefn.c from the GCC testsuite before theChris Lattner2008-07-181-1/+1
* Use const_cast instead of a C-style cast.Dan Gohman2008-06-241-1/+1
* Re-apply 52002, allowing the verifier to accept non-MRV struct returnDan Gohman2008-06-091-4/+15
* Wrap MVT::ValueType in a struct to get type safetyDuncan Sands2008-06-061-8/+9
* Revert 52002.Dan Gohman2008-06-051-4/+1
* Change the Verifier to support returning first class aggregrates.Matthijs Kooijman2008-06-051-1/+4
* IR support for extractvalue and insertvalue instructions. Also, beginDan Gohman2008-05-151-1/+1