RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-26 06:22:56 +02:00
Code Issues Projects Releases Wiki Activity
36,421 Commits 4 Branches 5 Tags 704 MiB
50df31d59a
Commit Graph

4469 Commits

Author SHA1 Message Date
Chris Lattner
7d47b6c164 MachineOperand: 
- Add getParent() accessors.
  - Move SubReg out of the AuxInfo union, to make way for future changes.
  - Remove the getImmedValue/setImmedValue methods.
  - in some MachineOperand::Create* methods, stop initializing fields that are dead.

MachineInstr:
  - Delete one copy of the MachineInstr printing code, now there is only one dump
    format and one copy of the code.
  - Make MachineOperand use the parent field to get info about preg register names if
    no target info is otherwise available.
  - Move def/use/kill/dead flag printing to the machineoperand printer, so they are
    always printed for an operand.

llvm-svn: 45460
 2007-12-30 21:31:53 +00:00
Chris Lattner
f3f074dfdd fix typo duncan noticed! 
llvm-svn: 45459
 2007-12-30 21:21:10 +00:00
Chris Lattner
31932a7542 simpilfy some register printing code. 
llvm-svn: 45458
 2007-12-30 21:08:36 +00:00
Chris Lattner
46e4658c95 eliminate a copy of the machineoperand printing stuff. Keep the copy that 
knows how to print offsets.

llvm-svn: 45457
 2007-12-30 21:03:30 +00:00
Chris Lattner
ff61fe680e Simplify and clean up some machine operand/instr printing/dumping stuff. 
llvm-svn: 45456
 2007-12-30 21:01:27 +00:00
Chris Lattner
98c3fabf47 two register machineoperands are not identical unless their subregs match. 
llvm-svn: 45455
 2007-12-30 20:55:08 +00:00
Chris Lattner
4a4943a78f MachineOperand::getImmedValue -> MachineOperand::getImm 
llvm-svn: 45454
 2007-12-30 20:50:28 +00:00
Chris Lattner
d6051f028d make machine operands fatter: give each one an up-pointer to the 
machineinstr that owns it.

llvm-svn: 45449
 2007-12-30 06:11:04 +00:00
Chris Lattner
c2f0543beb use simplified operand addition methods. 
llvm-svn: 45436
 2007-12-30 00:57:42 +00:00
Chris Lattner
1b0ad80f53 use simplified operand addition methods. 
llvm-svn: 45435
 2007-12-30 00:51:11 +00:00
Chris Lattner
19dd6c4eac Start using the simplified methods for adding operands. 
llvm-svn: 45432
 2007-12-30 00:41:17 +00:00
Chris Lattner
e868c77f16 simplify some code by factoring operand construction better. 
llvm-svn: 45428
 2007-12-30 00:12:25 +00:00
Chris Lattner
ad9a6ccb83 Remove attribution from file headers, per discussion on llvmdev. 
llvm-svn: 45418
 2007-12-29 20:36:04 +00:00
Chris Lattner
8193d4af33 remove attribution from lib Makefiles. 
llvm-svn: 45415
 2007-12-29 20:09:26 +00:00
Chris Lattner
cd147e5596 Fold comparisons against a constant nan, and optimize ORD/UNORD 
comparisons with a constant.  This allows us to compile isnan to:

_foo:
	fcmpu cr7, f1, f1
	mfcr r2
	rlwinm r3, r2, 0, 31, 31
	blr 

instead of:

LCPI1_0:					;  float
	.space	4
_foo:
	lis r2, ha16(LCPI1_0)
	lfs f0, lo16(LCPI1_0)(r2)
	fcmpu cr7, f1, f0
	mfcr r2
	rlwinm r3, r2, 0, 31, 31
	blr 

llvm-svn: 45405
 2007-12-29 08:37:08 +00:00
Chris Lattner
38687aa2b2 make sure not to zap volatile stores, thanks a lot to Dale for noticing this! 
llvm-svn: 45402
 2007-12-29 07:15:45 +00:00
Chris Lattner
78ae7ff876 don't fold fp_round(fp_extend(load)) -> fp_round(extload) 
llvm-svn: 45400
 2007-12-29 06:55:23 +00:00
Chris Lattner
7cb2de8e48 Delete a store whose input is a load from the same pointer: 
x = load p
  store x -> p

llvm-svn: 45398
 2007-12-29 06:26:16 +00:00
Owen Anderson
1064e276a9 Flesh out the Briggs implementation a little bit more, fix a few FIXMEs. 
llvm-svn: 45347
 2007-12-24 22:12:23 +00:00
Owen Anderson
e9538b78ce Sketch out an implementation of Briggs' copy placement algorithm. 
llvm-svn: 45334
 2007-12-23 15:37:26 +00:00
Chris Lattner
084002dcb0 initial code for forming an FGETSIGN node. This is disabled until 
legalizer support goes in.

llvm-svn: 45323
 2007-12-22 21:35:38 +00:00
Chris Lattner
24b2a6de5c improve support for fgetsign 
llvm-svn: 45322
 2007-12-22 21:26:52 +00:00
Chris Lattner
a8f6fac7a3 Tell TargetLoweringOpt whether it is running before 
or after legalize.

llvm-svn: 45321
 2007-12-22 20:56:36 +00:00
Chris Lattner
f2aa80e0de Add a new FGETSIGN operation, which defaults to expand on all 
targets.

llvm-svn: 45320
 2007-12-22 20:47:56 +00:00
Gordon Henriksen
fccde96a4c Use getIntrinsicID instead of looking up intrinsic prototypes. Also 
fixes a bug with indirect calls. (Test case will be included with
ocaml collector patch.)

llvm-svn: 45316
 2007-12-22 17:27:01 +00:00
Owen Anderson
3fc4fdaa1f Note what still needs doing. 
llvm-svn: 45310
 2007-12-22 04:59:10 +00:00
Owen Anderson
f3765d08f8 Remove critical edge breaking. It won't be necessary as long as we are very careful when inserting copies. 
llvm-svn: 45309
 2007-12-22 04:50:11 +00:00
Evan Cheng
8fee10d116 More accurate checks for two-address constraints. 
llvm-svn: 45259
 2007-12-20 09:25:31 +00:00
Evan Cheng
d0bb7ee0a1 The physical register + virtual register joining requirement was much too strict. 
llvm-svn: 45253
 2007-12-20 02:23:25 +00:00
Evan Cheng
1994e3038e Bring back a burr scheduling heuristic that's still needed. 
llvm-svn: 45252
 2007-12-20 02:22:36 +00:00
Bill Wendling
cba1938285 Updated comments to reflect what "side effects" means in this situation. 
llvm-svn: 45245
 2007-12-20 01:08:10 +00:00
Duncan Sands
b2e0a67cc0 Simplify LowerCallTo by using a callsite. 
llvm-svn: 45198
 2007-12-19 09:48:52 +00:00
Duncan Sands
09250d2dff The C++ exception handling personality function wants 
to know about calls that cannot throw ('nounwind'):
if such a call does throw for some reason then the
personality will terminate the program.  The distinction
between an ordinary call and a nounwind call is that
an ordinary call gets an entry in the exception table
but a nounwind call does not.  This patch sets up the
exception table appropriately.  One oddity is that
I've chosen to bracket nounwind calls with labels (like
invokes) - the other choice would have been to bracket
ordinary calls with labels.  While bracketing
ordinary calls is more natural (because bracketing
by labels would then correspond exactly to getting an
entry in the exception table), I didn't do it because
introducing labels impedes some optimizations and I'm
guessing that ordinary calls occur more often than
nounwind calls.  This fixes the gcc filter2 eh test,
at least at -O0 (the inliner needs some tweaking at
higher optimization levels).

llvm-svn: 45197
 2007-12-19 07:36:31 +00:00
Evan Cheng
694994ba7b Don't leave newly created nodes around if it turns out they are not needed. 
llvm-svn: 45186
 2007-12-19 01:34:38 +00:00
Bill Wendling
fe0e399130 Add debugging info. Use the newly created "hasUnmodelledSideEffects" method. 
llvm-svn: 45178
 2007-12-18 21:38:04 +00:00
Anton Korobeynikov
f81993feaf Support more insane CEP's in AsmPrinter (Yes, PyPy folks do really use them). 
llvm-svn: 45172
 2007-12-18 20:53:41 +00:00
Evan Cheng
8824950e8f Fix PR1872: SrcValue and SrcValueOffset should not be used to compute load / store node id. 
llvm-svn: 45167
 2007-12-18 19:38:14 +00:00
Evan Cheng
e8de683a74 Also print alignment and volatileness. 
llvm-svn: 45164
 2007-12-18 19:06:30 +00:00
