RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-02 00:42:52 +01:00
Code Issues Projects Releases Wiki Activity
37,562 Commits 4 Branches 5 Tags 704 MiB
34ea45f10d
Commit Graph

402 Commits

Author SHA1 Message Date
Christopher Lamb
d56318b885 Remove an orthogonal transformation of the selection condition from my most recent submission. 
llvm-svn: 45169
 2007-12-18 20:30:28 +00:00
Christopher Lamb
437b4d229e Fix typos. 
llvm-svn: 45159
 2007-12-18 09:45:40 +00:00
Christopher Lamb
aeb76743dc Fold certain additions through selects (and their compares) so as to eliminate subtractions. This code is often produced by the SMAX expansion in SCEV. 
This implements test/Transforms/InstCombine/2007-12-18-AddSelCmpSub.ll

llvm-svn: 45158
 2007-12-18 09:34:41 +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
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
Wojciech Matyjewicz
8bb1d9e67c 1. "Upgrage" comments. 
2. Using zero-extended value of Scale and unsigned division is safe provided
   that Scale doesn't have the sign bit set.
   Previously these 2 instructions:
        %p = bitcast [100 x {i8,i8,i8}]* %x to i8*
        %q = getelementptr i8* %p, i32 -4
   were combined into:
        %q = getelementptr [100 x { i8, i8, i8 }]* %x, i32 0,
               i32 1431655764, i32 0
   what was incorrect.

llvm-svn: 44936
 2007-12-12 15:21:32 +00:00
Chris Lattner
568d56425b Implement constant folding if vector<->vector bitcasts where the number 
of source/dest elements changes.  This implements
test/Transforms/InstCombine/bitcast-vector-fold.ll

llvm-svn: 44855
 2007-12-11 07:29:44 +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
Duncan Sands
b7ac459292 Make PruneEH update the nounwind/noreturn attributes 
on functions as it calculates them.

llvm-svn: 44802
 2007-12-10 19:09:40 +00:00
Devang Patel
c47f68e747 If ExitValue operand is also defined in Loop header then 
insert new ExitValue after this operand definition.

This fixes PR1828.

llvm-svn: 44539
 2007-12-03 19:17:21 +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
Nick Lewycky
1536b3f230 Add new SCEV, SCEVSMax. This allows LLVM to analyze do-while loops. 
llvm-svn: 44319
 2007-11-25 22:41:31 +00:00
Chris Lattner
d1e03b5387 Implement PR1822 
llvm-svn: 44318
 2007-11-25 21:27:53 +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
Chris Lattner
36854c740d Fix PR1816, by correcting the broken definition of APInt::countTrailingZeros. 
llvm-svn: 44296
 2007-11-23 22:42:31 +00:00
Duncan Sands
265752ae8f Ding dong, the DoesntAccessMemoryFns and 
OnlyReadsMemoryFns tables are dead!  We
get more, and more accurate, information
from gcc via the readnone and readonly
function attributes.

llvm-svn: 44288
 2007-11-23 19:30:27 +00:00
Chris Lattner
ac2de0424b Fix a bug where we'd try to find a scev value for a bitcast operand, 
even though the bitcast operand did not have integer type.  This fixes
PR1814.

llvm-svn: 44286
 2007-11-23 08:46:22 +00:00
Chris Lattner
bff48b8f0d Fix PR1817. 
llvm-svn: 44284
 2007-11-22 23:47:13 +00:00
Duncan Sands
e79932aed4 Turn invokes of nounwind functions into ordinary calls. 
llvm-svn: 44280
 2007-11-22 22:24:59 +00:00
Duncan Sands
6ec98952e0 Readonly/readnone functions are allowed to throw 
exceptions, so don't turn invokes of them into
calls.

llvm-svn: 44278
 2007-11-22 21:40:06 +00:00
Chris Lattner
5574ba5ce6 Fix PR1800 by correcting mistaken logic. 
llvm-svn: 44188
 2007-11-16 06:04:17 +00:00
Chris Lattner
3b66875602 Implement PR1796 and Transforms/SimplifyCFG/noreturn-call.ll 
by inserting unreachable after no-return calls.

llvm-svn: 44099
 2007-11-14 06:19:25 +00:00
