Regalloc (p.jasmin.2026.03.0.doc.jasmin.jasmin.Jasmin.Regalloc.Regalloc)

Parameters

module Arch : Arch_full.Arch

Signature

val create_return_addresses : 
  (('info, 'asm) Prog.sfundef -> Z.t) ->
  ('info, 'asm) Prog.sfundef list ->
  retaddr Jasmin.Prog.Hf.t

Compute where the return address will be stored

Source

val renaming : 
  (unit,
    (Arch.reg,
      Arch.regx,
      Arch.xreg,
      Arch.rflag,
      Arch.cond,
      Arch.asm_op,
      Arch.extra_op)
      Arch_extra.extended_op)
    Prog.func ->
  (unit,
    (Arch.reg,
      Arch.regx,
      Arch.xreg,
      Arch.rflag,
      Arch.cond,
      Arch.asm_op,
      Arch.extra_op)
      Arch_extra.extended_op)
    Prog.func

Source

val subroutine_ra_by_stack : 
  (unit,
    (Arch.reg,
      Arch.regx,
      Arch.xreg,
      Arch.rflag,
      Arch.cond,
      Arch.asm_op,
      Arch.extra_op)
      Arch_extra.extended_op)
    Prog.func ->
  bool

Source

val get_reg_oracle : 
  (('info, 'asm) Prog.func -> bool) ->
  (Prog.var -> Prog.var) ->
  (Prog.funname -> Prog.Sv.t) ->
  ('info, 'asm) Prog.func ->
  reg_oracle_t

Extract from the outcome of register allocation the information that is needed by stack-allocation. To be called on export functions only.

Source

val alloc_prog : 
  retaddr Jasmin.Prog.Hf.t ->
  ('a
   * (unit,
       (Arch.reg,
         Arch.regx,
         Arch.xreg,
         Arch.rflag,
         Arch.cond,
         Arch.asm_op,
         Arch.extra_op)
         Arch_extra.extended_op)
       Prog.func)
    list ->
  (Prog.var ->
  Prog.var)
  * (Prog.funname ->
  Prog.Sv.t)
  * ('a
     * (unit,
         (Arch.reg,
           Arch.regx,
           Arch.xreg,
           Arch.rflag,
           Arch.cond,
           Arch.asm_op,
           Arch.extra_op)
           Arch_extra.extended_op)
         Prog.func)
      list

Returns:

the global renaming function
the set of killed registers (see note below)
the input function with variables turned into registers

Note: Export functions can freely use caller-saved registers: they are not reported as killed. Subroutines report ALL killed registers.