package ocaml-base-compiler

  1. Overview
  2. Docs
Official release 4.10.2

Install 

dune-project
 Dependency

ocaml.org Edit opam file Versions (70)

Authors

  1. Xavier Leroy

Maintainers

  1. David Allsopp
  2. F
    Florian Angeletti <florian.angeletti@inria.fr>

Sources

4.10.2.tar.gz
sha256=7aa26e0d70f36f0338df92cf5aaeb2704f3443bfe910a3d02a5dca9162f1d866

doc/ocamloptcomp/Mach/index.html

Module Mach

type label = Cmm.label

N.B. Backends vary in their treatment of call gc and checkbound points. If the positioning of any labels associated with these is important for some new feature in the compiler, the relevant backends' behaviour should be checked.

type integer_comparison =
  1. | Isigned of Cmm.integer_comparison
  2. | Iunsigned of Cmm.integer_comparison
type integer_operation =
  1. | Iadd
  2. | Isub
  3. | Imul
  4. | Imulh
  5. | Idiv
  6. | Imod
  7. | Iand
  8. | Ior
  9. | Ixor
  10. | Ilsl
  11. | Ilsr
  12. | Iasr
  13. | Icomp of integer_comparison
  14. | Icheckbound of {
    1. label_after_error : label option;
    2. spacetime_index : int;
    }
    (*

    For Spacetime only, Icheckbound operations take two arguments, the second being the pointer to the trie node for the current function (and the first being as per non-Spacetime mode).

    *)
type float_comparison = Cmm.float_comparison
type test =
  1. | Itruetest
  2. | Ifalsetest
  3. | Iinttest of integer_comparison
  4. | Iinttest_imm of integer_comparison * int
  5. | Ifloattest of float_comparison
  6. | Ioddtest
  7. | Ieventest
type operation =
  1. | Imove
  2. | Ispill
  3. | Ireload
  4. | Iconst_int of nativeint
  5. | Iconst_float of int64
  6. | Iconst_symbol of string
  7. | Icall_ind of {
    1. label_after : label;
    }
  8. | Icall_imm of {
    1. func : string;
    2. label_after : label;
    }
  9. | Itailcall_ind of {
    1. label_after : label;
    }
  10. | Itailcall_imm of {
    1. func : string;
    2. label_after : label;
    }
  11. | Iextcall of {
    1. func : string;
    2. ty_res : Cmm.machtype;
    3. ty_args : Cmm.exttype list;
    4. alloc : bool;
    5. label_after : label;
    }
  12. | Istackoffset of int
  13. | Iload of Cmm.memory_chunk * Arch.addressing_mode
  14. | Istore of Cmm.memory_chunk * Arch.addressing_mode * bool
  15. | Ialloc of {
    1. bytes : int;
    2. label_after_call_gc : label option;
    3. spacetime_index : int;
    }
    (*

    For Spacetime only, Ialloc instructions take one argument, being the pointer to the trie node for the current function.

    *)
  16. | Iintop of integer_operation
  17. | Iintop_imm of integer_operation * int
  18. | Inegf
  19. | Iabsf
  20. | Iaddf
  21. | Isubf
  22. | Imulf
  23. | Idivf
  24. | Ifloatofint
  25. | Iintoffloat
  26. | Ispecific of Arch.specific_operation
  27. | Iname_for_debugger of {
    1. ident : Backend_var.t;
    2. which_parameter : int option;
    3. provenance : unit option;
    4. is_assignment : bool;
    }
    (*

    Iname_for_debugger has the following semantics: (a) The argument register(s) is/are deemed to contain the value of the given identifier. (b) If is_assignment is true, any information about other Reg.ts that have been previously deemed to hold the value of that identifier is forgotten.

    *)
type instruction = {
  1. desc : instruction_desc;
  2. next : instruction;
  3. arg : Reg.t array;
  4. res : Reg.t array;
  5. dbg : Debuginfo.t;
  6. mutable live : Reg.Set.t;
  7. mutable available_before : Reg_availability_set.t;
  8. mutable available_across : Reg_availability_set.t option;
}
and instruction_desc =
  1. | Iend
  2. | Iop of operation
  3. | Ireturn
  4. | Iifthenelse of test * instruction * instruction
  5. | Iswitch of int array * instruction array
  6. | Icatch of Cmm.rec_flag * (int * instruction) list * instruction
  7. | Iexit of int
  8. | Itrywith of instruction * instruction
  9. | Iraise of Lambda.raise_kind
type spacetime_part_of_shape =
  1. | Direct_call_point of {
    1. callee : string;
    }
  2. | Indirect_call_point
  3. | Allocation_point
type spacetime_shape = (spacetime_part_of_shape * Cmm.label) list

A description of the layout of a Spacetime profiling node associated with a given function. Each call and allocation point instrumented within the function is marked with a label in the code and assigned a place within the node. This information is stored within the executable and extracted when the user saves a profile. The aim is to minimise runtime memory usage within the nodes and increase performance.

type fundecl = {
  1. fun_name : string;
  2. fun_args : Reg.t array;
  3. fun_body : instruction;
  4. fun_codegen_options : Cmm.codegen_option list;
  5. fun_dbg : Debuginfo.t;
  6. fun_spacetime_shape : spacetime_shape option;
  7. fun_num_stack_slots : int array;
  8. fun_contains_calls : bool;
}
val dummy_instr : instruction
val end_instr : unit -> instruction
val instr_cons : instruction_desc -> Reg.t array -> Reg.t array -> instruction -> instruction
val instr_cons_debug : instruction_desc -> Reg.t array -> Reg.t array -> Debuginfo.t -> instruction -> instruction
val instr_iter : (instruction -> unit) -> instruction -> unit
val spacetime_node_hole_pointer_is_live_before : instruction -> bool
val operation_can_raise : operation -> bool