RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-20 11:33:24 +02:00
Code Issues Projects Releases Wiki Activity
145,014 Commits 4 Branches 5 Tags 704 MiB
8480bd7bda
Commit Graph

161 Commits

Author SHA1 Message Date
Jakob Stoklund Olesen
83399fc5d2 Get rid of RegScavenger::backwards() before the bitrot spreads. 
If we need it one day, there is nothing wrong with putting it back in.

llvm-svn: 78337
 2009-08-06 21:19:03 +00:00
John Mosby
69ad27c7e3 Reg Scavenging generalization (Thumb support): 
- start support for new PEI w/reg alloc, allow running RS from emit{Pro,Epi}logue() target hooks.
- fix minor issue with recursion detection.

llvm-svn: 78318
 2009-08-06 16:32:47 +00:00
Jakob Stoklund Olesen
5edb25cd45 Clean up the handling of two-address operands in RegScavenger. 
This fixes PR4528.

llvm-svn: 78107
 2009-08-04 21:30:30 +00:00
Jakob Stoklund Olesen
ff531b7e7a Don't give implicit machine operands special treatment in the register scavenger. 
Imp-def is *not* allowed to redefine a live register.
Imp-use is *not* allowed to use a dead register.

llvm-svn: 78106
 2009-08-04 21:29:11 +00:00
Evan Cheng
d840bf2eac Fix PR4528. This scavenger assertion is too strict. The two-address value is 
killed by another operand.

There is probably a better fix. Either 1) scavenger can look at other operands, or
2) livevariables can be smarter about kill markers. Patches welcome.

llvm-svn: 78072
 2009-08-04 16:52:44 +00:00
Jakob Stoklund Olesen
9e71890531 Fix issue in regscavenger when scavenging a callee-saved register that has not been spilled. 
llvm-svn: 77912
 2009-08-02 20:29:41 +00:00
Jakob Stoklund Olesen
a726715be6 Scavenger asserts. 
Allow imp-def and imp-use of anything in the scavenger asserts, just like the machine code verifier.
Allow redefinition of a sub-register of a live register.

llvm-svn: 77904
 2009-08-02 18:28:41 +00:00
Evan Cheng
88dbc00ca7 Ignore undef uses. 
llvm-svn: 76799
 2009-07-22 21:51:42 +00:00
Jakob Stoklund Olesen
d6f85bc49b Fix bug in RegScavenger::scavengeRegister(). 
Reserved registers are not candidates for scavenging, and they were removed
from the candidate list like this:

CreateRegClassMask(RC, Candidates);
Candidates ^= ReservedRegs;

However, when there are reserved registers outside RC, this causes invalid
bits to be set in Candidates.

llvm-svn: 75847
 2009-07-15 22:32:11 +00:00
Torok Edwin
67153904ec Fix assert(0) conversion, as suggested by Chris. 
llvm-svn: 75423
 2009-07-12 20:07:01 +00:00
Torok Edwin
9b41a5faf2 Convert more assert(0)+abort() -> LLVM_UNREACHABLE, 
and abort()/exit() -> llvm_report_error().

llvm-svn: 75363
 2009-07-11 13:10:19 +00:00
Evan Cheng
7d78cb531e Remove special handling of implicit_def. Fix a couple more bugs in liveintervalanalysis and coalescer handling of implicit_def. 
Note, isUndef marker must be placed even on implicit_def def operand or else the scavenger will not ignore it. This is necessary because -O0 path does not use liveintervalanalysis, it treats implicit_def just like any other def.

llvm-svn: 74601
 2009-07-01 08:19:36 +00:00
Evan Cheng
37503e9671 Handle IMPLICIT_DEF with isUndef operand marker, part 2. This patch moves the code to annotate machineoperands to LiveIntervalAnalysis. It also add markers for implicit_def that define physical registers. The rest, is just a lot of details. 
llvm-svn: 74580
 2009-07-01 01:59:31 +00:00
Evan Cheng
28b9e77f19 Temporarily restore the scavenger implicit_def checking code. MachineOperand isUndef mark is not being put on implicit_def of physical registers (created for parameter passing, etc.). 
llvm-svn: 74519
 2009-06-30 09:19:42 +00:00
Evan Cheng
c6c942b70f Add a bit IsUndef to MachineOperand. This indicates the def / use register operand is defined by an implicit_def. That means it can def / use any register and passes (e.g. register scavenger) can feel free to ignore them. 
The register allocator, when it allocates a register to a virtual register defined by an implicit_def, can allocate any physical register without worrying about overlapping live ranges. It should mark all of operands of the said virtual register so later passes will do the right thing.

This is not the best solution. But it should be a lot less fragile to having the scavenger try to track what is defined by implicit_def.

