RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-22 04:22:57 +02:00
Code Issues Projects Releases Wiki Activity
16,698 Commits 4 Branches 5 Tags 704 MiB
b16d2adb2f
Commit Graph

124 Commits

Author SHA1 Message Date
Chris Lattner
4faf86336e Add a verifier assertion 
llvm-svn: 18965
 2004-12-15 20:23:49 +00:00
Alkis Evlogimenos
7202acacf7 Check if a block has a terminator first before calling front() on 
it. If a block has a terminator then it is certainly non-empty so the
verifier will not crash on it.

llvm-svn: 18484
 2004-12-04 02:30:42 +00:00
Alkis Evlogimenos
edf490b75e Make error msg reflect what exactly went wrong. 
llvm-svn: 18478
 2004-12-04 01:25:06 +00:00
Misha Brukman
dba13ac3cb The Alpha (tm) intrinsics have never been used anywhere 
llvm-svn: 17340
 2004-10-29 18:43:17 +00:00
Chris Lattner
7af052f5c8 Make sure to check select instructions for generic instruction properties 
llvm-svn: 16597
 2004-09-29 21:19:28 +00:00
Chris Lattner
da5c635143 Don't use DominatorSet::dominates for intra-block instruction dom checks. 
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
 2004-09-29 20:07:45 +00:00
Reid Spencer
c4abcbefb1 Changes For Bug 352 
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
 2004-09-01 22:55:40 +00:00
Brian Gaeke
01636f4e0f Packed types, brought to you by Brad Jones 
llvm-svn: 15938
 2004-08-20 06:00:58 +00:00
Chris Lattner
59c0771263 Updates to gc intrinsics, contributed by Tobias Nurmiranta 
llvm-svn: 15096
 2004-07-22 05:50:01 +00:00
Reid Spencer
873e776581 bug 122: 
- Correct an assert to not have redundant isa<GlobalValue>

llvm-svn: 14934
 2004-07-18 00:02:41 +00:00
Reid Spencer
d02e1dc90d - #include <iostream> since its not in Value.h any more. 
llvm-svn: 14617
 2004-07-04 11:55:37 +00:00
