Unboxing of function and block parameters

Author: vouillon

compiler/lib/driver.ml

@@ -165,22 +165,27 @@ 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
+  +> flow
+  +> fst
 
 (* o2 *)