Rewrite inlining pass

CHANGES.md

@@ -37,6 +37,7 @@
 * Compiler: speed-up compilation by improving the scheduling of optimization passes (#1962, #2001)
 * Compiler: deadcode elimination of cyclic values (#1978)
 * Compiler: directly write Wasm binary modules (#2000, #2003)
+* Compiler: rewrote inlining pass (#1935)
 
 ## Bug fixes
 * Compiler: fix stack overflow issues with double translation (#1869)

compiler/lib/config.ml

@@ -146,7 +146,7 @@ module Param = struct
     p ~name:"switch_size" ~desc:"set the maximum number of case in a switch" (int 60)
 
   let inlining_limit =
-    p ~name:"inlining-limit" ~desc:"set the size limit for inlining" (int 200)
+    p ~name:"inlining-limit" ~desc:"set the size limit for inlining" (int 150)
 
   let tailcall_max_depth =
     p

compiler/lib/driver.ml

@@ -49,12 +49,12 @@ let deadcode p =
   let p = Code.compact p in
   p
 
-let inline p =
+let inline profile p =
   if Config.Flag.inline () && Config.Flag.deadcode ()
   then (
     let p, live_vars = deadcode' p in
     if debug () then Format.eprintf "Inlining...@.";
-    Inline.f p live_vars)
+    Inline.f ~profile p live_vars)
   else p
 
 let specialize_1 (p, info) =
@@ -153,20 +153,26 @@ let rec loop max name round i (p : 'a) : 'a =
     p')
   else loop max name round (i + 1) p'
 
-let round : 'a -> 'a =
-  print +> tailcall +> (flow +> specialize +> eval +> fst) +> inline +> phi +> deadcode
+let round profile : 'a -> 'a =
+  print
+  +> tailcall
+  +> (flow +> specialize +> eval +> fst)
+  +> inline profile
+  +> phi
+  +> deadcode
 
 (* o1 *)
 
-let o1 = loop 2 "round" round 1 +> (flow +> specialize +> eval +> fst) +> print
+let o1 =
+  loop 2 "round" (round Profile.O1) 1 +> (flow +> specialize +> eval +> fst) +> print
 
 (* o2 *)
 
-let o2 = loop 10 "round" round 1 +> print
+let o2 = loop 10 "round" (round Profile.O2) 1 +> print
 
 (* o3 *)
 
-let o3 = loop 30 "round" round 1 +> print
+let o3 = loop 30 "round" (round Profile.O3) 1 +> print
 
 let generate
     ~exported_runtime