Bob Wilson [Mon, 30 Nov 2009 18:35:03 +0000 (18:35 +0000)]
Remove isProfitableToDuplicateIndirectBranch target hook. It is profitable
for all the processors where I have tried it, and even when it might not help
performance, the cost is quite low. The opportunities for duplicating
indirect branches are limited by other factors so code size does not change
much due to tail duplicating indirect branches aggressively.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90144
91177308-0d34-0410-b5e6-
96231b3b80d8
Bob Wilson [Mon, 30 Nov 2009 17:47:19 +0000 (17:47 +0000)]
Fix some more ARM unified syntax warnings.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90141
91177308-0d34-0410-b5e6-
96231b3b80d8
Benjamin Kramer [Mon, 30 Nov 2009 15:52:29 +0000 (15:52 +0000)]
Fix odd declaration.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90138
91177308-0d34-0410-b5e6-
96231b3b80d8
Tobias Grosser [Mon, 30 Nov 2009 13:34:51 +0000 (13:34 +0000)]
Fix last DOTGraphTraits problems in CompilationGraph.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90136
91177308-0d34-0410-b5e6-
96231b3b80d8
Tobias Grosser [Mon, 30 Nov 2009 13:14:13 +0000 (13:14 +0000)]
Remove forgotten ShortNames in Trie and CompilationGraph
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90135
91177308-0d34-0410-b5e6-
96231b3b80d8
Tobias Grosser [Mon, 30 Nov 2009 12:38:47 +0000 (12:38 +0000)]
Remove ShortNames from getNodeLabel in DOTGraphTraits
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90134
91177308-0d34-0410-b5e6-
96231b3b80d8
Tobias Grosser [Mon, 30 Nov 2009 12:38:13 +0000 (12:38 +0000)]
Instantiate DefaultDOTGraphTraits
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90133
91177308-0d34-0410-b5e6-
96231b3b80d8
Tobias Grosser [Mon, 30 Nov 2009 12:37:39 +0000 (12:37 +0000)]
Do not point edge heads to source labels
If no destination label is available, just point to the node itself
instead of pointing to some source label. Source and destination labels are
not related in any way.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90132
91177308-0d34-0410-b5e6-
96231b3b80d8
Tobias Grosser [Mon, 30 Nov 2009 12:24:40 +0000 (12:24 +0000)]
Only print edgeSourceLabels if they are not empty
Graphviz can layout the graphs better if a node does not contain source
ports. Therefore only print the ports if the source ports are useful,
that means are not labeled with the empty string "".
This patch also simplifies graphs without any edgeSourceLabels e.g. the
dominance trees.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90131
91177308-0d34-0410-b5e6-
96231b3b80d8
Tobias Grosser [Mon, 30 Nov 2009 12:06:37 +0000 (12:06 +0000)]
Small PostDominatorTree improvements
* Do not SEGFAULT if tree entryNode() is NULL
* Print function names in dotty printer
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90130
91177308-0d34-0410-b5e6-
96231b3b80d8
Tobias Grosser [Mon, 30 Nov 2009 11:55:24 +0000 (11:55 +0000)]
Remove ":" after BB name in -view-cfg-only
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90129
91177308-0d34-0410-b5e6-
96231b3b80d8
Eric Christopher [Mon, 30 Nov 2009 08:03:53 +0000 (08:03 +0000)]
First pass at llvm.objectsize documentation.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90116
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Mon, 30 Nov 2009 07:05:51 +0000 (07:05 +0000)]
Revert r90107, fixing test/Transforms/GVN/2009-11-29-ReverseMap.ll and the
llvm-gcc build.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90113
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Mon, 30 Nov 2009 07:02:18 +0000 (07:02 +0000)]
Add a testcase for the current llvm-gcc build failure.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90112
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Mon, 30 Nov 2009 04:23:17 +0000 (04:23 +0000)]
Remove the 'simple jit' tutorial as it wasn't really being maintained and its
material is covered by the Kaleidoscope tutorial.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90111
91177308-0d34-0410-b5e6-
96231b3b80d8
Mon P Wang [Mon, 30 Nov 2009 02:42:27 +0000 (02:42 +0000)]
Add test case for r90108
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90109
91177308-0d34-0410-b5e6-
96231b3b80d8
Mon P Wang [Mon, 30 Nov 2009 02:42:02 +0000 (02:42 +0000)]
Added support to allow clients to custom widen. For X86, custom widen vectors for
divide/remainder since these operations can trap by unroll them and adding undefs
for the resulting vector.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90108
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Mon, 30 Nov 2009 02:26:29 +0000 (02:26 +0000)]
reapply r90093 with an addition of keeping the forward
and reverse nonlocal memdep maps in synch, this should
fix 255.vortex.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90107
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Mon, 30 Nov 2009 02:23:57 +0000 (02:23 +0000)]
Fix this test on 64-bit systems which seem to use i64 for gep indices sometimes
while 32-bit gcc uses i32.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90106
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Mon, 30 Nov 2009 00:38:56 +0000 (00:38 +0000)]
Commit r90099 made LLVM simplify one of these constant expressions a little
more. Update the syntax we're checking for and filecheckize it too.
This will fix the selfhost buildbots but will 'break' the others (sigh) because
they're still linked against older LLVM which is emitting less optimized IR.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90104
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Sun, 29 Nov 2009 21:40:55 +0000 (21:40 +0000)]
Teach ConstantFolding to do a better job when folding gep(bitcast).
This permits the devirtualization of llvm.org/PR3100#c9 when compiled by clang.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90099
91177308-0d34-0410-b5e6-
96231b3b80d8
Benjamin Kramer [Sun, 29 Nov 2009 21:17:48 +0000 (21:17 +0000)]
Revert r90089 for now, it's breaking selfhost.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90097
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sun, 29 Nov 2009 21:14:59 +0000 (21:14 +0000)]
revert this patch for now, it causes failures of:
LLVM::Transforms/GVN/2009-02-17-LoadPRECrash.ll
LLVM::Transforms/GVN/2009-06-17-InvalidPRE.ll
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90096
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sun, 29 Nov 2009 21:09:36 +0000 (21:09 +0000)]
Fix a really nasty caching bug I introduced in memdep. An entry
was being added to the Result vector, but not being put in the
cache. This means that if the cache was reused wholesale for a
later query that it would be missing this entry and we'd do an
incorrect load elimination.
Unfortunately, it's not really possible to write a useful
testcase for this, but this unbreaks 255.vortex.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90093
91177308-0d34-0410-b5e6-
96231b3b80d8
Benjamin Kramer [Sun, 29 Nov 2009 20:29:30 +0000 (20:29 +0000)]
Fix two FIXMEs.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90089
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Sun, 29 Nov 2009 18:10:39 +0000 (18:10 +0000)]
Detabify.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90085
91177308-0d34-0410-b5e6-
96231b3b80d8
Benjamin Kramer [Sun, 29 Nov 2009 17:42:58 +0000 (17:42 +0000)]
Remove dead returns.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90083
91177308-0d34-0410-b5e6-
96231b3b80d8
Kovarththanan Rajaratnam [Sun, 29 Nov 2009 17:19:48 +0000 (17:19 +0000)]
This patch ensures that Path::GetMainExecutable is able to handle the
case where realpath() fails. When this occurs we segfault trying to
create a std::string from a NULL pointer.
Fixes PR5635.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90082
91177308-0d34-0410-b5e6-
96231b3b80d8
Daniel Dunbar [Sun, 29 Nov 2009 08:30:24 +0000 (08:30 +0000)]
Fix FileCheck crash when fuzzy scanning starting at the end of the file.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90065
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sun, 29 Nov 2009 02:57:29 +0000 (02:57 +0000)]
add testcases for the foo_with_overflow op xforms added recently and
fix bugs exposed by the tests. Testcases from Alastair Lynn!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90056
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sun, 29 Nov 2009 02:44:33 +0000 (02:44 +0000)]
mark all the 'foo with overflow' intrinsics as readnone.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90055
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sun, 29 Nov 2009 02:19:52 +0000 (02:19 +0000)]
update and consolidate the load pre notes.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90050
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sun, 29 Nov 2009 01:28:58 +0000 (01:28 +0000)]
add PR#
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90049
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sun, 29 Nov 2009 01:15:43 +0000 (01:15 +0000)]
Add a testcase for:
void test(int N, double* G) {
long j;
for (j = 1; j < N - 1; j++)
G[j] = G[j] + G[j+1] + G[j-1];
}
which we now compile to one load in the loop:
LBB1_2: ## %bb
movsd 16(%rsi,%rax,8), %xmm2
incq %rdx
addsd %xmm2, %xmm1
addsd %xmm1, %xmm0
movapd %xmm2, %xmm1
movsd %xmm0, 8(%rsi,%rax,8)
incq %rax
cmpq %rcx, %rax
jne LBB1_2
instead of:
LBB1_2: ## %bb
movsd 8(%rsi,%rax,8), %xmm0
addsd 16(%rsi,%rax,8), %xmm0
addsd (%rsi,%rax,8), %xmm0
movsd %xmm0, 8(%rsi,%rax,8)
incq %rax
cmpq %rcx, %rax
jne LBB1_2
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90048
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sun, 29 Nov 2009 01:04:40 +0000 (01:04 +0000)]
add a testcase for
void test9(int N, double* G) {
long j;
for (j = 1; j < N - 1; j++)
G[j+1] = G[j] + G[j+1];
}
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90047
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sun, 29 Nov 2009 00:51:17 +0000 (00:51 +0000)]
Implement PR5634.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90046
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Sat, 28 Nov 2009 21:27:49 +0000 (21:27 +0000)]
Teach memdep to look for memory use intrinsics during dependency queries. Fixes
PR5574.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90045
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 28 Nov 2009 16:08:18 +0000 (16:08 +0000)]
reenable load address insertion in load pre. This allows us to
handle cases like this:
void test(int N, double* G) {
long j;
for (j = 1; j < N - 1; j++)
G[j+1] = G[j] + G[j+1];
}
where G[1] isn't live into the loop.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90041
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 28 Nov 2009 15:39:14 +0000 (15:39 +0000)]
Enhance InsertPHITranslatedPointer to be able to return a list of newly
inserted instructions. No functionality change until someone starts using it.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90039
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 28 Nov 2009 15:12:41 +0000 (15:12 +0000)]
implement a FIXME: limit the depth that DecomposeGEPExpression goes the same
way that getUnderlyingObject does it.
This fixes the 'DecomposeGEPExpression and getUnderlyingObject disagree!'
assertion on sqlite3.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90038
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sat, 28 Nov 2009 14:54:10 +0000 (14:54 +0000)]
enable code to handle un-phi-translatable cases more aggressively:
if we don't have an address expression available in a predecessor,
then model this as the value being clobbered at the end of the pred
block instead of being modeled as a complete phi translation failure.
This is important for PRE of loads because we want to see that the
load is available in all but this predecessor, and complete phi
translation failure results in not getting any information about
predecessors.
This doesn't do anything until I renable code insertion since PRE
now sees that it is available in all but one predecessors, but can't
insert the addressing in the predecessor that is missing it to
eliminate the redundancy.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90037
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 27 Nov 2009 22:50:07 +0000 (22:50 +0000)]
disable value insertion for now, I need to figure out how
to inform GVN about the newly inserted values. This fixes
PR5631.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90022
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 27 Nov 2009 22:05:15 +0000 (22:05 +0000)]
Rework InsertPHITranslatedPointer to handle the recursive case, this
fixes PR5630 and sets the stage for the next phase of goodness (testcase
pending).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90019
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 27 Nov 2009 20:25:30 +0000 (20:25 +0000)]
recursively phi translate bitcast operands too, for consistency.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90016
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Fri, 27 Nov 2009 19:57:53 +0000 (19:57 +0000)]
Oops! Fix bug introduced in my recent cleanup change. Thanks to Tobias Grosser
for pointing this out.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90015
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 27 Nov 2009 19:56:00 +0000 (19:56 +0000)]
I accidentally implemented this :)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90014
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 27 Nov 2009 19:11:31 +0000 (19:11 +0000)]
add support for recursive phi translation and phi
translation of add with immediate. This allows us
to optimize this function:
void test(int N, double* G) {
long j;
G[1] = 1;
for (j = 1; j < N - 1; j++)
G[j+1] = G[j] + G[j+1];
}
to only do one load every iteration of the loop.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90013
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 27 Nov 2009 18:08:30 +0000 (18:08 +0000)]
add two simple test cases we now optimize (to one load in the loop each) and one we don't (corresponding to the fixme I added yesterday).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90012
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 27 Nov 2009 17:42:22 +0000 (17:42 +0000)]
factor some logic out of instcombine into a new SimplifyAddInst method.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90011
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 27 Nov 2009 17:12:30 +0000 (17:12 +0000)]
add a deadargelim note.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90009
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 27 Nov 2009 16:53:57 +0000 (16:53 +0000)]
This testcase is actually only partially redundant, and requires
the FIXME I added yesterday to be implemented.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90008
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 27 Nov 2009 16:37:41 +0000 (16:37 +0000)]
fix PR5436 by making the 'simple' case of SRoA not promote out of range
array indexes. The "complex" case of SRoA still handles them, and correctly.
This fixes a weirdness where we'd correctly avoid transforming A[0][42] if
the 42 was too large, but we'd only do it if it was one gep, not two separate
ones.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90007
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 27 Nov 2009 16:31:59 +0000 (16:31 +0000)]
filecheckize
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90006
91177308-0d34-0410-b5e6-
96231b3b80d8
Duncan Sands [Fri, 27 Nov 2009 16:04:14 +0000 (16:04 +0000)]
While this test is testing a problem in the generic part of codegen,
the problem only shows for msp430 and pic16 which is why it specifies
them using -march. But it is wrong to put such tests in CodeGen/Generic,
since not everyone builds these targets. Put a copy of the test in each
of the target test directories.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90005
91177308-0d34-0410-b5e6-
96231b3b80d8
Duncan Sands [Fri, 27 Nov 2009 13:38:03 +0000 (13:38 +0000)]
Vector types are no longer required to have a power-of-two length.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90004
91177308-0d34-0410-b5e6-
96231b3b80d8
Duncan Sands [Fri, 27 Nov 2009 12:33:22 +0000 (12:33 +0000)]
These code generator limitations have been removed.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90003
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 27 Nov 2009 08:40:14 +0000 (08:40 +0000)]
add comment.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90002
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 27 Nov 2009 08:37:22 +0000 (08:37 +0000)]
reduce nesting, no functionality change.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90001
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 27 Nov 2009 08:32:52 +0000 (08:32 +0000)]
limit the recursion depth of GetLinearExpression. This
fixes a crash analyzing consumer-lame, which had an "%X = add %X, 1"
in unreachable code.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@90000
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 27 Nov 2009 08:25:10 +0000 (08:25 +0000)]
teach GVN's load PRE to insert computations of the address in predecessors
where it is not available. It's unclear how to get this inserted
computation into GVN's scalar availability sets, Owen, help? :)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89997
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 27 Nov 2009 06:42:42 +0000 (06:42 +0000)]
add some tests for memdep phi translation + PRE.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89996
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 27 Nov 2009 06:36:28 +0000 (06:36 +0000)]
this test is failing, and is expected to.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89995
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 27 Nov 2009 06:33:09 +0000 (06:33 +0000)]
filecheckize
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89994
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 27 Nov 2009 06:31:55 +0000 (06:31 +0000)]
rename test.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89993
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 27 Nov 2009 06:31:14 +0000 (06:31 +0000)]
Fix phi translation in load PRE to agree with the phi
translation done by memdep, and reenable gep translation
again.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89992
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 27 Nov 2009 05:53:01 +0000 (05:53 +0000)]
redisable this, my bootstrap worked because it wasn't an optimized build, whoops.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89991
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 27 Nov 2009 05:19:56 +0000 (05:19 +0000)]
try again.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89990
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 27 Nov 2009 01:52:22 +0000 (01:52 +0000)]
this is causing buildbot failures, disable for now.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89985
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 27 Nov 2009 00:35:04 +0000 (00:35 +0000)]
this (and probably several others) are now done.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89982
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 27 Nov 2009 00:34:38 +0000 (00:34 +0000)]
teach phi translation of GEPs to simplify geps like 'gep x, 0'.
This allows us to compile the example from PR5313 into:
LBB1_2: ## %bb
incl %ecx
movb %al, (%rsi)
movslq %ecx, %rax
movb (%rdi,%rax), %al
testb %al, %al
jne LBB1_2
instead of:
LBB1_2: ## %bb
movslq %eax, %rcx
incl %eax
movb (%rdi,%rcx), %cl
movb %cl, (%rsi)
movslq %eax, %rcx
cmpb $0, (%rdi,%rcx)
jne LBB1_2
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89981
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 27 Nov 2009 00:29:05 +0000 (00:29 +0000)]
factor some instcombine simplifications for getelementptr out to a new
SimplifyGEPInst method in InstructionSimplify.h. No functionality change.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89980
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 27 Nov 2009 00:07:37 +0000 (00:07 +0000)]
teach memdep to do trivial PHI translation of GEPs. More to
come.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89979
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 26 Nov 2009 23:41:07 +0000 (23:41 +0000)]
Teach memdep to phi translate bitcasts. This allows us to compile
the example in GCC PR16799 to:
LBB1_2: ## %bb1
movl %eax, %eax
subq %rax, %rdi
movq %rdi, (%rcx)
movl (%rdi), %eax
testl %eax, %eax
je LBB1_2
instead of:
LBB1_2: ## %bb1
movl (%rdi), %ecx
subq %rcx, %rdi
movq %rdi, (%rax)
cmpl $0, (%rdi)
je LBB1_2
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89978
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 26 Nov 2009 23:32:59 +0000 (23:32 +0000)]
convert to filecheck
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89977
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Thu, 26 Nov 2009 23:19:05 +0000 (23:19 +0000)]
Fix typo spotted by Gabor Greif.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89976
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 26 Nov 2009 23:18:49 +0000 (23:18 +0000)]
factor some code out into some helper functions.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89975
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Thu, 26 Nov 2009 22:54:26 +0000 (22:54 +0000)]
Clean up file, no functionality change.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89974
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 26 Nov 2009 22:48:23 +0000 (22:48 +0000)]
Add a hack for PR5601, a crash on obsolete syntax that we plan to
remove in LLVM 3.0
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89973
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 26 Nov 2009 22:08:06 +0000 (22:08 +0000)]
fix crash on Transforms/InstCombine/intrinsics.ll introduced by r89970
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89972
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 26 Nov 2009 22:04:42 +0000 (22:04 +0000)]
Fix PR5471 by removing an instcombine xform. Some pieces of the code
generates store to undef and some generates store to null as the idiom
for undefined behavior. Since simplifycfg zaps both, don't remove the
undefined behavior in instcombine.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89971
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 26 Nov 2009 21:42:47 +0000 (21:42 +0000)]
implement a bunch of xforms for overflow intrinsics, based on a patch
by Alastair Lynn.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89970
91177308-0d34-0410-b5e6-
96231b3b80d8
Bob Wilson [Thu, 26 Nov 2009 21:38:41 +0000 (21:38 +0000)]
Rename new TailDuplicationPass to avoid name conflict with the old one.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89968
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 26 Nov 2009 19:25:46 +0000 (19:25 +0000)]
@test9 is a testcase for r89958. Before 89958, we misanalyzed the
first expression as P+4+4*i which we considered to possibly alias
P+4*j. Now we correctly analyze the former one as P+1+4*i.
@test10 is a sanity test that verfies that we know that P+4+4*i != P+4*i.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89960
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 26 Nov 2009 18:53:33 +0000 (18:53 +0000)]
Implement PR1143 (at -m64) by making basicaa look through extensions. We
previously already handled it at -m32 because there were no i32->i64
extensions for addressing.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89959
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 26 Nov 2009 18:35:46 +0000 (18:35 +0000)]
fix two transposed lines duncan caught and add an explanatory comment.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89958
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 26 Nov 2009 17:14:10 +0000 (17:14 +0000)]
this todo is resolved.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89957
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 26 Nov 2009 17:12:50 +0000 (17:12 +0000)]
move DecomposeGEPExpression out into ValueTracking.cpp
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89956
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 26 Nov 2009 17:00:01 +0000 (17:00 +0000)]
teach GetLinearExpression to be a bit more aggressive.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89955
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 26 Nov 2009 16:52:32 +0000 (16:52 +0000)]
resolve a fixme. I haven't figured out how to write a testcase
to exercise this though.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89954
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 26 Nov 2009 16:42:00 +0000 (16:42 +0000)]
update status of this. basicaa is much improved now,
only missing the one form (in this testcase). Dan, do you
consider this example to be important?
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89953
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 26 Nov 2009 16:26:43 +0000 (16:26 +0000)]
Teach basicaa that x|c == x+c when the c bits of x are clear. This
allows us to compile the example in readme.txt into:
LBB1_1: ## %bb
movl 4(%rdx,%rax), %ecx
movl %ecx, %esi
imull (%rdx,%rax), %esi
imull %esi, %ecx
movl %esi, 8(%rdx,%rax)
imull %ecx, %esi
movl %ecx, 12(%rdx,%rax)
movl %esi, 16(%rdx,%rax)
imull %ecx, %esi
movl %esi, 20(%rdx,%rax)
addq $16, %rax
cmpq $4000, %rax
jne LBB1_1
instead of:
LBB1_1:
movl (%rdx,%rax), %ecx
imull 4(%rdx,%rax), %ecx
movl %ecx, 8(%rdx,%rax)
imull 4(%rdx,%rax), %ecx
movl %ecx, 12(%rdx,%rax)
imull 8(%rdx,%rax), %ecx
movl %ecx, 16(%rdx,%rax)
imull 12(%rdx,%rax), %ecx
movl %ecx, 20(%rdx,%rax)
addq $16, %rax
cmpq $4000, %rax
jne LBB1_1
GCC (4.2) doesn't seem to be able to eliminate the loads in this
testcase either, it generates:
L2:
movl (%rdx), %eax
imull 4(%rdx), %eax
movl %eax, 8(%rdx)
imull 4(%rdx), %eax
movl %eax, 12(%rdx)
imull 8(%rdx), %eax
movl %eax, 16(%rdx)
imull 12(%rdx), %eax
movl %eax, 20(%rdx)
addl $4, %ecx
addq $16, %rdx
cmpl $1002, %ecx
jne L2
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89952
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 26 Nov 2009 16:18:10 +0000 (16:18 +0000)]
teach basicaa that A[i] != A[i+1].
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89951
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 26 Nov 2009 16:08:41 +0000 (16:08 +0000)]
rename test
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89950
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 26 Nov 2009 02:17:34 +0000 (02:17 +0000)]
Change the other half of aliasGEP (which handles GEP differencing) to use DecomposeGEPExpression. This dramatically simplifies and shrinks the code by eliminating the horrible CheckGEPInstructions method, fixes a miscompilation (@test3) and makes the code more aggressive. In particular, we now handle the @test4 case, which is reduced from the SmallPtrSet constructor. Missing this caused us to emit a variable length memset instead of a fixed size one.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89922
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 26 Nov 2009 02:16:28 +0000 (02:16 +0000)]
add a new random feature test
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89921
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 26 Nov 2009 02:14:59 +0000 (02:14 +0000)]
Generalize DecomposeGEPExpression to exactly handle what Value::getUnderlyingObject does (when TD is around). This allows us to avoid calling DecomposeGEPExpression unless the ultimate alias check we care about passes, speedup up BasicAA a bit.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89920
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 26 Nov 2009 02:13:03 +0000 (02:13 +0000)]
Implement a new DecomposeGEPExpression method, which decomposes a GEP into a list of scaled offsets. Use this to eliminate some previous ad-hoc code which was subtly broken (it assumed all Constant*'s were non-zero, but strange constant express could be zero).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89915
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 26 Nov 2009 02:11:08 +0000 (02:11 +0000)]
Use GEPOperator more pervasively to simplify code.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89914
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 26 Nov 2009 01:51:18 +0000 (01:51 +0000)]
update some notes slightly
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89913
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Thu, 26 Nov 2009 01:50:12 +0000 (01:50 +0000)]
remove some redundant braces
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@89912
91177308-0d34-0410-b5e6-
96231b3b80d8