• en

Module Emitaux

val output_channel : Pervasives.out_channel Pervasives.ref
val emit_string : string -> unit
val emit_int : int -> unit
val emit_nativeint : nativeint -> unit
val emit_int32 : int32 -> unit
val emit_symbol : char -> string -> unit
val emit_printf : ('a, Pervasives.out_channel, unit) Pervasives.format -> 'a
val emit_char : char -> unit
val emit_string_literal : string -> unit
val emit_string_directive : string -> string -> unit
val emit_bytes_directive : string -> string -> unit
val emit_float64_directive : string -> int64 -> unit
val emit_float64_split_directive : string -> int64 -> unit
val emit_float32_directive : string -> int32 -> unit
val reset : unit -> unit
val reset_debug_info : unit -> unit
val emit_debug_info : Debuginfo.t -> unit
type frame_descr = {
fd_lbl : int;
fd_frame_size : int;
fd_live_offset : int list;
fd_debuginfo : Debuginfo.t;
}
val frame_descriptors : frame_descr list Pervasives.ref
type emit_frame_actions = {
efa_label : int -> unit;
efa_16 : int -> unit;
efa_32 : int32 -> unit;
efa_word : int -> unit;
efa_align : int -> unit;
efa_label_rel : int -> int32 -> unit;
efa_def_label : int -> unit;
efa_string : string -> unit;
}
val emit_frames : emit_frame_actions -> unit
val is_generic_function : string -> bool
val cfi_startproc : unit -> unit
val cfi_endproc : unit -> unit
val cfi_adjust_cfa_offset : int -> unit