RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-26 04:32:44 +01:00
Code Issues Projects Releases Wiki Activity
12,002 Commits 4 Branches 5 Tags 704 MiB
aabaaec037
Commit Graph

72 Commits

Author SHA1 Message Date
Alkis Evlogimenos
6022169db7 Remove unneeded header 
llvm-svn: 13416
 2004-05-08 03:49:35 +00:00
Chris Lattner
5f18bec9e6 numeric_limits::infinity() apparently does not work on all systems. As a 
workaround, use the C HUGE_VAL macro instead.

llvm-svn: 13377
 2004-05-06 16:25:59 +00:00
Chris Lattner
c09a94de9e Operate on the Machine CFG instead of on the LLVM CFG 
llvm-svn: 13302
 2004-05-01 21:24:39 +00:00
Alkis Evlogimenos
40d8a6802b Fix bug introduced in previous commit. 
llvm-svn: 12872
 2004-04-12 20:26:39 +00:00
Alkis Evlogimenos
38984637d9 Correctly compute spill weights 
llvm-svn: 12869
 2004-04-12 17:39:20 +00:00
Alkis Evlogimenos
bb422833e4 Print def lists a bit more compactly 
llvm-svn: 12866
 2004-04-12 15:57:58 +00:00
Alkis Evlogimenos
f66a23d573 Add definition list to each live interval. 
llvm-svn: 12791
 2004-04-09 18:07:57 +00:00
Alkis Evlogimenos
ff9482b664 Change MRegisterInfo::foldMemoryOperand to return the folded 
instruction to make the API more flexible.

llvm-svn: 12386
 2004-03-14 07:19:51 +00:00
Alkis Evlogimenos
64e76a0d43 Add the long awaited memory operand folding support for linear scan 
llvm-svn: 12058
 2004-03-01 20:05:10 +00:00
Alkis Evlogimenos
b15631fcfa Uncomment assertions that register# != 0 on calls to 
MRegisterInfo::is{Physical,Virtual}Register. Apply appropriate fixes
to relevant files.

llvm-svn: 11882
 2004-02-26 22:00:20 +00:00
Alkis Evlogimenos
ee3ef42726 Move LiveIntervals.h up to be the first included header 
llvm-svn: 11721
 2004-02-23 01:01:21 +00:00
Alkis Evlogimenos
850bd0819f Move LiveIntervals.h to lib/CodeGen since it shouldn't be exposed to other parts of the compiler 
llvm-svn: 11719
 2004-02-23 00:50:15 +00:00
Alkis Evlogimenos
ba33a0ab9b Print basic block boundaries in machine instruction debug output. 
llvm-svn: 11704
 2004-02-22 05:46:04 +00:00
Alkis Evlogimenos
32d12d31ae Abstract merging of ranges away from number of slots per instruction. 
Also make it less aggressive as the current implementation breaks in
some cases.

llvm-svn: 11696
 2004-02-22 04:05:13 +00:00
Alkis Evlogimenos
e39c21cc93 Make 'fold' statistic's description the same in both allocators. 
llvm-svn: 11687
 2004-02-21 18:07:33 +00:00
Alkis Evlogimenos
43431e117e Some more statistics improvements. 
llvm-svn: 11676
 2004-02-20 20:53:26 +00:00
Alkis Evlogimenos
6d57ed784f Disambiguate statistic descriptions. 
llvm-svn: 11675
 2004-02-20 20:46:49 +00:00
Alkis Evlogimenos
70f547d06e Rename statistic and add another one. 
llvm-svn: 11674
 2004-02-20 20:43:08 +00:00
Alkis Evlogimenos
f32239a5c6 Too many changes in one commit: 
1. LiveIntervals now implement a 4 slot per instruction model. Load,
   Use, Def and a Store slot. This is required in order to correctly
   represent caller saved register clobbering on function calls,
   register reuse in the same instruction (def resues last use) and
   also spill code added later by the allocator. The previous
   representation (2 slots per instruction) was insufficient and as a
   result was causing subtle bugs.

