uint128_t
FIAT_25519_FIAT_EXTENSION typedef uint128_t fiat_25519_uint128;
#define BN_ULLONG uint128_t
#define BN_UMULT_HIGH(a, b) (((uint128_t)(a) * (b)) >> 64)
uint128_t ret=(uint128_t)(a)*(b); \
typedef uint128_t u128;
static ossl_inline uint128_t widemul(uint64_t a, uint64_t b)
return ((uint128_t)a) * b;
uint128_t accum0 = 0, accum1 = 0, accum2;
uint128_t accum0 = 0, accum1 = 0, accum2;
uint128_t accum0 = 0, accum4 = 0;
typedef uint128_t c448_dword_t;
typedef uint128_t dword_t;
typedef uint128_t widelimb;
typedef uint128_t limb;
a = ((uint128_t)small[0]) * small[0];
a = ((uint128_t)small[0]) * small[1];
a = ((uint128_t)small[0]) * small[2];
a = ((uint128_t)small[0]) * small[3];
a = ((uint128_t)small[1]) * small[2];
a = ((uint128_t)small[1]) * small[1];
a = ((uint128_t)small[1]) * small[3];
a = ((uint128_t)small[2]) * small[3];
a = ((uint128_t)small[2]) * small[2];
a = ((uint128_t)small[3]) * small[3];
a = ((uint128_t)small1[0]) * small2[0];
a = ((uint128_t)small1[0]) * small2[1];
a = ((uint128_t)small1[1]) * small2[0];
a = ((uint128_t)small1[0]) * small2[2];
a = ((uint128_t)small1[1]) * small2[1];
a = ((uint128_t)small1[2]) * small2[0];
a = ((uint128_t)small1[0]) * small2[3];
a = ((uint128_t)small1[1]) * small2[2];
a = ((uint128_t)small1[2]) * small2[1];
a = ((uint128_t)small1[3]) * small2[0];
a = ((uint128_t)small1[1]) * small2[3];
a = ((uint128_t)small1[2]) * small2[2];
a = ((uint128_t)small1[3]) * small2[1];
a = ((uint128_t)small1[2]) * small2[3];
a = ((uint128_t)small1[3]) * small2[2];
a = ((uint128_t)small1[3]) * small2[3];
uint128_t r = *result;
uint128_t a = ((uint128_t)kPrime[i]) - out[i];
typedef uint128_t widelimb;
out[0] = ((uint128_t)in[0]) * in[0];
out[1] = ((uint128_t)in[0]) * inx2[1];
out[2] = ((uint128_t)in[0]) * inx2[2]
+ ((uint128_t)in[1]) * in[1];
out[3] = ((uint128_t)in[0]) * inx2[3]
+ ((uint128_t)in[1]) * inx2[2];
out[4] = ((uint128_t)in[0]) * inx2[4]
+ ((uint128_t)in[1]) * inx2[3]
+ ((uint128_t)in[2]) * in[2];
out[5] = ((uint128_t)in[0]) * inx2[5]
+ ((uint128_t)in[1]) * inx2[4]
+ ((uint128_t)in[2]) * inx2[3];
out[6] = ((uint128_t)in[0]) * inx2[6]
+ ((uint128_t)in[1]) * inx2[5]
+ ((uint128_t)in[2]) * inx2[4]
+ ((uint128_t)in[3]) * in[3];
out[7] = ((uint128_t)in[1]) * inx2[6]
+ ((uint128_t)in[2]) * inx2[5]
+ ((uint128_t)in[3]) * inx2[4];
out[8] = ((uint128_t)in[2]) * inx2[6]
+ ((uint128_t)in[3]) * inx2[5]
+ ((uint128_t)in[4]) * in[4];
out[9] = ((uint128_t)in[3]) * inx2[6]
+ ((uint128_t)in[4]) * inx2[5];
out[10] = ((uint128_t)in[4]) * inx2[6]
+ ((uint128_t)in[5]) * in[5];
out[11] = ((uint128_t)in[5]) * inx2[6];
out[12] = ((uint128_t)in[6]) * in[6];
out[0] = ((uint128_t)in1[0]) * in2[0];
out[1] = ((uint128_t)in1[0]) * in2[1]
+ ((uint128_t)in1[1]) * in2[0];
out[2] = ((uint128_t)in1[0]) * in2[2]
+ ((uint128_t)in1[1]) * in2[1]
+ ((uint128_t)in1[2]) * in2[0];
out[3] = ((uint128_t)in1[0]) * in2[3]
+ ((uint128_t)in1[1]) * in2[2]
+ ((uint128_t)in1[2]) * in2[1]
+ ((uint128_t)in1[3]) * in2[0];
out[4] = ((uint128_t)in1[0]) * in2[4]
+ ((uint128_t)in1[1]) * in2[3]
+ ((uint128_t)in1[2]) * in2[2]
+ ((uint128_t)in1[3]) * in2[1]
+ ((uint128_t)in1[4]) * in2[0];
out[5] = ((uint128_t)in1[0]) * in2[5]
+ ((uint128_t)in1[1]) * in2[4]
+ ((uint128_t)in1[2]) * in2[3]
+ ((uint128_t)in1[3]) * in2[2]
+ ((uint128_t)in1[4]) * in2[1]
+ ((uint128_t)in1[5]) * in2[0];
out[6] = ((uint128_t)in1[0]) * in2[6]
+ ((uint128_t)in1[1]) * in2[5]
+ ((uint128_t)in1[2]) * in2[4]
+ ((uint128_t)in1[3]) * in2[3]
+ ((uint128_t)in1[4]) * in2[2]
+ ((uint128_t)in1[5]) * in2[1]
+ ((uint128_t)in1[6]) * in2[0];
out[7] = ((uint128_t)in1[1]) * in2[6]
+ ((uint128_t)in1[2]) * in2[5]
+ ((uint128_t)in1[3]) * in2[4]
+ ((uint128_t)in1[4]) * in2[3]
+ ((uint128_t)in1[5]) * in2[2]
+ ((uint128_t)in1[6]) * in2[1];
out[8] = ((uint128_t)in1[2]) * in2[6]
+ ((uint128_t)in1[3]) * in2[5]
+ ((uint128_t)in1[4]) * in2[4]
+ ((uint128_t)in1[5]) * in2[3]
+ ((uint128_t)in1[6]) * in2[2];
out[9] = ((uint128_t)in1[3]) * in2[6]
+ ((uint128_t)in1[4]) * in2[5]
+ ((uint128_t)in1[5]) * in2[4]
+ ((uint128_t)in1[6]) * in2[3];
out[10] = ((uint128_t)in1[4]) * in2[6]
+ ((uint128_t)in1[5]) * in2[5]
+ ((uint128_t)in1[6]) * in2[4];
out[11] = ((uint128_t)in1[5]) * in2[6]
+ ((uint128_t)in1[6]) * in2[5];
out[12] = ((uint128_t)in1[6]) * in2[6];
typedef uint128_t largefelem[NLIMBS];
static const uint128_t two127m70 = (((uint128_t)1) << 127) - (((uint128_t)1) << 70);
static const uint128_t two127m69 = (((uint128_t)1) << 127) - (((uint128_t)1) << 69);
out[0] = ((uint128_t)in[0]) * in[0];
out[1] = ((uint128_t)in[0]) * inx2[1];
out[2] = ((uint128_t)in[0]) * inx2[2] + ((uint128_t)in[1]) * in[1];
out[3] = ((uint128_t)in[0]) * inx2[3] + ((uint128_t)in[1]) * inx2[2];
out[4] = ((uint128_t)in[0]) * inx2[4] + ((uint128_t)in[1]) * inx2[3] + ((uint128_t)in[2]) * in[2];
out[5] = ((uint128_t)in[0]) * inx2[5] + ((uint128_t)in[1]) * inx2[4] + ((uint128_t)in[2]) * inx2[3];
out[6] = ((uint128_t)in[0]) * inx2[6] + ((uint128_t)in[1]) * inx2[5] + ((uint128_t)in[2]) * inx2[4] + ((uint128_t)in[3]) * in[3];
out[7] = ((uint128_t)in[0]) * inx2[7] + ((uint128_t)in[1]) * inx2[6] + ((uint128_t)in[2]) * inx2[5] + ((uint128_t)in[3]) * inx2[4];
out[8] = ((uint128_t)in[0]) * inx2[8] + ((uint128_t)in[1]) * inx2[7] + ((uint128_t)in[2]) * inx2[6] + ((uint128_t)in[3]) * inx2[5] + ((uint128_t)in[4]) * in[4];
out[0] += ((uint128_t)in[1]) * inx4[8] + ((uint128_t)in[2]) * inx4[7] + ((uint128_t)in[3]) * inx4[6] + ((uint128_t)in[4]) * inx4[5];
out[1] += ((uint128_t)in[2]) * inx4[8] + ((uint128_t)in[3]) * inx4[7] + ((uint128_t)in[4]) * inx4[6] + ((uint128_t)in[5]) * inx2[5];
out[2] += ((uint128_t)in[3]) * inx4[8] + ((uint128_t)in[4]) * inx4[7] + ((uint128_t)in[5]) * inx4[6];
out[3] += ((uint128_t)in[4]) * inx4[8] + ((uint128_t)in[5]) * inx4[7] + ((uint128_t)in[6]) * inx2[6];
out[4] += ((uint128_t)in[5]) * inx4[8] + ((uint128_t)in[6]) * inx4[7];
out[5] += ((uint128_t)in[6]) * inx4[8] + ((uint128_t)in[7]) * inx2[7];
out[6] += ((uint128_t)in[7]) * inx4[8];
out[7] += ((uint128_t)in[8]) * inx2[8];
out[0] = ((uint128_t)in1[0]) * in2[0];
out[1] = ((uint128_t)in1[0]) * in2[1] + ((uint128_t)in1[1]) * in2[0];
out[2] = ((uint128_t)in1[0]) * in2[2] + ((uint128_t)in1[1]) * in2[1] + ((uint128_t)in1[2]) * in2[0];
out[3] = ((uint128_t)in1[0]) * in2[3] + ((uint128_t)in1[1]) * in2[2] + ((uint128_t)in1[2]) * in2[1] + ((uint128_t)in1[3]) * in2[0];
out[4] = ((uint128_t)in1[0]) * in2[4] + ((uint128_t)in1[1]) * in2[3] + ((uint128_t)in1[2]) * in2[2] + ((uint128_t)in1[3]) * in2[1] + ((uint128_t)in1[4]) * in2[0];
out[5] = ((uint128_t)in1[0]) * in2[5] + ((uint128_t)in1[1]) * in2[4] + ((uint128_t)in1[2]) * in2[3] + ((uint128_t)in1[3]) * in2[2] + ((uint128_t)in1[4]) * in2[1] + ((uint128_t)in1[5]) * in2[0];
out[6] = ((uint128_t)in1[0]) * in2[6] + ((uint128_t)in1[1]) * in2[5] + ((uint128_t)in1[2]) * in2[4] + ((uint128_t)in1[3]) * in2[3] + ((uint128_t)in1[4]) * in2[2] + ((uint128_t)in1[5]) * in2[1] + ((uint128_t)in1[6]) * in2[0];
out[7] = ((uint128_t)in1[0]) * in2[7] + ((uint128_t)in1[1]) * in2[6] + ((uint128_t)in1[2]) * in2[5] + ((uint128_t)in1[3]) * in2[4] + ((uint128_t)in1[4]) * in2[3] + ((uint128_t)in1[5]) * in2[2] + ((uint128_t)in1[6]) * in2[1] + ((uint128_t)in1[7]) * in2[0];
out[8] = ((uint128_t)in1[0]) * in2[8] + ((uint128_t)in1[1]) * in2[7] + ((uint128_t)in1[2]) * in2[6] + ((uint128_t)in1[3]) * in2[5] + ((uint128_t)in1[4]) * in2[4] + ((uint128_t)in1[5]) * in2[3] + ((uint128_t)in1[6]) * in2[2] + ((uint128_t)in1[7]) * in2[1] + ((uint128_t)in1[8]) * in2[0];
out[0] += ((uint128_t)in1[1]) * in2x2[8] + ((uint128_t)in1[2]) * in2x2[7] + ((uint128_t)in1[3]) * in2x2[6] + ((uint128_t)in1[4]) * in2x2[5] + ((uint128_t)in1[5]) * in2x2[4] + ((uint128_t)in1[6]) * in2x2[3] + ((uint128_t)in1[7]) * in2x2[2] + ((uint128_t)in1[8]) * in2x2[1];
out[1] += ((uint128_t)in1[2]) * in2x2[8] + ((uint128_t)in1[3]) * in2x2[7] + ((uint128_t)in1[4]) * in2x2[6] + ((uint128_t)in1[5]) * in2x2[5] + ((uint128_t)in1[6]) * in2x2[4] + ((uint128_t)in1[7]) * in2x2[3] + ((uint128_t)in1[8]) * in2x2[2];
out[2] += ((uint128_t)in1[3]) * in2x2[8] + ((uint128_t)in1[4]) * in2x2[7] + ((uint128_t)in1[5]) * in2x2[6] + ((uint128_t)in1[6]) * in2x2[5] + ((uint128_t)in1[7]) * in2x2[4] + ((uint128_t)in1[8]) * in2x2[3];
out[3] += ((uint128_t)in1[4]) * in2x2[8] + ((uint128_t)in1[5]) * in2x2[7] + ((uint128_t)in1[6]) * in2x2[6] + ((uint128_t)in1[7]) * in2x2[5] + ((uint128_t)in1[8]) * in2x2[4];
out[4] += ((uint128_t)in1[5]) * in2x2[8] + ((uint128_t)in1[6]) * in2x2[7] + ((uint128_t)in1[7]) * in2x2[6] + ((uint128_t)in1[8]) * in2x2[5];
out[5] += ((uint128_t)in1[6]) * in2x2[8] + ((uint128_t)in1[7]) * in2x2[7] + ((uint128_t)in1[8]) * in2x2[6];
out[6] += ((uint128_t)in1[7]) * in2x2[8] + ((uint128_t)in1[8]) * in2x2[7];
out[7] += ((uint128_t)in1[8]) * in2x2[8];
uint128_t imbl;
ctx->plat.s390x.param.hmac_384_512.imbl += ((uint128_t)len * 8);
typedef uint128_t u128;
typedef uint128_t u128;
#define UINT128_MAX __MAXUINT__(uint128_t)
|| !TEST_size_t_eq(sizeof(uint128_t), 16)
alen = sizeof(uint128_t);
uint128_to_str(uint128_t u, char *buf, size_t buflen)
static __inline uint128_t
return ((uint128_t)hi << 64 | lo);
char * uint128_to_str(uint128_t u, char *buf, size_t buflen);
uint128_t ctr; /* Native-endian. */
uint128_t lectr;
uint128_t fs_counter; /* C */
uint8_t newkey[static RANDOM_KEYSIZE], uint128_t *p_counter,
uint128_t counter_copy;
CTASSERT(RANDOM_BLOCKSIZE == sizeof(uint128_t));
randomdev_keystream(union randomdev_key *context, uint128_t *ctr,
uint128_t lectr;
void randomdev_keystream(union randomdev_key *context, uint128_t *, void *, size_t);
return (((uint128_t)le64dec(p + 8) << 64) | le64dec(p));
return ((uint128_t){
le128enc(void *pp, uint128_t u)
static const uint128_t very_long_zero = {0UL,0UL};
uint128_increment(uint128_t *big_uintp)
uint128_add64(uint128_t *big_uintp, uint64_t add)
uint128_equals(uint128_t a, uint128_t b)
uint128_is_zero(uint128_t big_uint)
static __inline uint128_t
uint128_t a;
uint128_t a;
uint128_t a;
formatu128(char buf[static 52], uint128_t x)
u128_check_equality(uint128_t a, uint128_t b, const char *descr)
server_search_uuid(provider_p const provider, const uint128_t *uuid)
uint128_t uuid, puuid;
server_search_uuid_sub(uint8_t *buf, uint8_t const * const eob, const uint128_t *uuid)
uint128_t uuid, puuid;
extern uint128_t uuid_base;
extern uint128_t uuid_public_browse_group;
uint128_t uuid_base = {
uint128_t uuid_public_browse_group = {