package ocaml-solo5-cross-aarch64

  1. Overview
  2. Docs
OCaml cross-compiler to the freestanding 64-bit ARM Solo5 backend

Install 

dune-project
 Dependency

github.com Edit opam file Versions (10)

Authors

  1. M
    Martin Lucina <martin@lucina.net>

Maintainers

  1. M
    Martin Lucina <martin@lucina.net>

Sources

v1.2.2.tar.gz
sha512=7a6a0e2c1c9b2b64b87eb558e36365a0d142933d406efe125bb52ba29d2d570980aec98328e93527548ef16a3e9d4142380b86d1391fed0419cd446a1b101ac1

doc/compiler-libs.optcomp/Selectgen/class-selector_generic/index.html

Class Selectgen.selector_generic

method is_immediate : Mach.integer_operation -> int -> bool
method virtual is_immediate_test : Mach.integer_comparison -> int -> bool
method virtual select_addressing : Cmm.memory_chunk -> Cmm.expression -> Arch.addressing_mode * Cmm.expression
method is_simple_expr : Cmm.expression -> bool
method effects_of : Cmm.expression -> Effect_and_coeffect.t
method select_operation : Cmm.operation -> Cmm.expression list -> Debuginfo.t -> Mach.operation * Cmm.expression list
method select_condition : Cmm.expression -> Mach.test * Cmm.expression
method regs_for : Cmm.machtype -> Reg.t array
method insert_op : environment -> Mach.operation -> Reg.t array -> Reg.t array -> Reg.t array
method insert_op_debug : environment -> Mach.operation -> Debuginfo.t -> Reg.t array -> Reg.t array -> Reg.t array
method insert_move_extcall_arg : environment -> Cmm.exttype -> Reg.t array -> Reg.t array -> unit
method emit_extcall_args : environment -> Cmm.exttype list -> Cmm.expression list -> Reg.t array * int
method emit_stores : environment -> Cmm.expression list -> Reg.t array -> unit
method emit_fundecl : future_funcnames:Misc.Stdlib.String.Set.t -> Cmm.fundecl -> Mach.fundecl
method extract_onto : Mach.instruction -> Mach.instruction
method extract : Mach.instruction
method insert : environment -> Mach.instruction_desc -> Reg.t array -> Reg.t array -> unit
method insert_debug : environment -> Mach.instruction_desc -> Debuginfo.t -> Reg.t array -> Reg.t array -> unit
method insert_move : environment -> Reg.t -> Reg.t -> unit
method insert_move_args : environment -> Reg.t array -> Reg.t array -> int -> unit
method insert_move_results : environment -> Reg.t array -> Reg.t array -> int -> unit
method insert_moves : environment -> Reg.t array -> Reg.t array -> unit
method emit_expr : environment -> Cmm.expression -> Reg.t array option
method emit_tail : environment -> Cmm.expression -> unit