Chris Lattner
6c1a015f06 upgrade test 
llvm-svn: 44067
 2007-11-13 21:42:48 +00:00
Chris Lattner
2d15a52df0 Implement PR1786 by iterating between dead cycle elimination 
and simplifycfg in the rare cases when it is needed.

llvm-svn: 44044
 2007-11-13 07:32:38 +00:00
Chris Lattner
a82bbe25f4 Tighten up a check for folding away loads from (newly constant) globals. This 
fixes a crash on Transforms/GlobalOpt/2007-11-09-GEP-GEP-Crash.ll and 
rdar://5585488.

llvm-svn: 43949
 2007-11-09 17:33:02 +00:00
Andrew Lenharth
83adca5075 Better check 
llvm-svn: 43897
 2007-11-08 18:45:15 +00:00
Andrew Lenharth
310a65171d Fix PR1780 
llvm-svn: 43893
 2007-11-08 17:39:28 +00:00
Chris Lattner
907b9b92fe Implement PR1777 by detecting dependent phis that 
all compute the same value.

llvm-svn: 43777
 2007-11-06 21:52:06 +00:00
Dan Gohman
adc21ed938 Fix an abort in instcombine when folding creates a vector rem instruction. 
llvm-svn: 43743
 2007-11-05 23:16:33 +00:00
Devang Patel
963e54c2cf If a value is incoming from outside the loop then the value does not need remapping and the value is never tracked through LastValueMap. 
llvm-svn: 43728
 2007-11-05 19:32:30 +00:00
Duncan Sands
662fb070a7 Change uses of getTypeSize to getABITypeSize, getTypeStoreSize 
or getTypeSizeInBits as appropriate in ScalarReplAggregates.
The right change to make was not always obvious, so it would
be good to have an sroa guru review this.  While there I noticed
some bugs, and fixed them: (1) arrays of x86 long double have
holes due to alignment padding, but this wasn't being spotted
by HasStructPadding (renamed to HasPadding).  The same goes
for arrays of oddly sized ints.  Vectors also suffer from this,
in fact the problem for vectors is much worse because basic
vector assumptions seem to be broken by vectors of type with
alignment padding.   I didn't try to fix any of these vector
problems.  (2) The code for extracting smaller integers from
larger ones (in the "int union" case) was wrong on big-endian
machines for integers with size not a multiple of 8, like i1.
Probably this is impossible to hit via llvm-gcc, but I fixed
it anyway while there and added a testcase.  I also got rid of
some trailing whitespace and changed a function name which
had an obvious typo in it.

llvm-svn: 43672
 2007-11-04 14:43:57 +00:00
Owen Anderson
594b0fe9e2 Fix test/Transforms/DeadStoreElimination/PartialStore.ll, which had been 
silently failing because of an incorrect run line for some time.

llvm-svn: 43605
 2007-11-01 05:29:16 +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
Chris Lattner
d29624e11a Fix InstCombine/2007-10-31-RangeCrash.ll 
llvm-svn: 43596
 2007-11-01 02:18:41 +00:00
Dan Gohman
9365affecc Add support for folding binary operators with vector zero operands. 
llvm-svn: 43510
 2007-10-30 19:00:49 +00:00
Chris Lattner
875ca50576 update testcase 
llvm-svn: 43452
 2007-10-29 17:06:35 +00:00
Chris Lattner
3d6151bcd1 Model stacksave and stackrestore as both writing memory, since we 
don't model their dependences on allocas correctly.  This fixes
PR1745.

llvm-svn: 43442
 2007-10-29 05:47:52 +00:00
Chris Lattner
7e3a8a7604 Fix PR1749 and InstCombine/2007-10-28-EmptyField.ll by handling 
zero-length fields better.

llvm-svn: 43427
 2007-10-29 02:40:02 +00:00
Chris Lattner
891066cfff Fix PR1752 and LoopSimplify/2007-10-28-InvokeCrash.ll: terminators 
can have uses too.  Wouldn't it be nice if invoke didn't exist? :)

llvm-svn: 43426
 2007-10-29 02:30:37 +00:00
Chris Lattner
483c471daa Implement a couple of foldings for ordered and unordered comparisons, 
implementing cases related to PR1738.

