summaryrefslogtreecommitdiff
path: root/src/bytecode_interpreter.ml
diff options
context:
space:
mode:
authorAlasdair Armstrong2019-03-07 14:50:08 +0000
committerAlasdair Armstrong2019-03-07 14:59:39 +0000
commita98c6844fe7ab3dc0c39a27930e6635c5cde89a1 (patch)
tree14c12a2627b5ca50d8c55e20e126a1961931cee6 /src/bytecode_interpreter.ml
parente2ba378d45b0072d22ae0e63c0437fd22b25c361 (diff)
C: Make instrs_graph return just control flow graph
Previously instrs_graph would return the control-flow graph, as well as some data-flow by including reads and writes to variables represented as a node type in the graph (G_id). However, this was not particularly useful, and since the graph isn't in SSA form (so identifiers are non-unique) potentially inaccurate too. This simplifies the code so instrs_graph just returns control flow dependencies, which in turn simplifies the instr_reads and instr_writes functions.
Diffstat (limited to 'src/bytecode_interpreter.ml')
0 files changed, 0 insertions, 0 deletions