Searched refs:uint128_t (Results 1 – 2 of 2) sorted by relevance
17 extern uint128_t FStar_UInt128_add(uint128_t x0, uint128_t x1);19 extern uint128_t FStar_UInt128_add_mod(uint128_t x0, uint128_t x1);21 extern uint128_t FStar_UInt128_logand(uint128_t x0, uint128_t x1);167 uint128_t s0 = (uint128_t)r0 * r0 + (uint128_t)d4 * r1 + (uint128_t)d2 * r3; in Hacl_Bignum_Fsquare_fsquare__()168 uint128_t s1 = (uint128_t)d0 * r1 + (uint128_t)d4 * r2 + (uint128_t)(r3 * (uint64_t)19U) * r3; in Hacl_Bignum_Fsquare_fsquare__()169 uint128_t s2 = (uint128_t)d0 * r2 + (uint128_t)r1 * r1 + (uint128_t)d4 * r3; in Hacl_Bignum_Fsquare_fsquare__()170 uint128_t s3 = (uint128_t)d0 * r3 + (uint128_t)d1 * r2 + (uint128_t)r4 * d419; in Hacl_Bignum_Fsquare_fsquare__()171 uint128_t s4 = (uint128_t)d0 * r4 + (uint128_t)d1 * r3 + (uint128_t)r2 * r2; in Hacl_Bignum_Fsquare_fsquare__()181 uint128_t b4; in Hacl_Bignum_Fsquare_fsquare_()182 uint128_t b0; in Hacl_Bignum_Fsquare_fsquare_()[all …]
59 typedef FStar_UInt128_uint128 FStar_UInt128_t, FStar_UInt128_t_, uint128_t; typedef
Completed in 8 milliseconds