@grain/binaryen.ml 0.9.0 → 0.11.1

binaryen-archive/js/function.ml

@@ -23,7 +23,38 @@ let set_debug_location func expr file line column =
 let get_function wasm_mod name =
   meth_call wasm_mod "getFunction" [| inject (string name) |]
 
+let get_function_by_index wasm_mod index =
+  meth_call wasm_mod "getFunctionByIndex" [| inject index |]
+
 let remove_function wasm_mod name =
   meth_call wasm_mod "removeFunction" [| inject (string name) |]
 
 let get_num_functions wasm_mod = meth_call wasm_mod "getNumFunctions" [||]
+
+let get_name func =
+  to_string
+    (meth_call global ##. binaryen ##. Function "getName" [| inject func |])
+
+let get_params func =
+  meth_call global ##. binaryen ##. Function "getParams" [| inject func |]
+
+let get_results func =
+  meth_call global ##. binaryen ##. Function "getResults" [| inject func |]
+
+let get_num_vars func =
+  meth_call global ##. binaryen ##. Function "getNumVars" [| inject func |]
+
+let get_var func index =
+  meth_call
+    global ##. binaryen ##. Function
+    "getVar"
+    [| inject func; inject index |]
+
+let get_body func =
+  meth_call global ##. binaryen ##. Function "getBody" [| inject func |]
+
+let set_body func body =
+  meth_call
+    global ##. binaryen ##. Function
+    "setBody"
+    [| inject func; inject body |]

binaryen-archive/js/global.ml

@@ -17,3 +17,32 @@ let get_global wasm_mod name =
 
 let remove_global wasm_mod name =
   meth_call wasm_mod "removeGlobal" [| inject (string name) |]
+
+let get_num_globals wasm_mod = meth_call wasm_mod "getNumGlobals" [||]
+
+let get_global_by_index wasm_mod index =
+  meth_call wasm_mod "getGlobalByIndex" [| inject index |]
+
+let get_name global_ =
+  let global_info =
+    meth_call global##.binaryen "getGlobalInfo" [| inject global_ |]
+  in
+  to_string (get global_info "name")
+
+let get_type global_ =
+  let global_info =
+    meth_call global##.binaryen "getGlobalInfo" [| inject global_ |]
+  in
+  get global_info "type"
+
+let is_mutable global_ =
+  let global_info =
+    meth_call global##.binaryen "getGlobalInfo" [| inject global_ |]
+  in
+  to_bool (get global_info "mutable")
+
+let get_init_expr global_ =
+  let global_info =
+    meth_call global##.binaryen "getGlobalInfo" [| inject global_ |]
+  in
+  get global_info "init"

binaryen-archive/js/import.ml

@@ -43,3 +43,27 @@ let add_global_import wasm_mod internal_name external_module_name
       inject typ;
       inject (if is_mut then 1 else 0);
     |]
+
+let function_import_get_module func =
+  let func_info =
+    meth_call global##.binaryen "getFunctionInfo" [| inject func |]
+  in
+  to_string (get func_info "module")
+
+let global_import_get_module global_ =
+  let global_info =
+    meth_call global##.binaryen "getGlobalInfo" [| inject global_ |]
+  in
+  to_string (get global_info "module")
+
+let function_import_get_base func =
+  let func_info =
+    meth_call global##.binaryen "getFunctionInfo" [| inject func |]
+  in
+  to_string (get func_info "base")
+
+let global_import_get_base global_ =
+  let global_info =
+    meth_call global##.binaryen "getGlobalInfo" [| inject global_ |]
+  in
+  to_string (get global_info "base")

binaryen-archive/js/literal.ml