llvm-svn: 74518
 2009-06-30 08:49:04 +00:00
Evan Cheng
98216808fe If killed register is defined by implicit_def, do not clear it since it's live range may overlap another def of same register. 
llvm-svn: 73255
 2009-06-12 21:34:26 +00:00
Bob Wilson
c53238dff1 Fix pr3954. The register scavenger asserts for inline assembly with 
register destinations that are tied to source operands.  The
TargetInstrDescr::findTiedToSrcOperand method silently fails for inline
assembly.  The existing MachineInstr::isRegReDefinedByTwoAddr was very
close to doing what is needed, so this revision makes a few changes to
that method and also renames it to isRegTiedToUseOperand (for consistency
with the very similar isRegTiedToDefOperand and because it handles both
two-address instructions and inline assembly with tied registers).

llvm-svn: 68714
 2009-04-09 17:16:43 +00:00
Dan Gohman
8271066844 Tidy up #includes, deleting a bunch of unnecessary #includes. 
llvm-svn: 61715
 2009-01-05 17:59:02 +00:00
Devang Patel
28420198a6 Silience unused warnings. 
llvm-svn: 61390
 2008-12-23 21:55:04 +00:00
Dan Gohman
3991753a76 Initialize the ImplicitDefed member, to avoid getting stale 
data from a previous block.

llvm-svn: 61237
 2008-12-19 00:46:20 +00:00
Dan Gohman
0834d959e9 Fix a typo in a comment. 
llvm-svn: 60434
 2008-12-02 19:27:20 +00:00
Evan Cheng
2805dcc9a0 - Register scavenger should use MachineRegisterInfo and internal map to find the first use of a register after a given machine instruction. 
- When scavenging a register, in addition to the spill, insert a restore before the first use.
- Abort if client is looking to scavenge a register even when a previously scavenged register is still live.

llvm-svn: 59697
 2008-11-20 02:32:35 +00:00
Evan Cheng
997ba49e23 Make the same change to RegScavenger::backward. 
llvm-svn: 59566
 2008-11-18 23:54:01 +00:00
Evan Cheng
91d6c38321 We also need to keep the operand index for two address check. 
llvm-svn: 59562
 2008-11-18 22:56:19 +00:00
Evan Cheng
145b3db050 Register scavenger should process early clobber defs first. A dead early clobber def should not interfere with a normal def which happens one slot later. 
llvm-svn: 59559
 2008-11-18 22:28:38 +00:00
Dan Gohman
30c5ce1b7d Switch the MachineOperand accessors back to the short names like 
isReg, etc., from isRegister, etc.

llvm-svn: 57006
 2008-10-03 15:45:36 +00:00
Dan Gohman
7fb6670108 Minor const-correctness fixes. 
llvm-svn: 53196
 2008-07-07 20:06:06 +00:00
Duncan Sands
4757a8dd76 Fix some constructs that gcc-4.4 warns about. 
llvm-svn: 51591
 2008-05-27 11:50:51 +00:00
Evan Cheng
52208a738f Allow registers defined by implicit_def to be clobbered. 
llvm-svn: 49512
 2008-04-10 23:47:53 +00:00
Evan Cheng
d7d1c94e67 1. IMPLICIT_DEF can *re-define* any register. 
2. Coalescer can now create an interesting situation where a register def can
   reaches itself without being killed.

llvm-svn: 49246
 2008-04-05 01:27:09 +00:00
Bill Wendling
f86174fa61 Something that kills a super-register also 
kills the sub-register.

llvm-svn: 48038
 2008-03-07 23:45:15 +00:00
Evan Cheng
5f74d1a8dc Fixed a register scavenger bug. If a def is re-defining part of a super register, there must be an implicit def of the super-register on the MI. 
llvm-svn: 48024
 2008-03-07 20:12:54 +00:00
Bill Wendling
b33eee09d2 When setting the "unused" info, take into account something like this: 
%r3<def> = OR %x3<kill>, %x3

We don't want to mark the %r3 as unused even though it's a sub-register of %x3.

llvm-svn: 48003
 2008-03-06 23:22:43 +00:00
Evan Cheng
18064ddb5b Refactor code. Remove duplicated functions that basically do the same thing as 
findRegisterUseOperandIdx, findRegisterDefOperandIndx. Fix some naming inconsistencies.

llvm-svn: 47927
 2008-03-05 00:59:57 +00:00
Bill Wendling
b3761b1a39 Make the register scavenger update the bookkeeping values for sub/super 
registers.

llvm-svn: 47861
 2008-03-03 22:12:25 +00:00
Bill Wendling
34dd48a10c Fix typos. 
llvm-svn: 47200
 2008-02-16 01:09:25 +00:00
