forward-analysis? ( object -- ? )

Vocabulary

compiler.cfg.dataflow-analysis.private

Inputs and outputs

object	an object
?	a boolean

Word description

Tests if the object is an instance of the forward-analysis class.

Definition

USING: compiler.cfg.gvn.avail compiler.cfg.stacks.global
compiler.cfg.stacks.padding kernel ;

IN: compiler.cfg.dataflow-analysis.private

: forward-analysis? ( object -- ? )
    dup avail?
    [ drop t ] [
        dup padding?
        [ drop t ] [ dup pending? [ drop t ] [ avail? ] if ] if
    ] if ;