Evan Cheng
36bfae49e3 FIX for PR1799: When a load is unfolded from an instruction, check if it is a new node. If not, do not create a new SUnit. 
llvm-svn: 45157
 2007-12-18 08:42:10 +00:00
Evan Cheng
e6c89b6120 SelectionDAG::dump() should print SrcValue of LoadSDNode and StoreSDNode. 
llvm-svn: 45151
 2007-12-18 07:02:08 +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
Christopher Lamb
a608afb52e Change the PointerType api for creating pointer types. The old functionality of PointerType::get() has become PointerType::getUnqual(), which returns a pointer in the generic address space. The new prototype of PointerType::get() requires both a type and an address space. 
llvm-svn: 45082
 2007-12-17 01:12:55 +00:00
Owen Anderson
708d9d117b Break local interferences in StrongPHIElimination. One step closer... 
llvm-svn: 45070
 2007-12-16 05:44:27 +00:00
Owen Anderson
3e37ec0942 A few more comments. 
llvm-svn: 45069
 2007-12-16 04:07:23 +00:00
Dan Gohman
80af3e255d Add explicit keywords, and fix a minor typo that they uncovered. 
llvm-svn: 45034
 2007-12-14 15:41:34 +00:00
Evan Cheng
713b398a35 Bug fix. Must also match ResNo when matching an operand with a user. 
llvm-svn: 45028
 2007-12-14 08:25:15 +00:00
Owen Anderson
22aee19b7e Add register pairs to the list to check for local interferences. 
llvm-svn: 44987
 2007-12-13 05:53:03 +00:00
Owen Anderson
78b8141ce7 Remove ugly and horrible code. It's not necessary for correctness, and can be added back later if it causes code quality issues. 
llvm-svn: 44986
 2007-12-13 05:43:37 +00:00
Evan Cheng
64a1febf9a Implicit def instructions, e.g. X86::IMPLICIT_DEF_GR32, are always re-materializable and they should not be spilled. 
llvm-svn: 44960
 2007-12-12 23:12:09 +00:00
Dan Gohman
0075ea1f5f Allow vector integer constants to be created with 
SelectionDAG::getConstant, in the same way as vector floating-point
constants. This allows the legalize expansion code for @llvm.ctpop and
friends to be usable with vector types.

llvm-svn: 44954
 2007-12-12 22:21:26 +00:00
Owen Anderson
70df68f12d Forgot to remove a register from the PHI-union after I'd determined that it 
interfered with other registers.  Seems like that might be a good thing to do. :-)

llvm-svn: 44902
 2007-12-12 01:25:08 +00:00
Evan Cheng
283f581d51 If deleting a reload instruction due to reuse (value is available in register R and reload is targeting R), make sure to invalidate the kill information of the last kill. 
llvm-svn: 44894
 2007-12-11 23:36:57 +00:00
Bill Wendling
20a11adc5e Need to grow the indexed map. Added debug statements. 
llvm-svn: 44892
 2007-12-11 23:27:51 +00:00
Bill Wendling
c92c27f928 Simplify slightly. 
llvm-svn: 44881
 2007-12-11 22:22:22 +00:00
Owen Anderson
fc359fc18b More progress on StrongPHIElimination. Now we actually USE the DomForest! 
llvm-svn: 44877
 2007-12-11 20:12:11 +00:00
Bill Wendling
9f0bcd67cf Blark! How in the world did this work without this?! 
llvm-svn: 44874
 2007-12-11 19:40:06 +00:00
Bill Wendling
30281897da - Update the virtual reg to machine instruction map when hoisting. 
- Fix subtle bug when creating initially creating this map.

llvm-svn: 44873
 2007-12-11 19:17:04 +00:00
Bill Wendling
9f02f24469 Checking for "zero operands" during the "CanHoistInst()" method isn't necessary 
because those with side effects will be caught by other checks in here.

Also, simplify the check for a BB in a sub loop.

llvm-svn: 44871
 2007-12-11 18:45:11 +00:00
Evan Cheng
45c08c8337 Switch over to MachineLoopInfo. 
llvm-svn: 44838
 2007-12-11 02:09:15 +00:00
Evan Cheng
b5ceb5ae06 Pretty print shuffle mask operand. 
llvm-svn: 44837
 2007-12-11 02:08:35 +00:00
Gordon Henriksen
c6f9e0beef CollectorMetadata and Collector are rejiggered to get along with 
per-function collector model. Collector is now the factory for
CollectorMetadata, so the latter may be subclassed.

llvm-svn: 44827
 2007-12-11 00:30:17 +00:00
Owen Anderson
4bd6d18e18 A little more progress on StrongPHIElimination, now that I have a better sense of 
how the CodeGen machinery works.

llvm-svn: 44786
 2007-12-10 08:07:09 +00:00
Christopher Lamb
5c577eb543 Improve branch folding by recgonizing that explict successor relationships impact the value of fall-through choices. 
llvm-svn: 44785
 2007-12-10 07:24:06 +00:00
Chris Lattner
ac2bfb78d9 Duncan points out that the subtraction is unneeded since hte code 
knows the vector is not pow2

llvm-svn: 44740
 2007-12-09 17:56:34 +00:00
Chris Lattner
84241dd771 Add support for splitting the operand of a return instruction. 
llvm-svn: 44728
 2007-12-09 00:06:19 +00:00
Bill Wendling
8d8d9a2f5e Reverting 44702. It wasn't correct to rename them. 
llvm-svn: 44727
 2007-12-08 23:58:46 +00:00
Chris Lattner
164d423f91 add many new cases to SplitResult. SplitResult now handles all the cases that LegalizeDAG does. 
llvm-svn: 44726
 2007-12-08 23:58:27 +00:00
Chris Lattner
6db5e91e16 Implement splitting support for store, allowing us to compile: 
%f8 = type <8 x float>

