RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-24 11:42:57 +01:00
Code Issues Projects Releases Wiki Activity
40,460 Commits 4 Branches 5 Tags 704 MiB
dcd4752642
Commit Graph

2325 Commits

Author SHA1 Message Date
Chris Lattner
57bd4076b5 indentation fix. 
llvm-svn: 49964
 2008-04-19 21:13:00 +00:00
Dale Johannesen
87b88d2a8f Don't read off end of the input array. 
llvm-svn: 49799
 2008-04-16 17:31:41 +00:00
Owen Anderson
030428b435 Major repairs to the post-dominators implementation. Patch from Florian Brandner! 
llvm-svn: 49768
 2008-04-16 04:21:16 +00:00
Dan Gohman
6c8b715be0 VAArg may trap. 
llvm-svn: 49646
 2008-04-14 15:07:08 +00:00
Duncan Sands
c5f548f784 Merge LLVMBuilder and FoldingBuilder, calling 
the result IRBuilder.  Patch by Dominic Hamon.

llvm-svn: 49604
 2008-04-13 06:22:09 +00:00
Dan Gohman
26c2127be9 Make several symbols static. 
llvm-svn: 49496
 2008-04-10 21:11:47 +00:00
Chris Lattner
843ee88189 add a simplified accessor for creating an fp constant of a 
particular value but variable type.

llvm-svn: 49416
 2008-04-09 06:38:30 +00:00
Chris Lattner
9d4d2f566e add a version of ConstantFP::get that doesn't take a redundant Type* value, 
start migrating code over to use it.

llvm-svn: 49413
 2008-04-09 00:45:01 +00:00
Duncan Sands
f86399a00f Convenience method for setting the nounwind 
attribute for a function.

llvm-svn: 49373
 2008-04-08 07:23:58 +00:00
Duncan Sands
c68e092c44 Make sure that intrinsics automagically get the 
right parameter attributes no matter how they
are obtained.

llvm-svn: 49335
 2008-04-07 13:39:11 +00:00
Gabor Greif
c82cfa3755 fix a warning 
llvm-svn: 49282
 2008-04-06 21:42:13 +00:00
Gabor Greif
6c6b8a57f3 API changes for class Use size reduction, wave 1. 
Specifically, introduction of XXX::Create methods
for Users that have a potentially variable number of
Uses.

llvm-svn: 49277
 2008-04-06 20:25:17 +00:00
Chris Lattner
d141d16ed7 Change the MemoryBuffer::getFile* methods to take just a pointer to the 
start of a filename, not a filename+length.  All clients can produce a
null terminated name, and the system api's require null terminated 
strings anyway.

llvm-svn: 49041
 2008-04-01 18:04:03 +00:00
Nate Begeman
610aa2511c Don't eliminate bitcast instructions that change the type of a pointer 
llvm-svn: 48971
 2008-03-31 00:22:16 +00:00
Duncan Sands
39afad0613 Fix comment typo. 
llvm-svn: 48967
 2008-03-30 19:38:55 +00:00
Nick Lewycky
96038a0528 Update example to new syntax. 
llvm-svn: 48910
 2008-03-28 06:46:51 +00:00
Dan Gohman
2b96ce84aa Add explicit keywords. 
llvm-svn: 48801
 2008-03-25 22:06:05 +00:00
Evan Cheng
8cb64d8e8b Handle a special case xor undef, undef -> 0. Technically this should be transformed to undef. But this is such a common idiom (misuse) we are going to handle it. 
llvm-svn: 48792
 2008-03-25 20:08:07 +00:00
Bill Wendling
b433b67093 Fix PR2062: Don't build Intrinsics.gen in the source directory. Do it in the 
object directory.

llvm-svn: 48766
 2008-03-25 09:12:48 +00:00
Dan Gohman
fec60bb357 Shrink the size of AllocationInst by using its SubclassData 
field to store the alignment value instead of haing a
separate field.

llvm-svn: 48727
 2008-03-24 16:55:58 +00:00
Gordon Henriksen
52f3a08237 Objective Caml bindings for basic block, function, global, and arg iterators. 
llvm-svn: 48711
 2008-03-23 22:21:29 +00:00
Anton Korobeynikov
5dfc7591ef Fix merge error 
llvm-svn: 48687
 2008-03-22 08:50:08 +00:00
Anton Korobeynikov
25a0157827 Add testcase for prev. commit. Minor fixes 
llvm-svn: 48686
 2008-03-22 08:37:05 +00:00
Anton Korobeynikov
197f07a72b Aliasing chains cleanups: update langref, add check into verifier 
llvm-svn: 48685
 2008-03-22 08:36:14 +00:00
Anton Korobeynikov
06f3b7f4ee Support chained aliases for LLVM IR printing. This fixes PR2145 
llvm-svn: 48684
 2008-03-22 08:17:17 +00:00
Anton Korobeynikov
6ba56eb5e7 Slightly increase default set size. It's cheap and won't hurt. 
llvm-svn: 48682
 2008-03-22 07:48:40 +00:00
Dan Gohman
a363ba510c Don't include <map> in Pass.h, which doesn't need it. This requires 
adding <map> to many files that actually do need it.

llvm-svn: 48667
 2008-03-21 23:51:57 +00:00
Duncan Sands
a53967843f Make it possible to get an empty struct using 
the new StructType::get method.  The second NULL
is to pacify the gcc warning mechanism.  This
patch compiles but is otherwise untested.

llvm-svn: 48645
 2008-03-21 15:53:17 +00:00
