{-# LANGUAGE CPP #-}
{-# LANGUAGE MagicHash #-}
module HaskellWorks.Data.Branchless
( ltWord8
, ltWord16
, ltWord32
, ltWord64
, leWord8
, leWord16
, leWord32
, leWord64
, gtWord8
, gtWord16
, gtWord32
, gtWord64
, geWord8
, geWord16
, geWord32
, geWord64
) where
import GHC.Int
import GHC.Prim
import GHC.Word (Word16 (..), Word32 (..), Word64 (..), Word8 (..))
ltWord8 :: Word8 -> Word8 -> Word8
#if MIN_VERSION_base(4,16,0)
ltWord8 :: Word8 -> Word8 -> Word8
ltWord8 (W8# Word8#
a#) (W8# Word8#
b#) = forall a b. (Integral a, Num b) => a -> b
fromIntegral (Int# -> Int
I# (Word8# -> Word8# -> Int#
ltWord8# Word8#
a# Word8#
b#))
#else
ltWord8 (W8# a#) (W8# b#) = fromIntegral (I8# (ltWord# a# b#))
#endif
{-# INLINE ltWord8 #-}
ltWord16 :: Word16 -> Word16 -> Word16
#if MIN_VERSION_base(4,16,0)
ltWord16 :: Word16 -> Word16 -> Word16
ltWord16 (W16# Word16#
a#) (W16# Word16#
b#) = forall a b. (Integral a, Num b) => a -> b
fromIntegral (Int# -> Int
I# (Word16# -> Word16# -> Int#
ltWord16# Word16#
a# Word16#
b#))
#else
ltWord16 (W16# a#) (W16# b#) = fromIntegral (I16# (ltWord# a# b#))
#endif
{-# INLINE ltWord16 #-}
ltWord32 :: Word32 -> Word32 -> Word32
#if MIN_VERSION_base(4,16,0)
ltWord32 :: Word32 -> Word32 -> Word32
ltWord32 (W32# Word32#
a#) (W32# Word32#
b#) = forall a b. (Integral a, Num b) => a -> b
fromIntegral (Int# -> Int
I# (Word32# -> Word32# -> Int#
ltWord32# Word32#
a# Word32#
b#))
#else
ltWord32 (W32# a#) (W32# b#) = fromIntegral (I32# (ltWord# a# b#))
#endif
{-# INLINE ltWord32 #-}
ltWord64 :: Word64 -> Word64 -> Word64
#if MIN_VERSION_base(4,17,0)
ltWord64 (W64# a#) (W64# b#) = fromIntegral (I# (ltWord64# a# b#))
#elif MIN_VERSION_base(4,16,0)
ltWord64 :: Word64 -> Word64 -> Word64
ltWord64 (W64# Word#
a#) (W64# Word#
b#) = forall a b. (Integral a, Num b) => a -> b
fromIntegral (Int# -> Int
I# (Word# -> Word# -> Int#
ltWord# Word#
a# Word#
b#))
#else
ltWord64 (W64# a#) (W64# b#) = fromIntegral (I64# (ltWord# a# b#))
#endif
{-# INLINE ltWord64 #-}
leWord8 :: Word8 -> Word8 -> Word8
#if MIN_VERSION_base(4,16,0)
leWord8 :: Word8 -> Word8 -> Word8
leWord8 (W8# Word8#
a#) (W8# Word8#
b#) = forall a b. (Integral a, Num b) => a -> b
fromIntegral (Int# -> Int
I# (Word8# -> Word8# -> Int#
leWord8# Word8#
a# Word8#
b#))
#else
leWord8 (W8# a#) (W8# b#) = fromIntegral (I8# (leWord# a# b#))
#endif
{-# INLINE leWord8 #-}
leWord16 :: Word16 -> Word16 -> Word16
#if MIN_VERSION_base(4,16,0)
leWord16 :: Word16 -> Word16 -> Word16
leWord16 (W16# Word16#
a#) (W16# Word16#
b#) = forall a b. (Integral a, Num b) => a -> b
fromIntegral (Int# -> Int
I# (Word16# -> Word16# -> Int#
leWord16# Word16#
a# Word16#
b#))
#else
leWord16 (W16# a#) (W16# b#) = fromIntegral (I16# (leWord# a# b#))
#endif
{-# INLINE leWord16 #-}
leWord32 :: Word32 -> Word32 -> Word32
#if MIN_VERSION_base(4,16,0)
leWord32 :: Word32 -> Word32 -> Word32
leWord32 (W32# Word32#
a#) (W32# Word32#
b#) = forall a b. (Integral a, Num b) => a -> b
fromIntegral (Int# -> Int
I# (Word32# -> Word32# -> Int#
leWord32# Word32#
a# Word32#
b#))
#else
leWord32 (W32# a#) (W32# b#) = fromIntegral (I32# (leWord# a# b#))
#endif
{-# INLINE leWord32 #-}
leWord64 :: Word64 -> Word64 -> Word64
#if MIN_VERSION_base(4,17,0)
leWord64 (W64# a#) (W64# b#) = fromIntegral (I# (leWord64# a# b#))
#elif MIN_VERSION_base(4,16,0)
leWord64 :: Word64 -> Word64 -> Word64
leWord64 (W64# Word#
a#) (W64# Word#
b#) = forall a b. (Integral a, Num b) => a -> b
fromIntegral (Int# -> Int
I# (Word# -> Word# -> Int#
leWord# Word#
a# Word#
b#))
#else
leWord64 (W64# a#) (W64# b#) = fromIntegral (I64# (leWord# a# b#))
#endif
{-# INLINE leWord64 #-}
gtWord8 :: Word8 -> Word8 -> Word8
#if MIN_VERSION_base(4,16,0)
gtWord8 :: Word8 -> Word8 -> Word8
gtWord8 (W8# Word8#
a#) (W8# Word8#
b#) = forall a b. (Integral a, Num b) => a -> b
fromIntegral (Int# -> Int
I# (Word8# -> Word8# -> Int#
gtWord8# Word8#
a# Word8#
b#))
#else
gtWord8 (W8# a#) (W8# b#) = fromIntegral (I8# (gtWord# a# b#))
#endif
{-# INLINE gtWord8 #-}
gtWord16 :: Word16 -> Word16 -> Word16
#if MIN_VERSION_base(4,16,0)
gtWord16 :: Word16 -> Word16 -> Word16
gtWord16 (W16# Word16#
a#) (W16# Word16#
b#) = forall a b. (Integral a, Num b) => a -> b
fromIntegral (Int# -> Int
I# (Word16# -> Word16# -> Int#
gtWord16# Word16#
a# Word16#
b#))
#else
gtWord16 (W16# a#) (W16# b#) = fromIntegral (I16# (gtWord# a# b#))
#endif
{-# INLINE gtWord16 #-}
gtWord32 :: Word32 -> Word32 -> Word32
#if MIN_VERSION_base(4,16,0)
gtWord32 :: Word32 -> Word32 -> Word32
gtWord32 (W32# Word32#
a#) (W32# Word32#
b#) = forall a b. (Integral a, Num b) => a -> b
fromIntegral (Int# -> Int
I# (Word32# -> Word32# -> Int#
gtWord32# Word32#
a# Word32#
b#))
#else
gtWord32 (W32# a#) (W32# b#) = fromIntegral (I32# (gtWord# a# b#))
#endif
{-# INLINE gtWord32 #-}
gtWord64 :: Word64 -> Word64 -> Word64
#if MIN_VERSION_base(4,17,0)
gtWord64 (W64# a#) (W64# b#) = fromIntegral (I# (gtWord64# a# b#))
#elif MIN_VERSION_base(4,16,0)
gtWord64 :: Word64 -> Word64 -> Word64
gtWord64 (W64# Word#
a#) (W64# Word#
b#) = forall a b. (Integral a, Num b) => a -> b
fromIntegral (Int# -> Int
I# (Word# -> Word# -> Int#
gtWord# Word#
a# Word#
b#))
#else
gtWord64 (W64# a#) (W64# b#) = fromIntegral (I64# (gtWord# a# b#))
#endif
{-# INLINE gtWord64 #-}
geWord8 :: Word8 -> Word8 -> Word8
#if MIN_VERSION_base(4,16,0)
geWord8 :: Word8 -> Word8 -> Word8
geWord8 (W8# Word8#
a#) (W8# Word8#
b#) = forall a b. (Integral a, Num b) => a -> b
fromIntegral (Int# -> Int
I# (Word8# -> Word8# -> Int#
geWord8# Word8#
a# Word8#
b#))
#else
geWord8 (W8# a#) (W8# b#) = fromIntegral (I8# (geWord# a# b#))
#endif
{-# INLINE geWord8 #-}
geWord16 :: Word16 -> Word16 -> Word16
#if MIN_VERSION_base(4,16,0)
geWord16 :: Word16 -> Word16 -> Word16
geWord16 (W16# Word16#
a#) (W16# Word16#
b#) = forall a b. (Integral a, Num b) => a -> b
fromIntegral (Int# -> Int
I# (Word16# -> Word16# -> Int#
geWord16# Word16#
a# Word16#
b#))
#else
geWord16 (W16# a#) (W16# b#) = fromIntegral (I16# (geWord# a# b#))
#endif
{-# INLINE geWord16 #-}
geWord32 :: Word32 -> Word32 -> Word32
#if MIN_VERSION_base(4,16,0)
geWord32 :: Word32 -> Word32 -> Word32
geWord32 (W32# Word32#
a#) (W32# Word32#
b#) = forall a b. (Integral a, Num b) => a -> b
fromIntegral (Int# -> Int
I# (Word32# -> Word32# -> Int#
geWord32# Word32#
a# Word32#
b#))
#else
geWord32 (W32# a#) (W32# b#) = fromIntegral (I32# (geWord# a# b#))
#endif
{-# INLINE geWord32 #-}
geWord64 :: Word64 -> Word64 -> Word64
#if MIN_VERSION_base(4,17,0)
geWord64 (W64# a#) (W64# b#) = fromIntegral (I# (geWord64# a# b#))
#elif MIN_VERSION_base(4,16,0)
geWord64 :: Word64 -> Word64 -> Word64
geWord64 (W64# Word#
a#) (W64# Word#
b#) = forall a b. (Integral a, Num b) => a -> b
fromIntegral (Int# -> Int
I# (Word# -> Word# -> Int#
geWord# Word#
a# Word#
b#))
#else
geWord64 (W64# a#) (W64# b#) = fromIntegral (I64# (geWord# a# b#))
#endif
{-# INLINE geWord64 #-}