package ocaml-base-compiler

Overview
No Docs

You can search for identifiers within the package.

in-package search v0.2.0

Official 4.06.0 release

Install

Dune Dependency

ocaml.org Edit opam file Versions (66)

Authors

Maintainers

David Allsopp

Sources

4.06.0.tar.gz

sha256=011879c913e8f988ecdac020b205e2baa4023052efed25013bdb9a6b0d5c6a80

md5=4f3906e581181c5435078ffe3e485e3f

doc/ocamloptcomp/Emitaux/index.html

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

val emit_debug_info_gen : 
  Debuginfo.t ->
  (file_num:int -> file_name:string -> unit) ->
  (file_num:int -> line:int -> col:int -> unit) ->
  unit

val record_frame_descr : 
  label:int ->
  frame_size:int ->
  live_offset:int list ->
  raise_frame:bool ->
  Debuginfo.t ->
  unit

type emit_frame_actions = {

efa_code_label : int -> unit;
efa_data_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

val cfi_offset : reg:int -> offset:int -> unit

val binary_backend_available : bool Pervasives.ref

Is a binary backend available. If yes, we don't need to generate the textual assembly file (unless the user request it with -S).

val create_asm_file : bool Pervasives.ref

Are we actually generating the textual assembly file?