@grain/binaryen.ml 0.17.1 → 0.19.0

binaryen-archive/src/binaryen_stubs_features.js

@@ -9,103 +9,103 @@ function caml_binaryen_module_set_features(wasm_mod, features) {
 }
 
 //Provides: caml_binaryen_feature_mvp
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_feature_mvp() {
-  return binaryen.Features.MVP;
+  return Binaryen.Features.MVP;
 }
 
 //Provides: caml_binaryen_feature_atomics
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_feature_atomics() {
-  return binaryen.Features.Atomics;
+  return Binaryen.Features.Atomics;
 }
 
 //Provides: caml_binaryen_feature_bulk_memory
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_feature_bulk_memory() {
-  return binaryen.Features.BulkMemory;
+  return Binaryen.Features.BulkMemory;
 }
 
 //Provides: caml_binaryen_feature_mutable_globals
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_feature_mutable_globals() {
-  return binaryen.Features.MutableGlobals;
+  return Binaryen.Features.MutableGlobals;
 }
 
 //Provides: caml_binaryen_feature_nontrapping_fp_to_int
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_feature_nontrapping_fp_to_int() {
-  return binaryen.Features.NontrappingFPToInt;
+  return Binaryen.Features.NontrappingFPToInt;
 }
 
 //Provides: caml_binaryen_feature_sign_ext
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_feature_sign_ext() {
-  return binaryen.Features.SignExt;
+  return Binaryen.Features.SignExt;
 }
 
 //Provides: caml_binaryen_feature_simd128
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_feature_simd128() {
-  return binaryen.Features.SIMD128;
+  return Binaryen.Features.SIMD128;
 }
 
 //Provides: caml_binaryen_feature_exception_handling
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_feature_exception_handling() {
-  return binaryen.Features.ExceptionHandling;
+  return Binaryen.Features.ExceptionHandling;
 }
 
 //Provides: caml_binaryen_feature_tail_call
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_feature_tail_call() {
-  return binaryen.Features.TailCall;
+  return Binaryen.Features.TailCall;
 }
 
 //Provides: caml_binaryen_feature_reference_types
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_feature_reference_types() {
-  return binaryen.Features.ReferenceTypes;
+  return Binaryen.Features.ReferenceTypes;
 }
 
 //Provides: caml_binaryen_feature_multivalue
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_feature_multivalue() {
-  return binaryen.Features.Multivalue;
+  return Binaryen.Features.Multivalue;
 }
 
 //Provides: caml_binaryen_feature_gc
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_feature_gc() {
-  return binaryen.Features.GC;
+  return Binaryen.Features.GC;
 }
 
 //Provides: caml_binaryen_feature_memory64
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_feature_memory64() {
-  return binaryen.Features.Memory64;
+  return Binaryen.Features.Memory64;
 }
 
 //Provides: caml_binaryen_feature_typed_function_references
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_feature_typed_function_references() {
-  return binaryen.Features.TypedFunctionReferences;
+  return Binaryen.Features.TypedFunctionReferences;
 }
 
 //Provides: caml_binaryen_feature_relaxed_simd
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_feature_relaxed_simd() {
-  return binaryen.Features.RelaxedSIMD;
+  return Binaryen.Features.RelaxedSIMD;
 }
 
 //Provides: caml_binaryen_feature_extended_const
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_feature_extended_const() {
-  return binaryen.Features.ExtendedConst;
+  return Binaryen.Features.ExtendedConst;
 }
 
 //Provides: caml_binaryen_feature_all
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_feature_all() {
-  return binaryen.Features.All;
+  return Binaryen.Features.All;
 }

binaryen-archive/src/binaryen_stubs_functions.js

@@ -1,6 +1,13 @@
 //Provides: caml_binaryen_add_function
 //Requires: caml_jsstring_of_string, caml_js_from_array
