RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-19 02:52:53 +02:00
Code Issues Projects Releases Wiki Activity
73,599 Commits 4 Branches 5 Tags 704 MiB
4f458101b7
Commit Graph

469 Commits

Author SHA1 Message Date
Chris Lattner
a106725fc5 Land the long talked about "type system rewrite" patch. This 
patch brings numerous advantages to LLVM.  One way to look at it
is through diffstat:
 109 files changed, 3005 insertions(+), 5906 deletions(-)

Removing almost 3K lines of code is a good thing.  Other advantages
include:

1. Value::getType() is a simple load that can be CSE'd, not a mutating
   union-find operation.
2. Types a uniqued and never move once created, defining away PATypeHolder.
3. Structs can be "named" now, and their name is part of the identity that
   uniques them.  This means that the compiler doesn't merge them structurally
   which makes the IR much less confusing.
4. Now that there is no way to get a cycle in a type graph without a named
   struct type, "upreferences" go away.
5. Type refinement is completely gone, which should make LTO much MUCH faster
   in some common cases with C++ code.
6. Types are now generally immutable, so we can use "Type *" instead 
   "const Type *" everywhere.

Downsides of this patch are that it removes some functions from the C API,
so people using those will have to upgrade to (not yet added) new API.  
"LLVM 3.0" is the right time to do this.

There are still some cleanups pending after this, this patch is large enough
as-is.

llvm-svn: 134829
 2011-07-09 17:41:24 +00:00
Jay Foad
fa97b8b8fa PR10210: New method ConstantArray::getAsCString(). Use it in LTO to 
avoid getting embedded trailing null bytes in std::strings.

llvm-svn: 133999
 2011-06-28 08:24:19 +00:00
Jay Foad
888cd746b8 Replace the existing forms of ConstantArray::get() with a single form 
that takes an ArrayRef.

llvm-svn: 133615
 2011-06-22 09:24:39 +00:00
Jay Foad
7ef9c9ad1e Make ConstantVector::get() always take an ArrayRef, never a std::vector. 
llvm-svn: 133614
 2011-06-22 09:10:19 +00:00
Jay Foad
f653a9e838 Eliminate a temporary std::vector in ConstantStruct::get(). 
llvm-svn: 133612
 2011-06-22 08:55:11 +00:00
Chris Lattner
d456ff35d1 Revamp the "ConstantStruct::get" methods. Previously, these were scattered 
all over the place in different styles and variants.  Standardize on two
preferred entrypoints: one that takes a StructType and ArrayRef, and one that
takes StructType and varargs.

In cases where there isn't a struct type convenient, we now add a
ConstantStruct::getAnon method (whose name will make more sense after a few
more patches land).  

It would be "really really nice" if the ConstantStruct::get and 
ConstantVector::get methods didn't make temporary std::vectors.

llvm-svn: 133412
 2011-06-20 04:01:31 +00:00
Chris Lattner
c247005424 fix the varargs version of StructType::get to not require an LLVMContext, making usage 
much cleaner.

llvm-svn: 133364
 2011-06-18 22:48:56 +00:00
Jay Foad
c146569beb Remove unused STL header includes. 
llvm-svn: 130068
 2011-04-23 19:53:52 +00:00
Jay Foad
c29ba4ecd6 PR9214: Convert ConstantExpr::getIndices() to return an ArrayRef, plus 
related tweaks to ExprMapKeyType.

llvm-svn: 129443
 2011-04-13 15:22:40 +00:00
Jay Foad
5dc08f26fc Remove some redundant llvm:: prefixes. 
llvm-svn: 129441
 2011-04-13 14:39:42 +00:00
Jay Foad
9bd6e1956b PR9214: Convert ConstantExpr::getWithOperands() to use ArrayRef. 
llvm-svn: 129439
 2011-04-13 13:46:01 +00:00
Nick Lewycky
46bb763f35 ConstantInt has some getters which return ConstantInt's or ConstantVector's of 
the value splatted into every element. Extend this to getTrue and getFalse which
by providing new overloads that take Types that are either i1 or <N x i1>. Use
it in InstCombine to add vector support to some code, fixing PR8469!

