Searched refs:s4 (Results 1 – 2 of 2) sorted by relevance
171 uint128_t s4 = (uint128_t)d0 * r4 + (uint128_t)d1 * r3 + (uint128_t)r2 * r2; in Hacl_Bignum_Fsquare_fsquare__() local176 tmp[4U] = s4; in Hacl_Bignum_Fsquare_fsquare__()
203 s4 = in Hacl_Bignum_Fsquare_fsquare__() local211 tmp[4U] = s4; in Hacl_Bignum_Fsquare_fsquare__()
Completed in 7 milliseconds