propagate_constants: Sparse Conditional Constant Propagation

Description Usage Arguments Value References

View source: R/constant_propagation.R

Description

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

Usage

1

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/rstatic documentation built on Oct. 18, 2019, 4:38 a.m.