ghc-8.10.5: The GHC API
Safe HaskellSafe-Inferred
LanguageHaskell2010

X86.Cond

Synopsis

Documentation

data Cond Source #

Constructors

ALWAYS 
EQQ 
GE 
GEU 
GTT 
GU 
LE 
LEU 
LTT 
LU 
NE 
NEG 
POS 
CARRY 
OFLO 
PARITY 
NOTPARITY 

Instances

Instances details
Eq Cond # 
Instance details

Defined in X86.Cond

Methods

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

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

maybeFlipCond :: Cond -> Maybe Cond Source #

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 Source #

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.