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

compiler.cfg.linear-scan.*: fix help-lint errors

db4
Björn Lindqvist 2015-06-14 16:32:29 +02:00
parent 5ad35fabd1
commit c0645ecafe
4 changed files with 4 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
basis/compiler/cfg/linear-scan/allocation/allocation-docs.factor
View File

@ -9,8 +9,7 @@ HELP: (allocate-registers)
HELP: allocate-registers
{ $values
{ "live-intervals" sequence }
{ "sync-point" sequence }
{ "intervals/sync-points" sequence }
{ "registers" assoc }
{ "live-intervals'" sequence }
}

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

@ -63,6 +63,6 @@ M: sync-point handle ( sync-point -- )
handled-intervals get
active-intervals inactive-intervals [ get values concat ] bi@ 3append ;
: allocate-registers ( intervals/sync-point registers -- live-intervals' )
: allocate-registers ( intervals/sync-points registers -- live-intervals' )
init-allocator unhandled-min-heap get (allocate-registers)
gather-intervals ;

3
basis/compiler/cfg/linear-scan/allocation/state/state-docs.factor
View File

@ -50,8 +50,7 @@ HELP: inactive-intervals
HELP: init-allocator
{ $values
{ "live-intervals" { $link sequence } " of " { $link live-interval-state } }
{ "sync-points" { $link sequence } " of " { $link sync-point } }
{ "intervals/sync-points" { $link sequence } " of " { $link live-interval-state } " and " { $link sync-point } "." }
{ "registers" { $link assoc } " mapping from register class to available machine registers." }
}
{ $description "Initializes the state for the register allocator." }

2
basis/compiler/cfg/linear-scan/live-intervals/live-intervals-docs.factor
View File

@ -16,7 +16,7 @@ HELP: block-from
{ $description "The instruction number immediately preceeding this block." } ;
HELP: finish-live-intervals
{ $values { "live-intervals" sequence } { "seq" sequence } }
{ $values { "live-intervals" sequence } }
{ $description "Since live intervals are computed in a backward order, we have to reverse some sequences, and compute the start and end." } ;
HELP: from