Commits

Paweł Wieczorek committed 851ff17

changing names

  • Participants
  • Parent commits a042bfd
  • Branches basic_tests_infastructure

Comments (0)

Files changed (4)

 all: ${PROGRAM}
 
 doc:
-	./tools/enumerate_modules > doc/Reference.docdir
+	./tools/enumerate_modules > doc/Reference.odocl
 	${VERBOSE}${OCAMLBUILD} ${OCAMLLIBS} ${OCAMLDIRS} doc/Reference.docdir/index.html
 
 ${PROGRAM}: src/Autogen.ml

doc/Reference.odocl

 Command
 CWCPS_Analysis
 CWCPS_AST
-CWCPS_BetaContraction
+CWCPS_BetaContractionOptimization
 CWCPS_ConditionalJumpsOptimization
-CWCPS_ConstantFolding
-CWCPS_EtaReduction
+CWCPS_ConstantFoldingOptimization
+CWCPS_EtaConversionTransformation
 CWCPS_Eval
 CWCPS_PrettyPrinter
 CWCPS_RecordUsageOptimization
-CWCPS_RemoveDeadCode
+CWCPS_RemoveDeadCodeOptimization
 CWCPS_Transformation
-CWCPS_UncurryFunctions
+CWCPS_UncurryFunctionsTransformation
 CWCPS_Util
 CWCPS_VariableUsageAnalysis
 DataModuleTypes

src/Analysis/CWCPS/CWCPS_VariableUsageAnalysis.ml

         |> List.filter_map get_variable
         |> FunMonoid.from_arg_list_with_val 1
 
-    let __analyze = function
+    let analyze_node = function
         | EXPR_App (label, fun_val, arg_vals) ->
             fun_val::arg_vals
             |> handle_values
 
     let analyze tm =
         let module M = MonoidBasedAnalysis(FunMonoid) in
-        M.Gather.gather __analyze tm
+        M.Gather.gather analyze_node tm
         |> FunMonoid.call
 
 end
         |> List.filter_map get_variable
         |> FunMonoid.from_arg_list_with_val true
 
-    let __analyze = function
+    let analyze_node = function
         | EXPR_App (label, fun_val, arg_vals) ->
             arg_vals
             |> handle_values
 
     let analyze =
         let module M = MonoidBasedAnalysis(FunMonoid) in
-        M.Gather.gather __analyze
+        M.Gather.gather analyze_node
 
 end
 
         |> List.map (fun (a,b) -> (a, Some b))
         |> FunMonoid.from_list
 
-    let __analyze = function
+    let analyze_node = function
         | EXPR_Fix (reclabel, definitions, in_expr) ->
             let f (deflabel, defname, defargs, defbody) =
                 (defname, BoundBy_FixDef (deflabel, defargs, defbody))
 
     let analyze_as_monoid tm = 
         let module M = MonoidBasedAnalysis(FunMonoid) in
-        M.Gather.gather __analyze tm
+        M.Gather.gather analyze_node tm
 
     let analyze = analyze_as_monoid |- FunMonoid.call
 
             (EscapingVariablesAnalysis.FunMonoid)
             (BoundByAnalysis.FunMonoid)
 
-    let __analyze = Monoid.combine
-        UsageCountingAnalysis.__analyze
-        EscapingVariablesAnalysis.__analyze
-        BoundByAnalysis.__analyze
+    let analyze_node = Monoid.combine
+        UsageCountingAnalysis.analyze_node
+        EscapingVariablesAnalysis.analyze_node
+        BoundByAnalysis.analyze_node
 
     let analyze tm =
         let module M = MonoidBasedAnalysis(Monoid) in
