summaryrefslogtreecommitdiff
path: root/src/jib/jib_compile.ml
diff options
context:
space:
mode:
authorAlasdair2019-03-18 21:40:34 +0000
committerAlasdair2019-04-01 13:48:18 +0100
commitbee510755ecd32c600a27b9741c18cce1bd2ea4d (patch)
tree59318bbbdc6f96adf2c62b7396d8b7d52994f1f0 /src/jib/jib_compile.ml
parent989c7f8ab0bf908d0cd26b58c542d264c63b72fe (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.ml4
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;