Evan Cheng
4ae9fee64c Undo 48570. Correctly match mmx shift instructions with an immediate operand. 
llvm-svn: 48627
 2008-03-21 00:40:09 +00:00
Devang Patel
1b64c7d1e5 These passes preserve CFG. 
This patch fixes Benchmarks/Trimaran/enc-pc1/enc-pc1 failure reported by Grawp-PIC i386 nightly tester

llvm-svn: 48623
 2008-03-20 23:27:18 +00:00
Devang Patel
f15fe34521 Restore isCFGOnly property of various analysis passes. 
llvm-svn: 48579
 2008-03-20 02:25:21 +00:00
Devang Patel
e4f39224eb Keep track of analysis information inherited from Module pass manager. 
llvm-svn: 48576
 2008-03-20 01:09:53 +00:00
Evan Cheng
6f729b2820 Add intrinsics to match mmx shift builtin's with immediate operand. 
llvm-svn: 48569
 2008-03-19 23:38:52 +00:00
Devang Patel
3af681c5fb #if 1 .. #endif markers do not add any value. 
llvm-svn: 48560
 2008-03-19 22:24:25 +00:00
Devang Patel
5e8cbbea65 PassInfo keep tracks whether a pass is an analysis pass or not. 
llvm-svn: 48554
 2008-03-19 21:56:59 +00:00
Chris Lattner
1642451cf7 add some convenience methods for creating GEP instructions and 
struct types.  Patch by David Chisnall, with some tweaks.

llvm-svn: 48531
 2008-03-19 05:06:05 +00:00
Gordon Henriksen
e4b3339de8 C bindings for Module-, Function-, and BasicBlock::iterator. 
llvm-svn: 48528
 2008-03-19 03:47:18 +00:00
Gordon Henriksen
15006d5da0 C and Objective Caml bindings for the various getParent methods of the IR. 
Based on Erick Tryzelaar's patch.

llvm-svn: 48523
 2008-03-19 01:11:35 +00:00
Devang Patel
38f181fa8c Do not use virtual function to identify an analysis pass. 
llvm-svn: 48520
 2008-03-19 00:48:41 +00:00
Devang Patel
811ca3ddba Identify Analysis pass. 
Do not run analysis pass again if analysis info is still available.
This fixes PR1441.

llvm-svn: 48476
 2008-03-18 00:39:19 +00:00
Gordon Henriksen
caeafc4911 C and Objective Caml bindings for PassManagers. 
llvm-svn: 48413
 2008-03-16 04:20:44 +00:00
Gordon Henriksen
7ebaba8579 Expose Module::dump via C and Ocaml. 
Patch by Erick Tryzelaar.

llvm-svn: 48379
 2008-03-14 23:58:56 +00:00
Dan Gohman
37a26f973f Update comments; getPassName no longer uses RTTI. 
llvm-svn: 48369
 2008-03-14 18:27:04 +00:00
Chris Lattner
a14cdebdd9 move a bunch of trivial methods to be inline. 
llvm-svn: 48326
 2008-03-13 05:00:21 +00:00
Chris Lattner
d4a9aafc3f Various improvements suggested by Duncan 
llvm-svn: 48325
 2008-03-13 04:33:03 +00:00
Dan Gohman
e84a9f3740 Eliminate a few unnecessary uses of dynamic_cast. 
llvm-svn: 48318
 2008-03-13 02:08:36 +00:00
Dan Gohman
548e24d9ae Fix a typo. 
llvm-svn: 48317
 2008-03-13 01:58:48 +00:00
Dan Gohman
971fdb877c Don't redundantly clear std::vector members in destructors. 
llvm-svn: 48316
 2008-03-13 01:57:34 +00:00
Dan Gohman
abf6c9aa1d Change PMTopLevelManager's PassManagers vector element type from 
Pass* to PMDataManager*. PMDataManager is more specific than Pass,
so this more accurately describes the objects that are being stored.

This eliminates the need for several dynamic_casts to PMDataManager*.
It does introduce one dynamic_cast though, in dumpPasses(). Give
this one a comment describing why a dynamic_cast is being used.

llvm-svn: 48315
 2008-03-13 01:48:32 +00:00
Dan Gohman
70f4b55e3f Change PMStack::push to accept a PMDataManager* instead of 
a Pass*. PMDataManager* is what it actually holds, so this
makes it clearer.

llvm-svn: 48314
 2008-03-13 01:21:31 +00:00
Chris Lattner
7925cc72c0 Reimplement the parameter attributes support, phase #1. hilights: 
1. There is now a "PAListPtr" class, which is a smart pointer around
   the underlying uniqued parameter attribute list object, and manages
   its refcount.  It is now impossible to mess up the refcount.
2. PAListPtr is now the main interface to the underlying object, and
   the underlying object is now completely opaque.
3. Implementation details like SmallVector and FoldingSet are now no
   longer part of the interface.
4. You can create a PAListPtr with an arbitrary sequence of
   ParamAttrsWithIndex's, no need to make a SmallVector of a specific 
   size (you can just use an array or scalar or vector if you wish).
5. All the client code that had to check for a null pointer before
   dereferencing the pointer is simplified to just access the 
   PAListPtr directly.
6. The interfaces for adding attrs to a list and removing them is a
   bit simpler.

Phase #2 will rename some stuff (e.g. PAListPtr) and do other less 
invasive changes.

llvm-svn: 48289
 2008-03-12 17:45:29 +00:00
Anton Korobeynikov
38bc6e43f7 Add helper for ultimate aliasee resoltion 
llvm-svn: 48255
 2008-03-11 22:28:56 +00:00
Dan Gohman
2b0112a65a Give PassManager and FunctionPassManager a common base class, with 
add(Pass *) as a pure virtual member function. This will allow all
the various addPassesTo* functions in LLVM to avoid hard-coding what
type of PassManager is used. 

llvm-svn: 48226
 2008-03-11 16:41:42 +00:00
Dan Gohman
54b152cbbf Fix typos in comments. 
llvm-svn: 48225
 2008-03-11 16:18:48 +00:00
Dan Gohman
13e8dd3b34 Use utostr instead of a stringstream. 
llvm-svn: 48198
 2008-03-10 23:55:07 +00:00
Dan Gohman
0b00b3b786 Initialize ArgTypes directly instead of manually copying in the elements. 
llvm-svn: 48195
 2008-03-10 23:41:23 +00:00
Dan Gohman
70ab77e185 Remove an unnecessary #include 
llvm-svn: 48193
 2008-03-10 23:37:12 +00:00
Nick Lewycky
5dd879d5b5 Turn unwind_to into "unwinds to". 
llvm-svn: 48123
 2008-03-10 02:20:00 +00:00
Nick Lewycky
c64eb33c52 Two things. Preserve the unwind_to when splitting a BB. 
Add the ability to remove just one instance of a BB from a phi node. This fixes
the compile error in the tree now.

llvm-svn: 48085
 2008-03-09 05:04:48 +00:00
Dan Gohman
8ff072e188 Remove unused runPass methods. 
llvm-svn: 48044
 2008-03-08 01:43:56 +00:00
Devang Patel
a97b000dcc Check struct return type first. 
llvm-svn: 47922
 2008-03-05 00:27:05 +00:00
Devang Patel
a33f4b4cc7 Print types for all ret operands. 
llvm-svn: 47911
 2008-03-04 22:05:14 +00:00
Devang Patel
26d0fac377 Revert SmallVector ctor variants. 
llvm-svn: 47908
 2008-03-04 21:54:56 +00:00
Devang Patel
27426dedc0 Add FunctionType ctor variant that takes SmallVector params. 
llvm-svn: 47895
 2008-03-04 18:57:05 +00:00
Devang Patel
d0d7028a2b s/isReturnStruct()/hasStructRetAttr()/g 
llvm-svn: 47857
 2008-03-03 21:46:28 +00:00
Devang Patel
f5e729f70b If a function uses multive values in ret instruction then it 
is returning a struct value.

llvm-svn: 47848
 2008-03-03 18:58:16 +00:00
Chris Lattner
ffde7a642a Add a new ShuffleVectorInst::getMaskValue method. 
llvm-svn: 47813
 2008-03-02 05:28:33 +00:00
Nick Lewycky
b02fe64d8b Add an unwind_to field to basic blocks, making them Users instead of Values. 
This is the first checkin for PR1269, the new EH infrastructure.

llvm-svn: 47802
 2008-03-02 02:48:09 +00:00
Nick Lewycky
c0b361a17c Print the name, not a pointer. 
llvm-svn: 47796
 2008-03-01 17:20:55 +00:00
Chris Lattner
64e101b2d9 Fix PR2113 by verifying allocations. 
llvm-svn: 47792
 2008-03-01 09:01:57 +00:00
Dan Gohman
3491cd8454 Use the new convertFromAPInt instead of convertFromZeroExtendedInteger. 
llvm-svn: 47744
 2008-02-29 01:42:52 +00:00
Devang Patel
351830e819 Remove dead code. 
llvm-svn: 47700
 2008-02-27 23:33:51 +00:00
Devang Patel
c68e26f9fe Add comment. 
llvm-svn: 47653
 2008-02-27 01:20:54 +00:00
Devang Patel
98774b4b6a Add assert to check return type. 
llvm-svn: 47637
 2008-02-26 22:55:21 +00:00
Devang Patel
5c00c6bafa Remove unncessary ReturnInst constructors. 
llvm-svn: 47633
 2008-02-26 22:12:58 +00:00
Devang Patel
0be97b2118 Use SmallVector while constructing ReturnInst. 
llvm-svn: 47619
 2008-02-26 19:38:17 +00:00
Devang Patel
e5766a12da Avoid const_casts 
llvm-svn: 47616
 2008-02-26 19:15:26 +00:00
Devang Patel
6d492c3caf Remove unnecessary getOperand/setOperand overriders. 
Simplify getReturnValue()

llvm-svn: 47614
 2008-02-26 19:08:13 +00:00
Devang Patel
e0f9c6f281 Unify to ReturnInst::init() member functions. 
llvm-svn: 47611
 2008-02-26 18:49:29 +00:00
Devang Patel
b35d15edf9 Optimize most common case by using single RetVal in ReturnInst. 
llvm-svn: 47607
 2008-02-26 17:56:20 +00:00
Devang Patel
5b3d61f5ed Pass const vectors by reference. 
llvm-svn: 47577
 2008-02-26 00:12:13 +00:00
Devang Patel
03a99197aa print getresult operand and its type directly. 
llvm-svn: 47514
 2008-02-23 01:04:26 +00:00
Devang Patel
63d29fccdf Use dyn_cast instead of isa + cast. 
llvm-svn: 47511
 2008-02-23 00:47:00 +00:00
Devang Patel
f674975a65 To support multiple return values, now ret instruction supports multiple operands instead of one aggregate operand. 
llvm-svn: 47508
 2008-02-23 00:35:18 +00:00
Dale Johannesen
ae08bdb4cf Split ParameterAttributes.h, putting the complicated 
stuff into ParamAttrsList.h.  Per feedback from
ParamAttrs changes.

llvm-svn: 47504
 2008-02-22 22:17:59 +00:00
Dale Johannesen
a96eb3a1d8 Pass alignment on ByVal parameters, from FE, all 
the way through.  It is now used for codegen.

llvm-svn: 47484
 2008-02-22 17:49:45 +00:00
Devang Patel
066973767f Print getresult instruction properly. 
llvm-svn: 47473
 2008-02-22 03:10:23 +00:00
Devang Patel
2754d59c53 Print ret instruction that returns aggregates. 
llvm-svn: 47472
 2008-02-22 02:50:49 +00:00
Devang Patel
c5dccfdd74 print getresult instruction. 
llvm-svn: 47461
 2008-02-21 23:02:20 +00:00
Devang Patel
298b5f1d6c Use isa<> instead of getTypeID() to check StructType. 
llvm-svn: 47460
 2008-02-21 22:24:17 +00:00
Devang Patel
e60ebc7744 Let invoke return aggregate value. 
llvm-svn: 47425
 2008-02-21 02:14:01 +00:00
Devang Patel
702c4a60a6 Let function call return aggregate. 
Now, we have very first multiple return value testcase!

llvm-svn: 47424
 2008-02-21 01:54:02 +00:00
Devang Patel
d2142aeb44 What if functions can return aggregate values ? 
One small step towards multiple return value support.

llvm-svn: 47406
 2008-02-20 22:36:03 +00:00
Devang Patel
4034343b67 getresult does not support nested aggregates. 
llvm-svn: 47396
 2008-02-20 19:39:41 +00:00
Devang Patel
f114189912 Verifier should use Assert1 instead of assert. 
llvm-svn: 47394
 2008-02-20 19:32:20 +00:00
Devang Patel
de35f122f2 getresult type is the type of indexed aggregate element 
llvm-svn: 47392
 2008-02-20 19:26:55 +00:00
Devang Patel
6266d7147e Specify GetResultInst index as an unsigned. 
llvm-svn: 47390
 2008-02-20 19:10:47 +00:00
Devang Patel
019b5585e8 Use isValidOperands() to verify GetResultInst. 
llvm-svn: 47387
 2008-02-20 18:36:46 +00:00
Anton Korobeynikov
c41f5b6af4 Fix newly-introduced 4.3 warnings 
llvm-svn: 47375
 2008-02-20 12:07:57 +00:00
Anton Korobeynikov
0c5e186924 Unbreak build with gcc 4.3: provide missed includes and silence most annoying warnings. 
llvm-svn: 47367
 2008-02-20 11:08:44 +00:00
Dale Johannesen
7eccf11cfb Add Alignment field to ParameterAttributes and 
treat more or less rationally in interface
functions, subject to change.  No functional change.

llvm-svn: 47352
 2008-02-19 23:51:49 +00:00
Devang Patel
a74d2cbb6f Add GetResultInst. First step for multiple return value support. 
llvm-svn: 47348
 2008-02-19 22:15:16 +00:00
Dale Johannesen
ecb2b233b1 Expand ParameterAttributes to 32 bits (in preparation 
for adding alignment info, not there yet).  Clean up
interfaces to reference ParameterAttributes consistently.

llvm-svn: 47342
 2008-02-19 21:38:47 +00:00
Chris Lattner
85482657eb Fix some minor issues folding undef, PR2052 
llvm-svn: 47314
 2008-02-19 06:22:12 +00:00
Duncan Sands
a85448506d Simplify caller updating using a CallSite, as 
requested by Chris.  While there, do the same
for an existing function committed by someone
called "lattner" :)

llvm-svn: 47273
 2008-02-18 17:32:13 +00:00
Owen Anderson
e4e1706f95 I got the predicate backwards in my last patch. The comment is correct, the code was not. 
llvm-svn: 47264
 2008-02-18 09:22:21 +00:00
Owen Anderson
18a7d290cb Duncan pointed out that we can fast fail here, because the sret parameter of 
a function must be the first parameter.

llvm-svn: 47254
 2008-02-18 04:06:26 +00:00
Owen Anderson
48dd6a0f96 Add a predicate to Argument to check for the StructRet attribute. 
llvm-svn: 47248
 2008-02-17 23:22:28 +00:00
Duncan Sands
753597d1cf Some micro-optimizations. 
llvm-svn: 47219
 2008-02-16 20:53:06 +00:00
Chris Lattner
bab03a1b50 targets that support quotes for mangled names still need to escape newlines 
when they occur in the name, just like " is escaped.

llvm-svn: 47169
 2008-02-15 18:54:56 +00:00
Chris Lattner
22696c10f0 check that terminators only occur at the end of a block. This catches the 
common problem of putting two terminators in the same block.  I can't write
a testcase for this because the .ll parser rejects this before the verifier
can, but this can occur when generating IR.

llvm-svn: 46900
 2008-02-09 01:06:01 +00:00
Dan Gohman
b4aa0b2a15 Fix a typo in a comment. 
llvm-svn: 46836
 2008-02-07 02:30:40 +00:00
Devang Patel
cad20dbdb0 Add comment explaining what is lower level analysis pass. 
llvm-svn: 46658
 2008-02-02 01:43:30 +00:00
Gordon Henriksen
b75d9e974d Fixing a bug creating floating point constants of type other 
than double through the C bindings. Thanks to Tomas Lindquist
Olsen for reporting it.

llvm-svn: 46656
 2008-02-02 01:07:50 +00:00
Dan Gohman
241714222a Fix 80-col violations. 
llvm-svn: 46510
 2008-01-29 12:09:55 +00:00
Dan Gohman
522401f26e Add explicit keywords. 
llvm-svn: 46506
 2008-01-29 11:36:12 +00:00
Nick Lewycky
6b070b1b93 Handle some more combinations of extend and icmp. Fixes PR1940. 
llvm-svn: 46431
 2008-01-28 03:48:02 +00:00
Chris Lattner
5740a10d2c Add hasByValAttr() and hasNoAliasAttr() methods to the Argument class. 
llvm-svn: 46314
 2008-01-24 17:47:11 +00:00
Duncan Sands
fe83650649 It turns out that in C++ it is legal to declare functions 
that return an opaque type by value, as long as you don't
call it or provide a body (you can take the address of it).
So it is wrong to insist that sret parameters not be an
opaque*.  And I guess it is really up to codegen to complain
if someone tries to call such a function.  I'm also removing
the analogous check from byval parameters, since I don't
see why we shouldn't allow them as long as no-one tries to
call the function or give it a body.

llvm-svn: 46216
 2008-01-21 21:37:41 +00:00
Duncan Sands
50df31d59a Check that sret is only used on pointers to types 
with a size, like byval.

llvm-svn: 46207
 2008-01-21 11:28:49 +00:00
Duncan Sands
26de25066c Be consistent with other attribute methods, and 
check the callee also if it is known.

llvm-svn: 46206
 2008-01-21 11:27:55 +00:00
Chris Lattner
2595fd0ca7 improve compatibility with mingw, patch by Alain Frisch 
llvm-svn: 46026
 2008-01-15 22:50:50 +00:00
Bill Wendling
0ad07f292c Reformatted. It was confusing the other way. No functionality change. 
llvm-svn: 46009
 2008-01-15 21:16:32 +00:00
Duncan Sands
087d6020ee Simplify CallInst::hasByValArgument using a new method. 
llvm-svn: 45974
 2008-01-14 19:57:00 +00:00
