summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorPaweł Dybiec <pdybiec@stud.cs.uni.wroc.pl>2019-01-27 23:48:40 +0100
committerPaweł Dybiec <pdybiec@stud.cs.uni.wroc.pl>2019-01-27 23:48:40 +0100
commit3b6fdd4c4aef0ae401d0c3e9ae4d682397dae2ff (patch)
tree4d2125592694dda027c39997175bd74719da100e
parent03e2e248f0583aba17bc7508ed163bf3515e4c10 (diff)
Use folding module
-rw-r--r--source/mod_student/plugin.ml13
1 files changed, 10 insertions, 3 deletions
diff --git a/source/mod_student/plugin.ml b/source/mod_student/plugin.ml
index ff5016e..73b4dff 100644
--- a/source/mod_student/plugin.ml
+++ b/source/mod_student/plugin.ml
@@ -17,7 +17,10 @@ module Plugin : PLUGIN = struct
let version = "na"
- let make_live_variables_analysis = None
+ (*
+ let make_live_variables_analysis = Some (module Live_variables.Make : MAKE_LIVE_VARIABLES_ANALYSIS)
+ *)
+ let make_live_variables_analysis = None
let make_dominators_analysis = None
@@ -45,7 +48,6 @@ module Plugin : PLUGIN = struct
let make_jump_threading = None
- let make_constant_folding = None
let make_hilower = None
@@ -53,11 +55,16 @@ module Plugin : PLUGIN = struct
let make_mipslower = None
+ (*
let make_register_allocator = Some (module Regalloc.Make : MAKE_REGISTER_ALLOCATOR)
+ *)
+ let make_register_allocator = None
let make_register_coalescing = None
- let make_constant_folding_analysis = None
+ let make_constant_folding_analysis = Some (module Constant_folding_analysis.Make : MAKE_CONSTANT_FOLDING_ANALYSIS)
+
+ let make_constant_folding = Some (module Constant_folding.Make : MAKE_CONSTANT_FOLDING)
let make_codegen = None