Searched defs:x26 (Results 1 – 2 of 2) sorted by relevance
| /external/boringssl/src/third_party/fiat/ |
| D | curve25519.c | 365 { uint64_t x26 = (x24 + x13); in fe_carry_impl() local
401 { uint64_t x26 = (x7 * 0x13); in fe_mul_impl() local
485 { uint64_t x26 = ((uint64_t)x24 & 0x7ffffffffffff); in fe_sqr_impl() local
548 { uint64_t x26 = (x7 * 0x13); in fe_mul_121666_impl() local
690 { uint32_t x26; uint8_t/*bool*/ x27 = subborrow_u26(x24, x6, 0x3ffffff, &x26); in fe_freeze() local
896 { uint32_t x26 = (x24 & 0x3ffffff); in fe_carry_impl() local
1104 …{ uint64_t x26 = (0x2 * (((((uint64_t)x8 * x10) + ((uint64_t)x6 * x12)) + ((uint64_t)x4 * x14)) + … in fe_sqr_impl() local
|
| D | p256.c | 121 { uint64_t x26; uint8_t x27 = addcarryx_u64(x24, x8, x14, &x26); in fe_add() local
152 uint64_t x26; uint8_t x27 = addcarryx_u64(x23, x11, x24, &x26); in fe_opp() local
174 uint64_t x27; uint64_t x26 = mulx_u64(x5, x14, &x27); in fe_mul() local
296 uint64_t x26; uint8_t x27 = subborrow_u64(x24, x8, x14, &x26); in fe_sub() local
|