Home
last modified time | relevance | path

Searched refs:fiat_25519_uint1 (Results 1 – 2 of 2) sorted by relevance

/external/boringssl/src/third_party/fiat/
Dcurve25519_64.h10 typedef unsigned char fiat_25519_uint1; typedef
25 static void fiat_25519_addcarryx_u51(uint64_t* out1, fiat_25519_uint1* out2, fiat_25519_uint1 arg1,… in fiat_25519_addcarryx_u51()
28 fiat_25519_uint1 x3 = (fiat_25519_uint1)(x1 >> 51); in fiat_25519_addcarryx_u51()
42 static void fiat_25519_subborrowx_u51(uint64_t* out1, fiat_25519_uint1* out2, fiat_25519_uint1 arg1… in fiat_25519_subborrowx_u51()
47 *out2 = (fiat_25519_uint1)(0x0 - x2); in fiat_25519_subborrowx_u51()
58 static void fiat_25519_cmovznz_u64(uint64_t* out1, fiat_25519_uint1 arg1, uint64_t arg2, uint64_t a… in fiat_25519_cmovznz_u64()
59 fiat_25519_uint1 x1 = (!(!arg1)); in fiat_25519_cmovznz_u64()
330 static void fiat_25519_selectznz(uint64_t out1[5], fiat_25519_uint1 arg1, const uint64_t arg2[5], c… in fiat_25519_selectznz()
356 fiat_25519_uint1 x2; in fiat_25519_to_bytes()
359 fiat_25519_uint1 x4; in fiat_25519_to_bytes()
[all …]
Dcurve25519_32.h10 typedef unsigned char fiat_25519_uint1; typedef
23 static void fiat_25519_addcarryx_u26(uint32_t* out1, fiat_25519_uint1* out2, fiat_25519_uint1 arg1,… in fiat_25519_addcarryx_u26()
26 fiat_25519_uint1 x3 = (fiat_25519_uint1)(x1 >> 26); in fiat_25519_addcarryx_u26()
40 static void fiat_25519_subborrowx_u26(uint32_t* out1, fiat_25519_uint1* out2, fiat_25519_uint1 arg1… in fiat_25519_subborrowx_u26()
45 *out2 = (fiat_25519_uint1)(0x0 - x2); in fiat_25519_subborrowx_u26()
57 static void fiat_25519_addcarryx_u25(uint32_t* out1, fiat_25519_uint1* out2, fiat_25519_uint1 arg1,… in fiat_25519_addcarryx_u25()
60 fiat_25519_uint1 x3 = (fiat_25519_uint1)(x1 >> 25); in fiat_25519_addcarryx_u25()
74 static void fiat_25519_subborrowx_u25(uint32_t* out1, fiat_25519_uint1* out2, fiat_25519_uint1 arg1… in fiat_25519_subborrowx_u25()
79 *out2 = (fiat_25519_uint1)(0x0 - x2); in fiat_25519_subborrowx_u25()
90 static void fiat_25519_cmovznz_u32(uint32_t* out1, fiat_25519_uint1 arg1, uint32_t arg2, uint32_t a… in fiat_25519_cmovznz_u32()
[all …]