RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-25 04:02:41 +01:00
Code Issues Projects Releases Wiki Activity
40,509 Commits 4 Branches 5 Tags 704 MiB
374d9328b7
Commit Graph

632 Commits

Author SHA1 Message Date
Owen Anderson
64fc7a4268 XFAIL this test for the moment. The real solution is to prevent ADCE 
from transforming loops and adding a separate loop pass for removing
loops with know trip counts.  Until that happens, ADCE is miscompiling this code.

llvm-svn: 49769
 2008-04-16 04:25:42 +00:00
Owen Anderson
15e930588a Add testcase for PR2213. 
llvm-svn: 49517
 2008-04-11 05:13:32 +00:00
Dan Gohman
318d9a6605 Teach InstCombine's ComputeMaskedBits to handle pointer expressions 
in addition to integer expressions. Rewrite GetOrEnforceKnownAlignment
as a ComputeMaskedBits problem, moving all of its special alignment
knowledge to ComputeMaskedBits as low-zero-bits knowledge.

Also, teach ComputeMaskedBits a few basic things about Mul and PHI
instructions.

This improves ComputeMaskedBits-based simplifications in a few cases,
but more noticeably it significantly improves instcombine's alignment
detection for loads, stores, and memory intrinsics.

llvm-svn: 49492
 2008-04-10 18:43:06 +00:00
Chris Lattner
be01a5f699 Generalize getUnaryFloatFunction to handle any FP unary function, automatically 
figuring out the suffix to use.  implement pow(2,x) -> exp2(x).

llvm-svn: 49437
 2008-04-09 17:48:11 +00:00
Chris Lattner
5d0cbe7d22 remove capital letter from test name. 
llvm-svn: 49436
 2008-04-09 17:46:36 +00:00
Owen Anderson
ca7e0e21f3 Factor a bunch of functionality related to memcpy and memset transforms out of 
GVN and into its own pass.

llvm-svn: 49419
 2008-04-09 08:23:16 +00:00
Chris Lattner
976ea8990e many cleanups to the pow optimizer. Allow it to handle powf, 
add support for  pow(x, 2.0) -> x*x.

llvm-svn: 49411
 2008-04-09 00:07:45 +00:00
Gabor Greif
80acb912a9 merge r48768 from branches/ggreif/parallelized-test 
llvm-svn: 49382
 2008-04-08 15:22:41 +00:00
Chris Lattner
12cecbbb25 add a testcase for forming memset from noncontiguous stores. 
llvm-svn: 48938
 2008-03-29 04:51:35 +00:00
Evan Cheng
563b265f37 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: 48791
 2008-03-25 20:07:13 +00:00
Tanya Lattner
b6a27ed83f Byebye llvm-upgrade! 
llvm-svn: 48762
 2008-03-25 04:26:08 +00:00
Devang Patel
425514c509 Add incoming value from header only if phi node has any use inside the loop. 
llvm-svn: 48738
 2008-03-24 20:16:14 +00:00
Chris Lattner
97e4d98c2d apparently tclsh doesn't lex like bash. Weird. 
llvm-svn: 48732
 2008-03-24 17:41:57 +00:00
Chris Lattner
3a6d3372f5 pass the option so this test tests the right thing. 
llvm-svn: 48731
 2008-03-24 17:36:38 +00:00
Evan Cheng
1d63708523 Transform (zext (or (icmp), (icmp))) to (or (zext (cimp), (zext icmp))) if at least one of the (zext icmp) can be transformed to eliminate an icmp. 
llvm-svn: 48715
 2008-03-24 00:21:34 +00:00
Owen Anderson
2f91173e40 Use normal naming convention for test. 
llvm-svn: 48693
 2008-03-22 21:08:33 +00:00
Chris Lattner
16f62d36e8 implement an initial hack at a straight-line store -> memset optimization. 
This fires dozens of times across spec and multisource, but I don't know
if it actually speeds stuff up.  Hopefully the testers will show something
nice :)

