wangtao
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
30,074 Commits 29 Branches 0 Tags 2.2 GiB
Commit Graph

197 Commits

Author SHA1 Message Date
Chris Lattner d124535de1 Split memcpy/memset/memmove intrinsics into i32/i64 versions, resolving 
PR709, and paving the way for future progress.

Significantly refactor autoupgrading code, to handle the more complex case
(where we upgrade one argument in a function), and fix some bugs in it.

Testcase here: llvm/test/Regression/Bytecode/memcpy.ll

llvm-svn: 26474
 2006-03-02 23:58:40 +00:00
Chris Lattner 41eb5cd9c3 Make sure the only user of InlineAsm's are direct calls. 
llvm-svn: 25626
 2006-01-26 00:08:45 +00:00
Reid Spencer f8592bdea5 Don't accept the ctpop, cttz, or ctlz intrinsics with signed arguments. The 
interface requires unsigned arguments.

llvm-svn: 25433
 2006-01-19 01:20:03 +00:00
Robert Bocchino ca27f0320b VMCore support for the insertelement operation. 
llvm-svn: 25408
 2006-01-17 20:07:22 +00:00
Reid Spencer b4f9a6f110 For PR411: 
This patch is an incremental step towards supporting a flat symbol table.
It de-overloads the intrinsic functions by providing type-specific intrinsics
and arranging for automatically upgrading from the old overloaded name to
the new non-overloaded name. Specifically:
  llvm.isunordered -> llvm.isunordered.f32, llvm.isunordered.f64
  llvm.sqrt -> llvm.sqrt.f32, llvm.sqrt.f64
  llvm.ctpop -> llvm.ctpop.i8, llvm.ctpop.i16, llvm.ctpop.i32, llvm.ctpop.i64
  llvm.ctlz -> llvm.ctlz.i8, llvm.ctlz.i16, llvm.ctlz.i32, llvm.ctlz.i64
  llvm.cttz -> llvm.cttz.i8, llvm.cttz.i16, llvm.cttz.i32, llvm.cttz.i64
New code should not use the overloaded intrinsic names. Warnings will be
emitted if they are used.

llvm-svn: 25366
 2006-01-16 21:12:35 +00:00
Chris Lattner 087bb703d7 Thanks to Daniel Berlin's ETForest fix, we can now use it again for the verifier 
llvm-svn: 25345
 2006-01-15 21:58:50 +00:00
Chris Lattner 9a7e6c7ae0 ET-Forest has issues with unreachable blocks. Temporarily disable verifiers use 
of it until they are resolved.

llvm-svn: 25341
 2006-01-15 20:00:51 +00:00
Nate Begeman 82049eba2c Add bswap intrinsics as documented in the Language Reference 
llvm-svn: 25309
 2006-01-14 01:25:24 +00:00
Chris Lattner c482f16da1 Add recognition and verification of new llvm.stacksave/llvm.stackrestore intrinsics 
llvm-svn: 25266
 2006-01-13 02:15:39 +00:00
Chris Lattner dc09e40c9d Convert the verifier over to use ETForest instead of DominatorSet. Patch 
by Daniel Berlin

llvm-svn: 25242
 2006-01-12 06:17:59 +00:00
Robert Bocchino 230044839d Added support for the extractelement operation. 
llvm-svn: 25181
 2006-01-10 19:05:34 +00:00
Chris Lattner dca56cbd9a Get logical operations to like packed types, allow BinOp::getNot to create 
the right vector of -1's as its operand.

llvm-svn: 24906
 2005-12-21 18:22:19 +00:00
Andrew Lenharth 01aa56397d continued readcyclecounter support 
llvm-svn: 24300
 2005-11-11 16:47:30 +00:00
Andrew Lenharth 9144ec4764 core changes for varargs 
llvm-svn: 22254
 2005-06-18 18:34:52 +00:00
Chris Lattner 2ad5aa8334 Verify that varargs functions all have ccc 
llvm-svn: 21792
 2005-05-08 22:27:09 +00:00
Andrew Lenharth 5e177826fd Implement count leading zeros (ctlz), count trailing zeros (cttz), and count 
population (ctpop).  Generic lowering is implemented, however only promotion
is implemented for SelectionDAG at the moment.

More coming soon.

llvm-svn: 21676
 2005-05-03 17:19:30 +00:00
Chris Lattner 1c636f1118 Add llvm.sqrt intrinsic, patch contributed by Morten Ofstad 
llvm-svn: 21627
 2005-04-30 03:44:07 +00:00
