Paste: simple dataflow analysis

Author: slava
Mode: factor
Date: Wed, 22 Jul 2009 07:48:15
Plain Text |
! Copyright (C) 2009 Slava Pestov.
! See http://factorcode.org/license.txt for BSD license.
USING: kernel accessors assocs compiler.cfg.def-use
compiler.cfg.dataflow-analysis ;
IN: compiler.cfg.linear-scan.liveness

! See http://en.wikipedia.org/wiki/Liveness_analysis

BACKWARD-ANALYSIS: live

M: live-analysis transfer-set
    drop instructions>>
    [ gen-set assoc-union ] keep
    kill-set assoc-diff ;

New Annotation

Summary:
Author:
Mode:
Body: