mirrors/llvm-project
0
0
Fork 0
mirror of https://github.com/llvm/llvm-project.git synced 2025-05-07 21:06:04 +00:00
Code Issues Projects Releases Wiki Activity
30,386 Commits 1,258 Branches 288 Tags
Commit Graph

93 Commits

Author SHA1 Message Date
Reid Spencer
2341c22ec7 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
Chris Lattner
373dee0947 The local "ConstantFold" method is now just a watered down version of 
ConstantFoldInstOperands.  Switch to ConstantFoldInstOperands and remove
ConstantFold.

llvm-svn: 33683
 2007-01-30 23:52:44 +00:00
Chris Lattner
8dbea5454d adjust to constant folding api changes. 
llvm-svn: 33673
 2007-01-30 23:15:43 +00:00
Reid Spencer
a94d394ad2 For PR1043: 
This is the final patch for this PR. It implements some minor cleanup
in the use of IntegerType, to wit:
1. Type::getIntegerTypeMask -> IntegerType::getBitMask
2. Type::Int*Ty changed to IntegerType* from Type*
3. ConstantInt::getType() returns IntegerType* now, not Type*

This also fixes PR1120.

Patch by Sheng Zhou.

llvm-svn: 33370
 2007-01-19 21:13:56 +00:00
Jeff Cohen
9431075206 Unbreak VC++ build. 
llvm-svn: 33242
 2007-01-15 20:27:18 +00:00
Chris Lattner
03c4953cdd 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
4442e4b401 Update code to eliminate calls to isInteger, calling isIntegral instead. 
llvm-svn: 33220
 2007-01-15 01:58:56 +00:00
Chris Lattner
5a55476211 Fix PR1101 and Analysis/ScalarEvolution/trip-count.ll 
llvm-svn: 33193
 2007-01-14 01:24:47 +00:00
Chris Lattner
19cfb04d04 don't discriminate against bool 
llvm-svn: 33128
 2007-01-12 18:28:58 +00:00
Reid Spencer
cddc9dfe97 Implement review feedback for the ConstantBool->ConstantInt merge. Chris 
recommended that getBoolValue be replaced with getZExtValue and that
get(bool) be replaced by get(const Type*, uint64_t). This implements
those changes.

llvm-svn: 33110
 2007-01-12 04:24:46 +00:00
Reid Spencer
542964f55b Rename BoolTy as Int1Ty. Patch by Sheng Zhou. 
llvm-svn: 33076
 2007-01-11 18:21:29 +00:00
Zhou Sheng
75b871fb1e For PR1043: 
Merge ConstantIntegral and ConstantBool into ConstantInt.
Remove ConstantIntegral and ConstantBool from LLVM.

llvm-svn: 33073
 2007-01-11 12:24:14 +00:00
Reid Spencer
7928c2fb9c Convert uses of getPrimitiveSize that should be getPrimitiveSizeInBits. 
llvm-svn: 33003
 2007-01-08 01:26:33 +00:00
Chris Lattner
18954852ae Fix PR1015 and Transforms/IndVarsSimplify/2007-01-06-TripCount.ll, a 
miscompilation of Qt.

llvm-svn: 32974
 2007-01-07 02:24:26 +00:00
Chris Lattner
39087c7127 cast of int to bool no longer does a compare, rendering this fixme 
obsolete

llvm-svn: 32972
 2007-01-07 02:05:20 +00:00
Reid Spencer
c635f47d9a For PR950: 
This patch replaces signed integer types with signless ones:
1. [US]Byte -> Int8
2. [U]Short -> Int16
3. [U]Int   -> Int32
4. [U]Long  -> Int64.
5. Removal of isSigned, isUnsigned, getSignedVersion, getUnsignedVersion
   and other methods related to signedness. In a few places this warranted
   identifying the signedness information from other sources.

llvm-svn: 32785
 2006-12-31 05:48:39 +00:00
Reid Spencer
266e42b312 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
Reid Spencer
cfcec2caac Add a FIXME about signedness. 
llvm-svn: 32732
 2006-12-21 18:59:16 +00:00
Reid Spencer
a8a90a2f97 Add some comments about things that can go away once signless types are in. 
llvm-svn: 32727
 2006-12-21 06:43:46 +00:00
Chris Lattner
57ef942306 eliminate static ctors from Statistics 
llvm-svn: 32697
 2006-12-19 22:30:33 +00:00