Misha Brukman
da2521c04f * Capitalize `Java' 
* Sprinkle hypens liberally
* Fix some grammar in comments

llvm-svn: 14374
 2004-06-24 21:47:35 +00:00
Chris Lattner
18f8ae4e3e Minor cleanup 
llvm-svn: 14199
 2004-06-17 17:56:54 +00:00
Chris Lattner
7c3600a50e isnan is dead 
llvm-svn: 14191
 2004-06-15 21:52:58 +00:00
Alkis Evlogimenos
173e9e832c Make assertions more consistent with the rest of the intrinsic 
function verification and make it a requirement that both arguments to
llvm.isunordered are of the same type.

llvm-svn: 14165
 2004-06-13 00:55:26 +00:00
Alkis Evlogimenos
9b28aef6cb Add the isunordered intrinsic. 
llvm-svn: 14159
 2004-06-12 19:19:14 +00:00
Chris Lattner
b07bf147cd I misled Alkis: LLVM should have isnan, not isunordered. 
isunordered(X, Y) === isnan(X) | isnan(Y)

Remove isunordered, add isnan.

llvm-svn: 14132
 2004-06-11 02:29:43 +00:00
Alkis Evlogimenos
1ae8b4e7c4 Add the isunordered intrinsic. 
llvm-svn: 14127
 2004-06-11 01:08:18 +00:00
Chris Lattner
a1c9755c7c Fix PR361. 
Dominance properties don't hold in unreachable code

llvm-svn: 14053
 2004-06-07 23:07:33 +00:00
Chris Lattner
6e63236846 Fix GCC warning 
llvm-svn: 14045
 2004-06-05 17:44:48 +00:00
Chris Lattner
678cafb8a9 Work around VS bug 
llvm-svn: 14036
 2004-06-05 00:22:04 +00:00
Chris Lattner
e78fedecf2 * Verify function prototypes, not just functions with bodies. 
* Verify that functions do not take aggregates as arguments.

llvm-svn: 13984
 2004-06-03 06:38:43 +00:00
Reid Spencer
693dcc2f89 Fix for bug 348. 
The SymbolTable changes caused this one too.

llvm-svn: 13859
 2004-05-27 21:58:13 +00:00
Reid Spencer
e6cf613d2a Convert to SymbolTable's new iteration interface. Remove tabs. 
llvm-svn: 13753
 2004-05-25 08:53:29 +00:00
Chris Lattner
5f65590915 Recognize and verify the new GC intrinsics. 
llvm-svn: 13687
 2004-05-23 21:16:51 +00:00
Chris Lattner
30cc4edfc3 Fix for PR340: Verifier misses malformed switch instruction 
llvm-svn: 13618
 2004-05-21 16:47:21 +00:00
Brian Gaeke
5d639ac9f3 Fold two assertions with backwards error messages into one with a 
correct error message.

llvm-svn: 13590
 2004-05-17 21:15:18 +00:00
John Criswell
b51e979c2c Fixed inconsistent indentation. 
llvm-svn: 13363
 2004-05-04 21:46:05 +00:00
Chris Lattner
644ad23b21 Make sure to check for a very bad class of errors: an instruction 
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
 2004-04-16 05:51:47 +00:00
John Criswell
bed6463449 Remove the return type check for llvm.readio. This check is done for all 
functions and is not needed here.
Simplify the pointer type check per Chris's suggestions.

llvm-svn: 12945
 2004-04-14 15:06:48 +00:00
John Criswell
e00ecd7e84 Added code to verify that llvm.readio's pointer argument returns something 
that matches its return type.

llvm-svn: 12944
 2004-04-14 14:49:36 +00:00
John Criswell
11f7f60028 Finish adding the llvm.readio and llvm.writeio intrinsics. 
Sorry these didn't get in yesterday.

llvm-svn: 12942
 2004-04-14 13:46:52 +00:00
John Criswell
c9c191c41b Reversed the order of the llvm.writeport() operands so that the value 
is listed first and the address is listed second.

llvm-svn: 12795
 2004-04-09 19:09:14 +00:00
John Criswell
07c581695d Added the llvm.readport and llvm.writeport intrinsics. 
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
 2004-04-08 20:27:38 +00:00
Chris Lattner
0d20ff2e86 Make the verifier API more complete and useful. 
Patch contributed by Reid Spencer

llvm-svn: 12609
 2004-04-02 15:45:08 +00:00
Chris Lattner
27cbe8d690 Add another check 
llvm-svn: 12525
 2004-03-29 00:29:36 +00:00
Chris Lattner
f943b487c5 Catch some more cases of broken code. The loop extractor seems to be creating 
situations where there is a branch that goes to a block in another function.

llvm-svn: 12379
 2004-03-14 03:23:54 +00:00
Chris Lattner
17042ee9ad verifyFunction has been broken for a long time now. Fix it. 
llvm-svn: 12377
 2004-03-14 03:16:15 +00:00
Chris Lattner
f7bc6fd913 Rename the intrinsic enum values for llvm.va_* from Intrinsic::va_* to 
Intrinsic::va*.  This avoid conflicting with macros in the stdlib.h file.

llvm-svn: 12356
 2004-03-13 00:24:00 +00:00
Chris Lattner
b53ea9f895 Add support for checking the select instruction 
llvm-svn: 12325
 2004-03-12 05:54:31 +00:00
Misha Brukman
754f11778f Doxygenify comments. 
llvm-svn: 12071
 2004-03-02 00:22:19 +00:00
Chris Lattner
644af802c9 Fix Regression/Assembler/2004-02-27-SelfUseAssertError.ll 
llvm-svn: 11913
 2004-02-27 17:28:25 +00:00
Chris Lattner
57ee51ae0b Make the verifier a little more explicit about this problem. 
llvm-svn: 11811
 2004-02-24 22:06:07 +00:00
Chris Lattner
cdfcb976c7 Add llvm.memset/frameaddress/returnaddress intrinsics. 
llvm-svn: 11431
 2004-02-14 02:47:17 +00:00
Chris Lattner
c908f6b738 Add support for the llvm.memmove intrinsic 
Patch graciously contributed by Reid Spencer!

llvm-svn: 11355
 2004-02-12 18:11:20 +00:00
Chris Lattner
0d988a0d14 Implement the llvm.memcpy intrinsic 
llvm-svn: 11349
 2004-02-12 17:01:09 +00:00
Chris Lattner
13a3f4eaeb Fix check. PHI nodes must be handled specially, of course. 
llvm-svn: 10842
 2004-01-14 05:42:52 +00:00
Chris Lattner
e12d9fd9a7 Tighten up verifier checks. The result of an invoke instruction only 
dominates the normal destination, not the exceptional dest (ie, the result
of a call is undefined on an exception)

llvm-svn: 10841
 2004-01-14 04:25:59 +00:00
Chris Lattner
8b4be63e6e Add support for new intrinsic 
llvm-svn: 10701
 2004-01-06 05:33:02 +00:00
Chris Lattner
6093fdd5e3 Add VMCore and code generator support for debugging intrinsics. By default 
code generators completely ignore them.

llvm-svn: 10691
 2004-01-05 05:36:30 +00:00