GHC.CmmToAsm.X86.Cond

Documentation

data Cond

Constructors

ALWAYS

EQQ

GE

GEU

GTT

GU

LE

LEU

LTT

LU

NE

NEG

POS

CARRY

OFLO

PARITY

NOTPARITY

Instances

Eq Cond

Defined in GHC.CmmToAsm.X86.Cond

Methods

(==) :: Cond -> Cond -> Bool

(/=) :: Cond -> Cond -> Bool

condToUnsigned :: Cond -> Cond

maybeFlipCond :: Cond -> Maybe Cond

maybeFlipCond c returns Just c' if it is possible to flip the arguments to the conditional c, and the new condition should be c'.

maybeInvertCond :: Cond -> Maybe Cond

If we apply maybeInvertCond to the condition of a jump we turn jumps taken into jumps not taken and vice versa.

Careful! If the used comparison and the conditional jump don't match the above behaviour will NOT hold. When used for FP comparisons this does not consider unordered numbers. Also inverting twice might return a synonym for the original condition.