define void @test_f8(%f8* %P, %f8* %Q, %f8* %S) {
	%p = load %f8* %P		; <%f8> [#uses=1]
	%q = load %f8* %Q		; <%f8> [#uses=1]
	%R = add %f8 %p, %q		; <%f8> [#uses=1]
	store %f8 %R, %f8* %S
	ret void
}

into:

_test_f8:
	movaps	16(%rdi), %xmm0
	addps	16(%rsi), %xmm0
	movaps	(%rdi), %xmm1
	addps	(%rsi), %xmm1
	movaps	%xmm0, 16(%rdx)
	movaps	%xmm1, (%rdx)
	ret

llvm-svn: 44725
 2007-12-08 23:24:26 +00:00
Chris Lattner
b073361c3e implement vector splitting of load, undef, and binops. 
llvm-svn: 44724
 2007-12-08 23:08:49 +00:00
Chris Lattner
8942654140 implement some methods. 
llvm-svn: 44723
 2007-12-08 22:40:18 +00:00
Chris Lattner
cd7fc69c7c add scaffolding for splitting of vectors. 
llvm-svn: 44722
 2007-12-08 22:37:41 +00:00
Chris Lattner
558d101dbd reorganize header to separate into functional blocks. 
llvm-svn: 44719
 2007-12-08 21:59:32 +00:00
Chris Lattner
5e6bf4bc6f split scalarization out to its own file. 
llvm-svn: 44718
 2007-12-08 20:30:28 +00:00
Chris Lattner
b5925fda97 Split expansion out into its own file. 
llvm-svn: 44717
 2007-12-08 20:27:32 +00:00
Chris Lattner
633c76f607 Split promotion support out to its own file. 
llvm-svn: 44716
 2007-12-08 20:24:38 +00:00
Chris Lattner
39571d55bc Rename LegalizeDAGTypes.cpp -> LegalizeTypes.cpp 
llvm-svn: 44715
 2007-12-08 20:17:13 +00:00
Chris Lattner
424de81c2e Split the class definition of DAGTypeLegalizer out into a header. 
Leave it visibility hidden, but not in an anon namespace.

llvm-svn: 44714
 2007-12-08 20:16:06 +00:00
Bill Wendling
d10837def7 Renaming: 
isTriviallyReMaterializable -> hasNoSideEffects
  isReallyTriviallyReMaterializable -> isTriviallyReMaterializable

llvm-svn: 44702
 2007-12-08 07:17:56 +00:00
Bill Wendling
3c6bac9686 Incorporated comments from Evan and Chris: 
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20071203/056043.html
http://lists.cs.uiuc.edu/pipermail/llvm-commits/Week-of-Mon-20071203/056048.html

llvm-svn: 44696
 2007-12-08 01:47:01 +00:00
Bill Wendling
c08dedb060 Initial commit of the machine code LICM pass. It successfully hoists this: 
_foo:
        li r2, 0
LBB1_1: ; bb
        li r5, 0
        stw r5, 0(r3)
        addi r2, r2, 1
        addi r3, r3, 4
        cmplw cr0, r2, r4
        bne cr0, LBB1_1 ; bb
LBB1_2: ; return
        blr 

to:

_foo:
        li r2, 0
        li r5, 0
LBB1_1: ; bb
        stw r5, 0(r3)
        addi r2, r2, 1
        addi r3, r3, 4
        cmplw cr0, r2, r4
        bne cr0, LBB1_1 ; bb
LBB1_2: ; return
        blr

ZOMG!! :-)

Moar to come...

llvm-svn: 44687
 2007-12-07 21:42:31 +00:00
Evan Cheng
d9a07b1c9d Add an option to control this heuristic tweak so I can test it. 
llvm-svn: 44671
 2007-12-07 00:28:32 +00:00
Dale Johannesen
80dd0c5141 Redo previous patch so optimization only done for i1. 
Simpler and safer.

llvm-svn: 44663
 2007-12-06 17:53:31 +00:00
Evan Cheng
d53f72dfb1 Turning simple splitting on. Start testing new coalescer heuristics as new llcbeta. 
llvm-svn: 44660
 2007-12-06 08:54:31 +00:00
Chris Lattner
64a1a9f502 third time around: instead of disabling this completely, 
only disable it if we don't know it will be obviously profitable.
Still fixme, but less so. :)

llvm-svn: 44658
 2007-12-06 07:47:55 +00:00
Chris Lattner
bb5fb18af8 Actually, disable this code for now. More analysis and improvements to 
the X86 backend are needed before this should be enabled by default.

llvm-svn: 44657
 2007-12-06 07:44:31 +00:00
Chris Lattner
c467b49c96 implement a readme entry, compiling the code into: 
_foo:
	movl	$12, %eax
	andl	4(%esp), %eax
	movl	_array(%eax), %eax
	ret

instead of:

_foo:
	movl	4(%esp), %eax
	shrl	$2, %eax
	andl	$3, %eax
	movl	_array(,%eax,4), %eax
	ret

As it turns out, this triggers all the time, in a wide variety of
situations, for example, I see diffs like this in various programs:

-       movl    8(%eax), %eax
-       shll    $2, %eax
-       andl    $1020, %eax
-       movl    (%esi,%eax), %eax
+       movzbl  8(%eax), %eax
+       movl    (%esi,%eax,4), %eax


-       shll    $2, %edx
-       andl    $1020, %edx
-       movl    (%edi,%edx), %edx
+       andl    $255, %edx
+       movl    (%edi,%edx,4), %edx

Unfortunately, I also see stuff like this, which can be fixed in the
X86 backend:

-       andl    $85, %ebx
-       addl    _bit_count(,%ebx,4), %ebp
+       shll    $2, %ebx
+       andl    $340, %ebx
+       addl    _bit_count(%ebx), %ebp

llvm-svn: 44656
 2007-12-06 07:33:36 +00:00
Chris Lattner
91251d1337 implement the rest of the functionality from SelectionDAGLegalize::ScalarizeVectorOp 
llvm-svn: 44654
 2007-12-06 05:53:43 +00:00
Dale Johannesen
8bc5d4be6a Fix PR1842. 
llvm-svn: 44649
 2007-12-06 01:43:46 +00:00
Evan Cheng
1d289d0146 Fix for PR1831: if all defs of an interval are re-materializable, then it's a preferred spill candiate. 
llvm-svn: 44644
 2007-12-06 00:01:56 +00:00
Evan Cheng
abc6ab4765 MachineInstr can change. Store indexes instead. 
llvm-svn: 44612
 2007-12-05 10:24:35 +00:00
Evan Cheng
33ac3dd05f If a split live interval is spilled again, remove the kill marker on its last use. 
llvm-svn: 44611
 2007-12-05 09:51:10 +00:00
Evan Cheng
32a5877569 Clobber more bugs. 
llvm-svn: 44610
 2007-12-05 09:05:34 +00:00
Evan Cheng
a5f3ec9e03 Fix kill info for split intervals. 
llvm-svn: 44609
 2007-12-05 08:16:32 +00:00
Chris Lattner
a43f6b4a08 more scalarization 
llvm-svn: 44608
 2007-12-05 07:45:02 +00:00
Chris Lattner
e1b35fb035 scalarize vector binops 
llvm-svn: 44607
 2007-12-05 07:36:58 +00:00
Evan Cheng
1dc8e83707 - Mark last use of a split interval as kill instead of letting spiller track it. 
This allows an important optimization to be re-enabled.
- If all uses / defs of a split interval can be folded, give the interval a
  low spill weight so it would not be picked in case spilling is needed (avoid
  pushing other intervals in the same BB to be spilled).

llvm-svn: 44601
 2007-12-05 03:22:34 +00:00
Evan Cheng
8464a0bf00 Add a argument to storeRegToStackSlot and storeRegToAddr to specify whether 
the stored register is killed.

llvm-svn: 44600
 2007-12-05 03:14:33 +00:00
Evan Cheng
a8e7a09fef Remove a unsafe optimization. This fixes 401.bzip2. 
llvm-svn: 44587
 2007-12-04 23:57:55 +00:00
Evan Cheng
63d60199aa Spiller unfold optimization bug: do not clobber a reusable stack slot value unless it can be modified. 
llvm-svn: 44575
 2007-12-04 19:19:45 +00:00
Chris Lattner
914befbc8a Implement framework for scalarizing node results. This is sufficient 
to codegen this:

define float @test_extract_elt(<1 x float> * %P) {
	%p = load <1 x float>* %P
	%R = extractelement <1 x float> %p, i32 0
	ret float %R
}

llvm-svn: 44570
 2007-12-04 07:48:46 +00:00
Chris Lattner
eead86bbc5 start providing framework for scalarizing vectors. 
llvm-svn: 44569
 2007-12-04 07:29:51 +00:00
Evan Cheng
ffc584dd21 Discard split intervals made empty due to folding. 
llvm-svn: 44565
 2007-12-04 00:32:23 +00:00
Evan Cheng
0b5abc5fcb Bug fixes. 
llvm-svn: 44549
 2007-12-03 21:31:55 +00:00
Duncan Sands
1e2e4972ff Rather than having special rules like "intrinsics cannot 
throw exceptions", just mark intrinsics with the nounwind
attribute.  Likewise, mark intrinsics as readnone/readonly
and get rid of special aliasing logic (which didn't use
anything more than this anyway).

llvm-svn: 44544
 2007-12-03 20:06:50 +00:00
Evan Cheng
2f539edfe6 Typo 
llvm-svn: 44532
 2007-12-03 10:00:00 +00:00
Evan Cheng
df066bc833 Update kill info for uses of split intervals. 
llvm-svn: 44531
 2007-12-03 09:58:48 +00:00
Evan Cheng
58b387dfb0 Remove redundant foldMemoryOperand variants and other code clean up. 
llvm-svn: 44517
 2007-12-02 08:30:39 +00:00
Evan Cheng
7b13aa1c75 Fix a bug where splitting cause some unnecessary spilling. 
llvm-svn: 44482
 2007-12-01 04:42:39 +00:00
Evan Cheng
79e8b92dc3 Allow some reloads to be folded in multi-use cases. Specifically testl r, r -> cmpl [mem], 0. 
llvm-svn: 44479
 2007-12-01 02:07:52 +00:00
Evan Cheng
90c548af8e Do not fold reload into an instruction with multiple uses. It issues one extra load. 
llvm-svn: 44467
 2007-11-30 21:23:43 +00:00
Devang Patel
47b368da69 Provide a way to update DescGlobals cache directly. 
llvm-svn: 44446
 2007-11-30 00:51:33 +00:00
Evan Cheng
9ddd80f2b9 Do not lose rematerialization info when spilling already split live intervals. 
llvm-svn: 44443
 2007-11-29 23:02:50 +00:00
Evan Cheng
cf224f3721 Fix a major performance issue with splitting. If there is a def (not def/use) 
in the middle of a split basic block, create a new live interval starting at
the def. This avoid artifically extending the live interval over a number of
cycles where it is dead. e.g.

bb1:
       = vr1204   (use / kill) <= new interval starts and ends here.
...
...
vr1204 =          (new def)   <= start a new interval here.
       = vr1204   (use)

llvm-svn: 44436
 2007-11-29 10:12:14 +00:00
Evan Cheng
72fe4454e6 Replace the odd kill# hack with something less fragile. 
llvm-svn: 44434
 2007-11-29 09:49:23 +00:00
Evan Cheng
20801d1eb5 Fixed various live interval splitting bugs / compile time issues. 
llvm-svn: 44428
 2007-11-29 01:06:25 +00:00
Evan Cheng
c7959fd80b Kill info update bug. 
llvm-svn: 44427
 2007-11-29 01:05:47 +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
2a1fefa2c2 Add missing newlines at EOF. 
llvm-svn: 44399
 2007-11-28 10:13:38 +00:00
Evan Cheng
05d30e7236 Recover compile time regression. 
llvm-svn: 44386
 2007-11-28 01:28:46 +00:00
Owen Anderson
2b9b50b985 Add MachineLoopInfo. This is not yet tested. 
llvm-svn: 44384
 2007-11-27 22:47:08 +00:00
Nate Begeman
4278967588 Support returning non-power-of-2 vectors to unblock some work 
llvm-svn: 44371
 2007-11-27 19:28:48 +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
Chris Lattner
ab5cd0b1c5 err, no really. 
llvm-svn: 44352
 2007-11-27 06:14:32 +00:00
Chris Lattner
a2be558b75 don't depend on ADL. 
llvm-svn: 44351
 2007-11-27 06:14:12 +00:00
Dan Gohman
a9f8208852 Don't lower srem/urem X%C to X-X/C*C unless the division is actually 
optimized. This avoids creating illegal divisions when the combiner is
running after legalize; this fixes PR1815. Also, it produces better
code in the included testcase by avoiding the subtract and multiply
when the division isn't optimized.

llvm-svn: 44341
 2007-11-26 23:46:11 +00:00
Chris Lattner
424aad9995 Implement expand support for MERGE_VALUEs that only produces one result. 
llvm-svn: 44304
 2007-11-24 19:12:15 +00:00
Chris Lattner
c06f8366b4 Implement support for custom legalization in DAGTypeLegalizer::ExpandOperand. 
Improve a comment.
Unbreak Duncan's carefully written path compression where I didn't realize
what was happening!

llvm-svn: 44301
 2007-11-24 18:11:42 +00:00
Chris Lattner
28262fbaf2 Several changes: 
1) Change the interface to TargetLowering::ExpandOperationResult to 
   take and return entire NODES that need a result expanded, not just
   the value.  This allows us to handle things like READCYCLECOUNTER,
   which returns two values.
