Home
last modified time | relevance | path

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

/external/boringssl/src/third_party/fiat/
Dp256_64.h39 static void fiat_p256_addcarryx_u64(uint64_t* out1, fiat_p256_uint1* out2, fiat_p256_uint1 arg1, ui… in fiat_p256_addcarryx_u64() function
149 fiat_p256_addcarryx_u64(&x13, &x14, 0x0, x12, x9); in fiat_p256_mul()
152 fiat_p256_addcarryx_u64(&x15, &x16, x14, x10, x7); in fiat_p256_mul()
155 fiat_p256_addcarryx_u64(&x17, &x18, x16, x8, x5); in fiat_p256_mul()
168 fiat_p256_addcarryx_u64(&x26, &x27, 0x0, x25, x22); in fiat_p256_mul()
172 fiat_p256_addcarryx_u64(&x29, &x30, 0x0, x11, x24); in fiat_p256_mul()
175 fiat_p256_addcarryx_u64(&x31, &x32, x30, x13, x26); in fiat_p256_mul()
178 fiat_p256_addcarryx_u64(&x33, &x34, x32, x15, x28); in fiat_p256_mul()
181 fiat_p256_addcarryx_u64(&x35, &x36, x34, x17, x20); in fiat_p256_mul()
184 fiat_p256_addcarryx_u64(&x37, &x38, x36, x19, x21); in fiat_p256_mul()
[all …]
/external/rust/crates/quiche/deps/boringssl/src/third_party/fiat/
Dp256_64.h39 static void fiat_p256_addcarryx_u64(uint64_t* out1, fiat_p256_uint1* out2, fiat_p256_uint1 arg1, ui… in fiat_p256_addcarryx_u64() function
149 fiat_p256_addcarryx_u64(&x13, &x14, 0x0, x12, x9); in fiat_p256_mul()
152 fiat_p256_addcarryx_u64(&x15, &x16, x14, x10, x7); in fiat_p256_mul()
155 fiat_p256_addcarryx_u64(&x17, &x18, x16, x8, x5); in fiat_p256_mul()
168 fiat_p256_addcarryx_u64(&x26, &x27, 0x0, x25, x22); in fiat_p256_mul()
172 fiat_p256_addcarryx_u64(&x29, &x30, 0x0, x11, x24); in fiat_p256_mul()
175 fiat_p256_addcarryx_u64(&x31, &x32, x30, x13, x26); in fiat_p256_mul()
178 fiat_p256_addcarryx_u64(&x33, &x34, x32, x15, x28); in fiat_p256_mul()
181 fiat_p256_addcarryx_u64(&x35, &x36, x34, x17, x20); in fiat_p256_mul()
184 fiat_p256_addcarryx_u64(&x37, &x38, x36, x19, x21); in fiat_p256_mul()
[all …]