Searched defs:s0 (Results 1 – 2 of 2) sorted by relevance
167 uint128_t s0 = (uint128_t)r0 * r0 + (uint128_t)d4 * r1 + (uint128_t)d2 * r3; in Hacl_Bignum_Fsquare_fsquare__() local
183 s0 = in Hacl_Bignum_Fsquare_fsquare__() local
Completed in 6 milliseconds