Unboxing of function and block parameters

Author: vouillon

compiler/lib/driver.ml

@@ -165,19 +165,22 @@ let o1 : 'a -> 'a =
   +> flow
   +> specialize
   +> eval
+  +> Unboxing.f
   +> inline (* inlining may reveal new tailcall opt *)
   +> deadcode
   +> tailcall
   +> phi
   +> flow
   +> specialize
   +> eval
+  +> Unboxing.f
   +> inline
   +> deadcode
   +> print
   +> flow
   +> specialize
   +> eval
+  +> Unboxing.f
   +> inline
   +> deadcode
   +> phi