diff options
author | Paweł Dybiec <pdybiec@stud.cs.uni.wroc.pl> | 2019-01-27 23:48:40 +0100 |
---|---|---|
committer | Paweł Dybiec <pdybiec@stud.cs.uni.wroc.pl> | 2019-01-27 23:48:40 +0100 |
commit | 3b6fdd4c4aef0ae401d0c3e9ae4d682397dae2ff (patch) | |
tree | 4d2125592694dda027c39997175bd74719da100e /source | |
parent | Folding instructions (diff) |
Use folding module
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 |