llvm-svn: 48680
 2008-03-22 05:37:16 +00:00
Chris Lattner
96cdf21ed4 Teach masked value is zero about add and sub, and use MVIZ to 
simplify things like (X & 4) >> 1 == 2  --> (X & 4) == 4.

since it is obvious that the shift doesn't remove any bits.

llvm-svn: 48631
 2008-03-21 05:19:58 +00:00
Tanya Lattner
52e5896b3f Upgrade tests. 
llvm-svn: 48538
 2008-03-19 07:28:33 +00:00
Tanya Lattner
f0dc625b4f Upgrade tests. 
llvm-svn: 48536
 2008-03-19 05:39:35 +00:00
Tanya Lattner
be72114460 Upgrade tests to not use llvm-upgrade. 
llvm-svn: 48530
 2008-03-19 04:36:04 +00:00
Tanya Lattner
88c66b1027 Upgrade tests to not use llvm-upgrade. 
llvm-svn: 48529
 2008-03-19 04:14:49 +00:00
Tanya Lattner
0721aaa8f7 Remove llvm-upgrade and update tests. 
llvm-svn: 48527
 2008-03-19 03:47:13 +00:00
Tanya Lattner
9bd47b05dd Upgrade tests to not use llvm-upgrade. 
llvm-svn: 48484
 2008-03-18 04:14:37 +00:00
Tanya Lattner
60b7b29981 Upgrade tests to not use llvm-upgrade. 
llvm-svn: 48483
 2008-03-18 03:45:45 +00:00
Bill Wendling
7d054f8b3f The inst combining of inttoptr into GEP with one index was using the bit size of 
the type instead of the byte size. This was causing troublesome mis-compilations.

True to form, this took 2 days to find and is a one-line fix. :-P

llvm-svn: 48354
 2008-03-14 05:12:19 +00:00
Owen Anderson
6c2454d9d1 Fix a bug in GVN that Duncan noticed, where we potentially need to insert a 
pointer bitcast when performing return slot optimization.

llvm-svn: 48343
 2008-03-13 22:07:10 +00:00
Owen Anderson
5887233a3f Improve the return slot optimization to be both more aggressive (not limited to sret parameters), and 
safer (when the passed pointer might be invalid).  Thanks to Duncan and Chris for the idea behind this, 
and extra thanks to Duncan for helping me work out the trap-safety.

llvm-svn: 48280
 2008-03-12 07:37:44 +00:00
Devang Patel
9e4d8236fc Fix attribute handling. 
llvm-svn: 48262
 2008-03-12 00:07:03 +00:00
Devang Patel
54b2c77a4e Handle multiple ret values. 
llvm-svn: 48254
 2008-03-11 22:24:29 +00:00
Dan Gohman
34ea45f10d Check to see if a two-entry PHI block can be simplified 
before trying to merge the block into its predecessors.
This allows two-entry-phi-return.ll to be simplified
into a single basic block.

llvm-svn: 48252
 2008-03-11 21:53:06 +00:00
Dan Gohman
05907c9f06 Make this test more challenging to help it avoid being 
optimized away before it tests what it is intended to test.

llvm-svn: 48251
 2008-03-11 21:47:57 +00:00
Devang Patel
6c189c16b5 Initial multiple return values support. 
llvm-svn: 48210
 2008-03-11 05:46:42 +00:00
Dan Gohman
2674ad5bed Upgrade this test. 
llvm-svn: 48207
 2008-03-11 02:19:59 +00:00
Devang Patel
659c71126e Simplify 
llvm-svn: 48163
 2008-03-10 18:38:30 +00:00
Tanya Lattner
8ac346c316 Remove llvm-upgrade and update tests. 
llvm-svn: 48137
 2008-03-10 07:21:50 +00:00
Nick Lewycky
5dd879d5b5 Turn unwind_to into "unwinds to". 
llvm-svn: 48123
 2008-03-10 02:20:00 +00:00
