summaryrefslogtreecommitdiffstats
path: root/llvm/lib/VMCore/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* Check that there are not more attributes thanDuncan Sands2007-11-301-0/+4
* Fix PR1146: parameter attributes are longer part ofDuncan Sands2007-11-271-3/+3
* Fix PR1816. If a bitcast of a function only exists because of aDuncan Sands2007-11-251-30/+7
* Rename the 'const' parameter attribute to 'readnone',Duncan Sands2007-11-221-2/+2
* Add support for vectors to int <-> float casts.Nate Begeman2007-11-171-8/+40
* I discover array_lengthof, thanks to gabor on #llvm.Duncan Sands2007-11-141-2/+1
* Simplify the attribute verification code.Duncan Sands2007-11-141-34/+24
* Add pure/const attributes. Documentation will follow.Anton Korobeynikov2007-11-141-4/+13
* Don't barf on empty basic blocks. Do not rely on assertDuncan Sands2007-11-011-9/+21
* remove verifier command line option: this should be part of the API, notChris Lattner2007-11-011-11/+0
* Now with less tabs!Owen Anderson2007-11-011-5/+5
* Add a preverifier pass to check that every basic block ends in a terminator, ...Owen Anderson2007-10-311-1/+20
* I am not sure this is a good idea to be an option, but rename the option forChris Lattner2007-10-291-1/+1
* Add 'pedantic' mode to verifier rejecting syntactically valid, but 'bad' due ...Anton Korobeynikov2007-10-281-3/+14
* Check that the second parameter of init_trampolineDuncan Sands2007-09-291-2/+6
* reject things like "declare internal @foo"Chris Lattner2007-09-191-2/+11
* Incorporating review feedback for GC verifier patch.Gordon Henriksen2007-09-181-11/+5
* Fix for PR1633: Verifier doesn't fully verify GC intrinsicsGordon Henriksen2007-09-171-0/+36
* Update GEP constructors to use an iterator interface to fixDavid Greene2007-09-041-1/+1
* use a nicer accessor.Chris Lattner2007-08-181-1/+1
* Fix the verification for overloaded intrinsic types. Check that they areDan Gohman2007-08-161-6/+19
* Add MVT::fAny for overloading intrinsics on floating-point types.Dan Gohman2007-08-161-0/+14
* Fix minor doxygen nits.Reid Spencer2007-08-051-0/+10
* This is the patch to provide clean intrinsic function overloading support in ...Chandler Carruth2007-08-041-66/+67
* After a discussion with Anton, it turns out that the InReg attribute is notReid Spencer2007-07-311-1/+2
* The InReg parameter attribute is valid on function results. The llvm-gcc-4.0Reid Spencer2007-07-311-2/+1
* It seems logical that InReg should be incompatibleDuncan Sands2007-07-271-3/+2
* As the number of parameter attributes increases,Duncan Sands2007-07-271-39/+55
* Support for trampolines, except for X86 codegen which isDuncan Sands2007-07-271-0/+17
* Make output match actual condition tested. Thanks, Duncan.Reid Spencer2007-07-241-1/+1
* 1. Make sure we print the Function Value for parameter attribute errorsReid Spencer2007-07-231-10/+10
* Add better verification of attributes on function types. It is not permittedReid Spencer2007-07-231-0/+9
* detect invalid combination of sret and byvalRafael Espindola2007-07-171-0/+4
* Fix comments about vectors to use the current wording.Dan Gohman2007-07-161-1/+1
* check for correct usage of the byval attributeRafael Espindola2007-07-101-2/+11
* Add the byval attributeRafael Espindola2007-07-061-0/+3
* Use DominatorTree instead of ETForest.Devang Patel2007-06-111-16/+16
* Add assert to check if the attributes ZExt/SExt, NoAlias are apply to theZhou Sheng2007-06-071-0/+15
* Drop 'const'Devang Patel2007-05-031-2/+2
* Use 'static const char' instead of 'static const int'.Devang Patel2007-05-021-2/+2
* Do not use typeinfo to identify pass in pass manager.Devang Patel2007-05-011-9/+15
* Implement review feedbackAnton Korobeynikov2007-04-291-1/+2
* Let Verifier check aliaseesAnton Korobeynikov2007-04-281-0/+7
* Implement review feedback. Aliasees can be either GlobalValue's orAnton Korobeynikov2007-04-281-1/+3
* Implement aliases. This fixes PR1017 and it's dependent bugs. CFE partAnton Korobeynikov2007-04-251-1/+18
* Fix regressions introduced by my previous patch: opt calls verifier in aChris Lattner2007-04-201-1/+3
* catch a case that was biting jeffcChris Lattner2007-04-201-1/+7
* eliminate a use of Instruction::getPrev(), patch by Gabor Greif in 2005.Chris Lattner2007-04-171-1/+2
* For PR1284:Reid Spencer2007-04-121-2/+3
* unbreak the build :(Chris Lattner2007-04-101-1/+1
OpenPOWER on IntegriCloud