| /external/boringssl/src/third_party/fiat/ |
| curve25519_32.h | 216 uint64_t x112 = (x99 + (x90 + (x43 + (x41 + (x38 + (x34 + (x29 + (x23 + (x16 + x8))))))))); local
217 uint64_t x113 = (x102 + x112);
382 uint32_t x112 = (uint32_t)(x110 & UINT32_C(0x1ffffff)); local
400 out1[9] = x112;
779 uint32_t x112 = (x110 + x42); local
[all...] |
| p256_64.h | 258 fiat_p256_uint1 x112; local
259 fiat_p256_addcarryx_u64(&x111, &x112, x110, x101, x85);
262 fiat_p256_addcarryx_u64(&x113, &x114, x112, x103, x87);
571 fiat_p256_uint1 x112; local
572 fiat_p256_addcarryx_u64(&x111, &x112, x110, x101, x85);
575 fiat_p256_addcarryx_u64(&x113, &x114, x112, x103, x87);
[all...] |
| p256_32.h | 254 fiat_p256_uint1 x112; local
255 fiat_p256_addcarryx_u32(&x111, &x112, x110, x93, x61);
258 fiat_p256_addcarryx_u32(&x113, &x114, x112, x95, x63);
1303 fiat_p256_uint1 x112; local
2576 uint32_t x112; local
[all...] |