Tanya Lattner
9aa573954c Remove llvm-upgrade and update tests. 
llvm-svn: 48103
 2008-03-09 08:16:40 +00:00
Nick Lewycky
4732d3c9b7 Firstly, having a BranchInst isn't exclusive with having an unwind_to. 
Secondly, we have to check whether the branch is actually pointing to the block
with the unwind in it. We could have gotten here because of the unwind_to alone.

llvm-svn: 48099
 2008-03-09 07:50:37 +00:00
Nick Lewycky
e93a1819dc A BB that unwind_to an "unwind" inst is that same as one that doesn't unwind_to 
at all.

llvm-svn: 48096
 2008-03-09 07:36:38 +00:00
Nick Lewycky
d98272094e Update the inliner and simplifycfg to handle unwind_to. 
llvm-svn: 48086
 2008-03-09 05:10:13 +00:00
Nick Lewycky
980738baf2 Prune the unwind_to labels on BBs that don't need them. Another step in the 
removal of invoke, PR1269.

llvm-svn: 48084
 2008-03-09 04:55:16 +00:00
Devang Patel
9543238662 Update inliner to handle functions that return multiple values. 
llvm-svn: 48020
 2008-03-07 20:06:16 +00:00
Devang Patel
a6ec13ef6b Place for sret promotion tests. 
llvm-svn: 48016
 2008-03-07 20:00:15 +00:00
Nick Lewycky
c6edcb8904 Commit the testcase too. 
llvm-svn: 47988
 2008-03-06 06:50:03 +00:00
Nick Lewycky
f249c5d5ad Don't try to simplify urem and srem using arithmetic rules that don't work 
under modulo (overflow). Fixes PR1933.

llvm-svn: 47987
 2008-03-06 06:48:30 +00:00
Devang Patel
84e9abbb60 Use cast instead of dyn_cast. 
Update test to use multiple return value directly, instead of relying on -sretpromotion.

llvm-svn: 47907
 2008-03-04 21:45:28 +00:00
Devang Patel
a14b91d6a3 Handle multiple return values. 
llvm-svn: 47904
 2008-03-04 21:15:15 +00:00
Tanya Lattner
c072619922 Remove llvm-upgrade and update test cases. 
llvm-svn: 47793
 2008-03-01 09:15:35 +00:00
Chris Lattner
75f5d14574 fix a bug Anders ran into where scalarrepl would crash when promoting 
a union containing a vector and an array whose elements were smaller than
the vector elements.  this means we need to compile the load of the 
array elements into an extract element plus a truncate.

llvm-svn: 47752
 2008-02-29 07:12:06 +00:00
Chris Lattner
5aeccb7353 Folding or(fcmp,fcmp) only works if the operands of the fcmps are the same fp type. 
llvm-svn: 47750
 2008-02-29 06:09:11 +00:00
Owen Anderson
a39b18223f Add PR number to testcase. 
llvm-svn: 47640
 2008-02-26 23:16:11 +00:00
Owen Anderson
eadd074b22 Fix an issue where GVN had the sizes of the two memcpy's reverse, resulting 
in an invalid transformation.

llvm-svn: 47639
 2008-02-26 23:06:17 +00:00
Chris Lattner
9d19e558b7 fix this test so that the fn name doesn't match the regex 
llvm-svn: 47608
 2008-02-26 18:13:51 +00:00
Gabor Greif
a8990a9cac Really feed llvm-as with the testcase, do not let it read from stdin. This fixes the hangs seen on solaris10. 
llvm-svn: 47604
 2008-02-26 13:37:13 +00:00
Owen Anderson
6eafd532ab Fix an issue where GVN was performing the return slot optimization when it was 
not safe.  This is fixed by more aggressively checking that the return slot is
not used elsewhere in the function.

llvm-svn: 47544
 2008-02-25 04:08:09 +00:00
