RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-12-28 22:43:29 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
48,025 Commits 4 Branches 5 Tags 634 MiB
358888da3a
Commit Graph

378 Commits

Author SHA1 Message Date
Reid Spencer
3e54e72ef1 Fix minor doxygen nits. 
llvm-svn: 40854
 2007-08-05 20:06:04 +00:00
Chandler Carruth
00e56b0e81 This is the patch to provide clean intrinsic function overloading support in LLVM. It cleans up the intrinsic definitions and generally smooths the process for more complicated intrinsic writing. It will be used by the upcoming atomic intrinsics as well as vector and float intrinsics in the future. 
This also changes the syntax for llvm.bswap, llvm.part.set, llvm.part.select, and llvm.ct* intrinsics. They are automatically upgraded by both the LLVM ASM reader and the bitcode reader. The test cases have been updated, with special tests added to ensure the automatic upgrading is supported.

llvm-svn: 40807
 2007-08-04 01:51:18 +00:00
Reid Spencer
c103e8add9 After a discussion with Anton, it turns out that the InReg attribute is not 
permitted on function results. So, revert the last patch to make it illegal.

llvm-svn: 40632
 2007-07-31 14:39:10 +00:00
Reid Spencer
b0eeb23ce8 The InReg parameter attribute is valid on function results. The llvm-gcc-4.0 
front end converts regparm attribute on the gcc function into InReg attribute 
on the llvm function. This fixes test/CFrontend/2002-07-30-SubrefSetAssertion.c

llvm-svn: 40618
 2007-07-31 06:33:37 +00:00
Duncan Sands
88c9f25dbc It seems logical that InReg should be incompatible 
with StructReturn and ByVal, so make it so.

llvm-svn: 40554
 2007-07-27 16:45:18 +00:00
Duncan Sands
b7b28dc6d0 As the number of parameter attributes increases, 
Verifier::visitFunction is suffering a combinatorial
explosion due to the number of mutually incompatible
attributes.  This patch tidies the whole thing up
using attribute masks.  While there I fixed some
small bugs: (1) the ByVal attribute tests cast a
type to a pointer type, which can fail.  Yes, the
fact it is of a pointer type is checked before,
but a failing check does not cause the program
to exit, it continues on outputting further errors;
(2) Nothing was checking that an sret attribute is
on the first parameter; (3) nothing was checking that
a function for which isStructReturn() is true has a
parameter with the sret attribute and vice-versa (I
don't think it is possible for this to go wrong, but
it seems right to check it).

llvm-svn: 40553
 2007-07-27 15:09:54 +00:00
Duncan Sands
e8bb2c6d32 Support for trampolines, except for X86 codegen which is 
still under discussion.

llvm-svn: 40549
 2007-07-27 12:58:54 +00:00
Reid Spencer
4e179b88aa Make output match actual condition tested. Thanks, Duncan. 
llvm-svn: 40464
 2007-07-24 14:35:44 +00:00
Reid Spencer
b9f23cc28b 1. Make sure we print the Function Value for parameter attribute errors 
2. Fold an if statement into the Assert1 macro call.

llvm-svn: 40455
 2007-07-23 23:46:43 +00:00
Reid Spencer
6286ca1d69 Add better verification of attributes on function types. It is not permitted 
to use sret or inreg on the function. It is equally illegal to use noreturn
or nounwind on a parameter; they only go with the function. This patch
enforces these rules.

llvm-svn: 40453
 2007-07-23 23:09:55 +00:00
Rafael Espindola
d70763bb0e detect invalid combination of sret and byval 
llvm-svn: 39971
 2007-07-17 13:34:23 +00:00
Dan Gohman
0ba554c0c8 Fix comments about vectors to use the current wording. 
llvm-svn: 39921
 2007-07-16 14:29:03 +00:00
Rafael Espindola
c0d9376230 check for correct usage of the byval attribute 
llvm-svn: 38506
 2007-07-10 19:28:12 +00:00
Rafael Espindola
7b3de98989 Add the byval attribute 
llvm-svn: 37940
 2007-07-06 10:57:03 +00:00
Devang Patel
a8e236cab7 Use DominatorTree instead of ETForest. 
llvm-svn: 37538
 2007-06-11 15:40:48 +00:00
