module GHC.Utils.Word64 ( intToWord64, word64ToInt, truncateWord64ToWord32, ) where import GHC.Prelude import GHC.Utils.Panic.Plain (assert) import GHC.Utils.Misc (HasDebugCallStack) import Data.Word intToWord64 :: HasDebugCallStack => Int -> Word64 intToWord64 :: HasDebugCallStack => Int -> Word64 intToWord64 Int x = Bool -> Word64 -> Word64 forall a. HasCallStack => Bool -> a -> a assert (Int 0 Int -> Int -> Bool forall a. Ord a => a -> a -> Bool <= Int x) (Int -> Word64 forall a b. (Integral a, Num b) => a -> b fromIntegral Int x) word64ToInt :: HasDebugCallStack => Word64 -> Int word64ToInt :: HasDebugCallStack => Word64 -> Int word64ToInt Word64 x = Bool -> Int -> Int forall a. HasCallStack => Bool -> a -> a assert (Word64 x Word64 -> Word64 -> Bool forall a. Ord a => a -> a -> Bool <= Int -> Word64 forall a b. (Integral a, Num b) => a -> b fromIntegral (Int forall a. Bounded a => a maxBound :: Int)) (Word64 -> Int forall a b. (Integral a, Num b) => a -> b fromIntegral Word64 x) truncateWord64ToWord32 :: Word64 -> Word32 truncateWord64ToWord32 :: Word64 -> Word32 truncateWord64ToWord32 = Word64 -> Word32 forall a b. (Integral a, Num b) => a -> b fromIntegral