@@ -1,9 +1,9 @@
 (* This is a hack around Binaryen's stack allocations *)
 type jsoo =
   | Int32 of int32
-  | Int64 of int64
+  | Int64 of int32 * int32
   | Float32Bits of int32
-  | Float64Bits of int64
+  | Float64Bits of int32 * int32
   | Float32 of float
   | Float64 of float
 
@@ -11,11 +11,15 @@ type t = jsoo
 
 let int32 value = Int32 value
 
-let int64 value = Int64 value
+let int64 value =
+  Int64
+    (Int64.to_int32 value, Int64.to_int32 (Int64.shift_right_logical value 32))
 
 let float32_bits value = Float32Bits value
 
-let float64_bits value = Float64Bits value
+let float64_bits value =
+  Float64Bits
+    (Int64.to_int32 value, Int64.to_int32 (Int64.shift_right_logical value 32))
 
 let float32 value = Float32 value
 

binaryen-archive/js/module.ml

@@ -1,6 +1,36 @@
 open Js_of_ocaml.Js
 open Js_of_ocaml.Js.Unsafe
 
+module Feature = struct
+  type t = int
+
+  let mvp : t = global ##. binaryen ##. Features ##. MVP
+
+  let atomics : t = global ##. binaryen ##. Features ##. Atomics
+
+  let bulk_memory : t = global ##. binaryen ##. Features ##. BulkMemory
+
+  let mutable_globals : t = global ##. binaryen ##. Features ##. MutableGlobals
+
+  let nontrapping_fp_to_int : t =
+    global ##. binaryen ##. Features ##. NontrappingFPToInt
+
+  let sign_ext : t = global ##. binaryen ##. Features ##. SignExt
+
+  let simd128 : t = global ##. binaryen ##. Features ##. SIMD128
+
+  let exception_handling : t =
+    global ##. binaryen ##. Features ##. ExceptionHandling
+
+  let tail_call : t = global ##. binaryen ##. Features ##. TailCall
+
+  let reference_types : t = global ##. binaryen ##. Features ##. ReferenceTypes
+
+  let multivalue : t = global ##. binaryen ##. Features ##. Multivalue
+
+  let all : t = global ##. binaryen ##. Features ##. All
+end
+
 external u8a_to_bytes : 'a -> bytes = "caml_bytes_of_array"
 
 (* TODO: Verify this converts to bytes correctly? *)
@@ -36,56 +66,22 @@ let validate wasm_mod = meth_call wasm_mod "validate" [||]
 
 let optimize wasm_mod = meth_call wasm_mod "optimize" [||]
 
+let get_features wasm_mod =
+  let features_int = meth_call wasm_mod "getFeatures" [||] in
+  let rec split_features = function
+    | 0 -> []
+    | feature when features_int land feature > 0 ->
+        feature :: split_features (feature lsr 1)
+    | feature -> split_features (feature lsr 1)
+  in
+  (* Support 32-bit OCaml where integers are 31 bits *)
+  (* This supports up to 31 Binaryen features *)
+  split_features 0x40000000
+
 let set_features wasm_mod features =
   meth_call wasm_mod "setFeatures"
     [| inject (List.fold_left ( lor ) 0 features) |]
 
-let get_optimize_level () = meth_call global##.binaryen "getOptimizeLevel" [||]
-
-let set_optimize_level level =
-  meth_call global##.binaryen "setOptimizeLevel" [| inject level |]
-
-let get_shrink_level () = meth_call global##.binaryen "getShrinkLevel" [||]
-
-let set_shrink_level level =
-  meth_call global##.binaryen "setShrinkLevel" [| inject level |]
-
-let get_debug_info () = meth_call global##.binaryen "getDebugInfo" [||]
-
-let set_debug_info on =
-  meth_call global##.binaryen "setDebugInfo" [| inject on |]
-
-let get_low_memory_unused () =
-  meth_call global##.binaryen "getLowMemoryUnused" [||]
-
-let set_low_memory_unused on =
-  meth_call global##.binaryen "setLowMemoryUnused" [| inject on |]
-
-let get_pass_argument key =
-  meth_call global##.binaryen "getPassArgument" [| inject (string key) |]
-
-let set_pass_argument key value =
-  meth_call global##.binaryen "setPassArgument"
-    [| inject (string key); inject (string value) |]
-
-let get_always_inline_max_size () =
-  meth_call global##.binaryen "getAlwaysInlineMaxSize" [||]
-
-let set_always_inline_max_size size =
-  meth_call global##.binaryen "setAlwaysInlineMaxSize" [| inject size |]
-
-let get_flexible_inline_max_size () =
-  meth_call global##.binaryen "getFlexibleInlineMaxSize" [||]
-
-let set_flexible_inline_max_size size =
-  meth_call global##.binaryen "setFlexibleInlineMaxSize" [| inject size |]
-
-let get_one_caller_inline_max_size () =
-  meth_call global##.binaryen "getOneCallerInlineMaxSize" [||]
-
-let set_one_caller_inline_max_size size =
-  meth_call global##.binaryen "setOneCallerInlineMaxSize" [| inject size |]
-
 let run_passes wasm_mod passes =
   meth_call wasm_mod "runPasses"
     [| inject (array (Array.of_list (List.map string passes))) |]

binaryen-archive/js/op.ml

@@ -471,9 +471,6 @@ let abs_vec_i8x16 : t = global ##. binaryen ##. Operations ##. AbsVecI8x16
 
 let neg_vec_i8x16 : t = global ##. binaryen ##. Operations ##. NegVecI8x16
 
-let any_true_vec_i8x16 : t =
-  global ##. binaryen ##. Operations ##. AnyTrueVecI8x16
-
 let all_true_vec_i8x16 : t =
   global ##. binaryen ##. Operations ##. AllTrueVecI8x16
 
@@ -502,8 +499,6 @@ let sub_sat_s_vec_i8x16 : t =
 let sub_sat_u_vec_i8x16 : t =
   global ##. binaryen ##. Operations ##. SubSatUVecI8x16
 
-let mul_vec_i8x16 : t = global ##. binaryen ##. Operations ##. MulVecI8x16
-
 let min_s_vec_i8x16 : t = global ##. binaryen ##. Operations ##. MinSVecI8x16
 
 let min_u_vec_i8x16 : t = global ##. binaryen ##. Operations ##. MinUVecI8x16
@@ -518,9 +513,6 @@ let abs_vec_i16x8 : t = global ##. binaryen ##. Operations ##. AbsVecI16x8
 
 let neg_vec_i16x8 : t = global ##. binaryen ##. Operations ##. NegVecI16x8
 
-let any_true_vec_i16x8 : t =
-  global ##. binaryen ##. Operations ##. AnyTrueVecI16x8
-
 let all_true_vec_i16x8 : t =
   global ##. binaryen ##. Operations ##. AllTrueVecI16x8
 
@@ -565,9 +557,6 @@ let abs_vec_i32x4 : t = global ##. binaryen ##. Operations ##. AbsVecI32x4
 
 let neg_vec_i32x4 : t = global ##. binaryen ##. Operations ##. NegVecI32x4
 
-let any_true_vec_i32x4 : t =
-  global ##. binaryen ##. Operations ##. AnyTrueVecI32x4
-
 let all_true_vec_i32x4 : t =
   global ##. binaryen ##. Operations ##. AllTrueVecI32x4
 
@@ -617,10 +606,6 @@ let neg_vec_f32x4 : t = global ##. binaryen ##. Operations ##. NegVecF32x4
 
 let sqrt_vec_f32x4 : t = global ##. binaryen ##. Operations ##. SqrtVecF32x4
 
-let qfma_vec_f32x4 : t = global ##. binaryen ##. Operations ##. QFMAVecF32x4
-
-let qfms_vec_f32x4 : t = global ##. binaryen ##. Operations ##. QFMSVecF32x4
-
 let add_vec_f32x4 : t = global ##. binaryen ##. Operations ##. AddVecF32x4
 
 let sub_vec_f32x4 : t = global ##. binaryen ##. Operations ##. SubVecF32x4
@@ -652,10 +637,6 @@ let neg_vec_f64x2 : t = global ##. binaryen ##. Operations ##. NegVecF64x2
 
 let sqrt_vec_f64x2 : t = global ##. binaryen ##. Operations ##. SqrtVecF64x2
 
-let qfma_vec_f64x2 : t = global ##. binaryen ##. Operations ##. QFMAVecF64x2
-
-let qfms_vec_f64x2 : t = global ##. binaryen ##. Operations ##. QFMSVecF64x2
-
 let add_vec_f64x2 : t = global ##. binaryen ##. Operations ##. AddVecF64x2
 
 let sub_vec_f64x2 : t = global ##. binaryen ##. Operations ##. SubVecF64x2
@@ -687,54 +668,12 @@ let trunc_sat_s_vec_f32x4_to_vec_i32x4 : t =
 let trunc_sat_u_vec_f32x4_to_vec_i32x4 : t =
   global ##. binaryen ##. Operations ##. TruncSatUVecF32x4ToVecI32x4
 
-let trunc_sat_s_vec_f64x2_to_vec_i64x2 : t =
-  global ##. binaryen ##. Operations ##. TruncSatSVecF64x2ToVecI64x2
-
-let trunc_sat_u_vec_f64x2_to_vec_i64x2 : t =
-  global ##. binaryen ##. Operations ##. TruncSatUVecF64x2ToVecI64x2
-
 let convert_s_vec_i32x4_to_vec_f32x4 : t =
   global ##. binaryen ##. Operations ##. ConvertSVecI32x4ToVecF32x4
 
 let convert_u_vec_i32x4_to_vec_f32x4 : t =
   global ##. binaryen ##. Operations ##. ConvertUVecI32x4ToVecF32x4
 
-let convert_s_vec_i64x2_to_vec_f64x2 : t =
-  global ##. binaryen ##. Operations ##. ConvertSVecI64x2ToVecF64x2
-
-let convert_u_vec_i64x2_to_vec_f64x2 : t =
-  global ##. binaryen ##. Operations ##. ConvertUVecI64x2ToVecF64x2
-
-let load_splat_vec8x16 : t =
-  global ##. binaryen ##. Operations ##. LoadSplatVec8x16
-
-let load_splat_vec16x8 : t =
-  global ##. binaryen ##. Operations ##. LoadSplatVec16x8
-
-let load_splat_vec32x4 : t =
-  global ##. binaryen ##. Operations ##. LoadSplatVec32x4
-
-let load_splat_vec64x2 : t =
-  global ##. binaryen ##. Operations ##. LoadSplatVec64x2
-
-let load_ext_s_vec8x8_to_vec_i16x8 : t =
-  global ##. binaryen ##. Operations ##. LoadExtSVec8x8ToVecI16x8
-
-let load_ext_u_vec8x8_to_vec_i16x8 : t =
-  global ##. binaryen ##. Operations ##. LoadExtUVec8x8ToVecI16x8
-
-let load_ext_s_vec16x4_to_vec_i32x4 : t =
-  global ##. binaryen ##. Operations ##. LoadExtSVec16x4ToVecI32x4
-
-let load_ext_u_vec16x4_to_vec_i32x4 : t =
-  global ##. binaryen ##. Operations ##. LoadExtUVec16x4ToVecI32x4
-
-let load_ext_s_vec32x2_to_vec_i64x2 : t =
-  global ##. binaryen ##. Operations ##. LoadExtSVec32x2ToVecI64x2
-
-let load_ext_u_vec32x2_to_vec_i64x2 : t =
-  global ##. binaryen ##. Operations ##. LoadExtUVec32x2ToVecI64x2
-
 let narrow_s_vec_i16x8_to_vec_i8x16 : t =
   global ##. binaryen ##. Operations ##. NarrowSVecI16x8ToVecI8x16
 
@@ -747,28 +686,20 @@ let narrow_s_vec_i32x4_to_vec_i16x8 : t =
 let narrow_u_vec_i32x4_to_vec_i16x8 : t =
   global ##. binaryen ##. Operations ##. NarrowUVecI32x4ToVecI16x8
 
-let widen_low_s_vec_i8x16_to_vec_i16x8 : t =
-  global ##. binaryen ##. Operations ##. WidenLowSVecI8x16ToVecI16x8
+let swizzle_vec8x16 : t = global ##. binaryen ##. Operations ##. SwizzleVec8x16
 
-let widen_high_s_vec_i8x16_to_vec_i16x8 : t =
-  global ##. binaryen ##. Operations ##. WidenHighSVecI8x16ToVecI16x8
+let ref_is_null : t = global ##. binaryen ##. Operations ##. RefIsNull
 
-let widen_low_u_vec_i8x16_to_vec_i16x8 : t =
-  global ##. binaryen ##. Operations ##. WidenLowUVecI8x16ToVecI16x8
+let ref_is_func : t = global ##. binaryen ##. Operations ##. RefIsFunc
 
-let widen_high_u_vec_i8x16_to_vec_i16x8 : t =
-  global ##. binaryen ##. Operations ##. WidenHighUVecI8x16ToVecI16x8
+let ref_is_data : t = global ##. binaryen ##. Operations ##. RefIsData
 
-let widen_low_s_vec_i16x8_to_vec_i32x4 : t =
-  global ##. binaryen ##. Operations ##. WidenLowSVecI16x8ToVecI32x4
+let ref_is_i31 : t = global ##. binaryen ##. Operations ##. RefIsI31
 
-let widen_high_s_vec_i16x8_to_vec_i32x4 : t =
-  global ##. binaryen ##. Operations ##. WidenHighSVecI16x8ToVecI32x4
+let ref_as_non_null : t = global ##. binaryen ##. Operations ##. RefAsNonNull
 
-let widen_low_u_vec_i16x8_to_vec_i32x4 : t =
-  global ##. binaryen ##. Operations ##. WidenLowUVecI16x8ToVecI32x4
+let ref_as_func : t = global ##. binaryen ##. Operations ##. RefAsFunc
 
-let widen_high_u_vec_i16x8_to_vec_i32x4 : t =
-  global ##. binaryen ##. Operations ##. WidenHighUVecI16x8ToVecI32x4
+let ref_as_data : t = global ##. binaryen ##. Operations ##. RefAsData
 
-let swizzle_vec8x16 : t = global ##. binaryen ##. Operations ##. SwizzleVec8x16
+let ref_as_i31 : t = global ##. binaryen ##. Operations ##. RefAsI31

binaryen-archive/js/settings.ml

@@ -0,0 +1,60 @@
+open Js_of_ocaml.Js
+open Js_of_ocaml.Js.Unsafe
+
+let get_optimize_level () = meth_call global##.binaryen "getOptimizeLevel" [||]
+
+let set_optimize_level level =
+  meth_call global##.binaryen "setOptimizeLevel" [| inject level |]
+
+let get_shrink_level () = meth_call global##.binaryen "getShrinkLevel" [||]
+
+let set_shrink_level level =
+  meth_call global##.binaryen "setShrinkLevel" [| inject level |]
+
+(* Uses the `_Binaryen` function because then we are working with ints which are also booleans to JSOO *)
+let get_debug_info () = meth_call global##.binaryen "_BinaryenGetDebugInfo" [||]
+
+(* Uses the `_Binaryen` function because then we are working with ints which are also booleans to JSOO *)
+let set_debug_info on =
+  meth_call global##.binaryen "_BinaryenSetDebugInfo" [| inject on |]
+
+(* Uses the `_Binaryen` function because then we are working with ints which are also booleans to JSOO *)
+let get_low_memory_unused () =
+  meth_call global##.binaryen "_BinaryenGetLowMemoryUnused" [||]
+
+(* Uses the `_Binaryen` function because then we are working with ints which are also booleans to JSOO *)
+let set_low_memory_unused on =
+  meth_call global##.binaryen "_BinaryenSetLowMemoryUnused" [| inject on |]
+
+let get_pass_argument key =
+  meth_call global##.binaryen "getPassArgument" [| inject (string key) |]
+
+let set_pass_argument key value =
+  meth_call global##.binaryen "setPassArgument"
+    [| inject (string key); inject (string value) |]
+
+let get_always_inline_max_size () =
+  meth_call global##.binaryen "getAlwaysInlineMaxSize" [||]
+
+let set_always_inline_max_size size =
+  meth_call global##.binaryen "setAlwaysInlineMaxSize" [| inject size |]
+
+let get_flexible_inline_max_size () =
+  meth_call global##.binaryen "getFlexibleInlineMaxSize" [||]
+
+let set_flexible_inline_max_size size =
+  meth_call global##.binaryen "setFlexibleInlineMaxSize" [| inject size |]
+
+let get_one_caller_inline_max_size () =
+  meth_call global##.binaryen "getOneCallerInlineMaxSize" [||]
+
+let set_one_caller_inline_max_size size =
+  meth_call global##.binaryen "setOneCallerInlineMaxSize" [| inject size |]
+
+(* Uses the `_Binaryen` function because then we are working with ints which are also booleans to JSOO *)
+let set_colors_enabled enabled =
+  meth_call global##.binaryen "_BinaryenSetColorsEnabled" [| inject enabled |]
+
+(* Uses the `_Binaryen` function because then we are working with ints which are also booleans to JSOO *)
+let are_colors_enabled () =
+  meth_call global##.binaryen "_BinaryenAreColorsEnabled" [||]

binaryen-archive/js/table.ml

@@ -1,12 +1,29 @@
 open Js_of_ocaml.Js
 open Js_of_ocaml.Js.Unsafe
 
-let add_table wasm_mod name initial maximum funcnames offset =
+type t = int
+
+let add_table wasm_mod name initial maximum =
   meth_call wasm_mod "addTable"
+    [| inject (string name); inject initial; inject maximum |]
+
+let add_active_element_segment wasm_mod table name funcnames offset =
+  meth_call wasm_mod "addActiveElementSegment"
     [|
+      inject (string table);
       inject (string name);
-      inject initial;
-      inject maximum;
       inject (array (Array.of_list (List.map string funcnames)));
       inject offset;
     |]
+
+let remove_element_segment wasm_mod name =
+  meth_call wasm_mod "removeElementSegment" [| inject (string name) |]
+
+let get_num_element_segments wasm_mod =
+  meth_call wasm_mod "getNumElementSegments" [||]
+
+let get_element_segment wasm_mod name =
+  meth_call wasm_mod "getElementSegment" [| inject (string name) |]
+
+let get_element_segment_by_index wasm_mod index =
+  meth_call wasm_mod "getElementSegmentByIndex" [| inject index |]

binaryen-archive/js/type.ml

@@ -25,3 +25,6 @@ let auto : t = global##.binaryen##.auto
 
 let create typs =
   meth_call global##.binaryen "createType" [| inject (array typs) |]
+
+let expand typ =
+  to_array (meth_call global##.binaryen "expandType" [| inject typ |])

binaryen-archive/package.json

@@ -1,33 +1,24 @@
 {
   "name": "@grain/binaryen.ml",
-  "version": "0.9.0",
+  "version": "0.11.1",
   "description": "OCaml bindings for Binaryen.",
   "author": "Oscar Spencer <oscar@grain-lang.org>",
   "license": "Apache-2.0",
   "dependencies": {
-    "ocaml": ">= 4.9.0 < 4.12.0",
-    "@opam/dune": "^2.7.1",
-    "@opam/dune-configurator": "^2.7.1",
-    "@opam/js_of_ocaml": "^3.6.0",
-    "@opam/js_of_ocaml-ppx": "^3.6.0"
+    "ocaml": ">= 4.12.0 < 4.13.0",
+    "@grain/libbinaryen": "^101.0.1",
+    "@opam/dune": "^2.9.1",
+    "@opam/dune-configurator": "^2.9.1",
+    "@opam/js_of_ocaml": "^3.10.0",
+    "@opam/js_of_ocaml-ppx": "^3.10.0"
   },
   "devDependencies": {
-    "@opam/js_of_ocaml-compiler": "^3.6.0",
-    "@opam/ocamlformat": "^0.15.0",
-    "@opam/ocaml-lsp-server": "^1.1.0"
+    "@opam/js_of_ocaml-compiler": "^3.10.0",
+    "@opam/ocamlformat": "0.18.0",
+    "@opam/ocaml-lsp-server": "^1.8.2"
   },
   "esy": {
-    "build": "dune build -p binaryen",
-    "buildEnv": {
-      "DUNE_BUILD_DIR": "#{self.target_dir}",
-      "PATH": "#{os == 'windows' ? '/usr/x86_64-w64-mingw32/sys-root/mingw/bin' : '' : $PATH }"
-    },
-    "exportedEnv": {
-      "PATH": {
-        "val": "#{os == 'windows' ? '/usr/x86_64-w64-mingw32/sys-root/mingw/bin' : '' : $PATH }",
-        "scope": "global"
-      }
-    }
+    "build": "dune build -p binaryen"
   },
   "scripts": {
     "test": "esy b dune runtest",
@@ -36,6 +27,9 @@
   "installConfig": {
     "pnp": false
   },
+  "publishConfig": {
+    "access": "public"
+  },
   "keywords": [
     "binaryen",
     "ocaml"

binaryen-archive/src/binaryen_stubs_exports.c

@@ -2,6 +2,7 @@
 #include <caml/mlvalues.h>
 #include <caml/fail.h>
 #include <caml/memory.h>
+#include <caml/alloc.h>
 
 #include "binaryen-c.h"
 #include "ocaml_helpers.h"
@@ -55,6 +56,15 @@ caml_binaryen_add_global_export(value _module, value _internalName, value _exter
   CAMLreturn(alloc_BinaryenExportRef(exp));
 }
 
+CAMLprim value
+caml_binaryen_get_export(value _module, value _externalName) {
+  CAMLparam2(_module, _externalName);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  char* externalName = Safe_String_val(_externalName);
+  BinaryenExportRef exp = BinaryenGetExport(module, externalName);
+  CAMLreturn(alloc_BinaryenExportRef(exp));
+}
+
 CAMLprim value
 caml_binaryen_remove_export(value _module, value _externalName) {
   CAMLparam2(_module, _externalName);
@@ -63,3 +73,71 @@ caml_binaryen_remove_export(value _module, value _externalName) {
   BinaryenRemoveExport(module, externalName);
   CAMLreturn(Val_unit);
 }
+
+CAMLprim value
+caml_binaryen_get_num_exports(value _module) {
+  CAMLparam1(_module);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenIndex num = BinaryenGetNumExports(module);
+  CAMLreturn(Val_int(num));
+}
+
+CAMLprim value
+caml_binaryen_get_export_by_index(value _module, value _index) {
+  CAMLparam2(_module, _index);
+  BinaryenModuleRef module = BinaryenModuleRef_val(_module);
+  BinaryenIndex index = Int_val(_index);
+  BinaryenExportRef exp = BinaryenGetExportByIndex(module, index);
+  CAMLreturn(alloc_BinaryenExportRef(exp));
+}
+
+CAMLprim value
+caml_binaryen_export_get_name(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExportRef exp = BinaryenExportRef_val(_exp);
+  CAMLreturn(caml_copy_string(BinaryenExportGetName(exp)));
+}
+
+CAMLprim value
+caml_binaryen_export_get_value(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExportRef exp = BinaryenExportRef_val(_exp);
+  CAMLreturn(caml_copy_string(BinaryenExportGetValue(exp)));
+}
+
+CAMLprim value
+caml_binaryen_external_function(value _unit) {
+  CAMLparam1(_unit);
+  CAMLreturn(Val_int(BinaryenExternalFunction()));
+}
+
+CAMLprim value
+caml_binaryen_external_table(value _unit) {
+  CAMLparam1(_unit);
+  CAMLreturn(Val_int(BinaryenExternalTable()));
+}
+
+CAMLprim value
+caml_binaryen_external_memory(value _unit) {
+  CAMLparam1(_unit);
+  CAMLreturn(Val_int(BinaryenExternalMemory()));
+}
+
+CAMLprim value
+caml_binaryen_external_global(value _unit) {
+  CAMLparam1(_unit);
+  CAMLreturn(Val_int(BinaryenExternalGlobal()));
+}
+
+CAMLprim value
+caml_binaryen_external_event(value _unit) {
+  CAMLparam1(_unit);
+  CAMLreturn(Val_int(BinaryenExternalEvent()));
+}
+
+CAMLprim value
+caml_binaryen_export_get_kind(value _exp) {
+  CAMLparam1(_exp);
+  BinaryenExportRef exp = BinaryenExportRef_val(_exp);
+  CAMLreturn(Val_int(BinaryenExportGetKind(exp)));
+}