Zhou Sheng
030400527a Add assert to check if the attributes ZExt/SExt, NoAlias are apply to the 
correct type of parameters.

llvm-svn: 37486
 2007-06-07 06:12:03 +00:00
Devang Patel
cd45427a87 Drop 'const' 
llvm-svn: 36662
 2007-05-03 01:11:54 +00:00
Devang Patel
8ee9065162 Use 'static const char' instead of 'static const int'. 
Due to darwin gcc bug, one version of darwin linker coalesces
static const int, which defauts PassID based pass identification.

llvm-svn: 36652
 2007-05-02 21:39:20 +00:00
Devang Patel
38a66bc82e Do not use typeinfo to identify pass in pass manager. 
llvm-svn: 36632
 2007-05-01 21:15:47 +00:00
Anton Korobeynikov
cb2004f82c Implement review feedback 
llvm-svn: 36564
 2007-04-29 18:02:48 +00:00
Anton Korobeynikov
2070ca3361 Let Verifier check aliasees 
llvm-svn: 36540
 2007-04-28 14:35:41 +00:00
Anton Korobeynikov
45162c6dad Implement review feedback. Aliasees can be either GlobalValue's or 
bitcasts of them.

llvm-svn: 36537
 2007-04-28 13:45:00 +00:00
Anton Korobeynikov
25dc9a61cb Implement aliases. This fixes PR1017 and it's dependent bugs. CFE part 
will follow.

llvm-svn: 36435
 2007-04-25 14:27:10 +00:00
Chris Lattner
1907945816 Fix regressions introduced by my previous patch: opt calls verifier in a 
way that the "Mod" ivar was not getting set.

llvm-svn: 36291
 2007-04-20 23:59:29 +00:00
Chris Lattner
aff65c98a2 catch a case that was biting jeffc 
llvm-svn: 36284
 2007-04-20 21:48:08 +00:00
Chris Lattner
09139c7951 eliminate a use of Instruction::getPrev(), patch by Gabor Greif in 2005. 
llvm-svn: 36197
 2007-04-17 17:36:12 +00:00
Reid Spencer
82da0eb67c For PR1284: 
Implement the "part_set" intrinsic.

llvm-svn: 35938
 2007-04-12 02:48:46 +00:00
