Searched refs:fiat_p256_uint1 (Results 1 – 2 of 2) sorted by relevance
/external/boringssl/src/third_party/fiat/ |
D | p256_32.h | 15 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 …]
|
D | p256_64.h | 15 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 …]
|