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

compiler.cfg.gvn: clean up

db4
Alex Vondrak 2011-06-27 17:58:28 -07:00 committed by John Benediktsson
parent f29bebaa0e
commit 68f577bfa1
1 changed files with 23 additions and 30 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

51
extra/compiler/cfg/gvn/gvn.factor
View File

@ -21,44 +21,38 @@ compiler.cfg.gvn.misc
compiler.cfg.gvn.expressions ; compiler.cfg.gvn.expressions ;
IN: compiler.cfg.gvn IN: compiler.cfg.gvn
GENERIC: process-instruction ( insn -- insn' ) GENERIC: simplify ( insn -- insn' )
: redundant-instruction ( insn vn -- insn' ) M: insn simplify dup rewrite [ simplify ] [ ] ?if ;
[ dst>> ] dip [ swap set-vn ] [ <copy> ] 2bi ; M: array simplify [ simplify ] map ;
M: ##copy simplify ;
:: useful-instruction ( insn expr -- insn' ) GENERIC: value-number ( insn -- )
M: alien-call-insn value-number drop ;
M: ##callback-inputs value-number drop ;
M: ##copy value-number [ src>> vreg>vn ] [ dst>> ] bi set-vn ;
: redundant-instruction ( insn vn -- )
swap dst>> set-vn ;
:: useful-instruction ( insn expr -- )
insn dst>> :> vn insn dst>> :> vn
vn vn set-vn vn vn set-vn
vn expr exprs>vns get set-at vn expr exprs>vns get set-at
insn vn vns>insns get set-at insn vn vns>insns get set-at ;
insn ;
: check-redundancy ( insn -- insn' ) M: insn value-number
dup defs-vregs length 1 = [
dup >expr dup exprs>vns get at dup >expr dup exprs>vns get at
[ redundant-instruction ] [ useful-instruction ] ?if ; [ redundant-instruction ] [ useful-instruction ] ?if
] [ drop ] if ;
M: insn process-instruction : value-numbering-step ( insns -- )
dup rewrite [ simplify ] map flatten [ value-number ] each ;
[ process-instruction ]
[ dup defs-vregs length 1 = [ check-redundancy ] when ] ?if ;
UNION: don't-check-redundancy alien-call-insn ##callback-inputs ;
M: don't-check-redundancy process-instruction
dup rewrite [ process-instruction ] [ ] ?if ;
M: ##copy process-instruction
dup [ src>> vreg>vn ] [ dst>> ] bi set-vn ;
M: array process-instruction
[ process-instruction ] map ;
: value-numbering-step ( insns -- insns' )
[ process-instruction ] map flatten ;
: value-numbering-iteration ( cfg -- ) : value-numbering-iteration ( cfg -- )
clear-exprs clear-exprs [ value-numbering-step ] simple-analysis ;
[ value-numbering-step drop ] simple-analysis ;
: determine-value-numbers ( cfg -- ) : determine-value-numbers ( cfg -- )
final-iteration? off final-iteration? off
@ -71,7 +65,6 @@ M: array process-instruction
: value-numbering ( cfg -- cfg ) : value-numbering ( cfg -- cfg )
needs-predecessors needs-predecessors
dup determine-value-numbers dup determine-value-numbers
cfg-changed predecessors-changed ; cfg-changed predecessors-changed ;