Chris Lattner
8557e71577 unbreak the build :( 
llvm-svn: 35857
 2007-04-10 03:18:19 +00:00
Jeff Cohen
9bc2960be6 Fix build problem. 
llvm-svn: 35856
 2007-04-10 03:10:46 +00:00
Reid Spencer
6eb55df794 Implement the llvm.bit.part_select.iN.iN.iN overloaded intrinsic. 
llvm-svn: 35678
 2007-04-04 23:48:25 +00:00
Reid Spencer
1db694fe4b For PR1297: 
1. Clear up confusion between "GotBits" and "ExpectBits". GotBits is the
   type actually provided. ExpectedBits is the type expected for the
   intrinsics. Before this patch, it was reversed!
2. Implement checks for overloaded intrinsics. This involves computing the
   suffix expected and making sure the suffix matches the function name. It
   also includes some intrinsic-specific checks such as ensuring that the
   bswap parameter and result are the same width and an even number of bytes.

llvm-svn: 35540
 2007-04-01 07:22:57 +00:00
Reid Spencer
e7ff3305d6 For PR1195: 
Change use of "packed" term to "vector" in comments, strings, variable
names, etc.

llvm-svn: 34300
 2007-02-15 03:39:18 +00:00
Reid Spencer
55e4e98a2a For PR1195: 
Rename PackedType -> VectorType, ConstantPacked -> ConstantVector, and
PackedTyID -> VectorTyID. No functional changes.

llvm-svn: 34293
 2007-02-15 02:26:10 +00:00
Chris Lattner
5a58a65c10 Switch ValueSymbolTable to use StringMap<Value*> instead of std::map<std::string, Value*> 
as its main datastructure.  There are many improvements yet to be made, but
this speeds up opt --std-compile-opts on 447.dealII by 7.3%.

llvm-svn: 34193
 2007-02-12 05:18:08 +00:00
Chris Lattner
a7ed569db1 convert some vectors to smallvector. 
llvm-svn: 34145
 2007-02-10 08:33:11 +00:00
Chris Lattner
8eb2002881 speed up the verifier 8.5% by using a smallvector instead of vector. 
llvm-svn: 34144
 2007-02-10 08:30:29 +00:00
Chris Lattner
a0792c722e Change an std::set to a SmallPtrSet. This speeds up the verifier on 
447.dealII from 1.27s to 0.86s.

llvm-svn: 34143
 2007-02-10 08:19:44 +00:00
Jim Laskey
7d5ddeb668 Support var arg intrinsics. 
llvm-svn: 33962
 2007-02-06 18:02:54 +00:00
Reid Spencer
6af21b3029 For PR411: 
This patch replaces the SymbolTable class with ValueSymbolTable which does
not support types planes. This means that all symbol names in LLVM must now
be unique. The patch addresses the necessary changes to deal with this and
removes code no longer needed as a result. This completes the bulk of the
changes for this PR. Some cleanup patches will follow.

llvm-svn: 33918
 2007-02-05 20:47:22 +00:00
Reid Spencer
591bfa1e0b Changes to support making the shift instructions be true BinaryOperators. 
This feature is needed in order to support shifts of more than 255 bits
on large integer types.  This changes the syntax for llvm assembly to
make shl, ashr and lshr instructions look like a binary operator:
   shl i32 %X, 1
instead of
   shl i32 %X, i8 1
Additionally, this should help a few passes perform additional optimizations.

llvm-svn: 33776
 2007-02-02 02:16:23 +00:00
Reid Spencer
19af04a142 For PR1136: Rename GlobalVariable::isExternal as isDeclaration to avoid 
confusion with external linkage types.

llvm-svn: 33663
 2007-01-30 20:08:39 +00:00
Anton Korobeynikov
611d5e2eda Propagate changes from my local tree. This patch includes: 
1. New parameter attribute called 'inreg'. It has meaning "place this
parameter in registers, if possible". This is some generalization of
gcc's regparm(n) attribute. It's currently used only in X86-32 backend.
2. Completely rewritten CC handling/lowering code inside X86 backend.
Merged stdcall + c CCs and fastcall + fast CC.
3. Dropped CSRET CC. We cannot add struct return variant for each
target-specific CC (e.g. stdcall + csretcc and so on).
4. Instead of CSRET CC introduced 'sret' parameter attribute. Setting in
on first attribute has meaning 'This is hidden pointer to structure
return. Handle it gently'.
5. Fixed small bug in llvm-extract + add new feature to
FunctionExtraction pass, which relinks all internal-linkaged callees
from deleted function to external linkage. This will allow further
linking everything together.

NOTEs: 1. Documentation will be updated soon.
       2. llvm-upgrade should be improved to translate csret => sret.
          Before this, there will be some unexpected test fails.
llvm-svn: 33597
 2007-01-28 13:31:35 +00:00
Chris Lattner
c5e1611848 rename Type::isIntegral to Type::isInteger, eliminating the old Type::isInteger. 
rename Type::getIntegralTypeMask to Type::getIntegerTypeMask.

This makes naming much more consistent.  For example, there are now no longer any
instances of IntegerType that are not considered isInteger! :)

llvm-svn: 33225
 2007-01-15 02:27:26 +00:00
Chris Lattner
f1797fe8bf teach VMCore to accept i1 add's and shifts 
llvm-svn: 33223
 2007-01-15 02:05:34 +00:00
Reid Spencer
373d2bccea For PR1064: 
Implement the arbitrary bit-width integer feature. The feature allows
integers of any bitwidth (up to 64) to be defined instead of just 1, 8,
16, 32, and 64 bit integers.

This change does several things:
1. Introduces a new Derived Type, IntegerType, to represent the number of
   bits in an integer. The Type classes SubclassData field is used to
   store the number of bits. This allows 2^23 bits in an integer type.
2. Removes the five integer Type::TypeID values for the 1, 8, 16, 32 and
   64-bit integers. These are replaced with just IntegerType which is not
   a primitive any more.
3. Adjust the rest of LLVM to account for this change.

Note that while this incremental change lays the foundation for arbitrary
bit-width integers, LLVM has not yet been converted to actually deal with
them in any significant way. Most optimization passes, for example, will
still only deal with the byte-width integer types.  Future increments
will rectify this situation.

llvm-svn: 33113
 2007-01-12 07:05:14 +00:00
Reid Spencer
f3265181e2 Rename BoolTy as Int1Ty. Patch by Sheng Zhou. 
llvm-svn: 33076
 2007-01-11 18:21:29 +00:00
Reid Spencer
cdaf88ff9d For PR411: 
Take an incremental step towards type plane elimination. This change
separates types from values in the symbol tables by finally making use
of the TypeSymbolTable class. This yields more natural interfaces for
dealing with types and unclutters the SymbolTable class.

llvm-svn: 32956
 2007-01-06 07:24:44 +00:00
Reid Spencer
4b18100144 Do not allow packed types for icmp and fcmp instructions. 
llvm-svn: 32865
 2007-01-04 05:22:18 +00:00
Reid Spencer
0e961ea8f7 For PR950: 
Change signed integer type names to unsigned equivalents.

llvm-svn: 32780
 2006-12-31 05:26:44 +00:00
Reid Spencer
4428c3483b For PR950: 
This patch removes the SetCC instructions and replaces them with the ICmp
and FCmp instructions. The SetCondInst instruction has been removed and
been replaced with ICmpInst and FCmpInst.

llvm-svn: 32751
 2006-12-23 06:05:41 +00:00
Chris Lattner
7329276511 Fix Regression/Verifier/invoke-1.ll 
llvm-svn: 32722
 2006-12-20 21:20:13 +00:00
Chris Lattner
e5e2285492 Revert the previous patch which was incorrect. This unbreaks eon, but rebreaks 
invoke-1.ll

llvm-svn: 32718
 2006-12-20 19:50:15 +00:00
Reid Spencer
f810a0cfab Remove a useless statement. 
llvm-svn: 32660
 2006-12-18 23:40:19 +00:00
Reid Spencer
24a09586a9 For PR1042: 
Fix a thinko. We want to check the second case if the first cast *didn't*
trigger.

llvm-svn: 32657
 2006-12-18 21:56:29 +00:00
Chris Lattner
f511077490 Fix PR1042, by tightening up the subtle rules with invoke value use. 
llvm-svn: 32624
 2006-12-16 02:25:35 +00:00
Chris Lattner
1228f12fb4 only check non-external functions 
llvm-svn: 32530
 2006-12-13 04:45:46 +00:00
Chris Lattner
be3585daa3 Reject attempts to define intrinsics. This fixes PR1047 and 
Regression/Verifier/2006-12-12-IntrinsicDefine.ll

llvm-svn: 32529
 2006-12-13 04:30:37 +00:00
Bill Wendling
fe0af72bc4 Don't use <sstream> in Streams.h but <iosfwd> instead. 
llvm-svn: 32340
 2006-12-07 23:41:45 +00:00
Bill Wendling
a3246c4272 Changed llvm_ostream et all to OStream. llvm_cerr, llvm_cout, llvm_null, are 
now cerr, cout, and NullStream resp.

llvm-svn: 32298
 2006-12-07 01:30:32 +00:00
Chris Lattner
3d1758e08c Remove the 'printname' argument to WriteAsOperand. It is always true, and 
passing false would make the asmprinter fail anyway.

llvm-svn: 32264
 2006-12-06 06:16:21 +00:00
Bill Wendling
aa02717a76 Changed to using LLVM streams. 
llvm-svn: 31955
 2006-11-28 02:09:03 +00:00
Reid Spencer
992d9788b3 For PR950: 
The long awaited CAST patch. This introduces 12 new instructions into LLVM
to replace the cast instruction. Corresponding changes throughout LLVM are
provided. This passes llvm-test, llvm/test, and SPEC CPUINT2000 with the
exception of 175.vpr which fails only on a slight floating point output
difference.

llvm-svn: 31931
 2006-11-27 01:05:10 +00:00
Reid Spencer
6e34ef887b For PR950: 
First in a series of patches to convert SetCondInst into ICmpInst and
FCmpInst using only two opcodes and having the instructions contain their
predicate value. Nothing uses these classes yet. More patches to follow.

llvm-svn: 31867
 2006-11-20 01:22:35 +00:00
Reid Spencer
d414793dbc For PR950: 
This patch implements the first increment for the Signless Types feature.
All changes pertain to removing the ConstantSInt and ConstantUInt classes
in favor of just using ConstantInt.

