summaryrefslogtreecommitdiffstats
path: root/llvm/lib/VMCore/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* Fix build problem.Jeff Cohen2007-04-101-1/+1
* Implement the llvm.bit.part_select.iN.iN.iN overloaded intrinsic.Reid Spencer2007-04-041-0/+2
* For PR1297:Reid Spencer2007-04-011-7/+42
* For PR1195:Reid Spencer2007-02-151-1/+1
* For PR1195:Reid Spencer2007-02-151-6/+6
* Switch ValueSymbolTable to use StringMap<Value*> instead of std::map<std::str...Chris Lattner2007-02-121-21/+0
* convert some vectors to smallvector.Chris Lattner2007-02-101-2/+3
* speed up the verifier 8.5% by using a smallvector instead of vector.Chris Lattner2007-02-101-2/+5
* Change an std::set to a SmallPtrSet. This speeds up the verifier onChris Lattner2007-02-101-1/+2
* Support var arg intrinsics.Jim Laskey2007-02-061-0/+4
* For PR411:Reid Spencer2007-02-051-16/+14
* Changes to support making the shift instructions be true BinaryOperators.Reid Spencer2007-02-021-14/+15
* For PR1136: Rename GlobalVariable::isExternal as isDeclaration to avoidReid Spencer2007-01-301-6/+6
* Propagate changes from my local tree. This patch includes:Anton Korobeynikov2007-01-281-5/+5
* rename Type::isIntegral to Type::isInteger, eliminating the old Type::isInteger.Chris Lattner2007-01-151-17/+17
* teach VMCore to accept i1 add's and shiftsChris Lattner2007-01-151-7/+7
* For PR1064:Reid Spencer2007-01-121-8/+33
* Rename BoolTy as Int1Ty. Patch by Sheng Zhou.Reid Spencer2007-01-111-1/+1
* For PR411:Reid Spencer2007-01-061-4/+8
* Do not allow packed types for icmp and fcmp instructions.Reid Spencer2007-01-041-5/+2
* For PR950:Reid Spencer2006-12-311-1/+1
* For PR950:Reid Spencer2006-12-231-4/+0
OpenPOWER on IntegriCloud