summary refs log tree commit diff
path: root/source/mod_student/plugin.ml
diff options
context:
space:
mode:
Diffstat (limited to 'source/mod_student/plugin.ml')
-rw-r--r--source/mod_student/plugin.ml7
1 files changed, 6 insertions, 1 deletions
diff --git a/source/mod_student/plugin.ml b/source/mod_student/plugin.ml
index 33e2f27..ff5016e 100644
--- a/source/mod_student/plugin.ml
+++ b/source/mod_student/plugin.ml
@@ -38,7 +38,10 @@ module Plugin : PLUGIN = struct
   let make_typechecker = Some (module Typechecker.Make : MAKE_TYPECHECKER)
    *)
 
+  let make_translator = None
+  (*
   let make_translator = Some (module Translator.Make : MAKE_TRANSLATOR)
+  *)
 
   let make_jump_threading = None
 
@@ -50,7 +53,9 @@ module Plugin : PLUGIN = struct
 
   let make_mipslower = None
 
-  let make_register_allocator = None
+  let make_register_allocator = Some (module Regalloc.Make : MAKE_REGISTER_ALLOCATOR)
+
+  let make_register_coalescing = None
 
   let make_constant_folding_analysis = None