Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
condToUnsigned :: Cond -> Cond Source #
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.