Misha Brukman b1c9317bb4 Remove trailing whitespace 
llvm-svn: 21427
 2005-04-21 23:48:37 +00:00
Andrew Lenharth b442791124 First step in adding pcmarker intrinsic. Second step (soon) is adding backend support. 
llvm-svn: 20900
 2005-03-28 20:05:49 +00:00
Chris Lattner 531f9e92d4 This mega patch converts us from using Function::a{iterator|begin|end} to 
using Function::arg_{iterator|begin|end}.  Likewise Module::g* -> Module::global_*.

This patch is contributed by Gabor Greif, thanks!

llvm-svn: 20597
 2005-03-15 04:54:21 +00:00
Chris Lattner 39637ef023 Verify llvm.prefetch. 
llvm-svn: 20376
 2005-02-28 19:27:42 +00:00
Chris Lattner 08f7d0c262 Fix some problems where the verifier would crash on invalid input instead of 
reporting the problem and exiting.

llvm-svn: 20302
 2005-02-24 16:58:29 +00:00
Jeff Cohen c8f1f4bc8e Use binary mode for reading/writing bytecode files 
llvm-svn: 19751
 2005-01-22 17:36:17 +00:00
Chris Lattner e340065558 Add a verifier assertion 
llvm-svn: 18965
 2004-12-15 20:23:49 +00:00
Alkis Evlogimenos be526cfba4 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 b92de19116 Make error msg reflect what exactly went wrong. 
llvm-svn: 18478
 2004-12-04 01:25:06 +00:00
Misha Brukman 8d8fc6529e The Alpha (tm) intrinsics have never been used anywhere 
llvm-svn: 17340
 2004-10-29 18:43:17 +00:00
Chris Lattner cde15fb187 Make sure to check select instructions for generic instruction properties 
llvm-svn: 16597
 2004-09-29 21:19:28 +00:00
Chris Lattner c9e79d005b 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 7c16caa336 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 0220904e7a Packed types, brought to you by Brad Jones 
llvm-svn: 15938
 2004-08-20 06:00:58 +00:00
Chris Lattner 001aba76fd Updates to gc intrinsics, contributed by Tobias Nurmiranta 
llvm-svn: 15096
 2004-07-22 05:50:01 +00:00
Reid Spencer 49fc8a746e bug 122: 
- Correct an assert to not have redundant isa<GlobalValue>

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

llvm-svn: 14374
 2004-06-24 21:47:35 +00:00
Chris Lattner 395e219a1c Minor cleanup 
llvm-svn: 14199
 2004-06-17 17:56:54 +00:00
Chris Lattner fbf4dc3bd0 isnan is dead 
llvm-svn: 14191
 2004-06-15 21:52:58 +00:00
Alkis Evlogimenos cf9f8f1762 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 9d740629a0 Add the isunordered intrinsic. 
llvm-svn: 14159
 2004-06-12 19:19:14 +00:00
Chris Lattner 8f69c9e439 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 d0b5d0c7cc Add the isunordered intrinsic. 
llvm-svn: 14127
 2004-06-11 01:08:18 +00:00
Chris Lattner 71dbebf411 Fix PR361. 
Dominance properties don't hold in unreachable code

llvm-svn: 14053
 2004-06-07 23:07:33 +00:00
Chris Lattner 307e1df0d1 Fix GCC warning 
llvm-svn: 14045
 2004-06-05 17:44:48 +00:00
Chris Lattner 61bd8b3810 Work around VS bug 
llvm-svn: 14036
 2004-06-05 00:22:04 +00:00
Chris Lattner f75832b015 * 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 4148139dd9 Fix for bug 348. 
The SymbolTable changes caused this one too.

llvm-svn: 13859
 2004-05-27 21:58:13 +00:00
Reid Spencer 47cf71a61e Convert to SymbolTable's new iteration interface. Remove tabs. 
llvm-svn: 13753
 2004-05-25 08:53:29 +00:00
Chris Lattner 9c251eb0ad Recognize and verify the new GC intrinsics. 
llvm-svn: 13687
 2004-05-23 21:16:51 +00:00
Chris Lattner ab5aa14403 Fix for PR340: Verifier misses malformed switch instruction 
llvm-svn: 13618
 2004-05-21 16:47:21 +00:00
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
Chris Lattner bb346d07b5 Add more support for intrinsic functions and for varargs stuff 
llvm-svn: 6035
 2003-05-08 03:47:33 +00:00