WIP

Author: vouillon

compiler/lib-wasm/gc_target.ml

@@ -1415,19 +1415,30 @@ module Bigarray = struct
       | Int -> "dv_get_i32", I32, 2, Fun.id
       | Complex32 | Complex64 | Float16 -> assert false (*ZZZ*)
     in
+    let* little_endian =
+      register_import
+        ~import_module:"bindings"
+        ~name:"littleEndian"
+        (Global { mut = false; typ = I32 })
+    in
     let* f =
       register_import
         ~import_module:"bindings"
         ~name
         (Fun
-           { W.params = [ Ref { nullable = false; typ = Extern }; I32 ]
+           { W.params =
+               Ref { nullable = true; typ = Extern }
+               :: I32
+               :: (if size = 0 then [] else [ I32 ])
            ; result = [ typ ]
            })
     in
     let* ty = Type.bigarray_type in
     let* ta = Memory.wasm_struct_get ty (Memory.wasm_cast ty a) 2 in
     let* ofs = Arith.(i lsl const (Int32.of_int size)) in
-    box (return (W.Call (f, [ ta; ofs ])))
+    box
+      (return
+         (W.Call (f, ta :: ofs :: (if size = 0 then [] else [ W.GlobalGet little_endian ]))))
 
   let set ~kind a i v =
     let name, (typ : Wasm_ast.value_type), size, unbox =
@@ -1452,16 +1463,28 @@ module Bigarray = struct
     let* ta = Memory.wasm_struct_get ty (Memory.wasm_cast ty a) 2 in
     let* ofs = Arith.(i lsl const (Int32.of_int size)) in
     let* v = unbox v in
+    let* little_endian =
+      register_import
+        ~import_module:"bindings"
+        ~name:"littleEndian"
+        (Global { mut = false; typ = I32 })
+    in
     let* f =
       register_import
         ~import_module:"bindings"
         ~name
         (Fun
-           { W.params = [ Ref { nullable = false; typ = Extern }; I32; typ ]
+           { W.params =
+               Ref { nullable = true; typ = Extern }
+               :: I32
+               :: typ
+               :: (if size = 0 then [] else [ I32 ])
            ; result = []
            })
     in
-    instr (W.CallInstr (f, [ ta; ofs; v ]))
+    instr
+      (W.CallInstr
+         (f, ta :: ofs :: v :: (if size = 0 then [] else [ W.GlobalGet little_endian ])))
 end
 
 module JavaScript = struct