-        let (mon_usage_count, mon_escapes, mon_bound_by) = M.Gather.gather __analyze tm in
+        let (mon_usage_count, mon_escapes, mon_bound_by) = M.Gather.gather analyze_node tm in
 
         { usage_count   = UsageCountingAnalysis.FunMonoid.call      mon_usage_count
         ; escapes       = EscapingVariablesAnalysis.FunMonoid.call  mon_escapes
             Util.print_words_ln [ "-"; "result" ];
             CWCPS_driver.pretty_expr res;
             Util.print_words_ln [ "-"; "transform ConstantFolding" ];
-            let res = CWCPS_ConstantFolding.transform res in
+            let res = CWCPS_ConstantFoldingOptimization.transform res in
             CWCPS_driver.pretty_expr res;
             Util.print_words_ln [ "-"; "transform ConditionalJumpOptimization" ];
             let res = CWCPS_ConditionalJumpsOptimization.transform res in
             CWCPS_driver.pretty_expr res;
             Util.print_words_ln [ "-"; "transform RemoveDeadCode" ];
-            let res = CWCPS_RemoveDeadCode.transform res in
+            let res = CWCPS_RemoveDeadCodeOptimization.transform res in
             CWCPS_driver.pretty_expr res;
             Util.print_words_ln [ "-"; "transform BetaContraction" ];
-            let res = CWCPS_BetaContraction.transform res in
+            let res = CWCPS_BetaContractionOptimization.transform res in
             CWCPS_driver.pretty_expr res;
             Util.print_words_ln [ "-"; "transform RemoveDeadCode" ];
-            let res = CWCPS_RemoveDeadCode.transform res in
+            let res = CWCPS_RemoveDeadCodeOptimization.transform res in
             CWCPS_driver.pretty_expr res;
-            let res = CWCPS_BetaContraction.transform res in
+            let res = CWCPS_BetaContractionOptimization.transform res in
             CWCPS_driver.pretty_expr res;
             Util.print_words_ln [ "-"; "transform RemoveDeadCode" ];
-            let res = CWCPS_RemoveDeadCode.transform res in
+            let res = CWCPS_RemoveDeadCodeOptimization.transform res in
             CWCPS_driver.pretty_expr res;
-            let res = CWCPS_BetaContraction.transform res in
+            let res = CWCPS_BetaContractionOptimization.transform res in
             CWCPS_driver.pretty_expr res;
             Util.print_words_ln [ "-"; "transform RemoveDeadCode" ];
-            let res = CWCPS_RemoveDeadCode.transform res in
+            let res = CWCPS_RemoveDeadCodeOptimization.transform res in
             CWCPS_driver.pretty_expr res;
-            let res = CWCPS_BetaContraction.transform res in
+            let res = CWCPS_BetaContractionOptimization.transform res in
             CWCPS_driver.pretty_expr res;
             Util.print_words_ln [ "-"; "transform RemoveDeadCode" ];
-            let res = CWCPS_RemoveDeadCode.transform res in
+            let res = CWCPS_RemoveDeadCodeOptimization.transform res in
             CWCPS_driver.pretty_expr res;
             Util.print_words_ln [ "-"; "transform ConstantFolding" ];
-            let res = CWCPS_ConstantFolding.transform res in
+            let res = CWCPS_ConstantFoldingOptimization.transform res in
             CWCPS_driver.pretty_expr res;
             Util.print_words_ln [ "-"; "transform RemoveDeadCode" ];
-            let res = CWCPS_RemoveDeadCode.transform res in
+            let res = CWCPS_RemoveDeadCodeOptimization.transform res in
             CWCPS_driver.pretty_expr res;
             Util.print_words_ln [ "-"; "transform EtaReduction" ];
-            let res = CWCPS_EtaReduction.transform res in
+            let res = CWCPS_EtaConversionTransformation.transform res in
             CWCPS_driver.pretty_expr res;
             Util.print_words_ln [ "-"; "transform RemoveDeadCode" ];
-            let res = CWCPS_RemoveDeadCode.transform res in
+            let res = CWCPS_RemoveDeadCodeOptimization.transform res in
             CWCPS_driver.pretty_expr res;
             ()
         with