Home
last modified time | relevance | path

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

/external/boringssl/src/third_party/fiat/
Dp256_32.h15 typedef unsigned char fiat_p256_uint1; typedef
28 static void fiat_p256_addcarryx_u32(uint32_t* out1, fiat_p256_uint1* out2, fiat_p256_uint1 arg1, ui… in fiat_p256_addcarryx_u32()
31 fiat_p256_uint1 x3 = (fiat_p256_uint1)(x1 >> 32); in fiat_p256_addcarryx_u32()
45 static void fiat_p256_subborrowx_u32(uint32_t* out1, fiat_p256_uint1* out2, fiat_p256_uint1 arg1, u… in fiat_p256_subborrowx_u32()
50 *out2 = (fiat_p256_uint1)(0x0 - x2); in fiat_p256_subborrowx_u32()
77 static void fiat_p256_cmovznz_u32(uint32_t* out1, fiat_p256_uint1 arg1, uint32_t arg2, uint32_t arg… in fiat_p256_cmovznz_u32()
78 fiat_p256_uint1 x1 = (!(!arg1)); in fiat_p256_cmovznz_u32()
125 fiat_p256_uint1 x26; in fiat_p256_mul()
128 fiat_p256_uint1 x28; in fiat_p256_mul()
131 fiat_p256_uint1 x30; in fiat_p256_mul()
[all …]
Dp256_64.h15 typedef unsigned char fiat_p256_uint1; typedef
30 static void fiat_p256_addcarryx_u64(uint64_t* out1, fiat_p256_uint1* out2, fiat_p256_uint1 arg1, ui… in fiat_p256_addcarryx_u64()
33 fiat_p256_uint1 x3 = (fiat_p256_uint1)(x1 >> 64); in fiat_p256_addcarryx_u64()
47 static void fiat_p256_subborrowx_u64(uint64_t* out1, fiat_p256_uint1* out2, fiat_p256_uint1 arg1, u… in fiat_p256_subborrowx_u64()
52 *out2 = (fiat_p256_uint1)(0x0 - x2); in fiat_p256_subborrowx_u64()
79 static void fiat_p256_cmovznz_u64(uint64_t* out1, fiat_p256_uint1 arg1, uint64_t arg2, uint64_t arg… in fiat_p256_cmovznz_u64()
80 fiat_p256_uint1 x1 = (!(!arg1)); in fiat_p256_cmovznz_u64()
111 fiat_p256_uint1 x14; in fiat_p256_mul()
114 fiat_p256_uint1 x16; in fiat_p256_mul()
117 fiat_p256_uint1 x18; in fiat_p256_mul()
[all …]