This function applies sparse conditiona constant propagation to the specified control flow graph.
(ControlFlowGraph) The graph on which to apply the algorithm.
(list) A named list, with values for constant symbols and NONCONST objects for nonconstant symbols.
Wegman, M. N., & Zadeck, F. K. (1991). Constant propagation with conditional branches. ACM Transactions on Programming Languages and Systems (TOPLAS), 13(2), 181-210.
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.