WIP

Author: vouillon

compiler/lib-wasm/gc_target.ml

@@ -1398,7 +1398,6 @@ module Bigarray = struct
     let name, (typ : Wasm_ast.value_type), size, box =
       match (kind : Typing.Bigarray.kind) with
       | Float32 ->
-          (*ZZZ*)
           ( "dv_get_f32"
           , F32
           , 2
@@ -1434,7 +1433,6 @@ module Bigarray = struct
     let name, (typ : Wasm_ast.value_type), size, unbox =
       match (kind : Typing.Bigarray.kind) with
       | Float32 ->
-          (*ZZZ*)
           ( "dv_set_f32"
           , F32
           , 2

compiler/lib-wasm/generate.ml

@@ -918,7 +918,7 @@ module Generate (Target : Target_sig.S) = struct
                    let* cond = Arith.uge j' (Bigarray.dim 1 ta') in
                    let* () = instr (W.Br_if (label_index context bound_error_pc, cond)) in
                    return ())
-                  (Bigarray.get ~kind ta' Arith.((i' * Bigarray.dim 0 ta') + j'))
+                  (Bigarray.get ~kind ta' Arith.((i' * Bigarray.dim 1 ta') + j'))
             | _ ->
                 let* f =
                   register_import ~name:"caml_ba_get_2" (Fun (Type.primitive_type 3))
@@ -984,7 +984,7 @@ module Generate (Target : Target_sig.S) = struct
                    let* () = instr (W.Br_if (label_index context bound_error_pc, cond)) in
                    let* cond = Arith.uge j' (Bigarray.dim 1 ta') in
                    let* () = instr (W.Br_if (label_index context bound_error_pc, cond)) in
-                   Bigarray.set ~kind ta' Arith.((i' * Bigarray.dim 0 ta') + j') v')
+                   Bigarray.set ~kind ta' Arith.((i' * Bigarray.dim 1 ta') + j') v')
                   Value.unit
             | _ ->
                 let* f =
@@ -1026,7 +1026,7 @@ module Generate (Target : Target_sig.S) = struct
                    Bigarray.set
                      ~kind
                      ta'
-                     Arith.((((i' * Bigarray.dim 0 ta') + j') * Bigarray.dim 1 ta') + k')
+                     Arith.((((i' * Bigarray.dim 1 ta') + j') * Bigarray.dim 2 ta') + k')
                      v')
                   Value.unit
             | _ ->