Owen Anderson
432abc0479 Fix an issue where GVN would try to use an instruction before its definition when performing return slot optimization. 
llvm-svn: 47541
 2008-02-25 00:40:41 +00:00
Zhou Sheng
5f4e29db89 Testcase for Revision 47478. 
llvm-svn: 47531
 2008-02-23 10:59:51 +00:00
Nick Lewycky
1f3c58df08 Correctly fold divide-by-constant, even when faced with overflow. 
llvm-svn: 47287
 2008-02-18 22:48:05 +00:00
Chris Lattner
a6dc8aaa3f make this just a bit more strict. 
llvm-svn: 47274
 2008-02-18 17:33:10 +00:00
Owen Anderson
7b092ea631 Add support to GVN for performing sret return slot optimization. This means that, if an sret function tail calls 
another sret function, it should pass its own sret parameter to the tail callee, allowing it to fill in the correct
return value.  llvm-gcc does not emit this by default.  Instead, it allocates space in the caller for the sret of
the tail call and then uses memcpy to copy the result into the caller's sret parameter.  This optimization detects
and optimizes that case.

llvm-svn: 47265
 2008-02-18 09:24:53 +00:00
Chris Lattner
9851db050b optimize away stackrestore calls that have no intervening alloca or call. 
llvm-svn: 47258
 2008-02-18 06:12:38 +00:00
Chris Lattner
dd489bf3eb upgrade this test. 
llvm-svn: 47257
 2008-02-18 06:11:00 +00:00
Chris Lattner
2fa904b3af Fold (-x + -y) -> -(x+y) which promotes better association, fixing 
the second half of PR2047

llvm-svn: 47244
 2008-02-17 21:03:36 +00:00
Chris Lattner
4a34461d64 Split up subtracts into add+negate if they have a reassociable use or operand 
that is also a subtract.  This implements PR2047 and Transforms/Reassociate/subtest2.ll 

llvm-svn: 47241
 2008-02-17 20:51:26 +00:00
Chris Lattner
7cd16f34b3 upgrade and simplify this test. 
llvm-svn: 47240
 2008-02-17 20:48:43 +00:00
Duncan Sands
cd0325cce1 Remove any 'nest' parameter attributes if the function 
is not passed as an argument to a trampoline intrinsic.

llvm-svn: 47220
 2008-02-16 20:56:04 +00:00
Devang Patel
8af92b942c If loop header is also loop exiting block then OrigPN is incoming value for B loop header. 
Fixes PR 2030.

llvm-svn: 47141
 2008-02-14 23:18:47 +00:00
Chris Lattner
b8bf200b77 Fix PR2029 
llvm-svn: 47129
 2008-02-14 19:18:13 +00:00
Nick Lewycky
12098ea401 Testcase for PR2032. 
llvm-svn: 47113
 2008-02-14 07:15:11 +00:00
Devang Patel
38de2d11a5 A loop latch phi node may have uses inside loop, not just in loop header. 
llvm-svn: 47093
 2008-02-13 22:23:07 +00:00
Devang Patel
1e71afe2df While moving exit condition, do not drop loop latch on the floor. 
llvm-svn: 47089
 2008-02-13 22:06:36 +00:00
Devang Patel
d48bbbf07b Keep track of exit value operand number when operands are swapped. 
llvm-svn: 47082
 2008-02-13 19:48:48 +00:00
Eli Friedman
cf6273d015 Add a note pointing to PR1996. 
llvm-svn: 47055
 2008-02-13 07:56:04 +00:00
Eli Friedman
75220639b6 Add test for PR1996. (This is my first time adding a test for a 
transform, so please review.)

llvm-svn: 47050
 2008-02-13 06:55:57 +00:00
Owen Anderson
274aa2846e Re-apply the patch to improve the optimizations of memcpy's, with several 
bugs fixed.  This now passes PPC bootstrap.

llvm-svn: 47026
 2008-02-12 21:15:18 +00:00
