Lines Matching refs:b0
1094 + uint64_t b0;
1102 - uint64_t b0 = output[0U];
1103 + b0 = output[0U];
1104 output[0U] = (uint64_t)19U * b0;
1132 + FStar_UInt128_t b0;
1149 - FStar_UInt128_t b0 = t[0U];
1154 - FStar_UInt128_add(b0,
1156 + b0 = t[0U];
1158 + b0_ = FStar_UInt128_add(b0,
1219 + FStar_UInt128_t b0;
1229 - FStar_UInt128_t b0 = tmp[0U];
1235 + b0 = tmp[0U];
1238 FStar_UInt128_add(b0,
1294 uint64_t *b0 = buf + (uint32_t)10U;
1304 Hacl_Bignum_Fmul_fmul(b0, t00, z);
1307 Hacl_Bignum_Fmul_fmul(b0, t00, b0);
1308 Hacl_Bignum_Fsquare_fsquare_times(t00, b0, (uint32_t)5U);
1337 + uint64_t b0;
1343 - uint64_t b0 = tmp[0U];
1348 + b0 = tmp[0U];
1353 tmp[0U] = b0 + (uint64_t)0x3fffffffffff68U;
1365 + FStar_UInt128_t b0;
1378 - FStar_UInt128_t b0 = tmp[0U];
1384 + b0 = tmp[0U];
1387 FStar_UInt128_add(b0,