Up – Package index » jasmin » Library jasmin.jasmin » Jasmin » StackAlloc » StackAlloc

Module `StackAlloc.StackAlloc`Source

Parameters

module Arch : Arch_full.Arch

Signature

val memory_analysis : 
  (Stack_alloc.sub_region -> Compiler_util.pp_error) ->
  (Format.formatter -> Compiler_util.pp_error -> unit) ->
  debug:bool ->
  (Arch.reg,
    Arch.regx,
    Arch.xreg,
    Arch.rflag,
    Arch.cond,
    Arch.asm_op,
    Arch.extra_op)
    Arch_extra.extended_op
    Expr._uprog ->
  Compiler.stack_alloc_oracles