Searched refs:s3 (Results 1 – 2 of 2) sorted by relevance
170 uint128_t s3 = (uint128_t)d0 * r3 + (uint128_t)d1 * r2 + (uint128_t)r4 * d419; in Hacl_Bignum_Fsquare_fsquare__() local175 tmp[3U] = s3; in Hacl_Bignum_Fsquare_fsquare__()
198 s3 = in Hacl_Bignum_Fsquare_fsquare__() local210 tmp[3U] = s3; in Hacl_Bignum_Fsquare_fsquare__()
Completed in 7 milliseconds