Moduleghc-10.0.0.20260917GHC2024

GHC.CmmToAsm.X86.Cond

1 type
3 values

Packageghc-10.0.0.20260917
Exports4
LanguageGHC2024
LicenceBSD-3-Clause
SourceCond.hs

datadata Cond

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

Instances1Eq

Eq CondDefined in ghc-10.0.0.20260917 · GHC.CmmToAsm.X86.Cond

valuecondToUnsigned :: Cond -> Cond

valuemaybeFlipCond :: 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'.

valuemaybeInvertCond :: 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.