propagate_constants: Sparse Conditional Constant Propagation

View source: R/constant_propagation.R

propagate_constantsR Documentation

Sparse Conditional Constant Propagation

Description

This function applies sparse conditiona constant propagation to the specified control flow graph.

Usage

propagate_constants(cfg)

Arguments

cfg

(ControlFlowGraph) The graph on which to apply the algorithm.

Value

(list) A named list, with values for constant symbols and NONCONST objects for nonconstant symbols.

References

Wegman, M. N., & Zadeck, F. K. (1991). Constant propagation with conditional branches. ACM Transactions on Programming Languages and Systems (TOPLAS), 13(2), 181-210.


nick-ulle/ast documentation built on May 14, 2024, 7:40 p.m.