Chris Lattner
0a1e99317e Fix a bug in GetConstantFactor for affine expressions, in which the existing 
code was wrong for things like 3+4*i.

llvm-svn: 32662
 2006-12-19 01:16:02 +00:00
Reid Spencer
bb65ebf9a1 Replace inferred getCast(V,Ty) calls with more strict variants. 
Rename getZeroExtend and getSignExtend to getZExt and getSExt to match
the the casting mnemonics in the rest of LLVM.

llvm-svn: 32514
 2006-12-12 23:36:14 +00:00
Reid Spencer
1ac0ab0850 Get even more accurate on the casting. 
llvm-svn: 32478
 2006-12-12 09:17:50 +00:00
Reid Spencer
b341b0861d Change inferred getCast into specific getCast. Passes all tests. 
llvm-svn: 32469
 2006-12-12 05:05:00 +00:00
Chris Lattner
49b090ed61 teach scev to analyze X*4|1 like X*4+c. This allows us to produce: 
LBB1_1: #bb
        movdqa (%esi), %xmm2
        movaps %xmm2, %xmm3
        punpcklbw %xmm0, %xmm3
        movaps %xmm3, %xmm4
        punpcklwd %xmm0, %xmm4
        cvtdq2ps %xmm4, %xmm4
        mulps %xmm1, %xmm4
        movaps %xmm4, (%edi)
        leal 1(,%eax,4), %ebx
        shll $4, %ebx
        punpckhwd %xmm0, %xmm3
        cvtdq2ps %xmm3, %xmm3
        mulps %xmm1, %xmm3
        movaps %xmm3, (%edx,%ebx)
        leal 2(,%eax,4), %ebx
        shll $4, %ebx
        punpckhbw %xmm0, %xmm2
        movaps %xmm2, %xmm3
        punpcklwd %xmm0, %xmm3
        cvtdq2ps %xmm3, %xmm3
        mulps %xmm1, %xmm3
        movaps %xmm3, (%edx,%ebx)
        leal 3(,%eax,4), %ebx
        shll $4, %ebx
        punpckhwd %xmm0, %xmm2
        cvtdq2ps %xmm2, %xmm2
        mulps %xmm1, %xmm2
        movaps %xmm2, (%edx,%ebx)
        addl $64, %edi
        incl %eax
        addl $16, %esi
        cmpl %ecx, %eax
        jne LBB1_1      #bb

instead of:

LBB1_1: #bb
        movdqa (%esi), %xmm2
        movaps %xmm2, %xmm3
        punpcklbw %xmm0, %xmm3
        movaps %xmm3, %xmm4
        punpcklwd %xmm0, %xmm4
        cvtdq2ps %xmm4, %xmm4
        mulps %xmm1, %xmm4
        movaps %xmm4, (%edi)
        leal 1(,%eax,4), %ebx
        shll $4, %ebx
        punpckhwd %xmm0, %xmm3
        cvtdq2ps %xmm3, %xmm3
        mulps %xmm1, %xmm3
        movaps %xmm3, (%edx,%ebx)
        leal 2(,%eax,4), %ebx
        shll $4, %ebx
        punpckhbw %xmm0, %xmm2
        movaps %xmm2, %xmm3
        punpcklwd %xmm0, %xmm3
        cvtdq2ps %xmm3, %xmm3
        mulps %xmm1, %xmm3
        movaps %xmm3, (%edx,%ebx)
        leal 3(,%eax,4), %ebx
        shll $4, %ebx
        punpckhwd %xmm0, %xmm2
        cvtdq2ps %xmm2, %xmm2
        mulps %xmm1, %xmm2
        movaps %xmm2, (%edx,%ebx)
        addl $64, %edi
        incl %eax
        addl $16, %esi
        cmpl %ecx, %eax
        jne LBB1_1      #bb

for a testcase.

llvm-svn: 32463
 2006-12-12 02:26:09 +00:00
Chris Lattner
b2f5973867 clarify some comments, simplify some checks, fix: 
Regression/Transforms/IndVarsSimplify/2006-12-10-BitCast.ll

llvm-svn: 32420
 2006-12-11 00:12:31 +00:00
Bill Wendling
f3baad3ee1 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
700b873130 Detemplatize the Statistic class. The only type it is instantiated with 
is 'unsigned'.

