diff options
| author | Alasdair | 2019-03-18 21:40:34 +0000 |
|---|---|---|
| committer | Alasdair | 2019-04-01 13:48:18 +0100 |
| commit | bee510755ecd32c600a27b9741c18cce1bd2ea4d (patch) | |
| tree | 59318bbbdc6f96adf2c62b7396d8b7d52994f1f0 /src/jib/jib_compile.ml | |
| parent | 989c7f8ab0bf908d0cd26b58c542d264c63b72fe (diff) | |
C: Add identifier to end instruction
Allows us to track the last version of the return variable when the AST
in in SSA form.
Diffstat (limited to 'src/jib/jib_compile.ml')
| -rw-r--r-- | src/jib/jib_compile.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/jib/jib_compile.ml b/src/jib/jib_compile.ml index c13b814f..d74d3c0b 100644 --- a/src/jib/jib_compile.ml +++ b/src/jib/jib_compile.ml @@ -974,7 +974,7 @@ let rec map_try_block f (I_aux (instr, aux)) = | I_funcall _ | I_copy _ | I_clear _ | I_throw _ | I_return _ -> instr | I_block instrs -> I_block (List.map (map_try_block f) instrs) | I_try_block instrs -> I_try_block (f (List.map (map_try_block f) instrs)) - | I_comment _ | I_label _ | I_goto _ | I_raw _ | I_jump _ | I_match_failure | I_undefined _ | I_end -> instr + | I_comment _ | I_label _ | I_goto _ | I_raw _ | I_jump _ | I_match_failure | I_undefined _ | I_end _ -> instr in I_aux (instr, aux) @@ -1194,7 +1194,7 @@ and compile_def' n total ctx = function let instrs = Jib_optimize.(instrs |> optimize_unit |> flatten_instrs) in let root, _, cfg = Jib_ssa.control_flow_graph instrs in let idom = Jib_ssa.immediate_dominators cfg root in - let cfg = Jib_ssa.ssa instrs in + let _, cfg = Jib_ssa.ssa instrs in let out_chan = open_out (Util.zencode_string (string_of_id id) ^ ".gv") in Jib_ssa.make_dot out_chan cfg; close_out out_chan; |
