summaryrefslogtreecommitdiffstats
path: root/llvm/lib/VMCore/Verifier.cpp
Commit message (Collapse)AuthorAgeFilesLines
...
* This mega patch converts us from using Function::a{iterator|begin|end} toChris Lattner2005-03-151-2/+2
| | | | | | | | using Function::arg_{iterator|begin|end}. Likewise Module::g* -> Module::global_*. This patch is contributed by Gabor Greif, thanks! llvm-svn: 20597
* Verify llvm.prefetch.Chris Lattner2005-02-281-0/+2
| | | | llvm-svn: 20376
* Fix some problems where the verifier would crash on invalid input instead ofChris Lattner2005-02-241-0/+1
| | | | | | reporting the problem and exiting. llvm-svn: 20302
* Use binary mode for reading/writing bytecode filesJeff Cohen2005-01-221-4/+4
| | | | llvm-svn: 19751
* Add a verifier assertionChris Lattner2004-12-151-1/+12
| | | | llvm-svn: 18965
* Check if a block has a terminator first before calling front() onAlkis Evlogimenos2004-12-041-3/+3
| | | | | | | it. If a block has a terminator then it is certainly non-empty so the verifier will not crash on it. llvm-svn: 18484
* Make error msg reflect what exactly went wrong.Alkis Evlogimenos2004-12-041-3/+3
| | | | llvm-svn: 18478
* The Alpha (tm) intrinsics have never been used anywhereMisha Brukman2004-10-291-16/+0
| | | | llvm-svn: 17340
* Make sure to check select instructions for generic instruction propertiesChris Lattner2004-09-291-0/+1
| | | | llvm-svn: 16597
* Don't use DominatorSet::dominates for intra-block instruction dom checks.Chris Lattner2004-09-291-1/+11
| | | | | | | | This method is linear time in the size of the basic block, which is very bad for large basic blocks. On the Assembler/2004-09-29-VerifierIsReallySlow.llx testcase, the verifier changes from taking 50s to 0.23s with this patch. llvm-svn: 16593
* Changes For Bug 352Reid Spencer2004-09-011-1/+1
| | | | | | | | Move include/Config and include/Support into include/llvm/Config, include/llvm/ADT and include/llvm/Support. From here on out, all LLVM public header files must be under include/llvm/. llvm-svn: 16137
* Packed types, brought to you by Brad JonesBrian Gaeke2004-08-201-2/+3
| | | | llvm-svn: 15938
* Updates to gc intrinsics, contributed by Tobias NurmirantaChris Lattner2004-07-221-2/+2
| | | | llvm-svn: 15096
* bug 122:Reid Spencer2004-07-181-4/+1
| | | | | | - Correct an assert to not have redundant isa<GlobalValue> llvm-svn: 14934
* - #include <iostream> since its not in Value.h any more.Reid Spencer2004-07-041-0/+1
| | | | llvm-svn: 14617
* * Capitalize `Java'Misha Brukman2004-06-241-7/+7
| | | | | | | * Sprinkle hypens liberally * Fix some grammar in comments llvm-svn: 14374
* Minor cleanupChris Lattner2004-06-171-1/+1
| | | | llvm-svn: 14199
* isnan is deadChris Lattner2004-06-151-10/+0
| | | | llvm-svn: 14191
* Make assertions more consistent with the rest of the intrinsicAlkis Evlogimenos2004-06-131-8/+12
| | | | | | | function verification and make it a requirement that both arguments to llvm.isunordered are of the same type. llvm-svn: 14165
* Add the isunordered intrinsic.Alkis Evlogimenos2004-06-121-1/+11
| | | | llvm-svn: 14159
* I misled Alkis: LLVM should have isnan, not isunordered.Chris Lattner2004-06-111-1/+7
| | | | | | | | isunordered(X, Y) === isnan(X) | isnan(Y) Remove isunordered, add isnan. llvm-svn: 14132
* Add the isunordered intrinsic.Alkis Evlogimenos2004-06-111-0/+2
| | | | llvm-svn: 14127
* Fix PR361.Chris Lattner2004-06-071-1/+2
| | | | | | Dominance properties don't hold in unreachable code llvm-svn: 14053
* Fix GCC warningChris Lattner2004-06-051-1/+1
| | | | llvm-svn: 14045
* Work around VS bugChris Lattner2004-06-051-3/+2
| | | | llvm-svn: 14036
* * Verify function prototypes, not just functions with bodies.Chris Lattner2004-06-031-2/+12
| | | | | | * Verify that functions do not take aggregates as arguments. llvm-svn: 13984
* Fix for bug 348.Reid Spencer2004-05-271-0/+1
| | | | | | The SymbolTable changes caused this one too. llvm-svn: 13859
* Convert to SymbolTable's new iteration interface. Remove tabs.Reid Spencer2004-05-251-14/+27
| | | | llvm-svn: 13753
* Recognize and verify the new GC intrinsics.Chris Lattner2004-05-231-6/+16
| | | | llvm-svn: 13687
* Fix for PR340: Verifier misses malformed switch instructionChris Lattner2004-05-211-0/+12
| | | | llvm-svn: 13618
* Fold two assertions with backwards error messages into one with aBrian Gaeke2004-05-171-6/+3
| | | | | | correct error message. llvm-svn: 13590
* Fixed inconsistent indentation.John Criswell2004-05-041-16/+16
| | | | llvm-svn: 13363
* Make sure to check for a very bad class of errors: an instructionChris Lattner2004-04-161-0/+6
| | | | | | | | that does not dominate all of its users, but is in the same basic block as its users. This class of error is what caused the mysterious CBE only failures last night. llvm-svn: 12979
* Remove the return type check for llvm.readio. This check is done for allJohn Criswell2004-04-141-4/+3
| | | | | | | functions and is not needed here. Simplify the pointer type check per Chris's suggestions. llvm-svn: 12945
* Added code to verify that llvm.readio's pointer argument returns somethingJohn Criswell2004-04-141-3/+8
| | | | | | that matches its return type. llvm-svn: 12944
* Finish adding the llvm.readio and llvm.writeio intrinsics.John Criswell2004-04-141-0/+22
| | | | | | Sorry these didn't get in yesterday. llvm-svn: 12942
* Reversed the order of the llvm.writeport() operands so that the valueJohn Criswell2004-04-091-2/+2
| | | | | | is listed first and the address is listed second. llvm-svn: 12795
* Added the llvm.readport and llvm.writeport intrinsics.John Criswell2004-04-081-0/+20
| | | | | | | | The Verifier ensures that their parameters are of integral types and have the correct sign, but it does not enforce any size restrictions because such restrictions are platform dependent. llvm-svn: 12781
* Make the verifier API more complete and useful.Chris Lattner2004-04-021-20/+48
| | | | | | Patch contributed by Reid Spencer llvm-svn: 12609
* Add another checkChris Lattner2004-03-291-0/+5
| | | | llvm-svn: 12525
* Catch some more cases of broken code. The loop extractor seems to be creatingChris Lattner2004-03-141-3/+8
| | | | | | situations where there is a branch that goes to a block in another function. llvm-svn: 12379
* verifyFunction has been broken for a long time now. Fix it.Chris Lattner2004-03-141-12/+8
| | | | llvm-svn: 12377
* Rename the intrinsic enum values for llvm.va_* from Intrinsic::va_* toChris Lattner2004-03-131-3/+3
| | | | | | Intrinsic::va*. This avoid conflicting with macros in the stdlib.h file. llvm-svn: 12356
* Add support for checking the select instructionChris Lattner2004-03-121-0/+11
| | | | llvm-svn: 12325
* Doxygenify comments.Misha Brukman2004-03-021-22/+19
| | | | llvm-svn: 12071
* Fix Regression/Assembler/2004-02-27-SelfUseAssertError.llChris Lattner2004-02-271-1/+2
| | | | llvm-svn: 11913
* Make the verifier a little more explicit about this problem.Chris Lattner2004-02-241-2/+2
| | | | llvm-svn: 11811
* Add llvm.memset/frameaddress/returnaddress intrinsics.Chris Lattner2004-02-141-7/+15
| | | | llvm-svn: 11431
* Add support for the llvm.memmove intrinsicChris Lattner2004-02-121-0/+1
| | | | | | Patch graciously contributed by Reid Spencer! llvm-svn: 11355
* Implement the llvm.memcpy intrinsicChris Lattner2004-02-121-0/+2
| | | | llvm-svn: 11349
OpenPOWER on IntegriCloud