Searched refs:b0_ (Results 1 – 2 of 2) sorted by relevance
36 uint64_t b0_ = b0 + (uint64_t)19U * (b4 >> (uint32_t)51U); in Hacl_Bignum_Modulo_carry_top() local38 b[0U] = b0_; in Hacl_Bignum_Modulo_carry_top()131 uint128_t b0_; in Hacl_Bignum_Fmul_fmul() local141 b0_ = b0 + (uint128_t)(uint64_t)19U * (uint64_t)(b4 >> (uint32_t)51U); in Hacl_Bignum_Fmul_fmul()143 t[0U] = b0_; in Hacl_Bignum_Fmul_fmul()184 uint128_t b0_; in Hacl_Bignum_Fsquare_fsquare_() local194 b0_ = b0 + (uint128_t)(uint64_t)19U * (uint64_t)(b4 >> (uint32_t)51U); in Hacl_Bignum_Fsquare_fsquare_()196 tmp[0U] = b0_; in Hacl_Bignum_Fsquare_fsquare_()344 uint128_t b0_; in Hacl_Bignum_fscalar() local357 b0_ = b0 + (uint128_t)(uint64_t)19U * (uint64_t)(b4 >> (uint32_t)51U); in Hacl_Bignum_fscalar()[all …]
39 uint64_t b0_ = b0 + (uint64_t)19U * (b4 >> (uint32_t)51U); in Hacl_Bignum_Modulo_carry_top() local41 b[0U] = b0_; in Hacl_Bignum_Modulo_carry_top()143 FStar_UInt128_uint128 b0_; in Hacl_Bignum_Fmul_fmul() local153 b0_ = in Hacl_Bignum_Fmul_fmul()158 t[0U] = b0_; in Hacl_Bignum_Fmul_fmul()219 FStar_UInt128_uint128 b0_; in Hacl_Bignum_Fsquare_fsquare_() local229 b0_ = in Hacl_Bignum_Fsquare_fsquare_()234 tmp[0U] = b0_; in Hacl_Bignum_Fsquare_fsquare_()386 FStar_UInt128_uint128 b0_; in Hacl_Bignum_fscalar() local399 b0_ = in Hacl_Bignum_fscalar()[all …]