-function caml_binaryen_add_function(wasm_mod, name, params, results, locals, body) {
+function caml_binaryen_add_function(
+  wasm_mod,
+  name,
+  params,
+  results,
+  locals,
+  body
+) {
   return wasm_mod.addFunction(
     caml_jsstring_of_string(name),
     params,
@@ -12,7 +19,14 @@ function caml_binaryen_add_function(wasm_mod, name, params, results, locals, bod
 //Provides: caml_binaryen_add_function__bytecode
 //Requires: caml_binaryen_add_function
 function caml_binaryen_add_function__bytecode() {
-  return caml_binaryen_add_function(arguments[0], arguments[1], arguments[2], arguments[3], arguments[4], arguments[5]);
+  return caml_binaryen_add_function(
+    arguments[0],
+    arguments[1],
+    arguments[2],
+    arguments[3],
+    arguments[4],
+    arguments[5]
+  );
 }
 
 //Provides: caml_binaryen_get_function
@@ -43,50 +57,62 @@ function caml_binaryen_set_start(wasm_mod, func) {
 }
 
 //Provides: caml_binaryen_function_set_debug_location
-//Requires: binaryen
-function caml_binaryen_function_set_debug_location(func, exp, file, line, column) {
-  return binaryen._BinaryenFunctionSetDebugLocation(func, exp, file, line, column);
+//Requires: Binaryen
+function caml_binaryen_function_set_debug_location(
+  func,
+  exp,
+  file,
+  line,
+  column
+) {
+  return Binaryen._BinaryenFunctionSetDebugLocation(
+    func,
+    exp,
+    file,
+    line,
+    column
+  );
 }
 
 //Provides: caml_binaryen_function_get_name
-//Requires: binaryen
+//Requires: Binaryen
 //Requires: caml_string_of_jsstring
 function caml_binaryen_function_get_name(func) {
-  return caml_string_of_jsstring(binaryen.Function.getName(func));
+  return caml_string_of_jsstring(Binaryen.Function.getName(func));
 }
 
 //Provides: caml_binaryen_function_get_params
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_function_get_params(func) {
-  return binaryen.Function.getParams(func);
+  return Binaryen.Function.getParams(func);
 }
 
 //Provides: caml_binaryen_function_get_results
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_function_get_results(func) {
-  return binaryen.Function.getResults(func);
+  return Binaryen.Function.getResults(func);
 }
 
 //Provides: caml_binaryen_function_get_num_vars
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_function_get_num_vars(func) {
-  return binaryen.Function.getNumVars(func);
+  return Binaryen.Function.getNumVars(func);
 }
 
 //Provides: caml_binaryen_function_get_var
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_function_get_var(func, index) {
-  return binaryen.Function.getVar(func, index);
+  return Binaryen.Function.getVar(func, index);
 }
 
 //Provides: caml_binaryen_function_get_body
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_function_get_body(func) {
-  return binaryen.Function.getBody(func);
+  return Binaryen.Function.getBody(func);
 }
 
 //Provides: caml_binaryen_function_set_body
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_function_set_body(func, body) {
-  return binaryen.Function.setBody(func, body);
+  return Binaryen.Function.setBody(func, body);
 }

binaryen-archive/src/binaryen_stubs_globals.js

@@ -32,31 +32,31 @@ function caml_binaryen_get_global_by_index(wasm_mod, index) {
 }
 
 //Provides: caml_binaryen_global_get_name
-//Requires: binaryen
+//Requires: Binaryen
 //Requires: caml_string_of_jsstring
 function caml_binaryen_global_get_name(global) {
-  var global_info = binaryen.getGlobalInfo(global);
+  var global_info = Binaryen.getGlobalInfo(global);
   return caml_string_of_jsstring(global_info.name);
 }
 
 //Provides: caml_binaryen_global_get_type
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_global_get_type(global) {
-  var global_info = binaryen.getGlobalInfo(global);
+  var global_info = Binaryen.getGlobalInfo(global);
   return global_info.type;
 }
 
 //Provides: caml_binaryen_global_is_mutable
-//Requires: binaryen
+//Requires: Binaryen
 //Requires: caml_js_to_bool
 function caml_binaryen_global_is_mutable(global) {
-  var global_info = binaryen.getGlobalInfo(global);
+  var global_info = Binaryen.getGlobalInfo(global);
   return caml_js_to_bool(global_info.mutable);
 }
 
 //Provides: caml_binaryen_global_get_init_expr
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_global_get_init_expr(global) {
-  var global_info = binaryen.getGlobalInfo(global);
+  var global_info = Binaryen.getGlobalInfo(global);
   return global_info.init;
 }

binaryen-archive/src/binaryen_stubs_imports.c

@@ -74,6 +74,13 @@ caml_binaryen_function_import_get_module(value _fun) {
   CAMLreturn(caml_copy_string(BinaryenFunctionImportGetModule(fun)));
 }
 
+CAMLprim value
+caml_binaryen_memory_import_get_module(value _module) {
+  CAMLparam1(_module);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  CAMLreturn(caml_copy_string(BinaryenMemoryImportGetModule(module)));
+}
+
 CAMLprim value
 caml_binaryen_global_import_get_module(value _global) {
   CAMLparam1(_global);
@@ -88,6 +95,13 @@ caml_binaryen_function_import_get_base(value _fun) {
   CAMLreturn(caml_copy_string(BinaryenFunctionImportGetBase(fun)));
 }
 
+CAMLprim value
+caml_binaryen_memory_import_get_base(value _module) {
+  CAMLparam1(_module);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  CAMLreturn(caml_copy_string(BinaryenMemoryImportGetBase(module)));
+}
+
 CAMLprim value
 caml_binaryen_global_import_get_base(value _global) {
   CAMLparam1(_global);

binaryen-archive/src/binaryen_stubs_imports.js

@@ -1,6 +1,13 @@
 //Provides: caml_binaryen_add_function_import
 //Requires: caml_jsstring_of_string
-function caml_binaryen_add_function_import(wasm_mod, internalName, externalModuleName, externalBaseName, paramsty, resultsty) {
+function caml_binaryen_add_function_import(
+  wasm_mod,
+  internalName,
+  externalModuleName,
+  externalBaseName,
+  paramsty,
+  resultsty
+) {
   return wasm_mod.addFunctionImport(
     caml_jsstring_of_string(internalName),
     caml_jsstring_of_string(externalModuleName),
@@ -12,12 +19,24 @@ function caml_binaryen_add_function_import(wasm_mod, internalName, externalModul
 //Provides: caml_binaryen_add_function_import__bytecode
 //Requires: caml_binaryen_add_function_import
 function caml_binaryen_add_function_import__bytecode() {
-  return caml_binaryen_add_function_import(arguments[0], arguments[1], arguments[2], arguments[3], arguments[4], arguments[5]);
+  return caml_binaryen_add_function_import(
+    arguments[0],
+    arguments[1],
+    arguments[2],
+    arguments[3],
+    arguments[4],
+    arguments[5]
+  );
 }
 
 //Provides: caml_binaryen_add_table_import
 //Requires: caml_jsstring_of_string
-function caml_binaryen_add_table_import(wasm_mod, internalName, externalModuleName, externalBaseName) {
+function caml_binaryen_add_table_import(
+  wasm_mod,
+  internalName,
+  externalModuleName,
+  externalBaseName
+) {
   return wasm_mod.addTableImport(
     caml_jsstring_of_string(internalName),
     caml_jsstring_of_string(externalModuleName),
@@ -27,7 +46,13 @@ function caml_binaryen_add_table_import(wasm_mod, internalName, externalModuleNa
 
 //Provides: caml_binaryen_add_memory_import
 //Requires: caml_jsstring_of_string
-function caml_binaryen_add_memory_import(wasm_mod, internalName, externalModuleName, externalBaseName, shared) {
+function caml_binaryen_add_memory_import(
+  wasm_mod,
+  internalName,
+  externalModuleName,
+  externalBaseName,
+  shared
+) {
   return wasm_mod.addMemoryImport(
     caml_jsstring_of_string(internalName),
     caml_jsstring_of_string(externalModuleName),
@@ -38,7 +63,14 @@ function caml_binaryen_add_memory_import(wasm_mod, internalName, externalModuleN
 
 //Provides: caml_binaryen_add_global_import
 //Requires: caml_jsstring_of_string
-function caml_binaryen_add_global_import(wasm_mod, internalName, externalModuleName, externalBaseName, typ, is_mut) {
+function caml_binaryen_add_global_import(
+  wasm_mod,
+  internalName,
+  externalModuleName,
+  externalBaseName,
+  typ,
+  is_mut
+) {
   return wasm_mod.addGlobalImport(
     caml_jsstring_of_string(internalName),
     caml_jsstring_of_string(externalModuleName),
@@ -50,37 +82,58 @@ function caml_binaryen_add_global_import(wasm_mod, internalName, externalModuleN
 //Provides: caml_binaryen_add_global_import__bytecode
 //Requires: caml_binaryen_add_global_import
 function caml_binaryen_add_global_import__bytecode() {
-  return caml_binaryen_add_global_import(arguments[0], arguments[1], arguments[2], arguments[3], arguments[4], arguments[5]);
+  return caml_binaryen_add_global_import(
+    arguments[0],
+    arguments[1],
+    arguments[2],
+    arguments[3],
+    arguments[4],
+    arguments[5]
+  );
 }
 
 //Provides: caml_binaryen_function_import_get_module
-//Requires: binaryen
+//Requires: Binaryen
 //Requires: caml_string_of_jsstring
 function caml_binaryen_function_import_get_module(func) {
-  var func_info = binaryen.getFunctionInfo(func);
+  var func_info = Binaryen.getFunctionInfo(func);
   return caml_string_of_jsstring(func_info.module);
 }
 
+//Provides: caml_binaryen_memory_import_get_module
+//Requires: caml_string_of_jsstring
+function caml_binaryen_memory_import_get_module(mod) {
+  var memory_info = mod.getMemoryInfo();
+  return caml_string_of_jsstring(memory_info.module);
+}
+
 //Provides: caml_binaryen_global_import_get_module
-//Requires: binaryen
+//Requires: Binaryen
 //Requires: caml_string_of_jsstring
 function caml_binaryen_global_import_get_module(global) {
-  var global_info = binaryen.getGlobalInfo(global);
+  var global_info = Binaryen.getGlobalInfo(global);
   return caml_string_of_jsstring(global_info.module);
 }
 
 //Provides: caml_binaryen_function_import_get_base
-//Requires: binaryen
+//Requires: Binaryen
 //Requires: caml_string_of_jsstring
 function caml_binaryen_function_import_get_base(func) {
-  var func_info = binaryen.getFunctionInfo(func);
+  var func_info = Binaryen.getFunctionInfo(func);
   return caml_string_of_jsstring(func_info.base);
 }
 
+//Provides: caml_binaryen_memory_import_get_base
+//Requires: caml_string_of_jsstring
+function caml_binaryen_memory_import_get_base(mod) {
+  var memory_info = mod.getMemoryInfo();
+  return caml_string_of_jsstring(memory_info.base);
+}
+
 //Provides: caml_binaryen_global_import_get_base
-//Requires: binaryen
+//Requires: Binaryen
 //Requires: caml_string_of_jsstring
 function caml_binaryen_global_import_get_base(global) {
-  var global_info = binaryen.getGlobalInfo(global);
+  var global_info = Binaryen.getGlobalInfo(global);
   return caml_string_of_jsstring(global_info.base);
 }

binaryen-archive/src/binaryen_stubs_memory.c

@@ -47,3 +47,43 @@ CAMLprim value
 caml_binaryen_set_memory__bytecode(value * argv) {
   return caml_binaryen_set_memory(argv[0], argv[1], argv[2], argv[3], argv[4], argv[5], argv[6], argv[7], argv[8]);
 }
+
+CAMLprim value
+caml_binaryen_has_memory(value _module) {
+  CAMLparam1(_module);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  CAMLreturn(Val_bool(BinaryenHasMemory(module)));
+}
+
+CAMLprim value
+caml_binaryen_memory_get_initial(value _module) {
+  CAMLparam1(_module);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  CAMLreturn(Val_int(BinaryenMemoryGetInitial(module)));
+}
+
+CAMLprim value
+caml_binaryen_memory_has_max(value _module) {
+  CAMLparam1(_module);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  CAMLreturn(Val_bool(BinaryenMemoryHasMax(module)));
+}
+
+CAMLprim value
+caml_binaryen_memory_get_max(value _module) {
+  CAMLparam1(_module);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  if (BinaryenMemoryHasMax(module)) {
+    CAMLreturn(Val_int(BinaryenMemoryGetMax(module)));
+  } else {
+    // This ensures that our return is equal to Memory.unlimited
+    CAMLreturn(Val_int(-1));
+  }
+}
+
+CAMLprim value
+caml_binaryen_memory_is_shared(value _module) {
+  CAMLparam1(_module);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  CAMLreturn(Val_bool(BinaryenMemoryIsShared(module)));
+}

binaryen-archive/src/binaryen_stubs_memory.js

@@ -2,11 +2,13 @@
 //Requires: caml_list_to_js_array, caml_convert_bytes_to_array
 //Requires: caml_jsstring_of_string, caml_js_from_bool
 function caml_binaryen_set_memory(wasm_mod, initial, maximum, exportName, segments, segmentPassives, segmentOffsets, segmentSizes, shared) {
+  var passives = caml_list_to_js_array(segmentPassives);
+  var offsets = caml_list_to_js_array(segmentOffsets);
   var segs = caml_list_to_js_array(segments).map(function (segment, idx) {
     return {
       data: caml_convert_bytes_to_array(segment),
-      passive: segmentPassives[idx + 1], // OCaml Lists are offset by 1
-      offset: segmentOffsets[idx + 1] // OCaml Lists are offset by 1
+      passive: caml_js_from_bool(passives[idx]),
+      offset: offsets[idx]
     }
   });
 
@@ -23,3 +25,44 @@ function caml_binaryen_set_memory(wasm_mod, initial, maximum, exportName, segmen
 function caml_binaryen_set_memory__bytecode() {
   return caml_binaryen_set_memory(arguments[0], arguments[1], arguments[2], arguments[3], arguments[4], arguments[5], arguments[6], arguments[7], arguments[8]);
 }
+
+//Provides: caml_binaryen_has_memory
+//Requires: caml_js_to_bool
+function caml_binaryen_has_memory(mod) {
+  return caml_js_to_bool(mod.hasMemory());
+}
+
+//Provides: caml_binaryen_memory_get_initial
+function caml_binaryen_memory_get_initial(mod) {
+  var memory_info = mod.getMemoryInfo();
+  return memory_info.initial;
+}
+
+//Provides: caml_binaryen_memory_has_max
+//Requires: caml_js_to_bool
+function caml_binaryen_memory_has_max(mod) {
+  var memory_info = mod.getMemoryInfo();
+  if (memory_info.max != null) {
+    return caml_js_to_bool(true);
+  } else {
+    return caml_js_to_bool(false);
+  }
+}
+
+//Provides: caml_binaryen_memory_get_max
+function caml_binaryen_memory_get_max(mod) {
+  var memory_info = mod.getMemoryInfo();
+  if (memory_info.max != null) {
+    return memory_info.max;
+  } else {
+    // This ensures that our return is equal to Memory.unlimited
+    return -1;
+  }
+}
+
+//Provides: caml_binaryen_memory_is_shared
+//Requires: caml_js_to_bool
+function caml_binaryen_memory_is_shared(mod) {
+  var memory_info = mod.getMemoryInfo();
+  return caml_js_to_bool(memory_info.shared);
+}

binaryen-archive/src/binaryen_stubs_modules.c

@@ -52,6 +52,13 @@ caml_binaryen_module_print_asmjs(value module) {
   CAMLreturn(Val_unit);
 }
 
+CAMLprim value
+caml_binaryen_module_print_stack_ir(value module) {
+  CAMLparam1(module);
+  BinaryenModulePrintStackIR(BinaryenModuleRef_val(module));
+  CAMLreturn(Val_unit);
+}
+
 CAMLprim value
 caml_binaryen_module_validate(value module) {
   CAMLparam1(module);
@@ -125,6 +132,19 @@ caml_binaryen_module_write_text(value _module) {
   CAMLreturn(text);
 }
 
+// There is something weird with this function that causes a bunch of newlines to
+// be printed on stdout when calling it. Not sure if that's a bug in Binaryen.
+CAMLprim value
+caml_binaryen_module_write_stack_ir(value _module) {
+  CAMLparam1(_module);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  char* result = BinaryenModuleAllocateAndWriteStackIR(module);
+  CAMLlocal1(text);
+  text = caml_copy_string(result);
+  free(result);
+  CAMLreturn(text);
+}
+
 CAMLprim value
 caml_binaryen_module_read(value _bytes) {
   CAMLparam1(_bytes);

binaryen-archive/src/binaryen_stubs_modules.js

@@ -1,7 +1,7 @@
 //Provides: caml_binaryen_module_create
-//Requires: binaryen
+//Requires: Binaryen
 function caml_binaryen_module_create() {
-  return new binaryen.Module();
+  return new Binaryen.Module();
 }
 
 //Provides: caml_binaryen_module_dispose
@@ -10,10 +10,10 @@ function caml_binaryen_module_dispose(wasm_mod) {
 }
 
 //Provides: caml_binaryen_module_parse
-//Requires: binaryen
+//Requires: Binaryen
 //Requires: caml_jsstring_of_string
 function caml_binaryen_module_parse(text) {
-  return binaryen.parseText(caml_jsstring_of_string(text));
+  return Binaryen.parseText(caml_jsstring_of_string(text));
 }
 
 //Provides: caml_binaryen_module_print
@@ -36,6 +36,16 @@ function caml_binaryen_module_print_asmjs(wasm_mod) {
   caml_ml_output(chanid, s, 0, caml_ml_string_length(s));
 }
 
+//Provides: caml_binaryen_module_print_stack_ir
+//Requires: caml_string_of_jsstring
+//Requires: caml_ml_output, caml_ml_string_length
+function caml_binaryen_module_print_stack_ir(wasm_mod) {
+  var stackir = wasm_mod.emitStackIR()
+  var chanid = 1; // stdout
+  var s = caml_string_of_jsstring(stackir);
+  caml_ml_output(chanid, s, 0, caml_ml_string_length(s));
+}
+
 //Provides: caml_binaryen_module_validate
 function caml_binaryen_module_validate(wasm_mod) {
   return wasm_mod.validate();
@@ -66,7 +76,8 @@ function caml_binaryen_module_write(wasm_mod, sourceMapUrl) {
   if (sourceMapUrl) {
     var url = caml_jsstring_of_string(sourceMapUrl[1]);
     var obj = wasm_mod.emitBinary(url);
-    var sourceMap = obj.sourceMap != null ? caml_string_of_jsstring(obj.sourceMap) : null;
+    var sourceMap =
+      obj.sourceMap != null ? caml_string_of_jsstring(obj.sourceMap) : null;
     return [0, caml_bytes_of_array(obj.binary), to_option(sourceMap)];
   } else {
     var binary = wasm_mod.emitBinary();
@@ -81,12 +92,19 @@ function caml_binaryen_module_write_text(wasm_mod) {
   return caml_string_of_jsstring(text);
 }
 
+//Provides: caml_binaryen_module_write_stack_ir
+//Requires: caml_string_of_jsstring
+function caml_binaryen_module_write_stack_ir(wasm_mod) {
+  var text = wasm_mod.emitStackIR();
+  return caml_string_of_jsstring(text);
+}
+
 //Provides: caml_binaryen_module_read
-//Requires: binaryen
+//Requires: Binaryen
 //Requires: caml_array_of_bytes
 function caml_binaryen_module_read(bytes) {
-  var data = caml_array_of_bytes(bytes)
-  return binaryen.readBinary(data);
+  var data = caml_array_of_bytes(bytes);
+  return Binaryen.readBinary(data);
 }
 
 //Provides: caml_binaryen_module_interpret