factor/basis/compiler/cfg/stacks/global/global.factor

45 lines
1.2 KiB
Factor

! Copyright (C) 2009 Slava Pestov.
! See http://factorcode.org/license.txt for BSD license.
USING: assocs compiler.cfg.dataflow-analysis compiler.cfg.stacks.local
kernel namespaces sequences sets ;
IN: compiler.cfg.stacks.global
: peek-set ( bb -- assoc ) peek-sets get at ;
: replace-set ( bb -- assoc ) replace-sets get at ;
: kill-set ( bb -- assoc ) kill-sets get at ;
! Should exists somewhere else
: refine ( sets -- set )
[ f ] [ [ ] [ intersect ] map-reduce ] if-empty ;
: transfer-peeked-locs ( set bb -- set' )
[ replace-set diff ] [ peek-set union ] bi ;
BACKWARD-ANALYSIS: anticip
M: anticip transfer-set drop transfer-peeked-locs ;
M: anticip join-sets 2drop refine ;
BACKWARD-ANALYSIS: live
M: live transfer-set drop transfer-peeked-locs ;
M: live join-sets 2drop combine ;
FORWARD-ANALYSIS: avail
M: avail transfer-set
drop [ peek-set ] [ replace-set ] bi union union ;
M: avail join-sets 2drop refine ;
FORWARD-ANALYSIS: pending
M: pending transfer-set
drop replace-set union ;
M: pending join-sets 2drop refine ;
BACKWARD-ANALYSIS: dead
M: dead transfer-set
drop [ kill-set ] [ replace-set ] bi union union ;
M: dead join-sets 2drop refine ;