Stop emitting Kgetmutablefield in bytegen and remove Kgetmutablefield

Author: ctk21

bytecomp/bytegen.ml

@@ -397,8 +397,7 @@ let comp_primitive p sz args =
   | Pcompare_floats -> Kccall("caml_float_compare", 2)
   | Pcompare_bints bi -> comp_bint_primitive bi "compare" args
   | Pmakeblock(tag, _mut, _) -> Kmakeblock(List.length args, tag)
-  | Pfield(n, _ptr, Immutable) -> Kgetfield n
-  | Pfield(n, _ptr, Mutable) -> Kgetmutablefield n
+  | Pfield(n, _ptr, _mut) -> Kgetfield n
   | Pfield_computed -> Kgetvectitem
   | Psetfield(n, _ptr, _init) -> Ksetfield n
   | Psetfield_computed(_ptr, _init) -> Ksetvectitem

bytecomp/emitcode.ml

@@ -251,8 +251,6 @@ let emit_instr = function
       else (out opMAKEBLOCK; out_int n; out_int t)
   | Kgetfield n ->
       if n < 4 then out(opGETFIELD0 + n) else (out opGETFIELD; out_int n)
-  | Kgetmutablefield n ->
-      if n < 4 then out(opGETMUTABLEFIELD0 + n) else (out opGETMUTABLEFIELD; out_int n)
   | Ksetfield n ->
       if n < 4 then out(opSETFIELD0 + n) else (out opSETFIELD; out_int n)
   | Kmakefloatblock(n) ->

bytecomp/instruct.ml

@@ -72,7 +72,6 @@ type instruction =
   | Kmakeblock of int * int             (* size, tag *)
   | Kmakefloatblock of int
   | Kgetfield of int
-  | Kgetmutablefield of int
   | Ksetfield of int
   | Kgetfloatfield of int
   | Ksetfloatfield of int

bytecomp/instruct.mli

@@ -92,7 +92,6 @@ type instruction =
   | Kmakeblock of int * int             (* size, tag *)
   | Kmakefloatblock of int
   | Kgetfield of int
-  | Kgetmutablefield of int
   | Ksetfield of int
   | Kgetfloatfield of int
   | Ksetfloatfield of int

bytecomp/printinstr.ml

@@ -49,7 +49,6 @@ let instruction ppf = function
   | Kmakefloatblock(n) ->
       fprintf ppf "\tmakefloatblock %i" n
   | Kgetfield n -> fprintf ppf "\tgetfield %i" n
-  | Kgetmutablefield n -> fprintf ppf "\tgetmutablefield %i" n
   | Ksetfield n -> fprintf ppf "\tsetfield %i" n
   | Kgetfloatfield n -> fprintf ppf "\tgetfloatfield %i" n
   | Ksetfloatfield n -> fprintf ppf "\tsetfloatfield %i" n