Lines Matching refs:b4
33 uint64_t b4 = b[4U]; in Hacl_Bignum_Modulo_carry_top() local
35 uint64_t b4_ = b4 & (uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Modulo_carry_top()
36 uint64_t b0_ = b0 + (uint64_t)19U * (b4 >> (uint32_t)51U); in Hacl_Bignum_Modulo_carry_top()
128 uint128_t b4; in Hacl_Bignum_Fmul_fmul() local
138 b4 = t[4U]; in Hacl_Bignum_Fmul_fmul()
140 b4_ = b4 & (uint128_t)(uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fmul_fmul()
141 b0_ = b0 + (uint128_t)(uint64_t)19U * (uint64_t)(b4 >> (uint32_t)51U); in Hacl_Bignum_Fmul_fmul()
181 uint128_t b4; in Hacl_Bignum_Fsquare_fsquare_() local
191 b4 = tmp[4U]; in Hacl_Bignum_Fsquare_fsquare_()
193 b4_ = b4 & (uint128_t)(uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fsquare_fsquare_()
194 b0_ = b0 + (uint128_t)(uint64_t)19U * (uint64_t)(b4 >> (uint32_t)51U); in Hacl_Bignum_Fsquare_fsquare_()
307 uint64_t b4; in Hacl_Bignum_fdifference() local
313 b4 = tmp[4U]; in Hacl_Bignum_fdifference()
318 tmp[4U] = b4 + (uint64_t)0x3ffffffffffff8U; in Hacl_Bignum_fdifference()
341 uint128_t b4; in Hacl_Bignum_fscalar() local
354 b4 = tmp[4U]; in Hacl_Bignum_fscalar()
356 b4_ = b4 & (uint128_t)(uint64_t)0x7ffffffffffffU; in Hacl_Bignum_fscalar()
357 b0_ = b0 + (uint128_t)(uint64_t)19U * (uint64_t)(b4 >> (uint32_t)51U); in Hacl_Bignum_fscalar()