Closure environment in cps_conversion (ocaml#468)

Gbury · Jun 22, 2021 · b4e0379 · b4e0379
1 parent d17168c
commit b4e0379
Show file tree

Hide file tree

Showing 4 changed files with 316 additions and 253 deletions.
diff --git a/.depend b/.depend
@@ -5031,6 +5031,8 @@ middle_end/flambda/from_lambda/cps_conversion.cmo : \
     middle_end/flambda/basic/continuation.cmi \
     middle_end/flambda/compilenv_deps/compilation_unit.cmi \
     parsing/asttypes.cmi \
+    middle_end/flambda/flambda_backend_intf.cmi \
+    middle_end/flambda/from_lambda/closure_conversion_aux.cmi \
     middle_end/flambda/from_lambda/cps_conversion.cmi
 middle_end/flambda/from_lambda/cps_conversion.cmx : \
     lambda/tag.cmx \
@@ -5048,8 +5050,11 @@ middle_end/flambda/from_lambda/cps_conversion.cmx : \
     middle_end/flambda/basic/continuation.cmx \
     middle_end/flambda/compilenv_deps/compilation_unit.cmx \
     parsing/asttypes.cmi \
+    middle_end/flambda/flambda_backend_intf.cmi \
+    middle_end/flambda/from_lambda/closure_conversion_aux.cmx \
     middle_end/flambda/from_lambda/cps_conversion.cmi
 middle_end/flambda/from_lambda/cps_conversion.cmi : \
+    middle_end/flambda/flambda_backend_intf.cmi \
     lambda/lambda.cmi \
     middle_end/flambda/from_lambda/ilambda.cmi
 middle_end/flambda/from_lambda/ilambda.cmo : \

diff --git a/middle_end/flambda/flambda_middle_end.ml b/middle_end/flambda/flambda_middle_end.ml
@@ -94,7 +94,7 @@ let middle_end0 ppf ~prefixname ~backend ~filename ~module_ident
   Profile.record_call "flambda.0" (fun () ->
     let ilambda =
       Profile.record_call "cps_conversion" (fun () ->
-        Cps_conversion.lambda_to_ilambda module_initializer)
+        Cps_conversion.lambda_to_ilambda ~backend module_initializer)
     in
     print_ilambda ppf ilambda;
     let flambda =