Devang Patel
9aba178666 Fix PR 1995. 
llvm-svn: 46898
 2008-02-08 22:49:13 +00:00
Bill Wendling
8a28ab4b1f Temporarily reverting: 
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20080128/057882.html

This is causing a miscompilation on PPC G5 and just now seeing it on iMac x86-64.

llvm-svn: 46822
 2008-02-06 20:03:07 +00:00
Chris Lattner
96deed5d4d Fix a bug compiling PR1978 (perhaps not the only one though) which 
was incorrectly simplifying "x == (gep x, 1, i)" into false, even 
though i could be negative.  As it turns out, all the code to 
handle this already existed, we just need to disable the incorrect
optimization case and let the general case handle it.

llvm-svn: 46739
 2008-02-05 04:45:32 +00:00
Owen Anderson
e2150dfe24 Make this test more aggressive, to cover recent improvements. 
llvm-svn: 46695
 2008-02-04 04:55:24 +00:00
Owen Anderson
aaba6f96da Allow GVN to hack on memcpy's, making them open to further optimization. 
llvm-svn: 46693
 2008-02-04 02:59:58 +00:00
Nick Lewycky
81cc718a25 Tag this test with the PR reference. 
llvm-svn: 46688
 2008-02-03 16:35:19 +00:00
Nick Lewycky
febd3642ce There are some cases where icmp(add) can be folded into a new icmp. Handle them. 
llvm-svn: 46687
 2008-02-03 16:33:09 +00:00
Duncan Sands
454a8eaee9 Don't drop function/call return attributes like 'nounwind'. 
llvm-svn: 46645
 2008-02-01 20:37:16 +00:00
Owen Anderson
ad9a347656 Make DSE much more aggressive by performing DCE earlier. Update a testcase to reflect this increased aggressiveness. 
llvm-svn: 46542
 2008-01-30 01:24:47 +00:00
Chris Lattner
83227e350d Fix a bug where scalarrepl would discard offset if type would match. 
In practice this can only happen on code with already undefined behavior, 
but this is still a good thing to handle correctly.

llvm-svn: 46539
 2008-01-30 00:39:15 +00:00
Chris Lattner
e08ec140e0 Don't let globalopt hack on volatile loads or stores. 
llvm-svn: 46523
 2008-01-29 19:01:37 +00:00
Chris Lattner
83f411c586 eliminate additions of 0.0 when they are obviously dead. This has to be careful to 
avoid turning -0.0 + 0.0 -> -0.0 which is incorrect.

llvm-svn: 46499
 2008-01-29 06:52:45 +00:00
Owen Anderson
2688087c9c Add a testcase for eliminating memcpy's at the end of functions. Forgot to commit this with my last commit. 
llvm-svn: 46497
 2008-01-29 06:40:32 +00:00
Devang Patel
86ff705c22 Filter loops that subtract induction variables. 
These loops are not yet handled.

Fix PR 1912.

llvm-svn: 46484
 2008-01-29 02:20:41 +00:00
Chris Lattner
20854cf4e7 this test is now compiled into the right thing. 
llvm-svn: 46454
 2008-01-28 17:38:46 +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
359756ea4b Fix PR1932 by disabling an xform invalid for fdiv. 
llvm-svn: 46429
 2008-01-28 00:58:18 +00:00
Chris Lattner
7250586ec9 Fix PR1938 by forcing the code that uses an undefined value to branch one 
way or the other.  Rewriting the code itself prevents subsequent analysis
passes from making contradictory conclusions about the code that could 
cause an infeasible path to be made feasible.

llvm-svn: 46427
 2008-01-28 00:32:30 +00:00
Nick Lewycky
cd28ef8950 Be more careful modifying the use_list while also iterating through it. 
llvm-svn: 46417
 2008-01-27 18:35:00 +00:00
Duncan Sands
e77256b325 Revert r46393: readonly/readnone functions are no 
longer allowed to write through byval arguments.

