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

module Emitaux