X86_env
val cf : Bap.Std.var
carry flag
val pf : Bap.Std.var
parity flag
val af : Bap.Std.var
adjust flag
val zf : Bap.Std.var
zero flag
val sf : Bap.Std.var
sign flag
val oF : Bap.Std.var
overflow flag
val df : Bap.Std.var
direction flag
val cs : Bap.Std.var
code segment
val ds : Bap.Std.var
data segment
val es : Bap.Std.var
extra data segment #1
val fs : Bap.Std.var
extra data segment #2
val gs : Bap.Std.var
extra data segment #3
val ss : Bap.Std.var
stack segment
val fpu_ctrl : Bap.Std.var
fpu control register
val mxcsr : Bap.Std.var
mx status control register
val o_rax : X86_types.operand
val o_rcx : X86_types.operand
val o_rdx : X86_types.operand
val o_rbx : X86_types.operand
val o_rsp : X86_types.operand
val o_rbp : X86_types.operand
val o_fs : X86_types.operand
val o_gs : X86_types.operand
module type ModeVars = sig ... end
CPU BIL variables.
val vars_of_mode : X86_types.mode -> (module ModeVars)
vars_of_mode mode
creates registers for a mode