@grain/binaryen.ml 0.13.0 → 0.15.0

binaryen-archive/src/binaryen_stubs_features.js

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

binaryen-archive/src/binaryen_stubs_functions.js

@@ -0,0 +1,92 @@
+//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) {
+  return wasm_mod.addFunction(
+    caml_jsstring_of_string(name),
+    params,
+    results,
+    caml_js_from_array(locals),
+    body
+  );
+}
+//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]);
+}
+
+//Provides: caml_binaryen_get_function
+//Requires: caml_jsstring_of_string
+function caml_binaryen_get_function(wasm_mod, name) {
+  return wasm_mod.getFunction(caml_jsstring_of_string(name));
+}
+
+//Provides: caml_binaryen_remove_function
+//Requires: caml_jsstring_of_string
+function caml_binaryen_remove_function(wasm_mod, name) {
+  return wasm_mod.removeFunction(caml_jsstring_of_string(name));
+}
+
+//Provides: caml_binaryen_get_num_functions
+function caml_binaryen_get_num_functions(wasm_mod) {
+  return wasm_mod.getNumFunctions();
+}
+
+//Provides: caml_binaryen_get_function_by_index
+function caml_binaryen_get_function_by_index(wasm_mod, index) {
+  return wasm_mod.getFunctionByIndex(index);
+}
+
+//Provides: caml_binaryen_set_start
+function caml_binaryen_set_start(wasm_mod, func) {
+  return wasm_mod.setStart(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);
+}
+
+//Provides: caml_binaryen_function_get_name
+//Requires: binaryen
+//Requires: caml_string_of_jsstring
+function caml_binaryen_function_get_name(func) {
+  return caml_string_of_jsstring(binaryen.Function.getName(func));
+}
+
+//Provides: caml_binaryen_function_get_params
+//Requires: binaryen
+function caml_binaryen_function_get_params(func) {
+  return binaryen.Function.getParams(func);
+}
+
+//Provides: caml_binaryen_function_get_results
+//Requires: binaryen
+function caml_binaryen_function_get_results(func) {
+  return binaryen.Function.getResults(func);
+}
+
+//Provides: caml_binaryen_function_get_num_vars
+//Requires: binaryen
+function caml_binaryen_function_get_num_vars(func) {
+  return binaryen.Function.getNumVars(func);
+}
+
+//Provides: caml_binaryen_function_get_var
+//Requires: binaryen
+function caml_binaryen_function_get_var(func, index) {
+  return binaryen.Function.getVar(func, index);
+}
+
+//Provides: caml_binaryen_function_get_body
+//Requires: binaryen
+function caml_binaryen_function_get_body(func) {
+  return binaryen.Function.getBody(func);
+}
+
+//Provides: caml_binaryen_function_set_body
+//Requires: binaryen
+function caml_binaryen_function_set_body(func, body) {
+  return binaryen.Function.setBody(func, body);
+}

binaryen-archive/src/binaryen_stubs_globals.js

@@ -0,0 +1,62 @@
+//Provides: caml_binaryen_add_global
+//Requires: caml_jsstring_of_string
+function caml_binaryen_add_global(wasm_mod, name, typ, is_mut, init) {
+  return wasm_mod.addGlobal(
+    caml_jsstring_of_string(name),
+    typ,
+    is_mut, // bool will come through as an int
+    init
+  );
+}
+
+//Provides: caml_binaryen_get_global
+//Requires: caml_jsstring_of_string
+function caml_binaryen_get_global(wasm_mod, name) {
+  return wasm_mod.getGlobal(caml_jsstring_of_string(name));
+}
+
+//Provides: caml_binaryen_remove_global
+//Requires: caml_jsstring_of_string
+function caml_binaryen_remove_global(wasm_mod, name) {
+  return wasm_mod.removeGlobal(caml_jsstring_of_string(name));
+}
+
+//Provides: caml_binaryen_get_num_globals
+function caml_binaryen_get_num_globals(wasm_mod) {
+  return wasm_mod.getNumGlobals();
+}
+
+//Provides: caml_binaryen_get_global_by_index
+function caml_binaryen_get_global_by_index(wasm_mod, index) {
+  return wasm_mod.getGlobalByIndex(index);
+}
+
+//Provides: caml_binaryen_global_get_name
+//Requires: binaryen
+//Requires: caml_string_of_jsstring
+function caml_binaryen_global_get_name(global) {
+  var global_info = binaryen.getGlobalInfo(global);
+  return caml_string_of_jsstring(global_info.name);
+}
+
+//Provides: caml_binaryen_global_get_type
+//Requires: binaryen
+function caml_binaryen_global_get_type(global) {
+  var global_info = binaryen.getGlobalInfo(global);
+  return global_info.type;
+}
+
+//Provides: caml_binaryen_global_is_mutable
+//Requires: binaryen
+//Requires: caml_js_to_bool
+function caml_binaryen_global_is_mutable(global) {
+  var global_info = binaryen.getGlobalInfo(global);
+  return caml_js_to_bool(global_info.mutable);
+}
+
+//Provides: caml_binaryen_global_get_init_expr
+//Requires: binaryen
+function caml_binaryen_global_get_init_expr(global) {
+  var global_info = binaryen.getGlobalInfo(global);
+  return global_info.init;
+}

