CoqToLeanAsm: x86 Macro Assembler in Lean 4

10.2. Flags

The EFLAGS register:

X86.Flags.CF (self : Flags) : Bool#check Flags.CF -- Carry flag X86.Flags.ZF (self : Flags) : Bool#check Flags.ZF -- Zero flag X86.Flags.SF (self : Flags) : Bool#check Flags.SF -- Sign flag X86.Flags.OF (self : Flags) : Bool#check Flags.OF -- Overflow flag X86.Flags.PF (self : Flags) : Bool#check Flags.PF -- Parity flag X86.Flags.DF (self : Flags) : Bool#check Flags.DF -- Direction flag