summary refs log tree commit diff
diff options
context:
space:
mode:
-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