llvm-svn: 127116
 2011-03-06 03:36:19 +00:00
Talin
1d7928c794 Added missing va_end(). 
llvm-svn: 126759
 2011-03-01 18:00:49 +00:00
Talin
753b7ce425 Add an END_WITH_NULL accessor for ConstantStruct. 
llvm-svn: 126714
 2011-02-28 23:53:27 +00:00
Chris Lattner
87de1d1bb8 hoist GlobalValue::removeDeadConstantUsers up to being a method on Constant. 
llvm-svn: 125828
 2011-02-18 04:41:42 +00:00
Nadav Rotem
ad2fd4eada Enhance constant folding of bitcast operations on vectors of floats. 
Add getAllOnesValue of FP numbers to Constants and APFloat.
Add more tests.

llvm-svn: 125776
 2011-02-17 21:22:27 +00:00
Chris Lattner
db204cbe42 convert ConstantVector::get to use ArrayRef. 
llvm-svn: 125537
 2011-02-15 00:14:00 +00:00
Chris Lattner
ee7f7c2494 revert my ConstantVector patch, it seems to have made the llvm-gcc 
builders unhappy.

llvm-svn: 125504
 2011-02-14 18:15:46 +00:00
Chris Lattner
34f32cb4c2 Switch ConstantVector::get to use ArrayRef instead of a pointer+size 
idiom.  Change various clients to simplify their code.

llvm-svn: 125487
 2011-02-14 07:55:32 +00:00
Chris Lattner
46815e1da6 make ConstantExpr::replaceUsesOfWithOnConstant preserve the inbounds 
flag.  Noticed by Jin Gu Kang!

llvm-svn: 125366
 2011-02-11 05:37:21 +00:00
Chris Lattner
9e2e84606d make the constantexpr interfaces for inbounds GEPs follow the same style 
as other constantexpr flags, reducing redundancy.

llvm-svn: 125365
 2011-02-11 05:34:33 +00:00
Chris Lattner
63f1d56458 switch the constantexpr, target folder, and IRBuilder interfaces 
for NSW/NUW binops to follow the pattern of exact binops.  This
allows someone to use Builder.CreateAdd(x, y, "tmp", MaybeNUW);

llvm-svn: 125270
 2011-02-10 07:01:55 +00:00
Chris Lattner
7a5307ec0b refactor ConstantExpr interfaces a bit around "exactness". 
llvm-svn: 125190
 2011-02-09 16:43:07 +00:00
Chris Lattner
b641eb91a3 fix comment change. 
llvm-svn: 125047
 2011-02-07 20:03:14 +00:00
Chris Lattner
2fd09e3397 implement .ll and .bc support for nsw/nuw on shl and exact on lshr/ashr. 
Factor some code better.

llvm-svn: 125006
 2011-02-07 16:40:21 +00:00
Chris Lattner
7b6a968f5d enhance vmcore to know that udiv's can be exact, and add a trivial 
instcombine xform to exercise this.

Nothing forms exact udivs yet though.  This is progress on PR8862

llvm-svn: 124992
 2011-02-06 21:44:57 +00:00
Duncan Sands
06e82c76ee Have m_One also match constant vectors for which every element is 1. 
llvm-svn: 124655
 2011-02-01 08:39:12 +00:00
Jay Foad
284c5bc9bd Fix indentation. 
llvm-svn: 124375
 2011-01-27 14:44:55 +00:00
Jay Foad
fa61721cf2 Remove casts between Value** and Constant**, which won't work if a 
static_cast from Constant* to Value* has to adjust the "this" pointer.
This is groundwork for PR889.

llvm-svn: 123435
 2011-01-14 08:07:43 +00:00
Benjamin Kramer
612c7225ee Apparently APFloat::getZero doesn't like PPCDoubleDoubles. 
llvm-svn: 120909
 2010-12-04 14:43:08 +00:00
Benjamin Kramer
77faee6ba1 Simplify code. No functionality change. 
llvm-svn: 120907
 2010-12-04 14:22:24 +00:00
