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

Module `Jasmin.X86`

val x86_eval_cond : 
  (X86_decl.rflag -> (Utils0.error, bool) Utils0.result) ->
  X86_decl.condt ->
  (Utils0.error, bool) Utils0.result

val x86 : 
  (X86_decl.register,
    X86_decl.register_ext,
    X86_decl.xmm_register,
    X86_decl.rflag,
    X86_decl.condt,
    X86_instr_decl.x86_op)
    Arch_decl.asm