2. Fixes in spill code generation. This was the major cause of
   failures in the test suite.

3. Linear scan now has core support for folding memory operands. This
   is untested and not enabled (the live interval update function does
   not attempt to fold loads/stores in instructions).

4. Lots of improvements in the debugging output of both live intervals
   and linear scan. Give it a try... it is beautiful :-)

In summary the above fixes all the issues with the recent reserved
register elimination changes and get the allocator very close to the
next big step: folding memory operands.

llvm-svn: 11654
 2004-02-20 06:15:40 +00:00
Alkis Evlogimenos
c394f7803b Be more agressive when joining ranges. 
llvm-svn: 11575
 2004-02-18 04:38:37 +00:00
Alkis Evlogimenos
5c90efed55 Fix overly conservative spill interval computation. 
llvm-svn: 11574
 2004-02-18 03:35:38 +00:00
Alkis Evlogimenos
c6ea9a6b65 Fix spilled interval update. It was too conservative. 
llvm-svn: 11516
 2004-02-17 04:04:20 +00:00
Alkis Evlogimenos
1026a01d5a Eliminate the use of spill (reserved) registers. 
llvm-svn: 11476
 2004-02-15 10:24:21 +00:00
Alkis Evlogimenos
3eeb600093 Use std::numeric_limits<float>::infinity() instead of 
std::numeric_limits<float>::max() for weighting preallocated
intervals.

llvm-svn: 11427
 2004-02-14 00:44:07 +00:00
Alkis Evlogimenos
6d6ab846af Remove getAllocatedRegNum(). Use getReg() instead. 
llvm-svn: 11393
 2004-02-13 21:01:20 +00:00
Alkis Evlogimenos
b755d35fd2 Change MachineBasicBlock's vector of MachineInstr pointers into an 
ilist of MachineInstr objects. This allows constant time removal and
insertion of MachineInstr instances from anywhere in each
MachineBasicBlock. It also allows for constant time splicing of
MachineInstrs into or out of MachineBasicBlocks.

llvm-svn: 11340
 2004-02-12 02:27:10 +00:00
Chris Lattner
37e040ee03 Do not use MachineOperand::isVirtualRegister either! 
llvm-svn: 11283
 2004-02-10 21:12:22 +00:00
Alkis Evlogimenos
f01a26ceaa Change live interval representation. Machine instructions now have two 
slots each. As a concequence they get numbered as 0, 2, 4 and so
on. The first slot is used for operand uses and the second for
defs. Here's an example:

0: A = ...
2: B = ...
4: C = A + B ;; last use of A

The live intervals should look like:

A = [1, 5)
B = [3, x)
C = [5, y)

llvm-svn: 11141
 2004-02-05 22:55:25 +00:00
Alkis Evlogimenos
3dd0f57349 We don't need to scan the blocks that we are live-in on every 
access. Rather we only have to do it on the creation of the interval.

llvm-svn: 11135
 2004-02-05 20:45:40 +00:00
Alkis Evlogimenos
dfef24298e Should be more careful. The previously applied change made all counts 
outside of loops = 0.

llvm-svn: 11085
 2004-02-02 20:29:57 +00:00
Alkis Evlogimenos
eabb1b1bfa Change string for joined intervals. 
llvm-svn: 11057
 2004-02-01 16:13:05 +00:00
Alkis Evlogimenos
e9d1aa31fc Change xor to ^. 
llvm-svn: 11054
 2004-02-01 08:19:25 +00:00
Alkis Evlogimenos
107cf3892c Missed one silly assert :-) 
llvm-svn: 11048
 2004-02-01 02:21:31 +00:00
Alkis Evlogimenos
a7459c76aa Simplify joinIntervals() code. 
llvm-svn: 11047
 2004-02-01 02:18:31 +00:00
