steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

compiler.cfg.linear-scan.allocation.spilling: docs and tests for this vocab

db4
Björn Lindqvist 2015-04-18 13:04:29 +02:00 committed by John Benediktsson
parent b827bc75cc
commit 16f6025979
3 changed files with 49 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
basis/compiler/cfg/linear-scan/allocation/spilling/spilling-docs.factor Normal file
View File

@ -0,0 +1,10 @@
USING: compiler.cfg.linear-scan.live-intervals help.markup help.syntax ;
IN: compiler.cfg.linear-scan.allocation.spilling
HELP: spill-intersecting-active
{ $values { "new" live-interval-state } { "reg" "register" } }
{ $description "If there is an active interval using 'reg' (there should be at most one) are split and spilled and removed from the inactive set." } ;
HELP: spill-partially-available
{ $values { "new" live-interval-state } { "pair" "register availability status" } }
{ $description "A register would be available for part of the new interval's lifetime if all active and inactive intervals using that register were split and spilled." } ;

37
basis/compiler/cfg/linear-scan/allocation/spilling/spilling-tests.factor Normal file
View File

@ -0,0 +1,37 @@
USING: compiler.cfg.instructions compiler.cfg.linear-scan.allocation.spilling
compiler.cfg.linear-scan.live-intervals cpu.architecture sequences tools.test ;
IN: compiler.cfg.linear-scan.allocation.spilling.tests
! last-use-rep
{
double-rep
} [
T{ live-interval-state
{ vreg 45 }
{ spill-to T{ spill-slot { n 8 } } }
{ spill-rep double-rep }
{ start 22 }
{ end 47 }
{ ranges
T{ slice
{ from 0 }
{ to 1 }
{ seq
{
T{ live-range { from 22 } { to 47 } }
T{ live-range { from 67 } { to 68 } }
T{ live-range { from 69 } { to 72 } }
}
}
}
}
{ uses
{
T{ vreg-use
{ n 28 }
{ use-rep double-rep }
}
}
}
} last-use-rep
] unit-test

10
basis/compiler/cfg/linear-scan/allocation/spilling/spilling.factor
View File

@ -114,9 +114,6 @@ ERROR: bad-live-ranges interval ;
[ [ add-unhandled ] when* ] bi* ;
:: spill-intersecting-active ( new reg -- )
! If there is an active interval using 'reg' (there should be at
! most one) are split and spilled and removed from the inactive
! set.
new active-intervals-for [ [ reg>> reg = ] find swap dup ] keep
'[ _ remove-nth! drop new start>> spill ] [ 2drop ] if ;
@ -144,14 +141,11 @@ ERROR: bad-live-ranges interval ;
! and spilled.
[ first spill-intersecting ] [ register-available ] 2bi ;
: spill-partially-available ( new pair -- )
! A register would be available for part of the new
! interval's lifetime if all active and inactive intervals
! using that register were split and spilled.
: spill-partially-available ( live-interval pair -- )
[ second 1 - split-for-spill [ add-unhandled ] when* ] keep
'[ _ spill-available ] when* ;
: assign-blocked-register ( new -- )
: assign-blocked-register ( live-interval -- )
dup spill-status {
{ [ 2dup spill-new? ] [ spill-new ] }
{ [ 2dup register-available? ] [ spill-available ] }