binaryen-archive/src/binaryen_stubs_imports.js

@@ -0,0 +1,86 @@
+//Provides: caml_binaryen_add_function_import
+//Requires: caml_jsstring_of_string
+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),
+    caml_jsstring_of_string(externalBaseName),
+    paramsty,
+    resultsty
+  );
+}
+//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]);
+}
+
+//Provides: caml_binaryen_add_table_import
+//Requires: caml_jsstring_of_string
+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),
+    caml_jsstring_of_string(externalBaseName)
+  );
+}
+
+//Provides: caml_binaryen_add_memory_import
+//Requires: caml_jsstring_of_string
+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),
+    caml_jsstring_of_string(externalBaseName),
+    shared // bool will come through as an int
+  );
+}
+
+//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) {
+  return wasm_mod.addGlobalImport(
+    caml_jsstring_of_string(internalName),
+    caml_jsstring_of_string(externalModuleName),
+    caml_jsstring_of_string(externalBaseName),
+    typ,
+    is_mut // bool will come through as an int
+  );
+}
+//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]);
+}
+
+//Provides: caml_binaryen_function_import_get_module
+//Requires: binaryen
+//Requires: caml_string_of_jsstring
+function caml_binaryen_function_import_get_module(func) {
+  var func_info = binaryen.getFunctionInfo(func);
+  return caml_string_of_jsstring(func_info.module);
+}
+
+//Provides: caml_binaryen_global_import_get_module
+//Requires: binaryen
+//Requires: caml_string_of_jsstring
+function caml_binaryen_global_import_get_module(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: caml_string_of_jsstring
+function caml_binaryen_function_import_get_base(func) {
+  var func_info = binaryen.getFunctionInfo(func);
+  return caml_string_of_jsstring(func_info.base);
+}
+
+//Provides: caml_binaryen_global_import_get_base
+//Requires: binaryen
+//Requires: caml_string_of_jsstring
+function caml_binaryen_global_import_get_base(global) {
+  var global_info = binaryen.getGlobalInfo(global);
+  return caml_string_of_jsstring(global_info.base);
+}

binaryen-archive/src/binaryen_stubs_literals.js

@@ -0,0 +1,29 @@
+//Provides: caml_binaryen_literal_int32
+function caml_binaryen_literal_int32(i32) {
+  // Hack around Binaryen.js
+  return { type: 'int32', value: i32 };
+}
+
+//Provides: caml_binaryen_literal_int64
+function caml_binaryen_literal_int64(i64) {
+  // Hack around Binaryen.js
+  return { type: 'int64', value: i64 };
+}
+
+//Provides: caml_binaryen_literal_float64
+function caml_binaryen_literal_float64(f64) {
+  // Hack around Binaryen.js
+  return { type: 'float64', value: f64 };
+}
+
+//Provides: caml_binaryen_literal_float32_bits
+function caml_binaryen_literal_float32_bits(i32) {
+  // Hack around Binaryen.js
+  return { type: 'float32_bits', value: i32 };
+}
+
+//Provides: caml_binaryen_literal_float64_bits
+function caml_binaryen_literal_float64_bits(i64) {
+  // Hack around Binaryen.js
+  return { type: 'float64_bits', value: i64 };
+}

binaryen-archive/src/binaryen_stubs_memory.js

@@ -0,0 +1,25 @@
+//Provides: caml_binaryen_set_memory
+//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 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
+    }
+  });
+
+  return wasm_mod.setMemory(
+    initial,
+    maximum,
+    caml_jsstring_of_string(exportName),
+    segs,
+    caml_js_from_bool(shared)
+  );
+}
+//Provides: caml_binaryen_set_memory__bytecode
+//Requires: caml_binaryen_set_memory
+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]);
+}