llvm-svn: 31063
 2006-10-20 07:07:24 +00:00
Anton Korobeynikov
7c2118575c Added some eye-candy for Subtarget type checking 
Added X86 StdCall & FastCall calling conventions. Codegen will follow.

llvm-svn: 30446
 2006-09-17 20:25:45 +00:00
Anton Korobeynikov
6e19f80688 Adding dllimport, dllexport and external weak linkage types. 
DLL* linkages got full (I hope) codegeneration support in C & both x86
assembler backends.
External weak linkage added for future use, we don't provide any
codegeneration, etc. support for it.

llvm-svn: 30374
 2006-09-14 18:23:27 +00:00
Chris Lattner
a39dcb5377 eliminate RegisterOpt. It does the same thing as RegisterPass. 
llvm-svn: 29925
 2006-08-27 22:42:52 +00:00
Chris Lattner
33bd5dcfb7 s|llvm/Support/Visibility.h|llvm/Support/Compiler.h| 
llvm-svn: 29911
 2006-08-27 12:54:02 +00:00
Reid Spencer
10b9edbb69 For PR780: 
1. Move IncludeFile.h to System library
2. Move IncludeFile.cpp to System library
3. #1 and #2 required to prevent cyclic library dependencies for libSystem
4. Convert all existing uses of Support/IncludeFile.h to System/IncludeFile.h
5. Add IncludeFile support to various lib/System classes.
6. Add new lib/System classes to LinkAllVMCore.h
All this in an attempt to pull in lib/System to what's required for VMCore

llvm-svn: 29287
 2006-07-26 16:18:00 +00:00
Chris Lattner
c46e26828e Fix PR826, testcase here: Regression/Verifier/2006-07-11-StoreStruct.ll 
llvm-svn: 29112
 2006-07-11 20:29:49 +00:00
Chris Lattner
c55abf6f70 Change the verifier to never throw an exception. Instead verifyModule canoptionally return the string error, which is an easier api for clients touse anyway. 
llvm-svn: 29017
 2006-07-06 18:02:27 +00:00
Chris Lattner
11f1b29308 Use hidden visibility to reduce the sizes of some .o files. This chops 60K off a release llvm-dis. 
llvm-svn: 28969
 2006-06-28 21:38:54 +00:00
