diff options
| author | Alasdair Armstrong | 2019-03-07 14:50:08 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-03-07 14:59:39 +0000 |
| commit | a98c6844fe7ab3dc0c39a27930e6635c5cde89a1 (patch) | |
| tree | 14c12a2627b5ca50d8c55e20e126a1961931cee6 /src/bytecode_interpreter.ml | |
| parent | e2ba378d45b0072d22ae0e63c0437fd22b25c361 (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