binaryen-archive/src/binaryen_stubs_modules.js

@@ -0,0 +1,121 @@
+//Provides: caml_binaryen_module_create
+//Requires: binaryen
+function caml_binaryen_module_create() {
+  return new binaryen.Module();
+}
+
+//Provides: caml_binaryen_module_dispose
+function caml_binaryen_module_dispose(wasm_mod) {
+  return wasm_mod.dispose();
+}
+
+//Provides: caml_binaryen_module_parse
+//Requires: binaryen
+//Requires: caml_jsstring_of_string
+function caml_binaryen_module_parse(text) {
+  return binaryen.parseText(caml_jsstring_of_string(text));
+}
+
+//Provides: caml_binaryen_module_print
+//Requires: caml_string_of_jsstring
+//Requires: caml_ml_output, caml_ml_string_length
+function caml_binaryen_module_print(wasm_mod) {
+  var text = wasm_mod.emitText();
+  var chanid = 1; // stdout
+  var s = caml_string_of_jsstring(text);
+  caml_ml_output(chanid, s, 0, caml_ml_string_length(s));
+}
+
+//Provides: caml_binaryen_module_print_asmjs
+//Requires: caml_string_of_jsstring
+//Requires: caml_ml_output, caml_ml_string_length
+function caml_binaryen_module_print_asmjs(wasm_mod) {
+  var asm = wasm_mod.emitAsmjs();
+  var chanid = 1; // stdout
+  var s = caml_string_of_jsstring(asm);
+  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();
+}
+
+//Provides: caml_binaryen_module_optimize
+function caml_binaryen_module_optimize(wasm_mod) {
+  return wasm_mod.optimize();
+}
+
+//Provides: caml_binaryen_module_run_passes
+//Requires: caml_jsstring_of_string, caml_list_to_js_array
+function caml_binaryen_module_run_passes(wasm_mod, passes) {
+  return wasm_mod.runPasses(
+    caml_list_to_js_array(passes).map(caml_jsstring_of_string)
+  );
+}
+
+//Provides: caml_binaryen_module_auto_drop
+function caml_binaryen_module_auto_drop(wasm_mod) {
+  return wasm_mod.autoDrop();
+}
+
+//Provides: caml_binaryen_module_write
+//Requires: to_option
+//Requires: caml_jsstring_of_string, caml_string_of_jsstring, caml_bytes_of_array
+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;
+    return [0, caml_bytes_of_array(obj.binary), to_option(sourceMap)];
+  } else {
+    var binary = wasm_mod.emitBinary();
+    return [0, caml_bytes_of_array(binary), 0];
+  }
+}
+
+//Provides: caml_binaryen_module_write_text
+//Requires: caml_string_of_jsstring
+function caml_binaryen_module_write_text(wasm_mod) {
+  var text = wasm_mod.emitText();
+  return caml_string_of_jsstring(text);
+}
+
+//Provides: caml_binaryen_module_read
+//Requires: binaryen
+//Requires: caml_array_of_bytes
+function caml_binaryen_module_read(bytes) {
+  var data = caml_array_of_bytes(bytes)
+  return binaryen.readBinary(data);
+}
+
+//Provides: caml_binaryen_module_interpret
+function caml_binaryen_module_interpret(wasm_mod) {
+  return wasm_mod.interpret();
+}
+
+//Provides: caml_binaryen_module_add_debug_info_filename
+//Requires: caml_jsstring_of_string
+function caml_binaryen_module_add_debug_info_filename(wasm_mod, filename) {
+  return wasm_mod.addDebugInfoFileName(caml_jsstring_of_string(filename));
+}
+
+//Provides: caml_binaryen_module_get_debug_info_filename
+function caml_binaryen_module_get_debug_info_filename(wasm_mod, index) {
+  return wasm_mod.getDebugInfoFileName(index);
+}
+
+//Provides: caml_binaryen_add_custom_section
+//Requires: caml_jsstring_of_string, caml_array_of_string
+function caml_binaryen_add_custom_section(wasm_mod, name, contents) {
+  return wasm_mod.addCustomSection(
+    caml_jsstring_of_string(name),
+    caml_array_of_string(contents)
+  );
+}
+
+//Provides: caml_binaryen_module_update_maps
+function caml_binaryen_module_update_maps(wasm_mod) {
+  // The JS version doesn't expose `update_maps`
+  return;
+}