From 3b6fdd4c4aef0ae401d0c3e9ae4d682397dae2ff Mon Sep 17 00:00:00 2001 From: Paweł Dybiec Date: Sun, 27 Jan 2019 23:48:40 +0100 Subject: Use folding module --- source/mod_student/plugin.ml | 13 ++++++++++--- 1 file 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 -- cgit 1.4.1