trace-stack-state ( cfg -- assoc )

Vocabulary

compiler.cfg.stacks.padding

Inputs

cfg

a cfg

Outputs

assoc

an assoc

Word description

Outputs an assoc with the instruction numbers as keys and as values two tuples of the data and retain stacks shapes before that instruction. All instructions in the cfg gets numbered as a side-effect.

Definition

USING: kernel namespaces ;

IN: compiler.cfg.stacks.padding

: trace-stack-state ( cfg -- assoc )
    H{ } clone stack-record set
    [ uniquely-number-instructions ] [ compute-padding-sets ] bi
    stack-record get ;