Home
last modified time | relevance | path

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

/external/boringssl/src/third_party/fiat/
Dp256_32.h28 static void fiat_p256_addcarryx_u32(uint32_t* out1, fiat_p256_uint1* out2, fiat_p256_uint1 arg1, ui… in fiat_p256_addcarryx_u32() function
126 fiat_p256_addcarryx_u32(&x25, &x26, 0x0, x21, x24); in fiat_p256_mul()
129 fiat_p256_addcarryx_u32(&x27, &x28, x26, x19, x22); in fiat_p256_mul()
132 fiat_p256_addcarryx_u32(&x29, &x30, x28, x17, x20); in fiat_p256_mul()
135 fiat_p256_addcarryx_u32(&x31, &x32, x30, x15, x18); in fiat_p256_mul()
138 fiat_p256_addcarryx_u32(&x33, &x34, x32, x13, x16); in fiat_p256_mul()
141 fiat_p256_addcarryx_u32(&x35, &x36, x34, x11, x14); in fiat_p256_mul()
144 fiat_p256_addcarryx_u32(&x37, &x38, x36, x9, x12); in fiat_p256_mul()
147 fiat_p256_addcarryx_u32(&x39, &x40, x38, 0x0, x10); in fiat_p256_mul()
162 fiat_p256_addcarryx_u32(&x49, &x50, 0x0, x45, x48); in fiat_p256_mul()
[all …]