package jasmin

  1. Overview
  2. Docs
package jasmin
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module X86_arch_full.X86Source

Parameters

Signature

Sourcetype lowering_options
Sourceval alloc_stack_need_extra : Z.t -> bool
val 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