Searched refs:b0 (Results 1 – 4 of 4) sorted by relevance
34 uint64_t b0 = b[0U]; in Hacl_Bignum_Modulo_carry_top() local36 uint64_t b0_ = b0 + (uint64_t)19U * (b4 >> (uint32_t)51U); in Hacl_Bignum_Modulo_carry_top()81 uint64_t b0; in Hacl_Bignum_Fmul_shift_reduce() local92 b0 = output[0U]; in Hacl_Bignum_Fmul_shift_reduce()93 output[0U] = (uint64_t)19U * b0; in Hacl_Bignum_Fmul_shift_reduce()129 uint128_t b0; in Hacl_Bignum_Fmul_fmul() local139 b0 = t[0U]; in Hacl_Bignum_Fmul_fmul()141 b0_ = b0 + (uint128_t)(uint64_t)19U * (uint64_t)(b4 >> (uint32_t)51U); in Hacl_Bignum_Fmul_fmul()182 uint128_t b0; in Hacl_Bignum_Fsquare_fsquare_() local192 b0 = tmp[0U]; in Hacl_Bignum_Fsquare_fsquare_()[all …]
37 uint64_t b0 = b[0U]; in Hacl_Bignum_Modulo_carry_top() local39 uint64_t b0_ = b0 + (uint64_t)19U * (b4 >> (uint32_t)51U); in Hacl_Bignum_Modulo_carry_top()89 uint64_t b0; in Hacl_Bignum_Fmul_shift_reduce() local100 b0 = output[0U]; in Hacl_Bignum_Fmul_shift_reduce()101 output[0U] = (uint64_t)19U * b0; in Hacl_Bignum_Fmul_shift_reduce()141 FStar_UInt128_uint128 b0; in Hacl_Bignum_Fmul_fmul() local151 b0 = t[0U]; in Hacl_Bignum_Fmul_fmul()154 FStar_UInt128_add(b0, in Hacl_Bignum_Fmul_fmul()217 FStar_UInt128_uint128 b0; in Hacl_Bignum_Fsquare_fsquare_() local227 b0 = tmp[0U]; in Hacl_Bignum_Fsquare_fsquare_()[all …]
810 [b0] "=&r" (tmp_b0), \1050 mbedtls_mpi_uint s0, s1, b0, b1; \1052 b0 = ( b << biH ) >> biH; \1058 rx = s0 * b1; r0 = s0 * b0; \1059 ry = s1 * b0; r1 = s1 * b1; \
63 … 89 29 79 45 80 d0\nMyFile(0999)\: 83 6a d5 41 43 77 5f 39 7c 09 04 47 82 b0 57 39\nMyFile(0999)\…
