diff options
Diffstat (limited to 'source')
| -rw-r--r-- | source/mod_student/plugin.ml | 13 |
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 |