Duncan Sands
81e35b4d47 I noticed that the trampoline straightening transformation could 
drop attributes on varargs call arguments.  Also, it could generate
invalid IR if the transformed call already had the 'nest' attribute
somewhere (this can never happen for code coming from llvm-gcc,
but it's a theoretical possibility).  Fix both problems.

llvm-svn: 45973
 2008-01-14 19:52:09 +00:00
Evan Cheng
12fb1dc67e Simplify code. 
llvm-svn: 45950
 2008-01-14 02:38:45 +00:00
Duncan Sands
86c17f2ebf Allow the byval attribute for pointers to any type with 
a size, not just structs.

llvm-svn: 45938
 2008-01-13 21:19:12 +00:00
Evan Cheng
a5183224b0 Add hasByValArgument() to test if a call instruction has byval argument(s). 
llvm-svn: 45913
 2008-01-12 18:57:32 +00:00
Duncan Sands
3b617cbe30 Be more liberal in what parameter attributes are 
allowed on the vararg arguments of a call.

llvm-svn: 45909
 2008-01-12 16:42:01 +00:00
Duncan Sands
e55a5806ac Do not allow attributes beyond a function's last 
parameter, even if it is a varargs function.  Do
allow attributes on the varargs part of a call,
but not beyond the last argument.  Only allow
selected attributes to be on the varargs part of
a call (currently only 'byval' is allowed).  The
reasoning here is that most attributes, eg inreg,
simply make no sense here.

llvm-svn: 45887
 2008-01-11 22:36:48 +00:00
Evan Cheng
63753b7be7 Allow parameter attributes on varargs function parameters. 
llvm-svn: 45850
 2008-01-11 02:13:09 +00:00
Duncan Sands
7955cf0cd7 Small cleanup for handling of type/parameter attribute 
incompatibility.

llvm-svn: 45704
 2008-01-07 17:16:06 +00:00
Duncan Sands
fd975e4b3d The transform that tries to turn calls to bitcast functions into 
direct calls bails out unless caller and callee have essentially
equivalent parameter attributes.  This is illogical - the callee's
attributes should be of no relevance here.  Rework the logic, which
incidentally fixes a crash when removed arguments have attributes.

llvm-svn: 45658
 2008-01-06 18:27:01 +00:00
Duncan Sands
b8489f09a2 When transforming a call to a bitcast function into 
a direct call with cast parameters and cast return
value (if any), instcombine was prepared to cast any
non-void return value into any other, whether castable
or not.  Add a new predicate for testing whether casting
is valid, and check it both for the return value and
(as a cleanup) for the parameters.

llvm-svn: 45657
 2008-01-06 10:12:28 +00:00
Gordon Henriksen
8e4ae9a345 Trying that again. 
llvm-svn: 45529
 2008-01-03 03:32:33 +00:00
Gordon Henriksen
b28803a63f Fix a compile error on Windows. 
llvm-svn: 45528
 2008-01-03 03:21:18 +00:00
Chris Lattner
c613164542 Remove the function attr cache for intrinsics. This does not maintain the 
refcount on these correctly, and can end up referring to deleted 
attributes.  This fixes PR1881.

llvm-svn: 45525
 2008-01-03 01:20:12 +00:00
Chris Lattner
e54252e6e1 Don't create a new ParamAttrsList (which copies the vector) just to 
get a profile.

llvm-svn: 45524
 2008-01-03 00:29:27 +00:00
Chris Lattner
e14d4d026e move some code out of line, rearrange a bit. 
llvm-svn: 45519
 2008-01-03 00:10:22 +00:00
Chris Lattner
9ec341b120 Split param attr implementation out from Function.cpp into its 
own file.  Don't #include ParameterAttributes.h into any major
public header files: just move methods out of line as appropriate.

llvm-svn: 45517
 2008-01-02 23:42:30 +00:00
Chris Lattner
25b9530d7b remove blob of #if'd out code. 
llvm-svn: 45512
 2008-01-02 23:10:45 +00:00
Chris Lattner
93a70c4a0e Fix a build issue on cygwin 
llvm-svn: 45506
 2008-01-02 22:03:27 +00:00
Gordon Henriksen
d2485b2cec Adding C bindings for SwitchInst::addCase. 
Patch by Bryan O'Sullivan!

llvm-svn: 45481
 2008-01-01 05:50:53 +00:00
Gordon Henriksen
8082358f86 Add some doxygen comments to llvm-c/Core.h. 
llvm-svn: 45450
 2007-12-30 17:46:33 +00:00
Chris Lattner
ad9a6ccb83 Remove attribution from file headers, per discussion on llvmdev. 
llvm-svn: 45418
 2007-12-29 20:36:04 +00:00
Chris Lattner
8193d4af33 remove attribution from lib Makefiles. 
llvm-svn: 45415
 2007-12-29 20:09:26 +00:00
Gordon Henriksen
86e98275ff Adding bindings for target triple and data layout. 
llvm-svn: 45369
 2007-12-27 20:13:47 +00:00
Gordon Henriksen
d96b3222e5 Switch the bindings to use LLVMFoldingBuilder. 
llvm-svn: 45367
 2007-12-27 18:25:59 +00:00
Gordon Henriksen
a9f4ed4070 Noting and enforcing that GC intrinsics are valid only within a 
function with GC.

This will catch the error when the inliner inlines a function with
GC into a caller with no GC.

llvm-svn: 45350
 2007-12-25 02:31:26 +00:00
Gordon Henriksen
44841db057 Adjusting verification of "llvm.gc*" intrinsic prototypes to match 
LangRef.

llvm-svn: 45349
 2007-12-25 02:02:10 +00:00
Duncan Sands
bc10247769 Get the verifier to check attributes on calls as well 
as on functions.  Make it verify invokes and not just
ordinary calls.  As a (desired) side-effect, it is no
longer legal to have call attributes on arguments that
are being passed to the varargs part of a varargs
function (llvm-as drops them on the floor anyway).

llvm-svn: 45286
 2007-12-21 19:19:01 +00:00
Gordon Henriksen
46137f1e2e Adding bindings for memory buffers and module providers. Switching 
to exceptions rather than variants for error handling in Ocaml.

llvm-svn: 45226
 2007-12-19 22:30:40 +00:00
Duncan Sands
56f3add5b7 When inlining through an 'nounwind' call, mark inlined 
calls 'nounwind'.  It is important for correct C++
exception handling that nounwind markings do not get
lost, so this transformation is actually needed for
correctness.

llvm-svn: 45218
 2007-12-19 21:13:37 +00:00
Chris Lattner
fabeb5e6c1 remove a dead annotation 
llvm-svn: 45163
 2007-12-18 19:04:24 +00:00
Duncan Sands
242f80be86 Rename isNoReturn to doesNotReturn, and isNoUnwind to 
doesNotThrow.

llvm-svn: 45160
 2007-12-18 09:59:50 +00:00
Christopher Lamb
efdf2791b2 Don't forget to print address space qualifiers when printing out the type table! Thanks to Gordon Henriksen for pointing this out. 
llvm-svn: 45147
 2007-12-18 03:49:35 +00:00
Evan Cheng
8b4947fe98 Remove int_x86_sse2_movl_dq. It's replaced with a string compare. 
llvm-svn: 45140
 2007-12-18 01:04:25 +00:00
Evan Cheng
d9df071ead Bring back int_x86_sse2_movl_dq intrinsic for backward compatibility. Make sure 
it's auto-upgraded to a shufflevector instruction.

llvm-svn: 45131
 2007-12-17 22:33:23 +00:00
Duncan Sands
3a0d757bd5 Make invokes of inline asm legal. Teach codegen 
how to lower them (with no attempt made to be
efficient, since they should only occur for
unoptimized code).

llvm-svn: 45108
 2007-12-17 18:08:19 +00:00
Gordon Henriksen
ef2c27d164 C and Ocaml bindings for address spaces, for that burgeoning market 
for Ocaml-based compilers targeting embedded devices. :)

llvm-svn: 45096
 2007-12-17 16:08:32 +00:00
Christopher Lamb
a608afb52e Change the PointerType api for creating pointer types. The old functionality of PointerType::get() has become PointerType::getUnqual(), which returns a pointer in the generic address space. The new prototype of PointerType::get() requires both a type and an address space. 
llvm-svn: 45082
 2007-12-17 01:12:55 +00:00
Christopher Lamb
d3bac47ce6 Make it clear in the LangRef that allocation instructions only operated on the generic address space. Implement support in the verifier for ensuring this is true. 
llvm-svn: 45080
 2007-12-17 01:00:21 +00:00
