Commit 888fc916 authored by Adrien Guatto's avatar Adrien Guatto

DCE: add a small hint

parent cd2eb598
......@@ -30,6 +30,8 @@ module LivenessDomain =
let lub =
failwith "Students! This is your job!"
let global_variables =
ref bot
let gen insn =
......@@ -53,4 +55,8 @@ let rewrite sol (lab, insn) =
failwith "Students! This is your job!"
let translate p =
LivenessDomain.global_variables :=
LValueSet.of_list
@@ List.map (fun v -> `Variable v)
@@ RetrolixUtils.global_variables p;
RetrolixUtils.transform_blocks analyze rewrite p
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment