| /external/boringssl/src/third_party/fiat/ |
| curve25519_32.h | 248 uint32_t x144 = (x142 + x115); local
249 uint32_t x145 = (x144 >> 25);
250 uint32_t x146 = (x144 & UINT32_C(0x1ffffff));
[all...] |
| p256_64.h | 306 uint64_t x144; local
307 fiat_p256_mulx_u64(&x143, &x144, x3, (arg2[1]));
316 fiat_p256_addcarryx_u64(&x149, &x150, x148, x141, x144);
619 uint64_t x144; local
620 fiat_p256_mulx_u64(&x143, &x144, x3, (arg1[1]));
629 fiat_p256_addcarryx_u64(&x149, &x150, x148, x141, x144);
[all...] |
| p256_32.h | 302 fiat_p256_uint1 x144; local
303 fiat_p256_addcarryx_u32(&x143, &x144, x142, x135, x111);
306 fiat_p256_addcarryx_u32(&x145, &x146, x144, x137, x113);
1351 fiat_p256_uint1 x144; local
2624 uint32_t x144; local
[all...] |