Duncan Sands
bf62f62058 Make instcombine promote inline asm calls to 'nounwind' 
calls.  Remove special casing of inline asm from the
inliner.  There is a potential problem: the verifier
rejects invokes of inline asm (not sure why).  If an
asm call is not marked "nounwind" in some .ll, and
instcombine is not run, but the inliner is run, then
an illegal module will be created.  This is bad but
I'm not sure what the best approach is.  I'm tempted
to remove the check in the verifier...

llvm-svn: 45073
 2007-12-16 15:51:49 +00:00
Anders Carlsson
900a684ae7 All MMX shift instructions took a <2 x i32> vector as the shift amount parameter. Change this to be <1 x i64> instead, which matches the assembler instruction. 
llvm-svn: 45027
 2007-12-14 06:38:54 +00:00
Duncan Sands
998cd21867 Revert r44626, which turned off the use of readonly 
and readnone for functions with bodies because it
broke llvm-gcc-4.2 bootstrap.  It turns out that,
because of LLVM's array_ref hack, gcc was computing
pure/const attributes wrong (now fixed by turning
off the gcc ipa-pure-const pass).

llvm-svn: 44937
 2007-12-12 16:01:40 +00:00
Gordon Henriksen
3f070cf3b9 Add (very basic) bindings for ModuleProvider. 
llvm-svn: 44899
 2007-12-12 01:04:30 +00:00
Christopher Lamb
7368604860 Implement address space attribute for LLVM pointer types. Address spaces are 
regions of memory that have a target specific relationship, as described in the 
Embedded C Technical Report. 

This also implements the 2007-12-11-AddressSpaces test, 
which demonstrates how address space attributes can be used in LLVM IR.

In addition, this patch changes the bitcode signature for stores (in a backwards 
compatible manner), such that the pointer type, rather than the pointee type, is 
encoded. This permits type information in the pointer (e.g. address space) to be 
preserved for stores.

LangRef updates are forthcoming.

llvm-svn: 44858
 2007-12-11 08:59:05 +00:00
Chris Lattner
a8b1b4b5d2 Teach VMCore to constant fold shufflevectors with constant operands. 
This allows us to compile:

#include <emmintrin.h>
typedef __m128i VSInt16;
typedef short vSInt16 __attribute__ ((__vector_size__ (16)));
VSInt16 t3() {
  return (VSInt16)((vSInt16)_mm_set1_epi16(6518));
}

into:

_t3:
	movaps	LCPI1_0, %xmm0
	ret

instead of:
_t3:
	movl	$6518, %eax
	movd	%eax, %xmm0
	pextrw	$0, %xmm0, %eax
	xorps	%xmm0, %xmm0
	pinsrw	$0, %eax, %xmm0
	punpcklwd	%xmm0, %xmm0
	pshufd	$0, %xmm0, %xmm0
	ret

llvm-svn: 44856
 2007-12-11 07:49:37 +00:00
Chris Lattner
b265924121 significantly simplify some code, no functionality change. 
llvm-svn: 44850
 2007-12-11 06:07:39 +00:00
Chris Lattner
3822e8ee5a refactor some code, no functionality change. 
llvm-svn: 44849
 2007-12-11 05:55:02 +00:00
Chris Lattner
5ca42cd342 Fix PR1850 by removing an unsafe transformation from VMCore/ConstantFold.cpp. 
Reimplement the xform in Analysis/ConstantFolding.cpp where we can use
targetdata to validate that it is safe.  While I'm in there, fix some const
correctness issues and generalize the interface to the "operand folder".

llvm-svn: 44817
 2007-12-10 22:53:04 +00:00
Gordon Henriksen
aadbdd1a62 Delete the CollectorNamePool if it should become empty. 
llvm-svn: 44775
 2007-12-10 03:35:18 +00:00
Gordon Henriksen
5d201e0bcc Adding a collector name attribute to Function in the IR. These 
methods are new to Function:

  bool hasCollector() const;
  const std::string &getCollector() const;
  void setCollector(const std::string &);
  void clearCollector();

