compute-phi-input-infos ( phi-in -- phi-info )


Vocabulary
compiler.tree.propagation.branches

Inputs
phi-inan object


Outputs
phi-infoan object


Definition
USING: compiler.tree.propagation.info kernel namespaces
sequences stack-checker.branches ;

IN: compiler.tree.propagation.branches

: compute-phi-input-infos ( phi-in -- phi-info )
infer-children-data get [
[
[
dup +bottom+ eq?
[ drop null-info ] [ value-info ] if
] with-variables
] curry map
] 2map ;