#include "MachDeps.h"
module GHC.Integer.GMP.Prim (
MPZ#,
cmpInteger#,
cmpIntegerInt#,
plusInteger#,
plusIntegerInt#,
minusInteger#,
minusIntegerInt#,
timesInteger#,
timesIntegerInt#,
quotRemInteger#,
quotRemIntegerWord#,
quotInteger#,
quotIntegerWord#,
remInteger#,
remIntegerWord#,
divModInteger#,
divModIntegerWord#,
divInteger#,
divIntegerWord#,
modInteger#,
modIntegerWord#,
divExactInteger#,
divExactIntegerWord#,
gcdInteger#,
gcdExtInteger#,
gcdIntegerInt#,
gcdInt#,
decodeDouble#,
int2Integer#,
integer2Int#,
word2Integer#,
integer2Word#,
andInteger#,
orInteger#,
xorInteger#,
complementInteger#,
testBitInteger#,
mul2ExpInteger#,
fdivQ2ExpInteger#,
powInteger#,
powModInteger#,
powModSecInteger#,
recipModInteger#,
nextPrimeInteger#,
testPrimeInteger#,
sizeInBaseInteger#,
importIntegerFromByteArray#,
importIntegerFromAddr#,
exportIntegerToMutableByteArray#,
exportIntegerToAddr#,
#if WORD_SIZE_IN_BITS < 64
int64ToInteger#, integerToInt64#,
word64ToInteger#, integerToWord64#,
#endif
#ifndef WORD_SIZE_IN_BITS
#error WORD_SIZE_IN_BITS not defined!!!
#endif
) where
import GHC.Prim
import GHC.Types
default ()
type MPZ# = (# Int#, ByteArray#, Word# #)
foreign import prim "integer_cmm_cmpIntegerzh" cmpInteger#
:: Int# -> ByteArray# -> Int# -> ByteArray# -> Int#
foreign import prim "integer_cmm_cmpIntegerIntzh" cmpIntegerInt#
:: Int# -> ByteArray# -> Int# -> Int#
foreign import prim "integer_cmm_plusIntegerzh" plusInteger#
:: Int# -> ByteArray# -> Int# -> ByteArray# -> MPZ#
foreign import prim "integer_cmm_plusIntegerIntzh" plusIntegerInt#
:: Int# -> ByteArray# -> Int# -> MPZ#
foreign import prim "integer_cmm_minusIntegerzh" minusInteger#
:: Int# -> ByteArray# -> Int# -> ByteArray# -> MPZ#
foreign import prim "integer_cmm_minusIntegerIntzh" minusIntegerInt#
:: Int# -> ByteArray# -> Int# -> MPZ#
foreign import prim "integer_cmm_timesIntegerzh" timesInteger#
:: Int# -> ByteArray# -> Int# -> ByteArray# -> MPZ#
foreign import prim "integer_cmm_timesIntegerIntzh" timesIntegerInt#
:: Int# -> ByteArray# -> Int# -> MPZ#
foreign import prim "integer_cmm_quotRemIntegerzh" quotRemInteger#
:: Int# -> ByteArray# -> Int# -> ByteArray# -> (# MPZ#, MPZ# #)
foreign import prim "integer_cmm_quotRemIntegerWordzh" quotRemIntegerWord#
:: Int# -> ByteArray# -> Word# -> (# MPZ#, MPZ# #)
foreign import prim "integer_cmm_quotIntegerzh" quotInteger#
:: Int# -> ByteArray# -> Int# -> ByteArray# -> MPZ#
foreign import prim "integer_cmm_quotIntegerWordzh" quotIntegerWord#
:: Int# -> ByteArray# -> Word# -> MPZ#
foreign import prim "integer_cmm_remIntegerzh" remInteger#
:: Int# -> ByteArray# -> Int# -> ByteArray# -> MPZ#
foreign import prim "integer_cmm_remIntegerWordzh" remIntegerWord#
:: Int# -> ByteArray# -> Word# -> MPZ#
foreign import prim "integer_cmm_divModIntegerzh" divModInteger#
:: Int# -> ByteArray# -> Int# -> ByteArray# -> (# MPZ#, MPZ# #)
foreign import prim "integer_cmm_divModIntegerWordzh" divModIntegerWord#
:: Int# -> ByteArray# -> Word# -> (# MPZ#, MPZ# #)
foreign import prim "integer_cmm_divIntegerzh" divInteger#
:: Int# -> ByteArray# -> Int# -> ByteArray# -> MPZ#
foreign import prim "integer_cmm_divIntegerWordzh" divIntegerWord#
:: Int# -> ByteArray# -> Word# -> MPZ#
foreign import prim "integer_cmm_modIntegerzh" modInteger#
:: Int# -> ByteArray# -> Int# -> ByteArray# -> MPZ#
foreign import prim "integer_cmm_modIntegerWordzh" modIntegerWord#
:: Int# -> ByteArray# -> Word# -> MPZ#
foreign import prim "integer_cmm_divExactIntegerzh" divExactInteger#
:: Int# -> ByteArray# -> Int# -> ByteArray# -> MPZ#
foreign import prim "integer_cmm_divExactIntegerWordzh" divExactIntegerWord#
:: Int# -> ByteArray# -> Word# -> MPZ#
foreign import prim "integer_cmm_gcdIntegerzh" gcdInteger#
:: Int# -> ByteArray# -> Int# -> ByteArray# -> MPZ#
foreign import prim "integer_cmm_gcdExtIntegerzh" gcdExtInteger#
:: Int# -> ByteArray# -> Int# -> ByteArray# -> (# MPZ#, MPZ# #)
foreign import prim "integer_cmm_gcdIntegerIntzh" gcdIntegerInt#
:: Int# -> ByteArray# -> Int# -> Int#
foreign import prim "integer_cmm_gcdIntzh" gcdInt#
:: Int# -> Int# -> Int#
foreign import prim "integer_cmm_decodeDoublezh" decodeDouble#
:: Double# -> (# Int#, MPZ# #)
foreign import prim "integer_cmm_int2Integerzh" int2Integer#
:: Int# -> (# Int#, ByteArray# #)
foreign import prim "integer_cmm_word2Integerzh" word2Integer#
:: Word# -> (# Int#, ByteArray# #)
foreign import prim "integer_cmm_andIntegerzh" andInteger#
:: Int# -> ByteArray# -> Int# -> ByteArray# -> MPZ#
foreign import prim "integer_cmm_orIntegerzh" orInteger#
:: Int# -> ByteArray# -> Int# -> ByteArray# -> MPZ#
foreign import prim "integer_cmm_xorIntegerzh" xorInteger#
:: Int# -> ByteArray# -> Int# -> ByteArray# -> MPZ#
foreign import prim "integer_cmm_testBitIntegerzh" testBitInteger#
:: Int# -> ByteArray# -> Int# -> Int#
foreign import prim "integer_cmm_mul2ExpIntegerzh" mul2ExpInteger#
:: Int# -> ByteArray# -> Int# -> MPZ#
foreign import prim "integer_cmm_fdivQ2ExpIntegerzh" fdivQ2ExpInteger#
:: Int# -> ByteArray# -> Int# -> MPZ#
foreign import prim "integer_cmm_powIntegerzh" powInteger#
:: Int# -> ByteArray# -> Word# -> MPZ#
foreign import prim "integer_cmm_powModIntegerzh" powModInteger#
:: Int# -> ByteArray# -> Int# -> ByteArray# -> Int# -> ByteArray# -> MPZ#
foreign import prim "integer_cmm_powModSecIntegerzh" powModSecInteger#
:: Int# -> ByteArray# -> Int# -> ByteArray# -> Int# -> ByteArray# -> MPZ#
foreign import prim "integer_cmm_recipModIntegerzh" recipModInteger#
:: Int# -> ByteArray# -> Int# -> ByteArray# -> MPZ#
foreign import prim "integer_cmm_nextPrimeIntegerzh" nextPrimeInteger#
:: Int# -> ByteArray# -> MPZ#
foreign import prim "integer_cmm_testPrimeIntegerzh" testPrimeInteger#
:: Int# -> ByteArray# -> Int# -> Int#
foreign import prim "integer_cmm_sizeInBasezh" sizeInBaseInteger#
:: Int# -> ByteArray# -> Int# -> Word#
foreign import prim "integer_cmm_importIntegerFromByteArrayzh" importIntegerFromByteArray#
:: ByteArray# -> Word# -> Word# -> Int# -> MPZ#
foreign import prim "integer_cmm_importIntegerFromAddrzh" importIntegerFromAddr#
:: Addr# -> Word# -> Int# -> State# s -> (# State# s, MPZ# #)
foreign import prim "integer_cmm_exportIntegerToMutableByteArrayzh" exportIntegerToMutableByteArray#
:: Int# -> ByteArray# -> MutableByteArray# s -> Word# -> Int# -> State# s -> (# State# s, Word# #)
foreign import prim "integer_cmm_exportIntegerToAddrzh" exportIntegerToAddr#
:: Int# -> ByteArray# -> Addr# -> Int# -> State# s -> (# State# s, Word# #)
foreign import prim "integer_cmm_complementIntegerzh" complementInteger#
:: Int# -> ByteArray# -> MPZ#
#if WORD_SIZE_IN_BITS < 64
foreign import prim "integer_cmm_int64ToIntegerzh" int64ToInteger#
:: Int64# -> (# Int#, ByteArray# #)
foreign import prim "integer_cmm_word64ToIntegerzh" word64ToInteger#
:: Word64# -> (# Int#, ByteArray# #)
foreign import ccall unsafe "hs_integerToInt64"
integerToInt64# :: Int# -> ByteArray# -> Int64#
foreign import ccall unsafe "hs_integerToWord64"
integerToWord64# :: Int# -> ByteArray# -> Word64#
#endif
integer2Int# :: Int# -> ByteArray# -> Int#
integer2Int# s d = if isTrue# (s ==# 0#)
then 0#
else let !v = indexIntArray# d 0# in
if isTrue# (s <# 0#)
then negateInt# v
else v
integer2Word# :: Int# -> ByteArray# -> Word#
integer2Word# s d = int2Word# (integer2Int# s d)