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

compiler.cfg.gvn: enable rewrites & ##phi processing

db4
Alex Vondrak 2011-07-03 13:14:57 -07:00 committed by John Benediktsson
parent 78141b4ae5
commit 2abb38463a
1 changed files with 11 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -51,11 +51,11 @@ M: ##copy value-number [ src>> vreg>vn ] [ dst>> ] bi set-vn ;
dup >expr dup exprs>vns get at
[ redundant-instruction ] [ useful-instruction ] ?if ;
! M: ##phi value-number
! dup inputs>> values [ vreg>vn ] map sift
! dup all-equal? [
! [ drop ] [ first redundant-instruction ] if-empty
! ] [ drop check-redundancy ] if ;
M: ##phi value-number
dup inputs>> values [ vreg>vn ] map sift
dup all-equal? [
[ drop ] [ first redundant-instruction ] if-empty
] [ drop check-redundancy ] if ;
M: insn value-number
dup defs-vregs length 1 = [ check-redundancy ] [ drop ] if ;
@ -94,18 +94,17 @@ M: ##copy gcse ;
dup >expr exprs>vns get at
[ ?eliminate ] [ make-available ] if* ;
! M: ##phi gcse
! dup inputs>> values [ vreg>vn ] map sift
! dup all-equal? [
! [ first ?eliminate ] unless-empty
! ] [ drop eliminate-redundancy ] if ;
M: ##phi gcse
dup inputs>> values [ vreg>vn ] map sift
dup all-equal? [
[ first ?eliminate ] unless-empty
] [ drop eliminate-redundancy ] if ;
M: insn gcse
dup defs-vregs length 1 = [ eliminate-redundancy ] when ;
: gcse-step ( insns -- insns' )
! [ simplify gcse ] map flatten ;
[ gcse ] map flatten ;
[ simplify gcse ] map flatten ;
: eliminate-common-subexpressions ( cfg -- )
final-iteration? on