l4/pkg/ocaml/contrib/asmcomp/emitaux.mli

   1 (***********************************************************************)
   2 (*                                                                     *)
   3 (*                           Objective Caml                            *)
   4 (*                                                                     *)
   5 (*            Xavier Leroy, projet Cristal, INRIA Rocquencourt         *)
   6 (*                                                                     *)
   7 (*  Copyright 1996 Institut National de Recherche en Informatique et   *)
   8 (*  en Automatique.  All rights reserved.  This file is distributed    *)
   9 (*  under the terms of the Q Public License version 1.0.               *)
  10 (*                                                                     *)
  11 (***********************************************************************)
  12
  13 (* $Id: emitaux.mli 9314 2009-07-15 12:14:39Z xleroy $ *)
  14
  15 (* Common functions for emitting assembly code *)
  16
  17 val output_channel: out_channel ref
  18 val emit_string: string -> unit
  19 val emit_int: int -> unit
  20 val emit_nativeint: nativeint -> unit
  21 val emit_int32: int32 -> unit
  22 val emit_symbol: char -> string -> unit
  23 val emit_printf: ('a, out_channel, unit) format -> 'a
  24 val emit_char: char -> unit
  25 val emit_string_literal: string -> unit
  26 val emit_string_directive: string -> string -> unit
  27 val emit_bytes_directive: string -> string -> unit
  28 val emit_float64_directive: string -> string -> unit
  29 val emit_float64_split_directive: string -> string -> unit
  30 val emit_float32_directive: string -> string -> unit
  31
  32 type frame_descr =
  33   { fd_lbl: int;                        (* Return address *)
  34     fd_frame_size: int;                 (* Size of stack frame *)
  35     fd_live_offset: int list;           (* Offsets/regs of live addresses *)
  36     fd_debuginfo: Debuginfo.t }         (* Location, if any *)
  37
  38 val frame_descriptors : frame_descr list ref
  39
  40 type emit_frame_actions =
  41   { efa_label: int -> unit;
  42     efa_16: int -> unit;
  43     efa_32: int32 -> unit;
  44     efa_word: int -> unit;
  45     efa_align: int -> unit;
  46     efa_label_rel: int -> int32 -> unit;
  47     efa_def_label: int -> unit;
  48     efa_string: string -> unit }
  49
  50 val emit_frames: emit_frame_actions -> unit
  51
  52 val is_generic_function: string -> bool