summaryrefslogtreecommitdiffstats
path: root/llvm/lib/VMCore/Verifier.cpp
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* Add the isunordered intrinsic.Alkis Evlogimenos2004-06-121-1/+11
* I misled Alkis: LLVM should have isnan, not isunordered.Chris Lattner2004-06-111-1/+7
* Add the isunordered intrinsic.Alkis Evlogimenos2004-06-111-0/+2
* Fix PR361.Chris Lattner2004-06-071-1/+2
* Fix GCC warningChris Lattner2004-06-051-1/+1
* Work around VS bugChris Lattner2004-06-051-3/+2
* * Verify function prototypes, not just functions with bodies.Chris Lattner2004-06-031-2/+12
* Fix for bug 348.Reid Spencer2004-05-271-0/+1
* Convert to SymbolTable's new iteration interface. Remove tabs.Reid Spencer2004-05-251-14/+27
* Recognize and verify the new GC intrinsics.Chris Lattner2004-05-231-6/+16
* Fix for PR340: Verifier misses malformed switch instructionChris Lattner2004-05-211-0/+12
* Fold two assertions with backwards error messages into one with aBrian Gaeke2004-05-171-6/+3
* Fixed inconsistent indentation.John Criswell2004-05-041-16/+16
* Make sure to check for a very bad class of errors: an instructionChris Lattner2004-04-161-0/+6
* Remove the return type check for llvm.readio. This check is done for allJohn Criswell2004-04-141-4/+3
* Added code to verify that llvm.readio's pointer argument returns somethingJohn Criswell2004-04-141-3/+8
* Finish adding the llvm.readio and llvm.writeio intrinsics.John Criswell2004-04-141-0/+22
* Reversed the order of the llvm.writeport() operands so that the valueJohn Criswell2004-04-091-2/+2
* Added the llvm.readport and llvm.writeport intrinsics.John Criswell2004-04-081-0/+20
* Make the verifier API more complete and useful.Chris Lattner2004-04-021-20/+48
* Add another checkChris Lattner2004-03-291-0/+5
* Catch some more cases of broken code. The loop extractor seems to be creatingChris Lattner2004-03-141-3/+8
* verifyFunction has been broken for a long time now. Fix it.Chris Lattner2004-03-141-12/+8
* Rename the intrinsic enum values for llvm.va_* from Intrinsic::va_* toChris Lattner2004-03-131-3/+3
* Add support for checking the select instructionChris Lattner2004-03-121-0/+11
* Doxygenify comments.Misha Brukman2004-03-021-22/+19
* Fix Regression/Assembler/2004-02-27-SelfUseAssertError.llChris Lattner2004-02-271-1/+2
* Make the verifier a little more explicit about this problem.Chris Lattner2004-02-241-2/+2
* Add llvm.memset/frameaddress/returnaddress intrinsics.Chris Lattner2004-02-141-7/+15
* Add support for the llvm.memmove intrinsicChris Lattner2004-02-121-0/+1
* Implement the llvm.memcpy intrinsicChris Lattner2004-02-121-0/+2
OpenPOWER on IntegriCloud