(* To buffer bytecode during emission *)

local
  open Obj Fnlib Mixture Config Opcodes;

  prim_val andb_      : int -> int -> int = 2 "and";
  prim_val rshiftsig_ : int -> int -> int = 2 "shift_right_signed";
  prim_val rshiftuns_ : int -> int -> int = 2 "shift_right_unsigned";

  fun make_buffer n = CharArray.array(n, #"\000");

in

val out_buffer = ref (make_buffer 64);
val out_position = ref 0;

fun realloc_out_buffer () =
  let val len = CharArray.length (!out_buffer)
      val new_buffer = make_buffer (2 * len)
  in
    CharArray.copy { src = !out_buffer, si = 0, len = NONE,
                     dst = new_buffer, di = 0 };
    out_buffer := new_buffer
  end;

fun init_out_code () = (out_position := 0);

fun out (b : int) =
(
  if !out_position < CharArray.length (!out_buffer) then () else
    realloc_out_buffer();
  CharArray.update(!out_buffer, !out_position, Char.chr(andb_ b 255));
  incr out_position
);

fun out_short s =
  (out s; out (rshiftuns_ s 8))
;

fun out_long l =
(
  out l;
  out (rshiftuns_ l 8);
  out (rshiftuns_ l 16);
  out (rshiftsig_ l 24)
);

end;