Dan Gohman
cabaec582f Rename MRegisterInfo to TargetRegisterInfo. 
llvm-svn: 46930
 2008-02-10 18:45:23 +00:00
Chris Lattner
f83aae613c rename TargetInstrDescriptor -> TargetInstrDesc. 
Make MachineInstr::getDesc return a reference instead
of a pointer, since it can never be null.

llvm-svn: 45695
 2008-01-07 07:27:27 +00:00
Chris Lattner
f7f96d818f Rename MachineInstr::getInstrDescriptor -> getDesc(), which reflects 
that it is cheap and efficient to get.

Move a variety of predicates from TargetInstrInfo into 
TargetInstrDescriptor, which makes it much easier to query a predicate
when you don't have TII around.  Now you can use MI->getDesc()->isBranch()
instead of going through TII, and this is much more efficient anyway. Not
all of the predicates have been moved over yet.

Update old code that used MI->getInstrDescriptor()->Flags to use the
new predicates in many places.

llvm-svn: 45674
 2008-01-07 01:56:04 +00:00
Owen Anderson
e6856128ab Move some more instruction creation methods from RegisterInfo into InstrInfo. 
llvm-svn: 45484
 2008-01-01 21:11:32 +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
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
Dan Gohman
fb60c0dfed Remove isReg, isImm, and isMBB, and change all their users to use 
isRegister, isImmediate, and isMachineBasicBlock, which are equivalent,
and more popular.

llvm-svn: 41958
 2007-09-14 20:33:02 +00:00
Evan Cheng
0c037f4ee0 Better assertion messages. 
llvm-svn: 37890
 2007-07-05 07:05:38 +00:00
Evan Cheng
17f967eb52 If call frame is not part of stack frame and no dynamic alloc, eliminateFrameIndex() must adjust SP offset with size of call frames. 
llvm-svn: 36625
 2007-05-01 09:01:42 +00:00
Evan Cheng
eff332e3e1 Rename findRegisterUseOperand to findRegisterUseOperandIdx to avoid confusion. 
llvm-svn: 36483
 2007-04-26 19:00:32 +00:00
Evan Cheng
bad40843ec Bad bad bug. findRegisterUseOperand() returns -1 if a use if not found. 
llvm-svn: 35618
 2007-04-03 06:43:29 +00:00
Dale Johannesen
3ad8ab7b61 Fix reversed logic in getRegsUsed. Rename RegStates to RegsAvailable to 
hopefully forestall similar errors.

llvm-svn: 35362
 2007-03-26 22:23:54 +00:00
Dale Johannesen
50a22f6fe6 maintain LiveIn when splitting blocks (register scavenging needs it) 
llvm-svn: 35226
 2007-03-20 21:35:06 +00:00
Evan Cheng
49e8bd5e17 Minor bug fix. 
llvm-svn: 34985
 2007-03-06 21:58:15 +00:00
Evan Cheng
077516f441 Register scavenger is now capable of scavenging. It spills a register whose use of furthest away to make it available. 
llvm-svn: 34964
 2007-03-06 10:01:25 +00:00
Evan Cheng
9dddb88209 Mark dead def as unused. 
llvm-svn: 34844
 2007-03-02 10:43:16 +00:00
Evan Cheng
0aa68b9246 Add a version of FindUnusedReg that restrict search to a specific set of registers. 
llvm-svn: 34784
 2007-03-01 08:56:24 +00:00
Evan Cheng
15a878202b Interface clean up. 
llvm-svn: 34770
 2007-03-01 02:19:39 +00:00
Evan Cheng
ec12bdd7ea Some more code clean up. 
llvm-svn: 34700
 2007-02-27 22:58:43 +00:00
Evan Cheng
2402ddad92 Oops. 
llvm-svn: 34698
 2007-02-27 22:10:52 +00:00
Evan Cheng
f03b87c1ff RegScavenger interface change to make it more flexible. 
llvm-svn: 34690
 2007-02-27 21:09:48 +00:00
Evan Cheng
341fc2bf88 forward() should not increment internal iterator. Its client may insert instruction between now and next forward() call. 
llvm-svn: 34649
 2007-02-27 01:58:48 +00:00
Evan Cheng
13e48f975c Add an assertion. 
llvm-svn: 34596
 2007-02-25 09:47:31 +00:00
Evan Cheng
bdc95679a3 Mark livein registers as being in used. 
llvm-svn: 34525
 2007-02-23 08:41:19 +00:00
Evan Cheng
f9ef2bfd8a Initial check in of register scavenger. Its only current functionality is tracking live registers per MBB. 
llvm-svn: 34511
 2007-02-23 01:01:19 +00:00