llvm-svn: 32279
 2006-12-06 17:46:33 +00:00
Reid Spencer
0646eb415d Finally get the casting right in this file. Also, remove some unnecessary 
casting because sdiv doesn't require operand signs to match any more.

llvm-svn: 32240
 2006-12-05 22:39:58 +00:00
Reid Spencer
f37dc65b08 Bail on the getInferredCast idea. Remove the function and convert 
remaining uses to more specific casts.

llvm-svn: 32231
 2006-12-05 19:14:13 +00:00
Reid Spencer
e6328cab48 Fix comment grammaro 
llvm-svn: 32198
 2006-12-04 21:33:23 +00:00
Reid Spencer
1ba24bb1e4 Fix inferred casts. 
llvm-svn: 32180
 2006-12-04 17:05:42 +00:00
Jeff Cohen
cc08c83186 Unbreak VC++ build. 
llvm-svn: 32113
 2006-12-02 02:22:01 +00:00
Bill Wendling
597d451fea Removed some of the iostream #includes. Moved towards converting to using 
llvm streams

llvm-svn: 31983
 2006-11-28 22:46:12 +00:00
Reid Spencer
6c38f0bb07 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
Jim Laskey
61feeb90f9 Remove redundant <cmath>. 
llvm-svn: 31561
 2006-11-08 19:16:44 +00:00
Reid Spencer
7eb55b395f For PR950: 
Replace the REM instruction with UREM, SREM and FREM.

llvm-svn: 31369
 2006-11-02 01:53:59 +00:00
Reid Spencer
20ffdbe7c1 Make ScalarEvolution actually use a ZeroExtend expression instead of 
having SCZeroExtendExpr be equivalent to SCTruncate

llvm-svn: 31355
 2006-11-01 21:53:12 +00:00
Reid Spencer
7e80b0b31e For PR950: 
Make necessary changes to support DIV -> [SUF]Div. This changes llvm to
have three division instructions: signed, unsigned, floating point. The
bytecode and assembler are bacwards compatible, however.

llvm-svn: 31195
 2006-10-26 06:15:43 +00:00
Reid Spencer
e0fc4dfc22 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
Chris Lattner
538c6eb05c Fix some more static dtor issues. 
llvm-svn: 30724
 2006-10-04 21:49:37 +00:00
Chris Lattner
a84df0a2f1 Eliminate ConstantBool::True and ConstantBool::False. Instead, provide 
ConstantBool::getTrue() and ConstantBool::getFalse().

llvm-svn: 30666
 2006-09-28 23:36:21 +00:00
Chris Lattner
3c9b2420df Eliminate RegisterAnalysis. RegisterPass now does all that is necessary. 
llvm-svn: 29921
 2006-08-27 22:30:17 +00:00
Chris Lattner
3d27be1333 s|llvm/Support/Visibility.h|llvm/Support/Compiler.h| 
llvm-svn: 29911
 2006-08-27 12:54:02 +00:00
Chris Lattner
996795b0dd Use hidden visibility to make symbols in an anonymous namespace get 
dropped.  This shrinks libllvmgcc.dylib another 67K

llvm-svn: 28975
 2006-06-28 23:17:24 +00:00
Chris Lattner
e8cbdbf314 Implement Transforms/IndVarsSimplify/complex-scev.ll, a case where we didn't 
recognize some simple affine IV's.

llvm-svn: 27982
 2006-04-26 18:34:07 +00:00
Chris Lattner
6b2c9748c3 Signed shr by a constant is not the same as sdiv by 2^k 
llvm-svn: 27395
 2006-04-04 06:11:42 +00:00
Chris Lattner
98e9604d5d Fix Transforms/IndVarsSimplify/2006-03-31-NegativeStride.ll and 
PR726 by performing consistent signed division, not consistent unsigned
division when evaluating scev's.  Do not touch udivs.

llvm-svn: 27326
 2006-04-01 04:48:52 +00:00
Chris Lattner
6806c02380 Add explicit iostream #includes 
llvm-svn: 25513
 2006-01-22 23:19:18 +00:00
John Criswell
fe5f33b120 Move some constant folding code shared by Analysis and Transform passes 
into the LLVMAnalysis library.
This allows LLVMTranform and LLVMTransformUtils to be archives and linked
with LLVMAnalysis.a, which provides any missing definitions.

llvm-svn: 24036
 2005-10-27 15:54:34 +00:00