Lines Matching refs:b1
1296 + uint64_t *b1;
1310 - uint64_t *b1 = buf + (uint32_t)10U;
1313 + b1 = buf + (uint32_t)10U;
1315 Hacl_Bignum_Fmul_fmul(b1, t01, b1);
1316 Hacl_Bignum_Fsquare_fsquare_times(t01, b1, (uint32_t)10U);
1317 Hacl_Bignum_Fmul_fmul(c0, t01, b1);
1320 Hacl_Bignum_Fmul_fmul(b1, t01, b1);
1321 Hacl_Bignum_Fsquare_fsquare_times(t01, b1, (uint32_t)50U);
1338 + uint64_t b1;
1344 - uint64_t b1 = tmp[1U];
1349 + b1 = tmp[1U];
1354 tmp[1U] = b1 + (uint64_t)0x3ffffffffffff8U;