Searched refs:fiat_p256_addcarryx_u64 (Results 1 – 1 of 1) sorted by relevance
| /external/boringssl/src/third_party/fiat/ |
| D | p256_64.h | 30 static void fiat_p256_addcarryx_u64(uint64_t* out1, fiat_p256_uint1* out2, fiat_p256_uint1 arg1, ui… in fiat_p256_addcarryx_u64() function
112 fiat_p256_addcarryx_u64(&x13, &x14, 0x0, x9, x12); in fiat_p256_mul()
115 fiat_p256_addcarryx_u64(&x15, &x16, x14, x7, x10); in fiat_p256_mul()
118 fiat_p256_addcarryx_u64(&x17, &x18, x16, x5, x8); in fiat_p256_mul()
121 fiat_p256_addcarryx_u64(&x19, &x20, x18, 0x0, x6); in fiat_p256_mul()
133 fiat_p256_addcarryx_u64(&x27, &x28, 0x0, x23, x26); in fiat_p256_mul()
136 fiat_p256_addcarryx_u64(&x29, &x30, x28, 0x0, x24); in fiat_p256_mul()
139 fiat_p256_addcarryx_u64(&x31, &x32, 0x0, x25, x11); in fiat_p256_mul()
142 fiat_p256_addcarryx_u64(&x33, &x34, x32, x27, x13); in fiat_p256_mul()
145 fiat_p256_addcarryx_u64(&x35, &x36, x34, x29, x15); in fiat_p256_mul()
[all …]
|