Module Jasmin.RegallocSource

Sourceval fill_in_missing_names : ('info, 'asm) Prog.func -> ('info, 'asm) Prog.func
Sourcetype retaddr =
  1. | StackDirect
  2. | StackByReg of Prog.var * Prog.var option * Prog.var option
  3. | ByReg of Prog.var * Prog.var option
Sourcetype reg_oracle_t = {
  1. ro_to_save : Prog.var list;
    (*

    The list of callee save registers that are modified by a call to the export function

    *)
  2. ro_rsp : Prog.var option;
    (*

    A register that can be used to save the rsp of export function

    *)
}
Sourcemodule type Regalloc = sig ... end