aboutsummaryrefslogtreecommitdiffstats
path: root/lib/VMCore/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
* 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
* Split memcpy/memset/memmove intrinsics into i32/i64 versions, resolvingChris Lattner2006-03-021-3/+6
* Make sure the only user of InlineAsm's are direct calls.Chris Lattner2006-01-261-0/+4
* Don't accept the ctpop, cttz, or ctlz intrinsics with signed arguments. TheReid Spencer2006-01-191-36/+16
* VMCore support for the insertelement operation.Robert Bocchino2006-01-171-4/+17
* For PR411:Reid Spencer2006-01-161-12/+149
* Thanks to Daniel Berlin's ETForest fix, we can now use it again for the verifierChris Lattner2006-01-151-2/+0
* ET-Forest has issues with unreachable blocks. Temporarily disable verifiers useChris Lattner2006-01-151-0/+2
* Add bswap intrinsics as documented in the Language ReferenceNate Begeman2006-01-141-0/+30
* Add recognition and verification of new llvm.stacksave/llvm.stackrestore intr...Chris Lattner2006-01-131-0/+12
* Convert the verifier over to use ETForest instead of DominatorSet. PatchChris Lattner2006-01-121-14/+14
* Added support for the extractelement operation.Robert Bocchino2006-01-101-0/+13
* Get logical operations to like packed types, allow BinOp::getNot to createChris Lattner2005-12-211-1/+3
* continued readcyclecounter supportAndrew Lenharth2005-11-111-0/+8
* core changes for varargsAndrew Lenharth2005-06-181-3/+2
* Verify that varargs functions all have cccChris Lattner2005-05-081-1/+5
* Implement count leading zeros (ctlz), count trailing zeros (cttz), and countAndrew Lenharth2005-05-031-0/+12
* Add llvm.sqrt intrinsic, patch contributed by Morten OfstadChris Lattner2005-04-301-0/+10
* Remove trailing whitespaceMisha Brukman2005-04-211-27/+27
* First step in adding pcmarker intrinsic. Second step (soon) is adding backen...Andrew Lenharth2005-03-281-0/+5
* This mega patch converts us from using Function::a{iterator|begin|end} toChris Lattner2005-03-151-2/+2
* Verify llvm.prefetch.Chris Lattner2005-02-281-0/+2
* Fix some problems where the verifier would crash on invalid input instead ofChris Lattner2005-02-241-0/+1
* Use binary mode for reading/writing bytecode filesJeff Cohen2005-01-221-4/+4
* Add a verifier assertionChris Lattner2004-12-151-1/+12
* Check if a block has a terminator first before calling front() onAlkis Evlogimenos2004-12-041-3/+3
* Make error msg reflect what exactly went wrong.Alkis Evlogimenos2004-12-041-3/+3
* The Alpha (tm) intrinsics have never been used anywhereMisha Brukman2004-10-291-16/+0
* Make sure to check select instructions for generic instruction propertiesChris Lattner2004-09-291-0/+1
* Don't use DominatorSet::dominates for intra-block instruction dom checks.Chris Lattner2004-09-291-1/+11
* Changes For Bug 352Reid Spencer2004-09-011-1/+1
* Packed types, brought to you by Brad JonesBrian Gaeke2004-08-201-2/+3
* Updates to gc intrinsics, contributed by Tobias NurmirantaChris Lattner2004-07-221-2/+2
* bug 122:Reid Spencer2004-07-181-4/+1
* - #include <iostream> since its not in Value.h any more.Reid Spencer2004-07-041-0/+1
* * Capitalize `Java'Misha Brukman2004-06-241-7/+7
* Minor cleanupChris Lattner2004-06-171-1/+1
* isnan is deadChris Lattner2004-06-151-10/+0
* Make assertions more consistent with the rest of the intrinsicAlkis Evlogimenos2004-06-131-8/+12