The assembly representation is as such:

  define void @f() gc "shadow-stack" { ...

The implementation uses an on-the-side table to map Functions to 
collector names, such that there is no overhead. A StringPool is 
further used to unique collector names, which are extremely
likely to be unique per process.

llvm-svn: 44769
 2007-12-10 03:18:06 +00:00
Gordon Henriksen
8430f1ff9a Reverting dtor devirtualization patch. 
_sabre_: it has a major problem: by the time ~Value is run, all of the "parts" of the derived classes have been destroyed
_sabre_: the vtable lives to fight another day

llvm-svn: 44760
 2007-12-10 02:14:30 +00:00
Chris Lattner
11bc69b3c8 fix some warnings. 
llvm-svn: 44756
 2007-12-10 01:51:22 +00:00
Chris Lattner
3d939a50a5 Fix a big problem in the recent dtor refactoring work, now it passes 2007-11-19-InlineAsm.ll 
llvm-svn: 44755
 2007-12-10 01:48:29 +00:00
Gordon Henriksen
a18a78e6e5 Devirtualizing Value destructor (PR889). Patch by Pawel Kunio! 
llvm-svn: 44747
 2007-12-09 22:46:10 +00:00
Duncan Sands
928143423b Commit 44487 broke bootstrap of llvm-gcc-4.2. It is 
not yet clear why, but in the meantime work around the
problem by making less use of readnone/readonly info.

llvm-svn: 44626
 2007-12-05 21:03:28 +00:00
Duncan Sands
1e2e4972ff Rather than having special rules like "intrinsics cannot 
throw exceptions", just mark intrinsics with the nounwind
attribute.  Likewise, mark intrinsics as readnone/readonly
and get rid of special aliasing logic (which didn't use
anything more than this anyway).

llvm-svn: 44544
 2007-12-03 20:06:50 +00:00
Duncan Sands
97ddf89236 Small optimization of parameter attribute lookup. 
llvm-svn: 44458
 2007-11-30 18:20:58 +00:00
Duncan Sands
94d751995e Add a convenience method for modifying parameter 
attributes.  While there, I noticed that not all
attribute methods returned a pointer-to-constant,
so I fixed that.

llvm-svn: 44457
 2007-11-30 18:19:18 +00:00
Duncan Sands
8d9be63cd3 Check that there are not more attributes than 
function parameters.

llvm-svn: 44452
 2007-11-30 15:52:20 +00:00
Duncan Sands
19a1638e99 Small parameter attributes cleanup. 
llvm-svn: 44433
 2007-11-29 08:30:15 +00:00
Duncan Sands
1b0feb42e2 Add some convenience methods for querying attributes, and 
use them.

llvm-svn: 44403
 2007-11-28 17:07:01 +00:00
Duncan Sands
3602011bec Fix PR1146: parameter attributes are longer part of 
the function type, instead they belong to functions
and function calls.  This is an updated and slightly
corrected version of Reid Spencer's original patch.
The only known problem is that auto-upgrading of
bitcode files doesn't seem to work properly (see
test/Bitcode/AutoUpgradeIntrinsics.ll).  Hopefully
a bitcode guru (who might that be? :) ) will fix it.

llvm-svn: 44359
 2007-11-27 13:23:08 +00:00
Duncan Sands
114968a3e8 Fix PR1816. If a bitcast of a function only exists because of a 
trivial difference in function attributes, allow calls to it to
be converted to direct calls.  Based on a patch by Török Edwin.
While there, move the various lists of mutually incompatible
parameters etc out of the verifier and into ParameterAttributes.h.

llvm-svn: 44315
 2007-11-25 14:10:56 +00:00
Duncan Sands
d05a55f03f Rename the 'const' parameter attribute to 'readnone', 
and the 'pure' parameter attribute to 'readonly'.
Names suggested by DannyB.

llvm-svn: 44273
 2007-11-22 20:23:04 +00:00
Duncan Sands
f69444f091 In order for parameter attribute uniquing to make 
any sense it is important that ParamAttr::None gets
treated the same as not supplying an attribute at
all.  Rather than stripping ParamAttr::None out of
the list of attributes, assert if ParamAttr::None
is seen.  Fix up the bitcode reader which liked to
insert ParamAttr::None all over the place.  Patch
based on one by Török Edwin.

llvm-svn: 44250
 2007-11-20 14:09:29 +00:00
Dan Gohman
27ac53cc23 Remove meaningless qualifiers from return types, avoiding compiler warnings. 
llvm-svn: 44240
 2007-11-19 20:46:23 +00:00
Chris Lattner
cf741eccd6 print a call to a fastcc function as: 
call x86_fastcallcc void @func( i32* %X, i64 0 )
not:
	callx86_fastcallcc  void @func( i32* %X, i64 0 )

This fixes Codegen/X86/fast-cc-merge-stack-adj.ll

llvm-svn: 44217
 2007-11-18 18:32:16 +00:00
Nate Begeman
2a8ef3f29a Add support for vectors to int <-> float casts. 
llvm-svn: 44204
 2007-11-17 03:58:34 +00:00
Nate Begeman
a42e2c2272 Basic non-power-of-2 vector support 
llvm-svn: 44181
 2007-11-15 21:15:26 +00:00
Duncan Sands
5924300986 I discover array_lengthof, thanks to gabor on #llvm. 
llvm-svn: 44139
 2007-11-14 21:58:02 +00:00
Duncan Sands
805a8ba9cf Simplify the attribute verification code. 
llvm-svn: 44116
 2007-11-14 14:02:11 +00:00
Anton Korobeynikov
00f3ace7e9 Add pure/const attributes. Documentation will follow. 
llvm-svn: 44109
 2007-11-14 09:52:30 +00:00
Duncan Sands
fc061f4e20 Don't barf on empty basic blocks. Do not rely on assert 
doing something - this needs to work for release builds
too.  I chose to just abort rather than following the
fancy logic of abortIfBroken, because (1) it is a pain
to do otherwise, and (2) nothing is going to work if the
module is this broken.

llvm-svn: 43611
 2007-11-01 10:50:26 +00:00
Chris Lattner
4618bf2f11 remove verifier command line option: this should be part of the API, not 
a command line optn.

llvm-svn: 43603
 2007-11-01 04:43:13 +00:00
Owen Anderson
8eb7b6ed84 Now with less tabs! 
llvm-svn: 43601
 2007-11-01 03:54:23 +00:00
Chris Lattner
38a21a25f2 Fix InstCombine/2007-10-31-StringCrash.ll by removing an obvious 
(in hindsight) infinite recursion.  Simplify the code.

llvm-svn: 43597
 2007-11-01 02:30:35 +00:00
Dan Gohman
a9d080508e Fix a regression in test/CodeGen/X86/2007-04-24-VectorCrash.ll introduced 
by r43510. Gracefully handle constants with vector type that aren't
ConstantVector or ConstantAggregateZero.

llvm-svn: 43579
 2007-10-31 21:36:31 +00:00