Module X86_env

condition flag bits

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 pref_lock : int
val repnz : int
val repz : int
val hint_bnt : int
val hint_bt : int
val pref_cs : int
val pref_ss : int
val pref_ds : int
val pref_es : int
val pref_fs : int
val pref_gs : int
val pref_opsize : int
val pref_addrsize : int
val standard_prefs : int list

Prefixes that we can usually handle automatically

module type ModeVars = sig ... end

CPU BIL variables.

module R32 : ModeVars

32-bit mode registers

module R64 : ModeVars

64-bit mode registers

val vars_of_mode : X86_types.mode -> (module ModeVars)

vars_of_mode mode creates registers for a mode