Home
last modified time | relevance | path

Searched refs:b4_ (Results 1 – 4 of 4) sorted by relevance

/third_party/mbedtls/3rdparty/everest/library/legacy/
DHacl_Curve25519.c38 uint64_t b4_ = b4 & (uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Modulo_carry_top() local
40 b[4U] = b4_; in Hacl_Bignum_Modulo_carry_top()
142 FStar_UInt128_uint128 b4_; in Hacl_Bignum_Fmul_fmul() local
152 b4_ = FStar_UInt128_logand(b4, FStar_UInt128_uint64_to_uint128((uint64_t)0x7ffffffffffffU)); in Hacl_Bignum_Fmul_fmul()
157 t[4U] = b4_; in Hacl_Bignum_Fmul_fmul()
218 FStar_UInt128_uint128 b4_; in Hacl_Bignum_Fsquare_fsquare_() local
228 b4_ = FStar_UInt128_logand(b4, FStar_UInt128_uint64_to_uint128((uint64_t)0x7ffffffffffffU)); in Hacl_Bignum_Fsquare_fsquare_()
233 tmp[4U] = b4_; in Hacl_Bignum_Fsquare_fsquare_()
385 FStar_UInt128_uint128 b4_; in Hacl_Bignum_fscalar() local
398 b4_ = FStar_UInt128_logand(b4, FStar_UInt128_uint64_to_uint128((uint64_t)0x7ffffffffffffU)); in Hacl_Bignum_fscalar()
[all …]
/third_party/mbedtls/3rdparty/everest/library/
DHacl_Curve25519.c35 uint64_t b4_ = b4 & (uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Modulo_carry_top() local
37 b[4U] = b4_; in Hacl_Bignum_Modulo_carry_top()
130 uint128_t b4_; in Hacl_Bignum_Fmul_fmul() local
140 b4_ = b4 & (uint128_t)(uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fmul_fmul()
142 t[4U] = b4_; in Hacl_Bignum_Fmul_fmul()
183 uint128_t b4_; in Hacl_Bignum_Fsquare_fsquare_() local
193 b4_ = b4 & (uint128_t)(uint64_t)0x7ffffffffffffU; in Hacl_Bignum_Fsquare_fsquare_()
195 tmp[4U] = b4_; in Hacl_Bignum_Fsquare_fsquare_()
343 uint128_t b4_; in Hacl_Bignum_fscalar() local
356 b4_ = b4 & (uint128_t)(uint64_t)0x7ffffffffffffU; in Hacl_Bignum_fscalar()
[all …]
/third_party/skia/third_party/externals/angle2/tools/flex-bison/third_party/skeletons/
Dbison.m4343 [m4_case(b4_$1_flag,
346 [m4_fatal([invalid $1 value: ]b4_$1_flag)])])
364 m4_define([b4_$3_if],
622 [m4_ifdef([b4_$1],
625 ])b4_user_code([b4_$1])])])])
891 [m4_define(m4_bpatsubst([b4_$1_if], [[-.]], [_]),
Dc.m4198 [m4_if(m4_eval($3 < m4_indir([b4_]$1[_min])
199 || m4_indir([b4_]$1[_max]) < $3), [1],