2) Implement (extremely limited) support in LegalizeDAG::ExpandOp for MERGE_VALUES.
3) Reimplement custom lowering in LegalizeDAGTypes in terms of the new
   ExpandOperationResult.  This makes the result simpler and fully 
   general.
4) Implement (fully general) expand support for MERGE_VALUES in LegalizeDAGTypes.
5) Implement ExpandOperationResult support for ARM f64->i64 bitconvert and ARM
   i64 shifts, allowing them to work with LegalizeDAGTypes.
6) Implement ExpandOperationResult support for X86 READCYCLECOUNTER and FP_TO_SINT,
   allowing them to work with LegalizeDAGTypes.

LegalizeDAGTypes now passes several more X86 codegen tests when enabled and when
type legalization in LegalizeDAG is ifdef'd out.

llvm-svn: 44300
 2007-11-24 07:07:01 +00:00
Duncan Sands
7a8a7099b1 Fix a bug in which node A is replaced by node B, but later 
node A gets back into the DAG again because it was hiding in
one of the node maps: make sure that node replacement happens
in those maps too.

llvm-svn: 44263
 2007-11-21 16:43:19 +00:00
Dale Johannesen
8c3541787f Fix .eh table linkage issues on Darwin. Some EH support 
for Darwin PPC, but it's not fully working yet.