Benjamin Kramer
9141603779 Simplify code. No change in functionality. 
llvm-svn: 119908
 2010-11-20 18:43:35 +00:00
Chris Lattner
ecf276b787 remove unions from LLVM IR. They are severely buggy and not 
being actively maintained, improved, or extended.

llvm-svn: 112356
 2010-08-28 04:09:24 +00:00
Oscar Fuentes
4742c01c2a Prefix next' iterator operation with llvm::'. 
Fixes potential ambiguity problems on VS 2010.

Patch by nobled!

llvm-svn: 110029
 2010-08-02 06:00:15 +00:00
Benjamin Kramer
1f47ed839d Preallocate vector, avoid unnecessary vector growth. 
llvm-svn: 109971
 2010-08-01 11:43:26 +00:00
Chris Lattner
d2097ce7ab Fix PR7658, a problem where type refinement can trigger 
constant replacement which was botching its handling of
types.  Use of getType() instead of getRawType() was causing
the type map in constant folding to be updated wrong.

llvm-svn: 108610
 2010-07-17 06:13:52 +00:00
Dan Gohman
b8016872b6 Remove the API compatibility layer which converted add, sub, and mul 
to fadd, fsub, and fmul, when used with a floating-point type. LLVM
has supported the new instructions since 2.6, so it's time to get
on board.

llvm-svn: 102971
 2010-05-03 22:44:19 +00:00
Dan Gohman
377b9cade7 Simplify this code. 
llvm-svn: 101074
 2010-04-12 22:12:29 +00:00
Chris Lattner
542ebce5fa move some method definitions to files that make sense. 
llvm-svn: 99927
 2010-03-30 20:48:48 +00:00
Chris Lattner
f21a1afe81 add support for zero initialized unions, patch by Tim Northover! 
llvm-svn: 99818
 2010-03-29 17:36:02 +00:00
Gabor Greif
df5013e4d8 rename use_const_iterator to const_use_iterator for consistency's sake 
llvm-svn: 99564
 2010-03-25 23:06:16 +00:00
Talin
cd8428c41f replaceUsesOfWithOnConstant implementation for unions. 
llvm-svn: 96616
 2010-02-18 21:43:45 +00:00
Duncan Sands
1b33dd3c83 There are two ways of checking for a given type, for example isa<PointerType>(T) 
and T->isPointerTy().  Convert most instances of the first form to the second form.
Requested by Chris.

llvm-svn: 96344
 2010-02-16 11:11:14 +00:00
Duncan Sands
2acaf3609c Uniformize the names of type predicates: rather than having isFloatTy and 
isInteger, we now have isFloatTy and isIntegerTy.  Requested by Chris!

llvm-svn: 96223
 2010-02-15 16:12:20 +00:00
Chris Lattner
2265d6280b Add support for a union type in LLVM IR. Patch by Talin! 
llvm-svn: 96011
 2010-02-12 20:49:41 +00:00
Duncan Sands
364e9510fb Adding missing methods for creating Add, Mul, Neg and Sub with NUW. 
llvm-svn: 95086
 2010-02-02 12:53:04 +00:00
Chris Lattner
af2e10ddef eliminate a bunch of pointless LLVMContext arguments. 
llvm-svn: 95001
 2010-02-01 20:48:08 +00:00
Dan Gohman
d1d30c5ec2 Add a getNUWMul function. 
llvm-svn: 94982
 2010-02-01 16:38:14 +00:00
Dan Gohman
9026a494ae Add a generalized form of ConstantExpr::getOffsetOf which works for 
array types as well as struct types, and which accepts arbitrary
Constant indicies.  

llvm-svn: 94981
 2010-02-01 16:37:38 +00:00
Dan Gohman
4319402eb0 Make getAlignOf return an i64, for consistency with getSizeOf and 
getOffsetOf, and remove the comment about assuming i8 is byte-aligned,
which is no longer applicable.

llvm-svn: 94738
 2010-01-28 02:43:22 +00:00