Alkis Evlogimenos
612a35f2a4 Use MRegisterInfo::isPhysicalRegister and 
MRegisterInfo::isVirtualRegister.

llvm-svn: 11045
 2004-02-01 01:27:01 +00:00
Alkis Evlogimenos
9559cebebf Apply final part of Chris' patch. 
llvm-svn: 11040
 2004-01-31 23:48:47 +00:00
Alkis Evlogimenos
656870703f Be a little smarter on the way we handle physical register defs. 
llvm-svn: 11038
 2004-01-31 23:13:30 +00:00
Alkis Evlogimenos
d1ec5f36ee Merge safe parts from last night's buggy commit. These do not break 
any test cases :-)

llvm-svn: 11032
 2004-01-31 19:59:32 +00:00
Alkis Evlogimenos
ef63827238 Optimize liveAt() and overlaps(). We now use a binary search instead 
of a linear search to find the first range for comparisons. This cuts
down the linear scan register allocator running time by a factor of 3
in 254.perlbmk and by a factor of 2.2 in 176.gcc.

llvm-svn: 11030
 2004-01-31 16:54:54 +00:00
Alkis Evlogimenos
b9df133d67 Revert last night's changes as they broke some tests. Will remerge parts of the patch. 
llvm-svn: 11029
 2004-01-31 14:37:41 +00:00
Alkis Evlogimenos
c0db519832 Several performance enhancements and cleanups from Chris. 
Simplification of LiveIntervals::Interval::overlaps() and addition of
examples to overlaps() and liveAt() to make them clearer.

llvm-svn: 11028
 2004-01-31 04:56:07 +00:00
Alkis Evlogimenos
2a8df1739b Fix failing test cases with joined live intervals. It turns out that 
when joining we need to check if we overlap with the second interval
or any of its aliases.

Also make joining intervals the default.

llvm-svn: 10973
 2004-01-23 13:37:51 +00:00
Alkis Evlogimenos
b4745bda05 Add option to join live intervals. Two intervals are joined if there 
is a move between two registers, at least one of the registers is
virtual and the two live intervals do not overlap.

This results in about 40% reduction in intervals, 30% decrease in the
register allocators running time and a 20% increase in peephole
optimizations (mainly move eliminations).

The option can be enabled by passing -join-liveintervals where
appropriate.

llvm-svn: 10965
 2004-01-22 23:08:45 +00:00
Alkis Evlogimenos
a1bb8618c3 Revert previous change. The code was correct... 
llvm-svn: 10957
 2004-01-22 19:17:52 +00:00
Alkis Evlogimenos
448e6f3353 Fix incorrect negatives in LiveIntervals::Interval::liveAt(). 
llvm-svn: 10956
 2004-01-22 18:33:50 +00:00
Alkis Evlogimenos
ed3c0a91b0 Add asserts to previous change. 
llvm-svn: 10893
 2004-01-16 16:23:23 +00:00
Alkis Evlogimenos
61db3621bd Use a list instead of a vector to store intervals. This will be needed 
when we join intervals and one of the two will need to be removed.

llvm-svn: 10892
 2004-01-16 16:06:59 +00:00
Alkis Evlogimenos
52d1db4841 Properly update #intervals statistic. 
llvm-svn: 10847
 2004-01-14 10:44:29 +00:00
Alkis Evlogimenos
c4225e2f09 Fix bug in LiveIntervals::Interval::overlaps and 
LiveIntervals::Interval::liveAt. Both were considering the live ranges
closed in the end, when they are actually open.

llvm-svn: 10835
 2004-01-14 00:20:09 +00:00
Alkis Evlogimenos
34a4e7b161 Fix miscomputation of live intervals. The catch is that registers can 
be dead at the defining instruction but can only be killed in
subsequent ones.

llvm-svn: 10833
 2004-01-13 22:26:14 +00:00