Searched refs:b0_ (Results 1 – 6 of 6) sorted by relevance
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 …]
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 …]
36 b0_(prop_reg, "IIR b0", 0.0674552738890719), in IirFilterInterpreter()45 b0_.SetDelegate(this); in IirFilterInterpreter()136 b0_.val_ * fs->*field - in SyncInterpretImpl()
91 DoubleProperty b0_, b1_, b2_, b3_, a1_, a2_; variable