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