llvm-svn: 44258
 2007-11-20 23:24:42 +00:00
Chris Lattner
21c243d051 ExpandUnalignedLoad doesn't handle vectors right at all apparently. 
Fix a couple of problems:
1. Don't assume the VT-1 is a VT that is half the size.
2. Treat vectors of FP in the vector path, not the FP path.

This has a couple of remaining problems before it will work with
the code in PR1811: the code below this change assumes that it can
use extload/shift/or to construct the result, which isn't right for
vectors.

This also doesn't handle vectors of 1 or vectors that aren't pow-2.

llvm-svn: 44243
 2007-11-19 21:38:03 +00:00
Chris Lattner
c0f2f19744 Implement vector expand support for shuffle_vector. This fixes PR1811. 
llvm-svn: 44242
 2007-11-19 21:16:54 +00:00
Chris Lattner
30a6eee34c Implement splitting of UNDEF nodes. This is the first step towards fixing PR1811 
llvm-svn: 44239
 2007-11-19 20:21:32 +00:00
Dan Gohman
0f62120b01 Add support in SplitVectorOp for remainder operators. 
llvm-svn: 44233
 2007-11-19 15:15:03 +00:00
Nate Begeman
2a8ef3f29a Add support for vectors to int <-> float casts. 
llvm-svn: 44204
 2007-11-17 03:58:34 +00:00
