aboutsummaryrefslogtreecommitdiffstats
path: root/lib/VMCore/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* 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
* Fix Regression/Verifier/invoke-1.llChris Lattner2006-12-201-2/+7
* Revert the previous patch which was incorrect. This unbreaks eon, but rebreaksChris Lattner2006-12-201-1/+2
* Remove a useless statement.Reid Spencer2006-12-181-1/+0
* For PR1042:Reid Spencer2006-12-181-1/+1
* Fix PR1042, by tightening up the subtle rules with invoke value use.Chris Lattner2006-12-161-3/+37
* only check non-external functionsChris Lattner2006-12-131-6/+6
* Reject attempts to define intrinsics. This fixes PR1047 andChris Lattner2006-12-131-0/+7
* Don't use <sstream> in Streams.h but <iosfwd> instead.Bill Wendling2006-12-071-0/+1
* Changed llvm_ostream et all to OStream. llvm_cerr, llvm_cout, llvm_null, areBill Wendling2006-12-071-3/+2
* Remove the 'printname' argument to WriteAsOperand. It is always true, andChris Lattner2006-12-061-1/+1
* Changed to using LLVM streams.Bill Wendling2006-11-281-3/+3
* For PR950:Reid Spencer2006-11-271-0/+175
* For PR950:Reid Spencer2006-11-201-0/+29
* For PR950:Reid Spencer2006-10-201-1/+1
* Added some eye-candy for Subtarget type checkingAnton Korobeynikov2006-09-171-0/+1
* Adding dllimport, dllexport and external weak linkage types.Anton Korobeynikov2006-09-141-2/+10
* eliminate RegisterOpt. It does the same thing as RegisterPass.Chris Lattner2006-08-271-1/+1
* s|llvm/Support/Visibility.h|llvm/Support/Compiler.h|Chris Lattner2006-08-271-1/+1
* For PR780:Reid Spencer2006-07-261-7/+8
* Fix PR826, testcase here: Regression/Verifier/2006-07-11-StoreStruct.llChris Lattner2006-07-111-2/+8
* Change the verifier to never throw an exception. Instead verifyModule canopt...Chris Lattner2006-07-061-8/+7
* Use hidden visibility to reduce the sizes of some .o files. This chops 60K o...Chris Lattner2006-06-281-1/+3
* csret functions can be varargs (as can target cc's). Verify restrictions onChris Lattner2006-05-191-3/+18
* remove dead varChris Lattner2006-05-141-1/+0
* Use the isValidOperands helper instead of duplicating checking codeChris Lattner2006-04-081-16/+7
* Add shufflevector support, todo, implement better constant folding.Chris Lattner2006-04-081-0/+24
* Fix build breakage.Jeff Cohen2006-03-311-0/+1
* Add a new method to verify intrinsic function prototypes.Chris Lattner2006-03-311-2/+60
* Use the autogenerated intrinsic verifierChris Lattner2006-03-091-266/+5
* remove dbg_declare, it's not used yet.Chris Lattner2006-03-091-1/+0
* remove the read/write port/io intrinsics.Chris Lattner2006-03-031-45/+0