mirrors/llvm-project
0
0
Fork 0
mirror of https://github.com/llvm/llvm-project.git synced 2025-05-01 19:26:05 +00:00
Code Issues Projects Releases Wiki Activity
11,918 Commits 1,258 Branches 288 Tags
Commit Graph

98 Commits

Author SHA1 Message Date
Brian Gaeke
e8a6bf3d21 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
987ad1945d Fixed inconsistent indentation. 
llvm-svn: 13363
 2004-05-04 21:46:05 +00:00
Chris Lattner
0377e4384f 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
c4e72c9a0a 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
0c654c6a4e 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
23c48d63d6 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
2b4c96e758 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
5201004ef9 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
a45a216ff6 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
5f126b74d3 Add another check 
llvm-svn: 12525
 2004-03-29 00:29:36 +00:00
Chris Lattner
9ece94b02b 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
b870ca7766 verifyFunction has been broken for a long time now. Fix it. 
llvm-svn: 12377
 2004-03-14 03:16:15 +00:00
Chris Lattner
071a5e5649 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
75648e7ae4 Add support for checking the select instruction 
llvm-svn: 12325
 2004-03-12 05:54:31 +00:00
Misha Brukman
c566ca36a1 Doxygenify comments. 
llvm-svn: 12071
 2004-03-02 00:22:19 +00:00
Chris Lattner
3705370df1 Fix Regression/Assembler/2004-02-27-SelfUseAssertError.ll 
llvm-svn: 11913
 2004-02-27 17:28:25 +00:00
Chris Lattner
d996e543eb Make the verifier a little more explicit about this problem. 
llvm-svn: 11811
 2004-02-24 22:06:07 +00:00
Chris Lattner
dc632111bf Add llvm.memset/frameaddress/returnaddress intrinsics. 
llvm-svn: 11431
 2004-02-14 02:47:17 +00:00
Chris Lattner
5ed171e317 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
17d028d52b Implement the llvm.memcpy intrinsic 
llvm-svn: 11349
 2004-02-12 17:01:09 +00:00
Chris Lattner
02062823f7 Fix check. PHI nodes must be handled specially, of course. 
llvm-svn: 10842
 2004-01-14 05:42:52 +00:00
Chris Lattner
ec5089a223 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
59f1ef40b0 Add support for new intrinsic 
llvm-svn: 10701
 2004-01-06 05:33:02 +00:00
Chris Lattner
3d903f0c0b 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
Chris Lattner
3ae303cc8c Check return types of functions 
llvm-svn: 10146
 2003-11-21 22:32:23 +00:00
Chris Lattner
dcdc371522 Fix problem Reid was having with external globals and nonexternal linkage 
llvm-svn: 10133
 2003-11-21 20:33:27 +00:00
Chris Lattner
189d19fb04 Finegrainify namespacification 
llvm-svn: 10131
 2003-11-21 20:23:48 +00:00
Chris Lattner
7e5e456d96 Fix some problems with assertions printing 
llvm-svn: 10129
 2003-11-21 17:35:51 +00:00
Chris Lattner
9d72c2f229 improve error message 
llvm-svn: 10128
 2003-11-21 17:06:29 +00:00
Brian Gaeke
9f47927b28 When failing a Verifier assertion, use WriteAsOperand to print out the 
offending types and/or values.

llvm-svn: 10041
 2003-11-16 23:07:42 +00:00
Chris Lattner
ef901291c6 Expose the verifier to opt 
llvm-svn: 9984
 2003-11-13 19:47:29 +00:00
Chris Lattner
3b93c91836 Detect problems with PHI node operands! 
llvm-svn: 9916
 2003-11-12 07:13:37 +00:00
Brian Gaeke
960707c335 Put all LLVM code into the llvm namespace, as per bug 109. 
llvm-svn: 9903
 2003-11-11 22:41:34 +00:00
John Criswell
482202a601 Added LLVM project notice to the top of every C++ source file. 
Header files will be on the way.

llvm-svn: 9298
 2003-10-20 19:43:21 +00:00
Chris Lattner
5b33748497 Add support for the new varargs intrinsics and instructions 
llvm-svn: 9226
 2003-10-18 05:57:43 +00:00
Misha Brukman
fa100531e1 Fix spelling/grammar. 
llvm-svn: 9023
 2003-10-10 17:54:14 +00:00
Chris Lattner
df9779c5c2 Be more careful handling PHI nodes, which might be of potentially high degree. 
This reduces the time to verify a function from eon with a large number of
large PHI nodes from 22996s (6.38 hours) to 10.5499s

llvm-svn: 8866
 2003-10-05 17:44:18 +00:00
Chris Lattner
5dac64f629 Rename Function::getEntryNode -> getEntryBlock 
llvm-svn: 8625
 2003-09-20 14:39:18 +00:00
Brian Gaeke
ff713ae819 Make createVerifierPass return a FunctionPass *. 
llvm-svn: 8449
 2003-09-10 19:37:04 +00:00
Chris Lattner
04ecefe232 Eliminate support for the llvm.unwind intrinisic, using the Unwind instruction instead 
llvm-svn: 8411
 2003-09-08 19:44:26 +00:00
Chris Lattner
ea9891311a As it turns out, things will be simpler than I first expected. We no longer 
need any exception handling intrinsics beyond llvm.unwind. (yaay)

llvm-svn: 8145
 2003-08-25 22:35:01 +00:00
Chris Lattner
7da3571af9 rethrow is really the language independent primitive here. "throw" can be written 
in terms of it and llvm.exc.setcurrent.

Rework the intrinsics.

llvm-svn: 8110
 2003-08-24 12:24:08 +00:00
Chris Lattner
ade9410c99 Initial support for recognizing LLVM exception handling intrinsics 
llvm-svn: 8102
 2003-08-24 05:30:29 +00:00
Chris Lattner
748e9e143b Add intrinsics for the llvm.sig(set|long)jmp functions 
llvm-svn: 7949
 2003-08-18 15:41:24 +00:00
Misha Brukman
7eb05a170a Spell `necessary' correctly. 
llvm-svn: 7944
 2003-08-18 14:43:39 +00:00
Chris Lattner
4159fdaef2 Add a bunch of new Alpha Intrinsics for Rahul Joshi 
llvm-svn: 7646
 2003-08-06 20:08:25 +00:00
Chris Lattner
60104f00c7 Add support for Alpha intrinsics, contributed by Rahul Joshi 
llvm-svn: 7373
 2003-07-28 21:20:57 +00:00
Chris Lattner
d295d99664 Fix (bogus) possibly uninitialized warning 
llvm-svn: 6634
 2003-06-05 21:01:26 +00:00
Chris Lattner
192623ec93 Add support for setjmp/longjmp primitives 
Patch checked in for Bill Wendling :)

llvm-svn: 6241
 2003-05-17 22:26:33 +00:00
Chris Lattner
bad4b4a52b llvm.va_start only takes on argument now 
Verify that va_start doesn't occur in functions with no varargs

llvm-svn: 6038
 2003-05-08 15:55:31 +00:00