Lines Matching refs:t
121 uint128_t t[5U]; in Hacl_Bignum_Fmul_fmul() local
125 t[_i] = (uint128_t)(uint64_t)0U; in Hacl_Bignum_Fmul_fmul()
136 Hacl_Bignum_Fmul_mul_shift_reduce_(t, tmp, input2); in Hacl_Bignum_Fmul_fmul()
137 Hacl_Bignum_Fproduct_carry_wide_(t); in Hacl_Bignum_Fmul_fmul()
138 b4 = t[4U]; in Hacl_Bignum_Fmul_fmul()
139 b0 = t[0U]; in Hacl_Bignum_Fmul_fmul()
142 t[4U] = b4_; in Hacl_Bignum_Fmul_fmul()
143 t[0U] = b0_; in Hacl_Bignum_Fmul_fmul()
144 Hacl_Bignum_Fproduct_copy_from_wide_(output, t); in Hacl_Bignum_Fmul_fmul()
220 uint128_t t[5U]; in Hacl_Bignum_Fsquare_fsquare_times() local
224 t[_i] = (uint128_t)(uint64_t)0U; in Hacl_Bignum_Fsquare_fsquare_times()
227 Hacl_Bignum_Fsquare_fsquare_times_(output, t, count1); in Hacl_Bignum_Fsquare_fsquare_times()
235 uint128_t t[5U]; in Hacl_Bignum_Fsquare_fsquare_times_inplace() local
239 t[_i] = (uint128_t)(uint64_t)0U; in Hacl_Bignum_Fsquare_fsquare_times_inplace()
241 Hacl_Bignum_Fsquare_fsquare_times_(output, t, count1); in Hacl_Bignum_Fsquare_fsquare_times_inplace()