Lines Matching refs:tmp
63 inline static void Hacl_Bignum_Fproduct_carry_wide_(uint128_t *tmp) in Hacl_Bignum_Fproduct_carry_wide_() argument
69 uint128_t tctr = tmp[ctr]; in Hacl_Bignum_Fproduct_carry_wide_()
70 uint128_t tctrp1 = tmp[ctr + (uint32_t)1U]; in Hacl_Bignum_Fproduct_carry_wide_()
73 tmp[ctr] = (uint128_t)r0; in Hacl_Bignum_Fproduct_carry_wide_()
74 tmp[ctr + (uint32_t)1U] = tctrp1 + c; in Hacl_Bignum_Fproduct_carry_wide_()
80 uint64_t tmp = output[4U]; in Hacl_Bignum_Fmul_shift_reduce() local
91 output[0U] = tmp; in Hacl_Bignum_Fmul_shift_reduce()
117 uint64_t tmp[5U] = { 0U }; in Hacl_Bignum_Fmul_fmul() local
118 memcpy(tmp, input, (uint32_t)5U * sizeof input[0U]); in Hacl_Bignum_Fmul_fmul()
136 Hacl_Bignum_Fmul_mul_shift_reduce_(t, tmp, input2); in Hacl_Bignum_Fmul_fmul()
155 inline static void Hacl_Bignum_Fsquare_fsquare__(uint128_t *tmp, uint64_t *output) in Hacl_Bignum_Fsquare_fsquare__() argument
172 tmp[0U] = s0; in Hacl_Bignum_Fsquare_fsquare__()
173 tmp[1U] = s1; in Hacl_Bignum_Fsquare_fsquare__()
174 tmp[2U] = s2; in Hacl_Bignum_Fsquare_fsquare__()
175 tmp[3U] = s3; in Hacl_Bignum_Fsquare_fsquare__()
176 tmp[4U] = s4; in Hacl_Bignum_Fsquare_fsquare__()
179 inline static void Hacl_Bignum_Fsquare_fsquare_(uint128_t *tmp, uint64_t *output) in Hacl_Bignum_Fsquare_fsquare_() argument
189 Hacl_Bignum_Fsquare_fsquare__(tmp, output); in Hacl_Bignum_Fsquare_fsquare_()
190 Hacl_Bignum_Fproduct_carry_wide_(tmp); in Hacl_Bignum_Fsquare_fsquare_()
191 b4 = tmp[4U]; in Hacl_Bignum_Fsquare_fsquare_()
192 b0 = tmp[0U]; in Hacl_Bignum_Fsquare_fsquare_()
195 tmp[4U] = b4_; in Hacl_Bignum_Fsquare_fsquare_()
196 tmp[0U] = b0_; in Hacl_Bignum_Fsquare_fsquare_()
197 Hacl_Bignum_Fproduct_copy_from_wide_(output, tmp); in Hacl_Bignum_Fsquare_fsquare_()
207 Hacl_Bignum_Fsquare_fsquare_times_(uint64_t *input, uint128_t *tmp, uint32_t count1) in Hacl_Bignum_Fsquare_fsquare_times_() argument
210 Hacl_Bignum_Fsquare_fsquare_(tmp, input); in Hacl_Bignum_Fsquare_fsquare_times_()
212 Hacl_Bignum_Fsquare_fsquare_(tmp, input); in Hacl_Bignum_Fsquare_fsquare_times_()
302 uint64_t tmp[5U] = { 0U }; in Hacl_Bignum_fdifference() local
308 memcpy(tmp, b, (uint32_t)5U * sizeof b[0U]); in Hacl_Bignum_fdifference()
309 b0 = tmp[0U]; in Hacl_Bignum_fdifference()
310 b1 = tmp[1U]; in Hacl_Bignum_fdifference()
311 b2 = tmp[2U]; in Hacl_Bignum_fdifference()
312 b3 = tmp[3U]; in Hacl_Bignum_fdifference()
313 b4 = tmp[4U]; in Hacl_Bignum_fdifference()
314 tmp[0U] = b0 + (uint64_t)0x3fffffffffff68U; in Hacl_Bignum_fdifference()
315 tmp[1U] = b1 + (uint64_t)0x3ffffffffffff8U; in Hacl_Bignum_fdifference()
316 tmp[2U] = b2 + (uint64_t)0x3ffffffffffff8U; in Hacl_Bignum_fdifference()
317 tmp[3U] = b3 + (uint64_t)0x3ffffffffffff8U; in Hacl_Bignum_fdifference()
318 tmp[4U] = b4 + (uint64_t)0x3ffffffffffff8U; in Hacl_Bignum_fdifference()
324 uint64_t yi = tmp[i]; in Hacl_Bignum_fdifference()
334 uint128_t tmp[5U]; in Hacl_Bignum_fscalar() local
338 tmp[_i] = (uint128_t)(uint64_t)0U; in Hacl_Bignum_fscalar()
350 tmp[i] = (uint128_t)xi * s; in Hacl_Bignum_fscalar()
353 Hacl_Bignum_Fproduct_carry_wide_(tmp); in Hacl_Bignum_fscalar()
354 b4 = tmp[4U]; in Hacl_Bignum_fscalar()
355 b0 = tmp[0U]; in Hacl_Bignum_fscalar()
358 tmp[4U] = b4_; in Hacl_Bignum_fscalar()
359 tmp[0U] = b0_; in Hacl_Bignum_fscalar()
360 Hacl_Bignum_Fproduct_copy_from_wide_(output, tmp); in Hacl_Bignum_fscalar()