llvm-svn: 46416
 2008-01-27 18:12:58 +00:00
Bill Wendling
0e2b8c2c45 The CorrelatedExpressions pass is now no more. 
llvm-svn: 46409
 2008-01-27 06:13:32 +00:00
Chris Lattner
aa553aa0c1 Fold fptrunc(add (fpextend x), (fpextend y)) -> add(x,y), as GCC does. 
llvm-svn: 46406
 2008-01-27 05:29:54 +00:00
Duncan Sands
9fae964ef7 Invert this test, because it is wrong if we allow 
readonly functions to use byval parameters as local
storage (how much do we want this?).

llvm-svn: 46399
 2008-01-26 12:33:01 +00:00
Owen Anderson
a4ff15c69f DeadStoreElimination can treat byval parameters as if there were alloca's for the purpose of removing end-of-function stores. 
llvm-svn: 46351
 2008-01-25 10:10:33 +00:00
Nick Lewycky
78780f175b Multiply can be evaluated in a different type, so long as the target type has 
a smaller bitwidth.

llvm-svn: 46244
 2008-01-22 05:08:48 +00:00
Evan Cheng
ca434b34ff Test case for varargs parameter attribute issue I just fixed. 
llvm-svn: 46127
 2008-01-17 07:26:31 +00:00
Chris Lattner
c32be7e6b2 Fix arg promotion to propagate the correct attrs on the calls to 
promoted functions.  This is important for varargs calls in 
particular.  Thanks to duncan for providing a great testcase.

llvm-svn: 46108
 2008-01-17 01:17:03 +00:00
Devang Patel
a8d63b0b30 Do not strip llvm.used values. 
llvm-svn: 46045
 2008-01-16 03:33:05 +00:00
Chris Lattner
f0dd2bb4e6 add a test to ensure that argpromote of one argument doesn't 
break the byval attr on some other argument.

llvm-svn: 46025
 2008-01-15 22:38:12 +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
Chris Lattner
efb498eddb Fix the miscompilation of MiBench/consumer-lame that was exposed by Evan's 
byval work.  This miscompilation is due to the program indexing an array out
of range and us doing a transformation that broke this.

llvm-svn: 45949
 2008-01-14 02:09:12 +00:00
Chris Lattner
d22a5f6314 Turn a memcpy from a double* into a load/store of double instead of 
a load/store of i64.  The later prevents promotion/scalarrepl of the
source and dest in many cases.

This fixes the 300% performance regression of the byval stuff on 
stepanov_v1p2.

llvm-svn: 45945
 2008-01-14 00:28:35 +00:00
Chris Lattner
32eae5daa5 Fix PR1907, a nasty miscompilation because instcombine didn't 
realize that ne & sgt  was a signed comparison (it was only 
looking at whether the left compare was signed).

llvm-svn: 45937
 2008-01-13 20:59:02 +00:00
Duncan Sands
7414cc131b When turning a call to a bitcast function into a direct call, 
if this becomes a varargs call then deal correctly with any
parameter attributes on the newly vararg call arguments.

llvm-svn: 45931
 2008-01-13 08:02:44 +00:00
Chris Lattner
d90840eddc we don't have to make an explicit copy of a byval argument when 
inlining a function if we know that the function does not write
to *any* memory.  This implements test/Transforms/Inline/byval2.ll

llvm-svn: 45912
 2008-01-12 18:54:29 +00:00
Duncan Sands
6f49217a5e When DAE drops the varargs part of a function, ensure any 
attributes on the vararg call arguments are also dropped.

llvm-svn: 45892
 2008-01-11 23:13:45 +00:00
Chris Lattner
a1246ba8ed Teach argpromote to ruthlessly hack small byval structs when it can 
get away with it, which exposes opportunities to eliminate the memory
objects entirely.  For example, we now compile byval.ll to:

define internal void @f1(i32 %b.0, i64 %b.1) {
entry:
	%tmp2 = add i32 %b.0, 1		; <i32> [#uses=0]
	ret void
}

define i32 @main() nounwind  {
entry:
	call void @f1( i32 1, i64 2 )
	ret i32 0
}

This seems like it would trigger a lot for code that passes around small
structs (e.g. SDOperand's or _Complex)...

llvm-svn: 45886
 2008-01-11 22:31:41 +00:00
Chris Lattner
bf51fecdc4 When inlining a functino with a byval argument, make an explicit 
copy of it in case the callee modifies the struct.

llvm-svn: 45853
 2008-01-11 06:09:30 +00:00
Chris Lattner
67f581b344 Implement PR1795, an instcombine hack for forming GEPs with integer pointer arithmetic. 
llvm-svn: 45745
 2008-01-08 07:23:51 +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
Chris Lattner
7e1c3aa702 remove a couple more unsafe xforms in the face of overflow. 
llvm-svn: 45613
 2008-01-05 01:22:42 +00:00
Chris Lattner
d4c66656a1 Fix PR1896 
llvm-svn: 45568
 2008-01-04 05:04:53 +00:00
Chris Lattner
26b89fd30a don't hoist FP additions into unconditional adds + selects. This 
could theoretically introduce a trap, but is also a performance issue.
This speeds up ptrdist/ks by 8%.

llvm-svn: 45533
 2008-01-03 07:25:26 +00:00
Bill Wendling
e6898cbe7a Update this testcase. The output needs to be disabled to pass. 
llvm-svn: 45478
 2008-01-01 01:34:36 +00:00
Chris Lattner
2369d2f4ab dead calls to llvm.stacksave can be deleted, even though they 
have potential side-effects.

llvm-svn: 45392
 2007-12-29 00:59:12 +00:00
Chris Lattner
e26989231e upgrade this test 
llvm-svn: 45391
 2007-12-29 00:57:06 +00:00
Devang Patel
d601ada369 Test -simplifycfg only. 
llvm-svn: 45389
 2007-12-28 22:59:48 +00:00
Owen Anderson
ddb5d73f0a Add a testcase for my recent InstCombine fix, written by Nicholas. 
llvm-svn: 45386
 2007-12-28 21:08:43 +00:00
Chris Lattner
d64df490ca implement InstCombine/shift-trunc-shift.ll. This allows 
us to compile:
#include <math.h>
int t1(double d) { return signbit(d); }

into:

_t1:
	movd	%xmm0, %rax
	shrq	$63, %rax
	ret

instead of:

_t1:
	movd	%xmm0, %rax
	shrq	$32, %rax
	shrl	$31, %eax
	ret

on x86-64.

llvm-svn: 45311
 2007-12-22 09:07:47 +00:00
Devang Patel
e035f776e9 If succ has succ itself as one of the predecessors then do 
not merge current bb and succ even if bb's terminator is
unconditional branch to succ.

llvm-svn: 45305
 2007-12-22 01:32:53 +00:00
Duncan Sands
85ca85c070 Make DAE not wipe out attributes on calls, and not drop 
return attributes on the floor.  In the case of a call
to a varargs function where the varargs arguments are
being removed, any call attributes on those arguments
need to be dropped.  I didn't do this because I plan to
make it illegal to have such attributes (see next patch).
With this change, compiling the gcc filter2 eh test at -O0
and then running opt -std-compile-opts on it results in
a correctly working program (compiling at -O1 or higher
results in the test failing due to a problem with how we
output eh info into the IR).

llvm-svn: 45285
 2007-12-21 19:16:16 +00:00
Christopher Lamb
7ca648a7b1 Implement review feedback, including additional transforms 
(icmp slt (sub A B) 1) -> (icmp sle A B)
icmp sgt (sub A B) -1) -> (icmp sge A B)

and add testcase.

llvm-svn: 45256
 2007-12-20 07:21:11 +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
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