llvm-svn: 43289
 2007-10-24 05:38:08 +00:00
Bill Wendling
df262eb966 Don't branch fold inline asm statements. 
llvm-svn: 43191
 2007-10-19 21:09:55 +00:00
Devang Patel
d002595abf This test now passes. 
llvm-svn: 43183
 2007-10-19 17:11:01 +00:00
Chris Lattner
efaf4ba65d Fix PR1735 and Transforms/DeadArgElim/2007-10-18-VarargsReturn.ll by 
fixing some obviously broken code :(

llvm-svn: 43141
 2007-10-18 18:49:29 +00:00
Devang Patel
13e0df71e0 XFAIL for now. 
llvm-svn: 43111
 2007-10-18 00:48:43 +00:00
Devang Patel
9cb3c09156 Do not raise free() call that is called through invoke instruction. 
llvm-svn: 43083
 2007-10-17 20:12:58 +00:00
Devang Patel
cf2f9d6daa Apply "Instead of loading small c string constant, use integer constant directly" transformation while processing load instruction. 
llvm-svn: 43070
 2007-10-17 07:24:40 +00:00
Chris Lattner
3af877f26a Fix a bug in my patch last night that broke InstCombine/2007-10-12-Crash.ll 
llvm-svn: 42920
 2007-10-12 18:05:47 +00:00
Chris Lattner
7489b40996 testcase for PR1728 
llvm-svn: 42890
 2007-10-12 05:29:53 +00:00
Devang Patel
15d6257fa8 Lower memcpy if it makes sense. 
llvm-svn: 42864
 2007-10-11 17:21:57 +00:00
Devang Patel
36b68478cb Fix bug in updating dominance frontier after loop 
unswitch when frontier includes basic blocks that 
are not inside loop.

llvm-svn: 42654
 2007-10-05 22:29:34 +00:00
Devang Patel
42f006a51a Relax unsafe use check. If there is one unconditional use inside the loop then it is safe to promote value even if there is another conditional use inside the loop. 
llvm-svn: 42493
 2007-10-01 18:12:58 +00:00
Devang Patel
d98abb62ce Handle multiple induction variables. 
This fixes PR714.

llvm-svn: 42309
 2007-09-25 18:24:48 +00:00
Devang Patel
de9d1c3654 Add transformation to update loop interation space. Now, 
for (i=A; i<N; i++) {
  if (i < X && i > Y)
    do_something();
}

is transformed into

U=min(N,X); L=max(A,Y);
for (i=L;i<U;i++)
  do_somethihg();                            

llvm-svn: 42299
 2007-09-25 17:31:19 +00:00
Devang Patel
65f8d0c2d7 Do not promote null values because it may be unsafe to do so. 
llvm-svn: 42270
 2007-09-24 20:02:42 +00:00
Devang Patel
b741c56cfc Fix PR1692 
llvm-svn: 42209
 2007-09-21 21:18:19 +00:00
Duncan Sands
425fe2a97b Testcase for PR1678. 
llvm-svn: 42171
 2007-09-20 18:56:24 +00:00
Nick Lewycky
9edfec9b3c Excuse me. 
llvm-svn: 42158
 2007-09-20 00:57:00 +00:00
Nick Lewycky
3baa4cde1c Fix optimization. %x = sub %x, %y does not imply that %y is zero. 
llvm-svn: 42157
 2007-09-20 00:48:36 +00:00
Devang Patel
648d7a1074 Avoid unsafe promotion. 
llvm-svn: 42149
 2007-09-19 20:18:51 +00:00
Gabor Greif
fd6f1faeeb rename test, it is obviously misspelled 
llvm-svn: 42108
 2007-09-18 21:42:39 +00:00
Devang Patel
4014965efb Fix PR1657 
llvm-svn: 42075
 2007-09-18 01:54:42 +00:00
Dan Gohman
2de5779a99 Instcombine x-((x/y)*y) into a remainder operator. 
llvm-svn: 42035
 2007-09-17 17:31:57 +00:00
Chris Lattner
890c3898e0 remove obsolete tests. 
llvm-svn: 41984
 2007-09-15 17:38:04 +00:00
Duncan Sands
c99bc3e76f Test that a call to a trampoline is turned into a call to 
the underlying nested function.

llvm-svn: 41846
 2007-09-11 15:07:50 +00:00
Chris Lattner
fe8bd8b113 remove obsolete testcase 
llvm-svn: 41820
 2007-09-10 23:51:41 +00:00
Chris Lattner
f08a077fa9 Fix a buggy constant folding transformation when handling aliases. 
llvm-svn: 41818
 2007-09-10 23:42:42 +00:00
Dale Johannesen
e017870ae6 Add missing llvm-dis. 
llvm-svn: 41813
 2007-09-10 22:47:59 +00:00
Chris Lattner
ab8aa7d61a Prevent tailcallelim from breaking "recursive" calls to builtins. 
llvm-svn: 41804
 2007-09-10 20:58:55 +00:00
Devang Patel
76790c1b28 Filter exit conditions which are not yet handled. 
llvm-svn: 41800
 2007-09-10 18:33:42 +00:00
Chris Lattner
8e6c39d961 Don't zap back to back volatile load/stores 
llvm-svn: 41759
 2007-09-07 05:33:03 +00:00
Nick Lewycky
2f66503c0a When the two operands of an icmp are equal, there are five possible predicates 
that would make the icmp true. Fixes PR1637.

llvm-svn: 41740
 2007-09-06 01:10:22 +00:00
Dale Johannesen
f9ca7b6094 Change all floating constants that are not exactly 
representable to use hex format.

llvm-svn: 41722
 2007-09-05 17:50:36 +00:00
Anton Korobeynikov
3dffac0c59 Don't promote volatile loads/stores. This is needed (for example) to handle setjmp/longjmp properly. 
This fixes PR1520.

llvm-svn: 41461
 2007-08-26 21:43:30 +00:00
Devang Patel
d961a55c5a Constant split values needs upper bound and lower bound check, just like any other split value. 
llvm-svn: 41389
 2007-08-25 01:09:14 +00:00
Devang Patel
027410a7aa While calculating upper loop bound for first loop and lower loop bound for second loop, take care of edge cases. 
llvm-svn: 41387
 2007-08-25 00:56:38 +00:00
Devang Patel
6c91023dad Do not split loops rejected by processOneIterationLoop(). 
llvm-svn: 41194
 2007-08-20 20:24:15 +00:00
Devang Patel
cf22d4b1f8 Add loop index split tests. 
llvm-svn: 41146
 2007-08-17 22:02:15 +00:00
Dan Gohman
34263074cb Convert tests using "grep -c ... | grep ..." to use the count script. 
llvm-svn: 41100
 2007-08-15 13:49:33 +00:00
Dan Gohman
794fa1f8f7 Convert tests using "| wc -l | grep ..." to use the count script. 
llvm-svn: 41097
 2007-08-15 13:36:28 +00:00
Chris Lattner
cab9f1e32b oops, forgot to commit this. 
llvm-svn: 41034
 2007-08-12 16:55:14 +00:00
Chris Lattner
50f25115cd Transform a load from an undef/zero global into an undef/global even if we 
have complex pointer manipulation going on.  This allows us to compile
stuff like this:

__m128i foo(__m128i x){
                static const unsigned int c_0[4] = { 0, 0, 0, 0 };
                __m128i v_Zero = _mm_loadu_si128((__m128i*)c_0);
                x  = _mm_unpacklo_epi8(x,  v_Zero);
                return x;
}

into:

_foo:
        xorps   %xmm1, %xmm1
        punpcklbw       %xmm1, %xmm0
        ret

llvm-svn: 41022
 2007-08-11 18:48:48 +00:00
Chris Lattner
3548932573 when we see a unaligned load from an insufficiently aligned global or 
alloca, increase the alignment of the load, turning it into an aligned load.

This allows us to compile:

#include <xmmintrin.h>
__m128i foo(__m128i x){
 static const unsigned int c_0[4] = { 0, 0, 0, 0 };
	  __m128i v_Zero = _mm_loadu_si128((__m128i*)c_0);
  x  = _mm_unpacklo_epi8(x,  v_Zero);
  return x;
}

into:

_foo:
	punpcklbw	_c_0.5944, %xmm0
	ret
	.data
	.lcomm	_c_0.5944,16,4		# c_0.5944

instead of:

_foo:
	movdqu	_c_0.5944, %xmm1
	punpcklbw	%xmm1, %xmm0
	ret
	.data
	.lcomm	_c_0.5944,16,2		# c_0.5944

llvm-svn: 40971
 2007-08-09 19:05:49 +00:00
Nick Lewycky
34cf98c558 It's safe to fold not of fcmp. 
llvm-svn: 40870
 2007-08-06 20:04:16 +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
Chris Lattner
4670f15d73 I don't have time to restore this functionality right now. 
llvm-svn: 40743
 2007-08-02 17:43:39 +00:00
Chris Lattner
f0f4024c46 Reduced testcase for PR1594 
llvm-svn: 40740
 2007-08-02 17:11:24 +00:00
Devang Patel
937b07fb5e Update dominator info for the middle blocks created while spliting 
exit edge to preserve LCSSA.

Fix dominance frontier update during loop unswitch. This fixes PR 1589, again

llvm-svn: 40737
 2007-08-02 15:25:57 +00:00
Chris Lattner
0111f62050 Enhance instcombine to be more aggressive about folding casts of 
operations of casts.  This implements InstCombine/zext-fold.ll

llvm-svn: 40726
 2007-08-02 06:11:14 +00:00
Chris Lattner
2cacb6cc56 Fix PR1575 and test/Transforms/CondProp/2007-08-01-InvalidRead.ll 
llvm-svn: 40720
 2007-08-02 04:47:05 +00:00
Devang Patel
51c61e730a Update dominator info for the middle blocks created while spliting 
exit edge to preserve LCSSA.

Fix dominance frontier update during loop unswitch. This fixes PR 1589.

llvm-svn: 40695
 2007-08-01 22:23:50 +00:00
Owen Anderson
86544141cf Forgot to update these files for the FastDSE changes. 
llvm-svn: 40674
 2007-08-01 16:53:51 +00:00
Owen Anderson
58e64df595 Rename FastDSE to just DSE. 
llvm-svn: 40668
 2007-08-01 06:36:51 +00:00
Owen Anderson
9c996b3212 Fix a failure I accidentally caused in my last commit by mishandling the 
removal of redundant phis.

llvm-svn: 40650
 2007-07-31 20:18:28 +00:00
Lauro Ramos Venancio
abf6c6d469 Fix a bug in GetKnownAlignment of packed structs. 
llvm-svn: 40649
 2007-07-31 20:13:21 +00:00
Dan Gohman
e3464e6bec Change the x86 assembly output to use tab characters to separate the 
mnemonics from their operands instead of single spaces. This makes the
assembly output a little more consistent with various other compilers
(f.e. GCC), and slightly easier to read. Also, update the regression
tests accordingly.

llvm-svn: 40648
 2007-07-31 20:11:57 +00:00
Owen Anderson
d178c05c62 Fix a misoptimization in aha. 
llvm-svn: 40642
 2007-07-31 17:43:14 +00:00
Devang Patel
1324500d25 Bunch of tests to check loop passes. 
llvm-svn: 40629
 2007-07-31 08:04:17 +00:00
Owen Anderson
a8d0a6ee40 Fix a bug caused by indiscriminantly asking for the dominators of a predecessor. 
llvm-svn: 40595
 2007-07-30 16:57:08 +00:00
Owen Anderson
ed3e63a203 Fix a bug introduced in my last commit. 
llvm-svn: 40542
 2007-07-26 18:57:04 +00:00
Owen Anderson
f2b10d3de3 Fix a couple more bugs in the phi construction by pulling in code that does 
almost the same things from LCSSA.

llvm-svn: 40540
 2007-07-26 18:26:51 +00:00
Owen Anderson
ed75133924 Fix what is _hopefully_ the last corner case for loops. 
llvm-svn: 40503
 2007-07-25 23:54:42 +00:00
Owen Anderson
1e53615073 My last commit was not correct for nested loops. Fix it, and add a testcase for it. 
llvm-svn: 40498
 2007-07-25 22:19:40 +00:00
Owen Anderson
ce9d73dbe7 Fix an infinite loop on 300.twolf. 
llvm-svn: 40497
 2007-07-25 22:03:06 +00:00
Owen Anderson
b215074820 Fix a bug in non-local memdep that was causing an infinite loop on 175.vpr. 
llvm-svn: 40495
 2007-07-25 21:26:36 +00:00
Owen Anderson
522f7a7608 Fix a bug that was causing GVN to crash on 252.eon. 
llvm-svn: 40494
 2007-07-25 21:13:41 +00:00
Owen Anderson
6a1a8d05b8 Add basic support for performing whole-function RLE. 
Note: This has not yet been thoroughly tested.  Use at your own risk.

llvm-svn: 40489
 2007-07-25 19:57:03 +00:00
Owen Anderson
eb9f1b612c Add a GVN pass, using the value numbering code I developed for GVNPRE and the 
load elimination code from RedundantLoadElimination.

llvm-svn: 40469
 2007-07-24 17:55:58 +00:00
Devang Patel
aa2a753350 Unreachable block is not a root node in post dominator tree. 
llvm-svn: 40458
 2007-07-24 01:02:25 +00:00
Owen Anderson
5969a3cb91 Rename a lot of things to change FastDLE to RedundantLoadElimination. 
llvm-svn: 40457
 2007-07-24 00:17:04 +00:00
Owen Anderson
004db891dd Add testcases for FastDLE. 
llvm-svn: 40449
 2007-07-23 22:18:05 +00:00
Owen Anderson
c133ed619f Move these tests to use FastDSE instead of old DSE. 
llvm-svn: 40444
 2007-07-23 20:49:13 +00:00
Chris Lattner
b4bf211c23 This xform isn't safe, removing it. 
llvm-svn: 40378
 2007-07-21 21:27:27 +00:00
Dan Gohman
87107326f6 Optimize alignment of loads and stores. 
llvm-svn: 40102
 2007-07-20 16:34:21 +00:00
Reid Spencer
44d34e9b61 For PR1553: 
Change the keywords for the zext and sext parameter attributes to be 
zeroext and signext so they don't conflict with the keywords for the
instructions of the same name. This gets around the ambiguity.

llvm-svn: 40069
 2007-07-19 23:13:04 +00:00
Devang Patel
988a83909e New test. 
llvm-svn: 40023
 2007-07-18 23:47:02 +00:00
Chris Lattner
96a035fce7 rename function to avoid llvm-upgrade warning 
llvm-svn: 39895
 2007-07-16 04:09:00 +00:00
Chris Lattner
f6a91d74e0 Implement shift-simplify.ll:test[45]. 
First teach instcombine that sign bit checks only demand the 
sign bit, this allows simplify demanded bits to hack on 
expressions better.

Second, teach instcombine that ashr is useless if only the
sign bit is demanded.

llvm-svn: 39880
 2007-07-15 20:54:51 +00:00
Chris Lattner
9cb8da1cb8 Implement shift-simplify.ll:test3, turning: 
(X << 31) <s 0  --> (X&1) != 0

This happens dozens of times in the CFE.

llvm-svn: 39879
 2007-07-15 20:42:37 +00:00
Devang Patel
9a299aa63a New test. 
llvm-svn: 39768
 2007-07-11 23:54:25 +00:00
Owen Anderson
30fc1decdc Fix an error where ANTIC_OUT was ending up with more than one expression of 
the same value number.  This fixes an infinite loop on 444.namd.

llvm-svn: 37967
 2007-07-07 20:13:57 +00:00
Owen Anderson
7cf3a2aa1f Fix a bunch of issues found in a testcase from 400.perlbench. 
llvm-svn: 37929
 2007-07-05 23:11:26 +00:00
Owen Anderson
2024c08f65 Fix another bug, this time in PREing select instructions. 
llvm-svn: 37878
 2007-07-04 22:33:23 +00:00
Owen Anderson
ac8fe6b8ca Fix a typo that was killing GVNPRE of select instructions. 
llvm-svn: 37871
 2007-07-04 18:26:18 +00:00
Owen Anderson
06dd016177 Fix an error in phi translation of GEPs that was causing failures. 
llvm-svn: 37868
 2007-07-04 04:51:16 +00:00
Owen Anderson
4a5c005585 Add support for performing GVNPRE on GEP instructions. 
llvm-svn: 37862
 2007-07-03 23:51:19 +00:00
Owen Anderson
ba084e17fd Add support for performing GVNPRE on cast instructions, and add a testcase for this. 
llvm-svn: 37856
 2007-07-03 18:37:08 +00:00
Zhou Sheng
c61006cead Test case for recent patch for IndVarSimplify.cpp 
llvm-svn: 37838
 2007-07-02 08:02:14 +00:00
John Criswell
57e5ed4b5a Convert .cvsignore files 
llvm-svn: 37801
 2007-06-29 16:35:07 +00:00
Owen Anderson
b2ec2956f5 Add a test for performing GVNPRE on select instructions. 
llvm-svn: 37782
 2007-06-28 23:50:31 +00:00
Owen Anderson
0217ca66eb Add tests for performing GVNPRE on the three vector-specific instructions. 
llvm-svn: 37744
 2007-06-27 04:06:32 +00:00
Chris Lattner
0e4a85056d new testcase, the inliner shouldn't inline this. 
llvm-svn: 37722
 2007-06-25 21:49:53 +00:00
Owen Anderson
18e5df298f Rename variables to expose the fact that this test is failing. 
llvm-svn: 37711
 2007-06-24 08:17:41 +00:00
Chris Lattner
cbb352b293 new testcase miscompiled by instcombine, reduced from perl 
llvm-svn: 37691
 2007-06-21 18:09:25 +00:00
Owen Anderson
8cb2c3f5df Testcase for instances where a constant only occurs as an operand to a phi node. 
llvm-svn: 37653
 2007-06-19 05:55:01 +00:00
Owen Anderson
4a0cde1b5b Add a new testcase for memory corruption issues. 
llvm-svn: 37648
 2007-06-19 05:41:22 +00:00
Owen Anderson
eb5063e92f Testcase where GVNPRE was getting confused by invoke instructions. 
llvm-svn: 37609
 2007-06-16 00:25:10 +00:00
Owen Anderson
ae1d13f311 Add a testcase where GVNPRE what getting confused by a loop. 
llvm-svn: 37594
 2007-06-15 17:54:05 +00:00
Chris Lattner
8ac4acdd56 add vector versions of this test 
llvm-svn: 37588
 2007-06-15 06:22:32 +00:00
Chris Lattner
85890d8d1d testcase for PR1510 
llvm-svn: 37583
 2007-06-15 05:57:20 +00:00
Owen Anderson
ebfbf95080 Add a test where phi translation was producing a null result. 
llvm-svn: 37563
 2007-06-12 22:42:35 +00:00
Owen Anderson
4cafa9ccd2 Testcase where GVNPRE crashes on functions with no exit nodes. 
llvm-svn: 37555
 2007-06-12 16:56:00 +00:00
Owen Anderson
6947941199 Make the run line for this test correct. Thanks to Chris for spotting it. 
llvm-svn: 37552
 2007-06-12 04:40:48 +00:00
Owen Anderson
576d948043 Add a GVN-PRE basic regression test. 
llvm-svn: 37549
 2007-06-12 00:49:33 +00:00
Tanya Lattner
9672d69be2 Instruct the inliner to obey the noinline attribute. Add test case. 
llvm-svn: 37481
 2007-06-06 21:59:26 +00:00
Lauro Ramos Venancio
fa558c0028 Add a test for PR1499. 
llvm-svn: 37473
 2007-06-06 17:10:02 +00:00
Nick Lewycky
65ab0c5528 new testcase for PR1487 
llvm-svn: 37458
 2007-06-06 04:11:21 +00:00
Chris Lattner
fdf98ca07f new testcase for PR1491 
llvm-svn: 37422
 2007-06-04 22:23:17 +00:00
Chris Lattner
282776d211 Testcase for PR1421 
llvm-svn: 37357
 2007-05-30 06:10:46 +00:00
Chris Lattner
5743ab17d4 testcase for PR1446 
llvm-svn: 37325
 2007-05-24 18:42:47 +00:00