@grain/binaryen.ml 0.13.0 → 0.15.0

binaryen-archive/js/expression.ml

@@ -1,1105 +0,0 @@
-open Js_of_ocaml.Js
-open Js_of_ocaml.Js.Unsafe
-
-type t = int
-
-type kind =
-  | Invalid
-  | Nop
-  | Block
-  | If
-  | Loop
-  | Break
-  | Switch
-  | Call
-  | CallIndirect
-  | LocalGet
-  | LocalSet
-  | GlobalGet
-  | GlobalSet
-  | Load
-  | Store
-  | AtomicRMW
-  | AtomicCmpxchg
-  | AtomicWait
-  | AtomicNotify
-  | AtomicFence
-  | SIMDExtract
-  | SIMDReplace
-  | SIMDShuffle
-  | SIMDTernary
-  | SIMDShift
-  | SIMDLoad
-  | SIMDLoadStoreLane
-  | MemoryInit
-  | DataDrop
-  | MemoryCopy
-  | MemoryFill
-  | Const
-  | Unary
-  | Binary
-  | Select
-  | Drop
-  | Return
-  | MemorySize
-  | MemoryGrow
-  | Unreachable
-  | Pop
-  | RefNull
-  | RefIs
-  | RefFunc
-  | RefEq
-  | Try
-  | Throw
-  | Rethrow
-  | TupleMake
-  | TupleExtract
-  | I31New
-  | I31Get
-  | CallRef
-  | RefTest
-  | RefCast
-  | BrOn
-  | RttCanon
-  | RttSub
-  | StructNew
-  | StructGet
-  | StructSet
-  | ArrayNew
-  | ArrayGet
-  | ArraySet
-  | ArrayLen
-  | RefAs
-
-let expression_to_option x = if x = 0 then None else Some x
-
-let get_kind expr =
-  match meth_call global##.binaryen "getExpressionId" [| inject expr |] with
-  | n when n = global ##. binaryen ##. InvalidId -> Invalid
-  | n when n = global ##. binaryen ##. NopId -> Nop
-  | n when n = global ##. binaryen ##. BlockId -> Block
-  | n when n = global ##. binaryen ##. IfId -> If
-  | n when n = global ##. binaryen ##. LoopId -> Loop
-  | n when n = global ##. binaryen ##. BreakId -> Break
-  | n when n = global ##. binaryen ##. SwitchId -> Switch
-  | n when n = global ##. binaryen ##. CallId -> Call
-  | n when n = global ##. binaryen ##. CallIndirectId -> CallIndirect
-  | n when n = global ##. binaryen ##. LocalGetId -> LocalGet
-  | n when n = global ##. binaryen ##. LocalSetId -> LocalSet
-  | n when n = global ##. binaryen ##. GlobalGetId -> GlobalGet
-  | n when n = global ##. binaryen ##. GlobalSetId -> GlobalSet
-  | n when n = global ##. binaryen ##. LoadId -> Load
-  | n when n = global ##. binaryen ##. StoreId -> Store
-  | n when n = global ##. binaryen ##. AtomicRMWId -> AtomicRMW
-  | n when n = global ##. binaryen ##. AtomicCmpxchgId -> AtomicCmpxchg
-  | n when n = global ##. binaryen ##. AtomicWaitId -> AtomicWait
-  | n when n = global ##. binaryen ##. AtomicNotifyId -> AtomicNotify
-  | n when n = global ##. binaryen ##. AtomicFenceId -> AtomicFence
-  | n when n = global ##. binaryen ##. SIMDExtractId -> SIMDExtract
-  | n when n = global ##. binaryen ##. SIMDReplaceId -> SIMDReplace
-  | n when n = global ##. binaryen ##. SIMDShuffleId -> SIMDShuffle
-  | n when n = global ##. binaryen ##. SIMDTernaryId -> SIMDTernary
-  | n when n = global ##. binaryen ##. SIMDShiftId -> SIMDShift
-  | n when n = global ##. binaryen ##. SIMDLoadId -> SIMDLoad
-  | n when n = global ##. binaryen ##. SIMDLoadStoreLaneId -> SIMDLoadStoreLane
-  | n when n = global ##. binaryen ##. MemoryInitId -> MemoryInit
-  | n when n = global ##. binaryen ##. DataDropId -> DataDrop
-  | n when n = global ##. binaryen ##. MemoryCopyId -> MemoryCopy
-  | n when n = global ##. binaryen ##. MemoryFillId -> MemoryFill
-  | n when n = global ##. binaryen ##. ConstId -> Const
-  | n when n = global ##. binaryen ##. UnaryId -> Unary
-  | n when n = global ##. binaryen ##. BinaryId -> Binary
-  | n when n = global ##. binaryen ##. SelectId -> Select
-  | n when n = global ##. binaryen ##. DropId -> Drop
-  | n when n = global ##. binaryen ##. ReturnId -> Return
-  | n when n = global ##. binaryen ##. MemorySizeId -> MemorySize
-  | n when n = global ##. binaryen ##. MemoryGrowId -> MemoryGrow
-  | n when n = global ##. binaryen ##. UnreachableId -> Unreachable
-  | n when n = global ##. binaryen ##. PopId -> Pop
-  | n when n = global ##. binaryen ##. RefNullId -> RefNull
-  | n when n = global ##. binaryen ##. RefIsId -> RefIs
-  | n when n = global ##. binaryen ##. RefFuncId -> RefFunc
-  | n when n = global ##. binaryen ##. RefEqId -> RefEq
-  | n when n = global ##. binaryen ##. TryId -> Try
-  | n when n = global ##. binaryen ##. ThrowId -> Throw
-  | n when n = global ##. binaryen ##. RethrowId -> Rethrow
-  | n when n = global ##. binaryen ##. TupleMakeId -> TupleMake
-  | n when n = global ##. binaryen ##. TupleExtractId -> TupleExtract
-  | n when n = global ##. binaryen ##. I31NewId -> I31New
-  | n when n = global ##. binaryen ##. I31GetId -> I31Get
-  | n when n = global ##. binaryen ##. CallRefId -> CallRef
-  | n when n = global ##. binaryen ##. RefTestId -> RefTest
-  | n when n = global ##. binaryen ##. RefCastId -> RefCast
-  | n when n = global ##. binaryen ##. BrOnId -> BrOn
-  | n when n = global ##. binaryen ##. RttCanonId -> RttCanon
-  | n when n = global ##. binaryen ##. RttSubId -> RttSub
-  | n when n = global ##. binaryen ##. StructNewId -> StructNew
-  | n when n = global ##. binaryen ##. StructGetId -> StructGet
-  | n when n = global ##. binaryen ##. StructSetId -> StructSet
-  | n when n = global ##. binaryen ##. ArrayNewId -> ArrayNew
-  | n when n = global ##. binaryen ##. ArrayGetId -> ArrayGet
-  | n when n = global ##. binaryen ##. ArraySetId -> ArraySet
-  | n when n = global ##. binaryen ##. ArrayLenId -> ArrayLen
-  | n when n = global ##. binaryen ##. RefAsId -> RefAs
-  | _ -> failwith "unknown expression kind"
-
-let print expr =
-  let text = meth_call global##.binaryen "emitText" [| inject expr |] in
-  print_string (to_string text)
-
-let finalize exp =
-  meth_call global ##. binaryen ##. Expression "finalize" [| inject exp |]
-
-let copy exp wasm_mod = meth_call wasm_mod "copyExpression" [| inject exp |]
-
-module Block = struct
-  let make ?(return_type = Type.auto) wasm_mod name children =
-    meth_call wasm_mod "block"
-      [|
-        inject (string name);
-        inject (array (Array.of_list children));
-        inject return_type;
-      |]
-
-  let get_name exp =
-    Option.map to_string
-      (Opt.to_option
-         (meth_call global ##. binaryen ##. Block "getName" [| inject exp |]))
-
-  let set_name exp name =
-    meth_call
-      global ##. binaryen ##. Block
-      "setName"
-      [| inject exp; inject (string name) |]
-
-  let get_num_children exp =
-    meth_call global ##. binaryen ##. Block "getNumChildren" [| inject exp |]
-
-  let get_child_at exp index =
-    meth_call
-      global ##. binaryen ##. Block
-      "getChildAt"
-      [| inject exp; inject index |]
-
-  let set_child_at exp index child =
-    meth_call
-      global ##. binaryen ##. Block
-      "setChildAt"
-      [| inject exp; inject index; inject child |]
-
-  let append_child exp child =
-    meth_call
-      global ##. binaryen ##. Block
-      "appendChild"
-      [| inject exp; inject child |]
-
-  let insert_child_at exp index child =
-    meth_call
-      global ##. binaryen ##. Block
-      "insertChildAt"
-      [| inject exp; inject index; inject child |]
-
-  let remove_child_at exp index =
-    meth_call
-      global ##. binaryen ##. Block
-      "removeChildAt"
-      [| inject exp; inject index |]
-end
-
-module If = struct
-  let make wasm_mod cond if_true if_false =
-    meth_call wasm_mod "if" [| inject cond; inject if_true; inject if_false |]
-
-  let get_condition exp =
-    meth_call global ##. binaryen ##. If "getCondition" [| inject exp |]
-
-  let set_condition exp cond =
-    meth_call
-      global ##. binaryen ##. If
-      "setCondition"
-      [| inject exp; inject cond |]
-
-  let get_if_true exp =
-    meth_call global ##. binaryen ##. If "getIfTrue" [| inject exp |]
-
-  let set_if_true exp child =
-    meth_call
-      global ##. binaryen ##. If
-      "setIfTrue"
-      [| inject exp; inject child |]
-
-  let get_if_false exp =
-    expression_to_option
-      (meth_call global ##. binaryen ##. If "getIfFalse" [| inject exp |])
-
-  let set_if_false exp child =
-    meth_call
-      global ##. binaryen ##. If
-      "setIfFalse"
-      [| inject exp; inject child |]
-end
-
-module Loop = struct
-  let make wasm_mod name body =
-    meth_call wasm_mod "loop" [| inject (string name); inject body |]
-
-  let get_name exp =
-    to_string
-      (meth_call global ##. binaryen ##. Loop "getName" [| inject exp |])
-
-  let set_name exp name =
-    meth_call
-      global ##. binaryen ##. Loop
-      "setName"
-      [| inject exp; inject (string name) |]
-
-  let get_body exp =
-    meth_call global ##. binaryen ##. Loop "getBody" [| inject exp |]
-
-  let set_body exp child =
-    meth_call
-      global ##. binaryen ##. Loop
-      "setBody"
-      [| inject exp; inject child |]
-end
-
-module Break = struct
-  let make wasm_mod name cond res =
-    meth_call wasm_mod "br" [| inject (string name); inject cond; inject res |]
-
-  let get_name exp =
-    to_string
-      (meth_call global ##. binaryen ##. Break "getName" [| inject exp |])
-
-  let set_name exp name =
-    meth_call
-      global ##. binaryen ##. Break
-      "setName"
-      [| inject exp; inject (string name) |]
-
-  let get_condition exp =
-    expression_to_option
-      (meth_call global ##. binaryen ##. Break "getCondition" [| inject exp |])
-
-  let set_condition exp child =
-    meth_call
-      global ##. binaryen ##. Break
-      "setCondition"
-      [| inject exp; inject child |]
-
-  let get_value exp =
-    expression_to_option
-      (meth_call global ##. binaryen ##. Break "getValue" [| inject exp |])
-
-  let set_value exp child =
-    meth_call
-      global ##. binaryen ##. Break
-      "setValue"
-      [| inject exp; inject child |]
-end
-
-module Switch = struct
-  let make wasm_mod names default_name cond value =
-    meth_call wasm_mod "switch"
-      [|
-        inject (array (Array.of_list (List.map string names)));
-        inject (string default_name);
-        inject cond;
-        inject value;
-      |]
-
-  let get_num_names exp =
-    meth_call global ##. binaryen ##. Switch "getNumNames" [| inject exp |]
-
-  let get_name_at exp index =
-    to_string
-      (meth_call
-         global ##. binaryen ##. Switch
-         "getNameAt"
-         [| inject exp; inject index |])
-
-  let set_name_at exp index name =
-    meth_call
-      global ##. binaryen ##. Switch
-      "setNameAt"
-      [| inject exp; inject index; inject (string name) |]
-
-  let append_name exp name =
-    meth_call
-      global ##. binaryen ##. Switch
-      "appendName"
-      [| inject exp; inject (string name) |]
-
-  let insert_name_at exp index name =
-    meth_call
-      global ##. binaryen ##. Switch
-      "insertNameAt"
-      [| inject exp; inject index; inject (string name) |]
-
-  let remove_name_at exp index =
-    to_string
-      (meth_call
-         global ##. binaryen ##. Switch
-         "removeNameAt"
-         [| inject exp; inject index |])
-
-  let get_default_name exp =
-    Option.map to_string
-      (Opt.to_option
-         (meth_call
-            global ##. binaryen ##. Switch
-            "getDefaultName"
-            [| inject exp |]))
-
-  let set_default_name exp name =
-    meth_call
-      global ##. binaryen ##. Switch
-      "setDefaultName"
-      [| inject exp; inject (string name) |]
-
-  let get_condition exp =
-    meth_call global ##. binaryen ##. Switch "getCondition" [| inject exp |]
-
-  let set_condition exp child =
-    meth_call
-      global ##. binaryen ##. Switch
-      "setCondition"
-      [| inject exp; inject child |]
-
-  let get_value exp =
-    expression_to_option
-      (meth_call global ##. binaryen ##. Switch "getValue" [| inject exp |])
-
-  let set_value exp child =
-    meth_call
-      global ##. binaryen ##. Switch
-      "setValue"
-      [| inject exp; inject child |]
-end
-
-module Call = struct
-  let make wasm_mod name params return_typ =
-    meth_call wasm_mod "call"
-      [|
-        inject (string name);
-        inject (array (Array.of_list params));
-        inject return_typ;
-      |]
-
-  let make_return wasm_mod name params return_typ =
-    meth_call wasm_mod "return_call"
-      [|
-        inject (string name);
-        inject (array (Array.of_list params));
-        inject return_typ;
-      |]
-
-  let get_target exp =
-    to_string
-      (meth_call global ##. binaryen ##. Call "getTarget" [| inject exp |])
-
-  let set_target exp name =
-    meth_call
-      global ##. binaryen ##. Call
-      "setTarget"
-      [| inject exp; inject (string name) |]
-
-  let get_num_operands exp =
-    meth_call global ##. binaryen ##. Call "getNumOperands" [| inject exp |]
-
-  let get_operand_at exp index =
-    meth_call
-      global ##. binaryen ##. Call
-      "getOperandAt"
-      [| inject exp; inject index |]
-
-  let set_operand_at exp index operand =
-    meth_call
-      global ##. binaryen ##. Call
-      "setOperandAt"
-      [| inject exp; inject index; inject operand |]
-
-  let append_operand exp operand =
-    meth_call
-      global ##. binaryen ##. Call
-      "appendOperand"
-      [| inject exp; inject operand |]
-
-  let insert_operand_at exp index operand =
-    meth_call
-      global ##. binaryen ##. Call
-      "insertOperandAt"
-      [| inject exp; inject index; inject operand |]
-
-  let remove_operand_at exp index =
-    meth_call
-      global ##. binaryen ##. Call
-      "removeOperandAt"
-      [| inject exp; inject index |]
-
-  let is_return exp =
-    to_bool (meth_call global ##. binaryen ##. Call "isReturn" [| inject exp |])
-
-  let set_return exp isReturn =
-    meth_call
-      global ##. binaryen ##. Call
-      "setReturn"
-      [| inject exp; inject (bool isReturn) |]
-end
-
-module Call_indirect = struct
-  let make wasm_mod table target params params_typ return_typ =
-    meth_call wasm_mod "call_indirect"
-      [|
-        inject (string table);
-        inject target;
-        inject (array (Array.of_list params));
-        inject params_typ;
-        inject return_typ;
-      |]
-
-  let make_return wasm_mod table target params params_typ return_typ =
-    meth_call wasm_mod "return_call_indirect"
-      [|
-        inject (string table);
-        inject target;
-        inject (array (Array.of_list params));
-        inject params_typ;
-        inject return_typ;
-      |]
-
-  let get_target exp =
-    meth_call global ##. binaryen ##. CallIndirect "getTarget" [| inject exp |]
-
-  let set_target exp target =
-    meth_call
-      global ##. binaryen ##. CallIndirect
-      "setTarget"
-      [| inject exp; inject target |]
-
-  let get_table exp =
-    to_string
-      (meth_call
-         global ##. binaryen ##. CallIndirect
-         "getTable"
-         [| inject exp |])
-
-  let set_table exp name =
-    meth_call
-      global ##. binaryen ##. CallIndirect
-      "setTable"
-      [| inject exp; inject (string name) |]
-
-  let get_num_operands exp =
-    meth_call
-      global ##. binaryen ##. CallIndirect
-      "getNumOperands"
-      [| inject exp |]
-
-  let get_operand_at exp index =
-    meth_call
-      global ##. binaryen ##. CallIndirect
-      "getOperandAt"
-      [| inject exp; inject index |]
-
-  let set_operand_at exp index operand =
-    meth_call
-      global ##. binaryen ##. CallIndirect
-      "setOperandAt"
-      [| inject exp; inject index; inject operand |]
-
-  let append_operand exp operand =
-    meth_call
-      global ##. binaryen ##. CallIndirect
-      "appendOperand"
-      [| inject exp; inject operand |]
-
-  let insert_operand_at exp index operand =
-    meth_call
-      global ##. binaryen ##. CallIndirect
-      "insertOperandAt"
-      [| inject exp; inject index; inject operand |]
-
-  let remove_operand_at exp index =
-    meth_call
-      global ##. binaryen ##. CallIndirect
-      "removeOperandAt"
-      [| inject exp; inject index |]
-
-  let is_return exp =
-    to_bool
-      (meth_call
-         global ##. binaryen ##. CallIndirect
-         "isReturn"
-         [| inject exp |])
-
-  let set_return exp isReturn =
-    meth_call
-      global ##. binaryen ##. CallIndirect
-      "setReturn"
-      [| inject exp; inject (bool isReturn) |]
-end
-
-module Local_get = struct
-  let make wasm_mod slot typ =
-    let scope = get wasm_mod "local" in
-    meth_call scope "get" [| inject slot; inject typ |]
-end
-
-module Local_set = struct
-  let make wasm_mod slot value =
-    let scope = get wasm_mod "local" in
-    meth_call scope "set" [| inject slot; inject value |]
-
-  let get_value exp =
-    meth_call global ##. binaryen ##. LocalSet "getValue" [| inject exp |]
-
-  let set_value exp value =
-    meth_call
-      global ##. binaryen ##. LocalSet
-      "setValue"
-      [| inject exp; inject value |]
-end
-
-module Local_tee = struct
-  let make wasm_mod slot value typ =
-    let scope = get wasm_mod "local" in
-    meth_call scope "tee" [| inject slot; inject value; inject typ |]
-end
-
-module Global_get = struct
-  let make wasm_mod name typ =
-    let scope = get wasm_mod "global" in
-    meth_call scope "get" [| inject (string name); inject typ |]
-
-  let get_name exp =
-    to_string
-      (meth_call global ##. binaryen ##. GlobalGet "getName" [| inject exp |])
-
-  let set_name exp name =
-    meth_call
-      global ##. binaryen ##. GlobalGet
-      "setName"
-      [| inject exp; inject (string name) |]
-end
-
-module Global_set = struct
-  let make wasm_mod name value =
-    let scope = get wasm_mod "global" in
-    meth_call scope "set" [| inject (string name); inject value |]
-
-  let get_name exp =
-    to_string
-      (meth_call global ##. binaryen ##. GlobalSet "getName" [| inject exp |])
-
-  let set_name exp name =
-    meth_call
-      global ##. binaryen ##. GlobalSet
-      "setName"
-      [| inject exp; inject (string name) |]
-
-  let get_value exp =
-    meth_call global ##. binaryen ##. GlobalSet "getValue" [| inject exp |]
-
-  let set_value exp value =
-    meth_call
-      global ##. binaryen ##. GlobalSet
-      "setValue"
-      [| inject exp; inject value |]
-end
-
-module Load = struct
-  let make wasm_mod byts ?(signed = false) offset align typ ptr =
-    meth_call global##.binaryen "_BinaryenLoad"
-      [|
-        inject wasm_mod;
-        inject byts;
-        inject signed;
-        inject offset;
-        inject align;
-        inject typ;
-        inject ptr;
-      |]
-
-  let get_ptr exp =
-    meth_call global ##. binaryen ##. Load "getPtr" [| inject exp |]
-
-  let set_ptr exp ptr =
-    meth_call global ##. binaryen ##. Load "setPtr" [| inject exp; inject ptr |]
-end
-
-module Store = struct
-  let make wasm_mod byts offset align ptr value typ =
-    meth_call global##.binaryen "_BinaryenStore"
-      [|
-        inject wasm_mod;
-        inject byts;
-        inject offset;
-        inject align;
-        inject ptr;
-        inject value;
-        inject typ;
-      |]
-
-  let get_ptr exp =
-    meth_call global ##. binaryen ##. Store "getPtr" [| inject exp |]
-
-  let set_ptr exp ptr =
-    meth_call
-      global ##. binaryen ##. Store
-      "setPtr"
-      [| inject exp; inject ptr |]
-
-  let get_value exp =
-    meth_call global ##. binaryen ##. Store "getValue" [| inject exp |]
-
-  let set_value exp value =
-    meth_call
-      global ##. binaryen ##. Store
-      "setValue"
-      [| inject exp; inject value |]
-end
-
-module Const = struct
-  let make wasm_mod lit =
-    let lit_hack = Literal.to_jsoo lit in
-    match lit_hack with
-    | Int32 value ->
-        let scope = get wasm_mod "i32" in
-        meth_call scope "const" [| inject value |]
-    | Int64 (low, high) ->
-        let scope = get wasm_mod "i64" in
-        meth_call scope "const" [| inject low; inject high |]
-    | Float32Bits value ->
-        let scope = get wasm_mod "f32" in
-        meth_call scope "const_bits" [| inject value |]
-    | Float64Bits (low, high) ->
-        let scope = get wasm_mod "f64" in
-        meth_call scope "const_bits" [| inject low; inject high |]
-    | Float32 value ->
-        let scope = get wasm_mod "f32" in
-        meth_call scope "const" [| inject value |]
-    | Float64 value ->
-        let scope = get wasm_mod "f64" in
-        meth_call scope "const" [| inject value |]
-end
-
-module Unary = struct
-  let make wasm_mod op p =
-    meth_call global##.binaryen "_BinaryenUnary"
-      [| inject wasm_mod; inject op; inject p |]
-
-  let get_value exp =
-    meth_call global ##. binaryen ##. Unary "getValue" [| inject exp |]
-
-  let set_value exp value =
-    meth_call
-      global ##. binaryen ##. Unary
-      "setValue"
-      [| inject exp; inject value |]
-end
-
-module Binary = struct
-  let make wasm_mod op a b =
-    meth_call global##.binaryen "_BinaryenBinary"
-      [| inject wasm_mod; inject op; inject a; inject b |]
-
-  let get_left exp =
-    meth_call global ##. binaryen ##. Binary "getLeft" [| inject exp |]
-
-  let set_left exp value =
-    meth_call
-      global ##. binaryen ##. Binary
-      "setLeft"
-      [| inject exp; inject value |]
-
-  let get_right exp =
-    meth_call global ##. binaryen ##. Binary "getRight" [| inject exp |]
-
-  let set_right exp value =
-    meth_call
-      global ##. binaryen ##. Binary
-      "setRight"
-      [| inject exp; inject value |]
-end
-
-module Select = struct
-  let make wasm_mod cond if_true if_false =
-    meth_call wasm_mod "select"
-      [| inject cond; inject if_true; inject if_false; inject Type.auto |]
-
-  let get_if_true exp =
-    meth_call global ##. binaryen ##. Select "getIfTrue" [| inject exp |]
-
-  let set_if_true exp value =
-    meth_call
-      global ##. binaryen ##. Select
-      "setIfTrue"
-      [| inject exp; inject value |]
-
-  let get_if_false exp =
-    meth_call global ##. binaryen ##. Select "getIfFalse" [| inject exp |]
-
-  let set_if_false exp value =
-    meth_call
-      global ##. binaryen ##. Select
-      "setIfFalse"
-      [| inject exp; inject value |]
-
-  let get_condition exp =
-    meth_call global ##. binaryen ##. Select "getCondition" [| inject exp |]
-
-  let set_condition exp value =
-    meth_call
-      global ##. binaryen ##. Select
-      "setCondition"
-      [| inject exp; inject value |]
-end
-
-module Drop = struct
-  let make wasm_mod value = meth_call wasm_mod "drop" [| inject value |]
-
-  let get_value exp =
-    meth_call global ##. binaryen ##. Drop "getValue" [| inject exp |]
-
-  let set_value exp value =
-    meth_call
-      global ##. binaryen ##. Drop
-      "setValue"
-      [| inject exp; inject value |]
-end
-
-module Return = struct
-  let make wasm_mod value = meth_call wasm_mod "return" [| inject value |]
-
-  let get_value exp =
-    meth_call global ##. binaryen ##. Return "getValue" [| inject exp |]
-
-  let set_value exp value =
-    meth_call
-      global ##. binaryen ##. Return
-      "setValue"
-      [| inject exp; inject value |]
-end
-
-module Memory_size = struct
-  let make wasm_mod =
-    let scope = get wasm_mod "memory" in
-    meth_call scope "size" [||]
-end
-
-module Memory_grow = struct
-  let make wasm_mod value =
-    let scope = get wasm_mod "memory" in
-    meth_call scope "grow" [| inject value |]
-
-  let get_delta exp =
-    meth_call global ##. binaryen ##. MemoryGrow "getDelta" [| inject exp |]
-
-  let set_delta exp delta =
-    meth_call
-      global ##. binaryen ##. MemoryGrow
-      "setDelta"
-      [| inject exp; inject delta |]
-end
-
-module Memory_copy = struct
-  let make wasm_mod dest source size =
-    let scope = get wasm_mod "memory" in
-    meth_call scope "copy" [| inject dest; inject source; inject size |]
-
-  let get_dest exp =
-    meth_call global ##. binaryen ##. MemoryCopy "getDest" [| inject exp |]
-
-  let set_dest exp value =
-    meth_call
-      global ##. binaryen ##. MemoryCopy
-      "setDest"
-      [| inject exp; inject value |]
-
-  let get_source exp =
-    meth_call global ##. binaryen ##. MemoryCopy "getSource" [| inject exp |]
-
-  let set_source exp value =
-    meth_call
-      global ##. binaryen ##. MemoryCopy
-      "setSource"
-      [| inject exp; inject value |]
-
-  let get_size exp =
-    meth_call global ##. binaryen ##. MemoryCopy "getSize" [| inject exp |]
-
-  let set_size exp value =
-    meth_call
-      global ##. binaryen ##. MemoryCopy
-      "setSize"
-      [| inject exp; inject value |]
-end
-
-module Memory_fill = struct
-  let make wasm_mod dest value size =
-    let scope = get wasm_mod "memory" in
-    meth_call scope "fill" [| inject dest; inject value; inject size |]
-
-  let get_dest exp =
-    meth_call global ##. binaryen ##. MemoryFill "getDest" [| inject exp |]
-
-  let set_dest exp value =
-    meth_call
-      global ##. binaryen ##. MemoryFill
-      "setDest"
-      [| inject exp; inject value |]
-
-  let get_value exp =
-    meth_call global ##. binaryen ##. MemoryFill "getValue" [| inject exp |]
-
-  let set_value exp value =
-    meth_call
-      global ##. binaryen ##. MemoryFill
-      "setValue"
-      [| inject exp; inject value |]
-
-  let get_size exp =
-    meth_call global ##. binaryen ##. MemoryFill "getSize" [| inject exp |]
-
-  let set_size exp value =
-    meth_call
-      global ##. binaryen ##. MemoryFill
-      "setSize"
-      [| inject exp; inject value |]
-end
-
-module Tuple_make = struct
-  let make wasm_mod operands =
-    let scope = get wasm_mod "tuple" in
-    meth_call scope "make" [| inject (array (Array.of_list operands)) |]
-
-  let get_num_operands exp =
-    meth_call
-      global ##. binaryen ##. TupleMake
-      "getNumOperands"
-      [| inject exp |]
-
-  let get_operand_at exp index =
-    meth_call
-      global ##. binaryen ##. TupleMake
-      "getOperandAt"
-      [| inject exp; inject index |]
-
-  let set_operand_at exp index operand =
-    meth_call
-      global ##. binaryen ##. TupleMake
-      "setOperandAt"
-      [| inject exp; inject index; inject operand |]
-
-  let append_operand exp operand =
-    meth_call
-      global ##. binaryen ##. TupleMake
-      "appendOperand"
-      [| inject exp; inject operand |]
-
-  let insert_operand_at exp index operand =
-    meth_call
-      global ##. binaryen ##. TupleMake
-      "insertOperandAt"
-      [| inject exp; inject index; inject operand |]
-
-  let remove_operand_at exp index =
-    meth_call
-      global ##. binaryen ##. TupleMake
-      "removeOperandAt"
-      [| inject exp; inject index |]
-end
-
-module Tuple_extract = struct
-  let make wasm_mod tuple index =
-    let scope = get wasm_mod "tuple" in
-    meth_call scope "extract" [| inject tuple; inject index |]
-
-  let get_tuple exp =
-    meth_call global ##. binaryen ##. TupleExtract "getTuple" [| inject exp |]
-
-  let set_tuple exp value =
-    meth_call
-      global ##. binaryen ##. TupleExtract
-      "setTuple"
-      [| inject exp; inject value |]
-end
-
-module Nop = struct
-  let make wasm_mod = meth_call wasm_mod "nop" [||]
-end
-
-module Unreachable = struct
-  let make wasm_mod = meth_call wasm_mod "unreachable" [||]
-end
-
-module Pop = struct
-  let make wasm_mod typ =
-    meth_call global##.binaryen "_BinaryenPop" [| inject wasm_mod; inject typ |]
-end
-
-module Null = struct
-  let make () = pure_js_expr "null"
-end
-
-module Ref = struct
-  (** Module, type *)
-  let null wasm_mod typ =
-    let scope = get wasm_mod "ref" in
-    meth_call scope "null" [| inject typ |]
-
-  (** Module, op, value *)
-  let is wasm_mod op value =
-    meth_call global##.binaryen "_BinaryenRefIs"
-      [| inject wasm_mod; inject op; inject value |]
-
-  (** Module, op, value *)
-  let as_ wasm_mod op value =
-    meth_call global##.binaryen "_BinaryenRefAs"
-      [| inject wasm_mod; inject op; inject value |]
-
-  (** Module, func, type *)
-  let func wasm_mod func typ =
-    let scope = get wasm_mod "ref" in
-    meth_call scope "func" [| inject (string func); inject typ |]
-
-  (** Module, left, right *)
-  let eq wasm_mod left right =
-    let scope = get wasm_mod "ref" in
-    meth_call scope "func" [| inject left; inject right |]
-end
-
-module Table = struct
-  (** Module, name, index, type *)
-  let get wasm_mod name index typ =
-    let scope = Js_of_ocaml.Js.Unsafe.get wasm_mod "table" in
-    meth_call scope "get" [| inject (string name); inject index; inject typ |]
-
-  (** Module, name, index, value *)
-  let set wasm_mod name index value =
-    let scope = Js_of_ocaml.Js.Unsafe.get wasm_mod "table" in
-    meth_call scope "set" [| inject (string name); inject index; inject value |]
-
-  (** Module, name *)
-  let size wasm_mod name =
-    let scope = Js_of_ocaml.Js.Unsafe.get wasm_mod "table" in
-    meth_call scope "size" [| inject (string name) |]
-
-  (** Module, name, value, delta *)
-  let grow wasm_mod name value delta =
-    let scope = Js_of_ocaml.Js.Unsafe.get wasm_mod "table" in
-    meth_call scope "grow"
-      [| inject (string name); inject value; inject delta |]
-end
-
-module Table_get = struct
-  (** Gets the name of the table being accessed by a `Table.get` expression. *)
-  let get_table exp =
-    to_string
-      (meth_call global ##. binaryen ##. TableGet "getTable" [| inject exp |])
-
-  (** Gets the name of the table being accessed by a `Table.get` expression. *)
-  let set_table exp name =
-    meth_call
-      global ##. binaryen ##. TableGet
-      "setTable"
-      [| inject exp; inject (string name) |]
-
-  (** Gets the index expression of a `Table.get` expression. *)
-  let get_index exp =
-    meth_call global ##. binaryen ##. TableGet "getIndex" [| inject exp |]
-
-  (** Gets the index expression of a `Table.get` expression. *)
-  let set_index exp index =
-    meth_call
-      global ##. binaryen ##. TableGet
-      "setIndex"
-      [| inject exp; inject index |]
-end
-
-module Table_set = struct
-  (** Gets the name of the table being accessed by a `Table.set` expression. *)
-  let get_table exp =
-    to_string
-      (meth_call global ##. binaryen ##. TableSet "getTable" [| inject exp |])
-
-  (** Sets the name of the table being accessed by a `Table.set` expression. *)
-  let set_table exp name =
-    meth_call
-      global ##. binaryen ##. TableSet
-      "setTable"
-      [| inject exp; inject (string name) |]
-
-  (** Gets the index expression of a `Table.set` expression. *)
-  let get_index exp =
-    meth_call global ##. binaryen ##. TableSet "getIndex" [| inject exp |]
-
-  (** Sets the index expression of a `Table.set` expression. *)
-  let set_index exp index =
-    meth_call
-      global ##. binaryen ##. TableSet
-      "setIndex"
-      [| inject exp; inject index |]
-
-  (** Gets the value expression of a `Table.set` expression. *)
-  let get_value exp =
-    meth_call global ##. binaryen ##. TableSet "getValue" [| inject exp |]
-
-  (** Sets the value expression of a `Table.set` expression. *)
-  let set_value exp value =
-    meth_call
-      global ##. binaryen ##. TableSet
-      "setValue"
-      [| inject exp; inject value |]
-end
-
-module Table_size = struct
-  (** Gets the name of the table being accessed by a `Table.size` expression. *)
-  let get_table exp =
-    to_string
-      (meth_call global ##. binaryen ##. TableSize "getTable" [| inject exp |])
-
-  (** Sets the name of the table being accessed by a `Table.size` expression. *)
-  let set_table exp name =
-    meth_call
-      global ##. binaryen ##. TableSize
-      "setTable"
-      [| inject exp; inject (string name) |]
-end
-
-module Table_grow = struct
-  (** Gets the name of the table being accessed by a `Table.grow` expression. *)
-  let get_table exp =
-    to_string
-      (meth_call global ##. binaryen ##. TableGrow "getTable" [| inject exp |])
-
-  (** Gets the name of the table being accessed by a `Table.grow` expression. *)
-  let set_table exp name =
-    meth_call
-      global ##. binaryen ##. TableGrow
-      "setTable"
-      [| inject exp; inject (string name) |]
-
-  (** Gets the value expression of a `Table.grow` expression. *)
-  let get_value exp =
-    meth_call global ##. binaryen ##. TableGrow "getValue" [| inject exp |]
-
-  (** Sets the value expression of a `Table.grow` expression. *)
-  let set_value exp value =
-    meth_call
-      global ##. binaryen ##. TableGrow
-      "setValue"
-      [| inject exp; inject value |]
-
-  (** Gets the delta of a `Table.grow` expression. *)
-  let get_delta exp =
-    meth_call global ##. binaryen ##. TableGrow "getDelta" [| inject exp |]
-
-  (** Sets the delta of a `Table.grow` expression. *)
-  let set_delta exp delta =
-    meth_call
-      global ##. binaryen ##. TableGrow
-      "setDelta"
-      [| inject exp; inject delta |]
-end