Evan Cheng
5c96771102 Live interval splitting: 
When a live interval is being spilled, rather than creating short, non-spillable
intervals for every def / use, split the interval at BB boundaries. That is, for
every BB where the live interval is defined or used, create a new interval that
covers all the defs and uses in the BB.

This is designed to eliminate one common problem: multiple reloads of the same
value in a single basic block. Note, it does *not* decrease the number of spills
since no copies are inserted so the split intervals are *connected* through
spill and reloads (or rematerialization). The newly created intervals can be
spilled again, in that case, since it does not span multiple basic blocks, it's
spilled in the usual manner. However, it can reuse the same stack slot as the
previously split interval.

This is currently controlled by -split-intervals-at-bb.

llvm-svn: 44198
 2007-11-17 00:40:40 +00:00
Anton Korobeynikov
b6c3255d80 Implement necessary bits for flt_rounds gcc builtin. 
Codegen bits and llvm-gcc support will follow.

llvm-svn: 44182
 2007-11-15 23:25:33 +00:00
Nate Begeman
a42e2c2272 Basic non-power-of-2 vector support 
llvm-svn: 44181
 2007-11-15 21:15:26 +00:00
Duncan Sands
895e6284a9 This assertion was bogus. 
llvm-svn: 44167
 2007-11-15 09:54:37 +00:00
Evan Cheng
c19506f69d Fix a thinko in post-allocation coalescer. 
llvm-svn: 44166
 2007-11-15 08:13:29 +00:00
Bill Wendling
f16da54ae2 Adding debug output during coalescing. 
llvm-svn: 44154
 2007-11-15 02:06:30 +00:00
Bill Wendling
3a908f7dca Need to increment the iterator. 
llvm-svn: 44153
 2007-11-15 00:40:48 +00:00
Anton Korobeynikov
58298cb9cc Fix PIC jump table codegen on x86-32/linux. In fact, such thing should be applied 
to all targets uses GOT-relative offsets for PIC (Alpha?)

llvm-svn: 44108
 2007-11-14 09:18:41 +00:00
Evan Cheng
fd33cb316f Clean up sub-register implementation by moving subReg information back to 
MachineOperand auxInfo. Previous clunky implementation uses an external map
to track sub-register uses. That works because register allocator uses
a new virtual register for each spilled use. With interval splitting (coming
soon), we may have multiple uses of the same register some of which are
of using different sub-registers from others. It's too fragile to constantly
update the information.

llvm-svn: 44104
 2007-11-14 07:59:08 +00:00
Owen Anderson
b3d15a65fc Run computeDomForest() on the set of registers that need to be tested for 
interference.

llvm-svn: 44064
 2007-11-13 20:13:24 +00:00
Owen Anderson
9f15b689b3 Preserve LiveVariables when doing critical edge splitting. 
llvm-svn: 44063
 2007-11-13 20:04:45 +00:00
Dale Johannesen
5fd9e7a615 Add parameter to getDwarfRegNum to permit targets 
to use different mappings for EH and debug info;
no functional change yet.
Fix warning in X86CodeEmitter.

llvm-svn: 44056
 2007-11-13 19:13:01 +00:00
Bill Wendling
cc75435ebf Unify CALLSEQ_{START,END}. They take 4 parameters: the chain, two stack 
adjustment fields, and an optional flag. If there is a "dynamic_stackalloc" in
the code, make sure that it's bracketed by CALLSEQ_START and CALLSEQ_END. If
not, then there is the potential for the stack to be changed while the stack's
being used by another instruction (like a call).

This can only result in tears...

llvm-svn: 44037
 2007-11-13 00:44:25 +00:00
Owen Anderson
84faaa8d14 Break critical edges coming into blocks with PHI nodes. 
llvm-svn: 44019
 2007-11-12 17:27:27 +00:00
Evan Cheng
d887bfa88e Refactor some code. 
llvm-svn: 44010
 2007-11-12 06:35:08 +00:00