Chris Lattner
cf73ab6b7c csret functions can be varargs (as can target cc's). Verify restrictions on 
csret functions.

llvm-svn: 28405
 2006-05-19 21:25:17 +00:00
Chris Lattner
703a8cf960 remove dead var 
llvm-svn: 28287
 2006-05-14 18:34:36 +00:00
Chris Lattner
73fc98fdeb Use the isValidOperands helper instead of duplicating checking code 
llvm-svn: 27524
 2006-04-08 04:07:52 +00:00
Chris Lattner
14b19acd56 Add shufflevector support, todo, implement better constant folding. 
llvm-svn: 27510
 2006-04-08 01:18:18 +00:00
Jeff Cohen
6c699c72a8 Fix build breakage. 
llvm-svn: 27292
 2006-03-31 07:22:05 +00:00
Chris Lattner
17549e4da1 Add a new method to verify intrinsic function prototypes. 
llvm-svn: 27282
 2006-03-31 04:46:47 +00:00
Chris Lattner
e428e4d828 Use the autogenerated intrinsic verifier 
llvm-svn: 26667
 2006-03-09 22:06:04 +00:00
Chris Lattner
dc7268f6a3 remove dbg_declare, it's not used yet. 
llvm-svn: 26659
 2006-03-09 20:02:42 +00:00
Chris Lattner
999aa36a04 remove the read/write port/io intrinsics. 
llvm-svn: 26479
 2006-03-03 00:19:58 +00:00
Chris Lattner
c8da528e6c 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
e930f6bafb Make sure the only user of InlineAsm's are direct calls. 
llvm-svn: 25626
 2006-01-26 00:08:45 +00:00
Reid Spencer
e14cf26e04 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
4e3d87a0dc VMCore support for the insertelement operation. 
llvm-svn: 25408
 2006-01-17 20:07:22 +00:00
Reid Spencer
3cecd3c4cf 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
bc3620ba6b 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
37428f4021 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
4750001146 Add bswap intrinsics as documented in the Language Reference 
llvm-svn: 25309
 2006-01-14 01:25:24 +00:00
Chris Lattner
e13a03d217 Add recognition and verification of new llvm.stacksave/llvm.stackrestore intrinsics 
llvm-svn: 25266
 2006-01-13 02:15:39 +00:00
Chris Lattner
376a82c32c 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
9a57550e4e Added support for the extractelement operation. 
llvm-svn: 25181
 2006-01-10 19:05:34 +00:00
Chris Lattner
d51de8d76f 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
dca2f13e76 continued readcyclecounter support 
llvm-svn: 24300
 2005-11-11 16:47:30 +00:00
Andrew Lenharth
a9214fec08 core changes for varargs 
llvm-svn: 22254
 2005-06-18 18:34:52 +00:00
Chris Lattner
fb4a99b117 Verify that varargs functions all have ccc 
llvm-svn: 21792
 2005-05-08 22:27:09 +00:00
Andrew Lenharth
8b64bd0fd5 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
234ffe2395 Add llvm.sqrt intrinsic, patch contributed by Morten Ofstad 
llvm-svn: 21627
 2005-04-30 03:44:07 +00:00
Misha Brukman
53e199440e Remove trailing whitespace 
llvm-svn: 21427
 2005-04-21 23:48:37 +00:00
Andrew Lenharth
c287cd1e4e 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
4b688a1c70 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
c4205a6b93 Verify llvm.prefetch. 
llvm-svn: 20376
 2005-02-28 19:27:42 +00:00
Chris Lattner
af54bd6050 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
7311de2af2 Use binary mode for reading/writing bytecode files 
llvm-svn: 19751
 2005-01-22 17:36:17 +00:00
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
Chris Lattner
f987c67a53 Check return types of functions 
llvm-svn: 10146
 2003-11-21 22:32:23 +00:00
Chris Lattner
1901b23d5d Fix problem Reid was having with external globals and nonexternal linkage 
llvm-svn: 10133
 2003-11-21 20:33:27 +00:00
Chris Lattner
a1da49a55c Finegrainify namespacification 
llvm-svn: 10131
 2003-11-21 20:23:48 +00:00
Chris Lattner
797e88aee9 Fix some problems with assertions printing 
llvm-svn: 10129
 2003-11-21 17:35:51 +00:00
Chris Lattner
acd028d92a improve error message 
llvm-svn: 10128
 2003-11-21 17:06:29 +00:00
Brian Gaeke
5db96ead48 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
34b44fd809 Expose the verifier to opt 
llvm-svn: 9984
 2003-11-13 19:47:29 +00:00
Chris Lattner
e72202b5b8 Detect problems with PHI node operands! 
llvm-svn: 9916
 2003-11-12 07:13:37 +00:00
Brian Gaeke
d25f86d683 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
b402729b30 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
29825508f0 Add support for the new varargs intrinsics and instructions 
llvm-svn: 9226
 2003-10-18 05:57:43 +00:00
Misha Brukman
c59161ff84 Fix spelling/grammar. 
llvm-svn: 9023
 2003-10-10 17:54:14 +00:00
Chris Lattner
e2a7875d26 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
d4de2760aa Rename Function::getEntryNode -> getEntryBlock 
llvm-svn: 8625
 2003-09-20 14:39:18 +00:00
Brian Gaeke
7eaecc239a Make createVerifierPass return a FunctionPass *. 
llvm-svn: 8449
 2003-09-10 19:37:04 +00:00
Chris Lattner
e8ae7bf114 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
e7a3a51c77 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
376a94de26 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
6fe728600d Initial support for recognizing LLVM exception handling intrinsics 
llvm-svn: 8102
 2003-08-24 05:30:29 +00:00
Chris Lattner
2c6666efc6 Add intrinsics for the llvm.sig(set|long)jmp functions 
llvm-svn: 7949
 2003-08-18 15:41:24 +00:00
Misha Brukman
56f7db4178 Spell `necessary' correctly. 
llvm-svn: 7944
 2003-08-18 14:43:39 +00:00
Chris Lattner
9d58af6fcf Add a bunch of new Alpha Intrinsics for Rahul Joshi 
llvm-svn: 7646
 2003-08-06 20:08:25 +00:00
Chris Lattner
b6db3e9a88 Add support for Alpha intrinsics, contributed by Rahul Joshi 
llvm-svn: 7373
 2003-07-28 21:20:57 +00:00
Chris Lattner
6366fa53e5 Fix (bogus) possibly uninitialized warning 
llvm-svn: 6634
 2003-06-05 21:01:26 +00:00
Chris Lattner
435e5592a9 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
746e408dd9 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
5dd2913d57 Add more support for intrinsic functions and for varargs stuff 
llvm-svn: 6035
 2003-05-08 03:47:33 +00:00
Chris Lattner
e1faff42f4 Add support for the new va_arg instruction 
llvm-svn: 6029
 2003-05-08 02:44:12 +00:00
Chris Lattner
869d67b885 Remove arbitrary limitation 
llvm-svn: 5818
 2003-04-19 00:50:37 +00:00
Chris Lattner
a9a0e4e780 Add code to verify correctly linkages 
llvm-svn: 5788
 2003-04-16 20:42:40 +00:00
Chris Lattner
e914281bf0 Fix bug Regression/Verifier/2002-11-05-GetelementptrPointers.ll 
llvm-svn: 5273
 2003-01-14 22:19:44 +00:00
Chris Lattner
5a5648e935 User defined operators are not supposed to live beyond the lifetime of the 
pass.  Detect and flag them.

llvm-svn: 4801
 2002-11-21 16:54:22 +00:00
Chris Lattner
b5027095e5 - Eliminated the deferred symbol table stuff in Module & Function, it really 
wasn't an optimization and it was causing lots of bugs.

llvm-svn: 4779
 2002-11-20 18:36:02 +00:00
Chris Lattner
82f54dca49 - Change Function's so that their argument list is populated when they are 
constructed.  Before, external functions would have an empty argument list,
    now a Function ALWAYS has a populated argument list.

llvm-svn: 4149
 2002-10-13 20:57:00 +00:00
Chris Lattner
d8244f43d4 Check that we don't have external varaibles with internal linkage 
llvm-svn: 4051
 2002-10-06 22:47:32 +00:00
Chris Lattner
53a414c3c4 PHI nodes are not allowed to exist with zero incoming values, check that 
there aren't any like this.

llvm-svn: 4044
 2002-10-06 21:00:31 +00:00
Chris Lattner
c86c7ecdb5 Make sure that we abort if an error happens as early as neccesary. Before 
it was possible for the passmanager to continue running passes after the
verifier even if the module was not well formed.

llvm-svn: 3820
 2002-09-19 16:12:19 +00:00
Chris Lattner
a88aeefa30 Fix typeo in assertion message 
llvm-svn: 3641
 2002-09-10 04:52:59 +00:00
Chris Lattner
aac1fc4581 Do not allow adds of pointer types, or many other operations on pointer types. 
llvm-svn: 3638
 2002-09-09 20:26:04 +00:00
Chris Lattner
20b85d96e4 Eliminated the MemAccessInst class, folding contents into GEP class. 
llvm-svn: 3487
 2002-08-22 23:37:20 +00:00
Chris Lattner
969c616d51 Load & StoreInst no longer derive from MemAccessInst, so we don't have 
to handle indexing anymore

llvm-svn: 3485
 2002-08-22 22:49:05 +00:00
Chris Lattner
91d4742562 - Cleaned up the interface to AnalysisUsage to take analysis class names 
instead of ::ID's.
 - Pass::getAnalysis<> now no longer takes an optional argument

llvm-svn: 3264
 2002-08-08 19:01:28 +00:00
Chris Lattner
e980c93ebc Implement dominator checking in the verifier, so that we check that all 
defintiions dominate their uses

llvm-svn: 3214
 2002-08-02 17:37:08 +00:00
Chris Lattner
f6ee6b24da Register Verifier pass 
llvm-svn: 3019
 2002-07-23 18:08:17 +00:00
Chris Lattner
9b1f5682b5 Add a hack to check for a subset of true dominance properties 
llvm-svn: 2947
 2002-07-18 00:13:42 +00:00
Anand Shukla
62f8f85b50 changes for 64bit gcc 
llvm-svn: 2801
 2002-06-25 22:07:38 +00:00