join-sets ( sets bb dfa -- set )

Vocabulary

compiler.cfg.dataflow-analysis

Inputs

sets	input states
bb	a basic-block
dfa	a class

Outputs

set	merged state

Word description

Generic word which merges multiple states into one. A block in the cfg might have multiple predecessors and then this word is used to compute the merged input state to use to analyze the block.

See also

transfer-set

Definition

IN: compiler.cfg.dataflow-analysis

GENERIC: join-sets ( sets bb dfa -- set )

Methods

USING: compiler.cfg.dataflow-analysis compiler.cfg.stacks.global
kernel sets ;

M: anticip join-sets 2drop intersect-all ;


USING: compiler.cfg.dataflow-analysis compiler.cfg.stacks.global
kernel sets ;

M: avail join-sets 2drop intersect-all ;


USING: assocs compiler.cfg.dataflow-analysis
compiler.cfg.dataflow-analysis.private kernel ;

M: dataflow-analysis join-sets 2drop assoc-intersect-all ;


USING: compiler.cfg.dataflow-analysis compiler.cfg.stacks.global
kernel sets ;

M: dead join-sets 2drop intersect-all ;


USING: compiler.cfg.dataflow-analysis compiler.cfg.stacks.global
kernel sets ;

M: live join-sets 2drop union-all ;


USING: compiler.cfg.dataflow-analysis
compiler.cfg.stacks.padding kernel ;

M: padding join-sets 2drop combine-states ;


USING: compiler.cfg.dataflow-analysis compiler.cfg.stacks.global
kernel sets ;

M: pending join-sets 2drop intersect-all ;