Owen Anderson [Tue, 19 Jun 2007 05:55:01 +0000 (05:55 +0000)]
Testcase for instances where a constant only occurs as an operand to a phi node.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37653
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Tue, 19 Jun 2007 05:52:36 +0000 (05:52 +0000)]
don't use binutils 2.17
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37652
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Tue, 19 Jun 2007 05:47:49 +0000 (05:47 +0000)]
document and hide two options.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37651
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Tue, 19 Jun 2007 05:46:06 +0000 (05:46 +0000)]
describe an argument, hide it.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37650
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Tue, 19 Jun 2007 05:43:49 +0000 (05:43 +0000)]
silence a bogus warning Duraid ran into.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37649
91177308-0d34-0410-b5e6-
96231b3b80d8
Owen Anderson [Tue, 19 Jun 2007 05:41:22 +0000 (05:41 +0000)]
Add a new testcase for memory corruption issues.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37648
91177308-0d34-0410-b5e6-
96231b3b80d8
Owen Anderson [Tue, 19 Jun 2007 05:37:32 +0000 (05:37 +0000)]
Be careful to erase values from all of the appropriate sets when they're not needed anymore. This fixes a few more memory-related issues.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37647
91177308-0d34-0410-b5e6-
96231b3b80d8
Owen Anderson [Tue, 19 Jun 2007 04:32:55 +0000 (04:32 +0000)]
Remember to clear the maximal sets between functions.
Thanks to Nicholas for valgrinding this.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37646
91177308-0d34-0410-b5e6-
96231b3b80d8
Owen Anderson [Tue, 19 Jun 2007 03:31:41 +0000 (03:31 +0000)]
Refactor GVNPRE to use a much smart method of uniquing value sets, and centralize a lot of the value numbering information. No functionality change.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37645
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Tue, 19 Jun 2007 01:48:05 +0000 (01:48 +0000)]
Replace M_REMATERIALIZIBLE and the newly-added isOtherReMaterializableLoad
with a general target hook to identify rematerializable instructions. Some
instructions are only rematerializable with specific operands, such as loads
from constant pools, while others are always rematerializable. This hook
allows both to be identified as being rematerializable with the same
mechanism.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37644
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Tue, 19 Jun 2007 01:26:51 +0000 (01:26 +0000)]
Replace TargetInstrInfo::CanBeDuplicated() with a M_NOT_DUPLICABLE bit.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37643
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Tue, 19 Jun 2007 01:21:41 +0000 (01:21 +0000)]
Replace CanBeDuplicated() with a M_NOT_DUPLICABLE bit.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37642
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Tue, 19 Jun 2007 00:13:10 +0000 (00:13 +0000)]
If a function is vararg, never pass inreg arguments in registers. Thanks to
Anton for half of this patch.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37641
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Tue, 19 Jun 2007 00:11:09 +0000 (00:11 +0000)]
add isVarArg to CCState
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37640
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Tue, 19 Jun 2007 00:10:25 +0000 (00:10 +0000)]
add isvararg tracking to CCState
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37639
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Tue, 19 Jun 2007 00:08:42 +0000 (00:08 +0000)]
testcase for PR1513
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37638
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Tue, 19 Jun 2007 00:06:08 +0000 (00:06 +0000)]
New test case: identity operation of RHS / LHS of a VECTOR_SHUFFLE.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37637
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Tue, 19 Jun 2007 00:02:56 +0000 (00:02 +0000)]
Look for VECTOR_SHUFFLE that's identity operation on either LHS or RHS. This can happen before DAGCombiner catches it.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37636
91177308-0d34-0410-b5e6-
96231b3b80d8
Tanya Lattner [Mon, 18 Jun 2007 23:42:37 +0000 (23:42 +0000)]
Update docs for llvm.var.annotation intrinsic.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37635
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Mon, 18 Jun 2007 22:44:57 +0000 (22:44 +0000)]
Fix some fragile code wrt CFG edge updating.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37634
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Mon, 18 Jun 2007 22:43:58 +0000 (22:43 +0000)]
Move CorrectExtraCFGEdges() from BranchFolding.cpp to a MachineBasicBlock method.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37633
91177308-0d34-0410-b5e6-
96231b3b80d8
Tanya Lattner [Mon, 18 Jun 2007 22:23:39 +0000 (22:23 +0000)]
Modify annotate intrinsic to take 2 additional args: file and line number.
Fix up Annotate attribute test case.
Fix DebugFilename.c test case to look for right file name.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37632
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Mon, 18 Jun 2007 21:50:49 +0000 (21:50 +0000)]
add helper
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37631
91177308-0d34-0410-b5e6-
96231b3b80d8
Devang Patel [Mon, 18 Jun 2007 21:32:29 +0000 (21:32 +0000)]
Fix quotes in debug messages.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37630
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Mon, 18 Jun 2007 21:28:10 +0000 (21:28 +0000)]
make ComputeTopDownOrdering significantly faster and use less stack space
by making it non-recursive
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37629
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Mon, 18 Jun 2007 19:30:09 +0000 (19:30 +0000)]
In SCEVAddExpr::get, skip over any cast operands before looking for nested
add operands after constant operands. The recent change to recognize
sign-extend expressions caused this to be exposed more often.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37628
91177308-0d34-0410-b5e6-
96231b3b80d8
Anton Korobeynikov [Mon, 18 Jun 2007 17:13:29 +0000 (17:13 +0000)]
Make BasicAliasAnalysis correctly register itself. Patch by Devang
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37627
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Mon, 18 Jun 2007 15:30:16 +0000 (15:30 +0000)]
Make chain dependencies blue, in addition to being dashed.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37626
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Mon, 18 Jun 2007 14:12:56 +0000 (14:12 +0000)]
Define the pushq instruction for x86-64.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37625
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Mon, 18 Jun 2007 14:11:31 +0000 (14:11 +0000)]
Add keyword explicit.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37624
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Mon, 18 Jun 2007 08:37:25 +0000 (08:37 +0000)]
Properly remove duplicate instructions as result of diamond if-conversion. Other bug fixes.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37623
91177308-0d34-0410-b5e6-
96231b3b80d8
Owen Anderson [Mon, 18 Jun 2007 04:42:29 +0000 (04:42 +0000)]
Cache the results of dependsOnInvoke()
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37622
91177308-0d34-0410-b5e6-
96231b3b80d8
Owen Anderson [Mon, 18 Jun 2007 04:31:21 +0000 (04:31 +0000)]
Fix indentation.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37621
91177308-0d34-0410-b5e6-
96231b3b80d8
Owen Anderson [Mon, 18 Jun 2007 04:30:44 +0000 (04:30 +0000)]
Don't perform an expensive check if it's not necessary.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37620
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Sun, 17 Jun 2007 23:29:57 +0000 (23:29 +0000)]
ensure we don't regress on these tests. We generate aweful code in x86-32 for
these though.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37619
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Sat, 16 Jun 2007 23:57:51 +0000 (23:57 +0000)]
XFAILing until I can fix properly.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37618
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Sat, 16 Jun 2007 23:57:15 +0000 (23:57 +0000)]
Revert patch. It regresses:
define double @test2(i64 %A) {
%B = bitcast i64 %A to double
ret double %B
}
$ llvm-as < t.ll | llc -march=x86-64
before:
.align 4
.globl _test2
_test2:
movd %rdi, %xmm0
ret
after:
_test2:
subq $8, %rsp
movq %rdi, (%rsp)
movsd (%rsp), %xmm0
addq $8, %rsp
ret
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37617
91177308-0d34-0410-b5e6-
96231b3b80d8
Reid Spencer [Sat, 16 Jun 2007 20:48:27 +0000 (20:48 +0000)]
Fix PR1517:
Use SmallPtrSet instead of std::vector to eliminate duplicate uses in a
function generated with -gen-function. This prevents the output from having
multiple duplicate declarations of constants and gvals.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37616
91177308-0d34-0410-b5e6-
96231b3b80d8
Reid Spencer [Sat, 16 Jun 2007 20:33:24 +0000 (20:33 +0000)]
Fix PR1516:
When printing the uses of a function (-gen-function only), make sure to
include the constants referenced by intializers of global variables.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37615
91177308-0d34-0410-b5e6-
96231b3b80d8
Nick Lewycky [Sat, 16 Jun 2007 16:17:35 +0000 (16:17 +0000)]
Call the correct function name. Patch from Stephane Letz.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37614
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Sat, 16 Jun 2007 09:34:52 +0000 (09:34 +0000)]
Really turn if-converter loose:
1. Consider all possible ifcvt cases at once. No longer restricted to bottom
up iterative approach.
2. Sort all possible cases based on a cost function. Perform the most profitable
ones first invalidate others that target the same blocks.
3. Fixed a number of bugs related to block duplication.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37613
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Sat, 16 Jun 2007 06:31:47 +0000 (06:31 +0000)]
Testcase for MMX int to MMX register failure.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37612
91177308-0d34-0410-b5e6-
96231b3b80d8
Bill Wendling [Sat, 16 Jun 2007 06:17:31 +0000 (06:17 +0000)]
Fix a failure to bit_convert from integer GPR to MMX register.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37611
91177308-0d34-0410-b5e6-
96231b3b80d8
Owen Anderson [Sat, 16 Jun 2007 00:26:54 +0000 (00:26 +0000)]
Fix test/Transforms/GVNPRE/2007-06-15-InvokeInst.ll by ignoring all instructions that depend on invokes.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37610
91177308-0d34-0410-b5e6-
96231b3b80d8
Owen Anderson [Sat, 16 Jun 2007 00:25:10 +0000 (00:25 +0000)]
Testcase where GVNPRE was getting confused by invoke instructions.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37609
91177308-0d34-0410-b5e6-
96231b3b80d8
Tanya Lattner [Fri, 15 Jun 2007 22:26:58 +0000 (22:26 +0000)]
Codegen support (stripped out) for the annotate attribute.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37608
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Fri, 15 Jun 2007 21:18:05 +0000 (21:18 +0000)]
Not every predicable block can be safely duplicated.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37607
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Fri, 15 Jun 2007 21:15:00 +0000 (21:15 +0000)]
Instructions with unique labels or embedded jumptables cannot be duplicated during ifcvt.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37606
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Fri, 15 Jun 2007 21:13:54 +0000 (21:13 +0000)]
Added CanBeDuplicated(). It returns true if an instruction can be safely duplicated (e.g. during ifcvt).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37605
91177308-0d34-0410-b5e6-
96231b3b80d8
Tanya Lattner [Fri, 15 Jun 2007 20:52:47 +0000 (20:52 +0000)]
test case for annotate attribute
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37604
91177308-0d34-0410-b5e6-
96231b3b80d8
Tanya Lattner [Fri, 15 Jun 2007 20:50:54 +0000 (20:50 +0000)]
Add local var annotation intrinsic.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37603
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Fri, 15 Jun 2007 19:21:55 +0000 (19:21 +0000)]
Fold a binary operator with constant operands when expanding code for a SCEV.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37602
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 15 Jun 2007 19:11:01 +0000 (19:11 +0000)]
Fix CodeGen/X86/inline-asm-x-scalar.ll:test4, by retaining regclass info
for tied register constraints.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37601
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 15 Jun 2007 19:09:53 +0000 (19:09 +0000)]
make this test harder, include a tied register.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37600
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Fri, 15 Jun 2007 19:06:07 +0000 (19:06 +0000)]
MachineInstr::isPredicable() is no longer needed.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37599
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Fri, 15 Jun 2007 19:05:13 +0000 (19:05 +0000)]
No longer needed.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37598
91177308-0d34-0410-b5e6-
96231b3b80d8
Duncan Sands [Fri, 15 Jun 2007 19:04:19 +0000 (19:04 +0000)]
Workaround for PR1508.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37597
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Fri, 15 Jun 2007 18:00:55 +0000 (18:00 +0000)]
Use SCEVConstant::get instead of SCEVUnknown::get to create an
integer constant SCEV.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37596
91177308-0d34-0410-b5e6-
96231b3b80d8
Owen Anderson [Fri, 15 Jun 2007 17:55:15 +0000 (17:55 +0000)]
Fix test/Transforms/GVNPRE/2007-06-15-Looping.ll
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37595
91177308-0d34-0410-b5e6-
96231b3b80d8
Owen Anderson [Fri, 15 Jun 2007 17:54:05 +0000 (17:54 +0000)]
Add a testcase where GVNPRE what getting confused by a loop.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37594
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Fri, 15 Jun 2007 17:34:48 +0000 (17:34 +0000)]
Extra edges are deleted later if needed.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37593
91177308-0d34-0410-b5e6-
96231b3b80d8
Duncan Sands [Fri, 15 Jun 2007 17:13:53 +0000 (17:13 +0000)]
Use "ignore" rather than grep tricks.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37592
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Fri, 15 Jun 2007 14:38:12 +0000 (14:38 +0000)]
Add a SCEV class and supporting code for sign-extend expressions.
This created an ambiguity for expandInTy to decide when to use
sign-extension or zero-extension, but it turns out that most of its callers
don't actually need a type conversion, now that LLVM types don't have
explicit signedness. Drop expandInTy in favor of plain expand, and change
the few places that actually need a type conversion to do it themselves.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37591
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Fri, 15 Jun 2007 07:36:12 +0000 (07:36 +0000)]
Allow small blocks to be duplicated to enable if-conversion.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37590
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 15 Jun 2007 06:23:19 +0000 (06:23 +0000)]
Generalize many transforms to work on ~ of vectors in addition to ~ of
integer ops. This implements Transforms/InstCombine/and-or-not.ll
test3/test4, and finishes off PR1510
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37589
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 15 Jun 2007 06:22:32 +0000 (06:22 +0000)]
add vector versions of this test
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37588
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 15 Jun 2007 06:13:47 +0000 (06:13 +0000)]
m_not should match vector not
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37587
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 15 Jun 2007 06:10:53 +0000 (06:10 +0000)]
add a Constant::getAllOnesValue helper function, which works on integers
AND vectors.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37586
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 15 Jun 2007 06:04:24 +0000 (06:04 +0000)]
Enhance BinaryOperator::isNot to support vector not.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37585
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 15 Jun 2007 05:58:24 +0000 (05:58 +0000)]
Implement two xforms:
1. ~(~X | Y) === (X & ~Y)
2. (A|B) & ~(A&B) -> A^B
This allows us to transform ~(~(a|b) | (a&b)) -> a^b.
This implements PR1510 for scalar values.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37584
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 15 Jun 2007 05:57:20 +0000 (05:57 +0000)]
testcase for PR1510
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37583
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Fri, 15 Jun 2007 05:26:55 +0000 (05:26 +0000)]
delete some obviously dead vector operations, which deletes a few thousand
operations from Duraids example.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37582
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Thu, 14 Jun 2007 23:34:09 +0000 (23:34 +0000)]
No really, clear predcessors states.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37581
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Thu, 14 Jun 2007 23:13:19 +0000 (23:13 +0000)]
If BB is predicated, invalidate its predecessor(s) which would if-convert it. It needs to be re-analyzed.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37580
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Thu, 14 Jun 2007 22:58:02 +0000 (22:58 +0000)]
Rename MVT::getVectorBaseType to MVT::getVectorElementType.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37579
91177308-0d34-0410-b5e6-
96231b3b80d8
Dale Johannesen [Thu, 14 Jun 2007 22:03:45 +0000 (22:03 +0000)]
Do not treat FP_REG_KILL as terminator in branch analysis (X86).
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37578
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Thu, 14 Jun 2007 21:26:08 +0000 (21:26 +0000)]
Fix typo.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37577
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Thu, 14 Jun 2007 20:50:44 +0000 (20:50 +0000)]
Add a target hook to allow loads from constant pools to be rematerialized, and an
implementation for x86.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37576
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Thu, 14 Jun 2007 20:28:52 +0000 (20:28 +0000)]
Fix some stupid bugs that have effectively disabled if-conversion.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37575
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Thu, 14 Jun 2007 15:00:27 +0000 (15:00 +0000)]
Eliminate some redundant newlines in asm output.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37574
91177308-0d34-0410-b5e6-
96231b3b80d8
Duncan Sands [Thu, 14 Jun 2007 11:27:07 +0000 (11:27 +0000)]
Fix typos.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37573
91177308-0d34-0410-b5e6-
96231b3b80d8
Christopher Lamb [Wed, 13 Jun 2007 22:20:15 +0000 (22:20 +0000)]
Add support to tablegen for specifying subregister classes on a per register class basis.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37572
91177308-0d34-0410-b5e6-
96231b3b80d8
Dale Johannesen [Wed, 13 Jun 2007 17:59:52 +0000 (17:59 +0000)]
Handle blocks with 2 unconditional branches in AnalyzeBranch.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37571
91177308-0d34-0410-b5e6-
96231b3b80d8
Duncan Sands [Wed, 13 Jun 2007 16:53:21 +0000 (16:53 +0000)]
Only correctly lower exception handing intrinsics if exception handling is
turned on. Likewise for scanning of invokes to mark landing pads.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37570
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Wed, 13 Jun 2007 15:12:02 +0000 (15:12 +0000)]
Introduce new SelectionDAG node opcodes VEXTRACT_SUBVECTOR and
VCONCAT_VECTORS. Use these for CopyToReg and CopyFromReg legalizing in
the case that the full register is to be split into subvectors instead
of scalars. This replaces uses of VBIT_CONVERT to present values as
vector-of-vector types in order to make whole subvectors accessible via
BUILD_VECTOR and EXTRACT_VECTOR_ELT.
This is in preparation for adding extended ValueType values, where
having vector-of-vector types is undesirable.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37569
91177308-0d34-0410-b5e6-
96231b3b80d8
Dan Gohman [Wed, 13 Jun 2007 14:55:16 +0000 (14:55 +0000)]
When creating CopyFromReg nodes, always use legal types. And use the
correct types for the result vector, even though it is currently bitcasted
to a different type immediately.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37568
91177308-0d34-0410-b5e6-
96231b3b80d8
Duncan Sands [Wed, 13 Jun 2007 05:51:31 +0000 (05:51 +0000)]
The fix that was applied for PR1224 stops the compiler
crashing but breaks exception handling. The problem
described in PR1224 is that invoke is a terminator that
can produce a value. The value may be needed in other
blocks. The code that writes to registers values needed
in other blocks runs before terminators are lowered (in
this case invoke) so asserted because the value was not
yet available. The fix that was applied was to do invoke
lowering earlier, before writing values to registers.
The problem this causes is that the code to copy values
to registers can be output after the invoke call. If
an exception is raised and control is passed to the
landing pad then this copy-code will never execute. If
the value is needed in some code path reached via the
landing pad then that code will get something bogus.
So revert the original fix and simply skip invoke values
in the general copying to registers code. Instead copy
the invoke value to a register in the invoke lowering code.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37567
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Wed, 13 Jun 2007 00:04:00 +0000 (00:04 +0000)]
Typo
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37566
91177308-0d34-0410-b5e6-
96231b3b80d8
Evan Cheng [Tue, 12 Jun 2007 23:54:05 +0000 (23:54 +0000)]
Now if-converting all 4 variants of triangles.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37565
91177308-0d34-0410-b5e6-
96231b3b80d8
Owen Anderson [Tue, 12 Jun 2007 22:43:57 +0000 (22:43 +0000)]
Fix test/Transforms/GVNPRE/2007-06-12-PhiTranslate.ll
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37564
91177308-0d34-0410-b5e6-
96231b3b80d8
Owen Anderson [Tue, 12 Jun 2007 22:42:35 +0000 (22:42 +0000)]
Add a test where phi translation was producing a null result.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37563
91177308-0d34-0410-b5e6-
96231b3b80d8
Devang Patel [Tue, 12 Jun 2007 17:50:25 +0000 (17:50 +0000)]
isReachableFromEntry() is not suitable for post dominator.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37562
91177308-0d34-0410-b5e6-
96231b3b80d8
Devang Patel [Tue, 12 Jun 2007 17:35:20 +0000 (17:35 +0000)]
Remove redundant check.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37561
91177308-0d34-0410-b5e6-
96231b3b80d8
Devang Patel [Tue, 12 Jun 2007 17:30:56 +0000 (17:30 +0000)]
Protect updateDFSNumbers()
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37560
91177308-0d34-0410-b5e6-
96231b3b80d8
Devang Patel [Tue, 12 Jun 2007 17:17:57 +0000 (17:17 +0000)]
Check A dominates B and vise versa first while searching for nearest
common dominator.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37559
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Tue, 12 Jun 2007 17:01:15 +0000 (17:01 +0000)]
one final bugfix
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37558
91177308-0d34-0410-b5e6-
96231b3b80d8
Chris Lattner [Tue, 12 Jun 2007 17:00:26 +0000 (17:00 +0000)]
modernize example
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37557
91177308-0d34-0410-b5e6-
96231b3b80d8
Owen Anderson [Tue, 12 Jun 2007 16:57:50 +0000 (16:57 +0000)]
Refactor some code, and fix test/Transforms/GVNPRE/2007-06-12-NoExit.ll by being more careful when using
post-dominator information.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37556
91177308-0d34-0410-b5e6-
96231b3b80d8
Owen Anderson [Tue, 12 Jun 2007 16:56:00 +0000 (16:56 +0000)]
Testcase where GVNPRE crashes on functions with no exit nodes.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37555
91177308-0d34-0410-b5e6-
96231b3b80d8
Dale Johannesen [Tue, 12 Jun 2007 16:50:17 +0000 (16:50 +0000)]
Sink CmpInst's to their uses to reduce register pressure.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37554
91177308-0d34-0410-b5e6-
96231b3b80d8