* added const-folding+dealiasing optimization

* fixed tiny bug in const-folding that made it run run in O(N^2) time instead of O(N)
vpisarev · Mar 21, 2021 · f3b0f5d · f3b0f5d
1 parent cdb9483
commit f3b0f5d
Show file tree

Hide file tree

Showing 3 changed files with 484 additions and 4 deletions.
diff --git a/compiler/Compiler.fx b/compiler/Compiler.fx
@@ -10,7 +10,7 @@ import Filename, Sys, Map
 import Ast, AstPP, Lexer, Parser, Options
 import AstTypeChecker
 import KForm, KPP, KNormalize, KAnnotate, KMangle
-import KRemoveUnused, KLiftSimple, KFlatten, KTailRec, KLift
+import KRemoveUnused, KLiftSimple, KFlatten, KTailRec, KConstFold, KLift
 
 exception CumulativeParseError
 
@@ -163,8 +163,8 @@ fun k_optimize_all(kmods: kmodule_t list): (kmodule_t list, bool) {
         //temp_kmods = KFuseLoops.fuse_loops_all(temp_kmods)
         //prf("fast idx")
         //temp_kmods = KFastIdx.optimize_idx_checks_all(temp_kmods)
-        //prf("const folding")
-        //temp_kmods = KConstFold.cfold_dealias(temp_kmods)
+        prf("const folding")
+        temp_kmods = KConstFold.cfold_dealias(temp_kmods)
         prf("dead code elim")
         temp_kmods = KRemoveUnused.remove_unused(temp_kmods, false)
     }