Module Riscv_arch_full.RiscvSource

Parameters

Signature

Sourcetype reg
Sourcetype regx
Sourcetype xreg
Sourcetype rflag
Sourcetype cond
Sourcetype asm_op
Sourcetype extra_op
Sourcetype lowering_options
Sourceval alloc_stack_need_extra : Z.t -> bool
Sourceval lowering_opt : lowering_options
Sourceval not_saved_stack : Prog.var list
Sourceval known_implicits : (Jasmin.Prog.Name.t * string) list
Sourceval is_ct_asm_op : asm_op -> bool
Sourceval is_doit_asm_op : asm_op -> bool
Sourceval is_ct_asm_extra : extra_op -> bool
Sourceval is_doit_asm_extra : extra_op -> bool