compiler.cfg.gvn.expressions: ##phis in different blocks should not be congruent

Alex Vondrak 2011-06-27 17:59:48 -07:00 committed by John Benediktsson
parent 529d27ae30
commit 51bb3d0a6e
1 changed files with 4 additions and 1 deletions

View File

@ -3,6 +3,7 @@
USING: assocs accessors arrays classes classes.algebra USING: assocs accessors arrays classes classes.algebra
combinators fry generic.parser kernel math namespaces combinators fry generic.parser kernel math namespaces
quotations sequences slots words make sets quotations sequences slots words make sets
compiler.cfg
compiler.cfg.instructions compiler.cfg.instructions
compiler.cfg.instructions.syntax compiler.cfg.instructions.syntax
compiler.cfg.gvn.graph ; compiler.cfg.gvn.graph ;
@ -88,4 +89,6 @@ M: ##load-reference >expr obj>> <reference-expr> ;
! phi equivalences ! phi equivalences
M: ##phi >expr M: ##phi >expr
inputs>> values [ vreg>vn ] map \ ##phi prefix ; inputs>> values [ vreg>vn ] map
basic-block get number>> prefix
\ ##phi prefix ;