7 #ifndef SECP256K1_ASSUMPTIONS_H 8 #define SECP256K1_ASSUMPTIONS_H 13 #if defined(SECP256K1_INT128_NATIVE) 61 #
if defined(SECP256K1_INT128_NATIVE)
62 ((
int64_t)(((uint128_t)0xA1234567B8901234ULL << 64) + 0xC5678901D2345678ULL) == (
int64_t)-(
int64_t)0x3A9876FE2DCBA988ULL) &&
63 (((
int64_t)(int128_t)(((uint128_t)0xB1C2D3E4F5A6B7C8ULL << 64) + 0xD9E0F1A2B3C4D5E6ULL)) == (
int64_t)(
uint64_t)0xD9E0F1A2B3C4D5E6ULL) &&
64 (((
int64_t)(int128_t)(((uint128_t)0xABCDEF0123456789ULL << 64) + 0x0123456789ABCDEFULL)) == (
int64_t)(
uint64_t)0x0123456789ABCDEFULL) &&
67 ((int128_t)(((uint128_t)0xB1234567C8901234ULL << 64) + 0xD5678901E2345678ULL) == (int128_t)(-(int128_t)0x8E1648B3F50E80DCULL * 0x8E1648B3F50E80DDULL + 0x5EA688D5482F9464ULL)) &&
77 #
if defined(SECP256K1_INT128_NATIVE)
78 ((((int128_t)(((uint128_t)0xCD833A65684A0DBCULL << 64) + 0xB349312F71EA7637ULL)) >> 39) == (int128_t)(((uint128_t)0xFFFFFFFFFF9B0674ULL << 64) + 0xCAD0941B79669262ULL)) &&
int dummy_array[((CHAR_BIT==8) &&(UINT_MAX<=UINT32_MAX) &&((int8_t)(uint8_t) 0xAB==(int8_t) -(int8_t) 0x55) &&((int8_t)(uint16_t) 0xABCD==(int8_t) -(int8_t) 0x33) &&((int8_t)(int16_t)(uint16_t) 0xCDEF==(int8_t)(uint8_t) 0xEF) &&((int8_t)(int16_t)(uint16_t) 0x9234==(int8_t)(uint8_t) 0x34) &&((int16_t)(uint16_t) 0xBCDE==(int16_t) -(int16_t) 0x4322) &&((int16_t)(uint32_t) 0xA1B2C3D4==(int16_t) -(int16_t) 0x3C2C) &&((int16_t)(int32_t)(uint32_t) 0xC1D2E3F4==(int16_t)(uint16_t) 0xE3F4) &&((int16_t)(int32_t)(uint32_t) 0x92345678==(int16_t)(uint16_t) 0x5678) &&((int32_t)(uint32_t) 0xB2C3D4E5==(int32_t) -(int32_t) 0x4D3C2B1B) &&((int32_t)(uint64_t) 0xA123B456C789D012ULL==(int32_t) -(int32_t) 0x38762FEE) &&((int32_t)(int64_t)(uint64_t) 0xC1D2E3F4A5B6C7D8ULL==(int32_t)(uint32_t) 0xA5B6C7D8) &&((int32_t)(int64_t)(uint64_t) 0xABCDEF0123456789ULL==(int32_t)(uint32_t) 0x23456789) &&((int64_t)(uint64_t) 0xB123C456D789E012ULL==(int64_t) -(int64_t) 0x4EDC3BA928761FEEULL) &&((((int8_t) 0xE8) >> 2)==(int8_t)(uint8_t) 0xFA) &&((((int16_t) 0xE9AC) >> 4)==(int16_t)(uint16_t) 0xFE9A) &&((((int32_t) 0x937C918A) >> 9)==(int32_t)(uint32_t) 0xFFC9BE48) &&((((int64_t) 0xA8B72231DF9CF4B9ULL) >> 19)==(int64_t)(uint64_t) 0xFFFFF516E4463BF3ULL) &&1) *2 - 1]
unsigned __int64 uint64_t