Searched defs:x17 (Results 1 – 2 of 2) sorted by relevance
| /external/boringssl/src/third_party/fiat/ |
| D | curve25519.c | 204 { uint64_t x16; uint8_t/*bool*/ x17 = subborrow_u51(x14, x6, 0x7ffffffffffff, &x16); in fe_freeze() local
294 { const uint64_t x17 = in2[2]; in fe_add_impl() local
322 { const uint64_t x17 = in2[2]; in fe_sub_impl() local
356 { uint64_t x17 = (x15 + x8); in fe_carry_impl() local
392 { const uint64_t x17 = in2[2]; in fe_mul_impl() local
476 { uint128_t x17 = ((((uint128_t)x9 * x8) + ((uint128_t)x10 * x6)) + ((uint128_t)x7 * x12)); in fe_sqr_impl() local
539 { const uint64_t x17 = 0; in fe_mul_121666_impl() local
599 { const uint64_t x17 = in2[2]; in fe_neg_impl() local
678 { const uint32_t x17 = in1[9]; in fe_freeze() local
796 { const uint32_t x17 = in1[6]; in fe_add_impl() local
[all …]
|
| D | p256.c | 118 { uint64_t x17; uint8_t x18 = addcarryx_u64(0x0, x5, x11, &x17); in fe_add() local
147 uint64_t x17; uint8_t x18 = subborrow_u64(x15, 0x0, x5, &x17); in fe_opp() local
171 uint64_t x18; uint64_t x17 = mulx_u64(x5, x11, &x18); in fe_mul() local
293 uint64_t x17; uint8_t x18 = subborrow_u64(0x0, x5, x11, &x17); in fe_sub() local
315 const uint32_t x17 = in1[6]; in fe_add() local
367 const uint32_t x17 = in1[6]; in fe_mul() local
766 const uint32_t x17 = in2[0]; in fe_sub() local
|