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

compiler.cfg.parallel-copy: docs

db4
Björn Lindqvist 2014-12-20 16:10:37 +01:00
parent 24c9dbe160
commit e87be7b5c8
2 changed files with 15 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
basis/compiler/cfg/parallel-copy/parallel-copy-docs.factor Normal file
View File

@ -0,0 +1,15 @@
USING: assocs compiler.cfg compiler.cfg.instructions compiler.cfg.registers
compiler.cfg.parallel-copy.private help.markup help.syntax math sequences ;
IN: compiler.cfg.parallel-copy
HELP: process-to-do
{ $description "Note that we check if b = loc(b), not b = loc(pred(b)) as the paper suggests. Confirmed by one of the authors at http://www.reddit.com/comments/93253/some_lecture_notes_on_ssa_form/c0bco4f" } ;
HELP: parallel-copy
{ $values { "mapping" { $link assoc } " of { dst src } virtual register pairs" } }
{ $description "Creates " { $link ##copy } " instructions." } ;
ARTICLE: "compiler.cfg.parallel-copy" "Parallel copy"
"Revisiting Out-of-SSA Translation for Correctness, Code Quality, and Efficiency http://hal.archives-ouvertes.fr/docs/00/34/99/25/PDF/OutSSA-RR.pdf, Algorithm 1" ;
ABOUT: "compiler.cfg.parallel-copy"

8
basis/compiler/cfg/parallel-copy/parallel-copy.factor
View File

@ -6,10 +6,6 @@ dlists fry kernel locals namespaces sequences ;
FROM: sets => conjoin ; FROM: sets => conjoin ;
IN: compiler.cfg.parallel-copy IN: compiler.cfg.parallel-copy
! Revisiting Out-of-SSA Translation for Correctness, Code Quality, and Efficiency
! http://hal.archives-ouvertes.fr/docs/00/34/99/25/PDF/OutSSA-RR.pdf,
! Algorithm 1
<PRIVATE <PRIVATE
SYMBOLS: locs preds to-do ready ; SYMBOLS: locs preds to-do ready ;
@ -35,9 +31,6 @@ SYMBOLS: locs preds to-do ready ;
a c = a preds get at and [ a ready get push-front ] when ; inline a c = a preds get at and [ a ready get push-front ] when ; inline
:: process-to-do ( b temp: ( src -- dst ) quot: ( dst src -- ) -- ) :: process-to-do ( b temp: ( src -- dst ) quot: ( dst src -- ) -- )
! Note that we check if b = loc(b), not b = loc(pred(b)) as the
! paper suggests. Confirmed by one of the authors at
! http://www.reddit.com/comments/93253/some_lecture_notes_on_ssa_form/c0bco4f
b locs get at b = [ b locs get at b = [
b temp call :> temp b temp call :> temp
temp b quot call temp b quot call
@ -60,7 +53,6 @@ PRIVATE>
] with-scope ; inline ] with-scope ; inline
: parallel-copy ( mapping -- ) : parallel-copy ( mapping -- )
! mapping is a list of { dst src } pairs
next-vreg '[ drop _ ] [ any-rep ##copy, ] parallel-mapping ; next-vreg '[ drop _ ] [ any-rep ##copy, ] parallel-mapping ;
<PRIVATE <PRIVATE