Searched defs:x48 (Results 1 – 2 of 2) sorted by relevance
| /external/boringssl/src/third_party/fiat/ |
| D | curve25519.c | 423 { uint64_t x48 = (x47 >> 0x33); in fe_mul_impl() local
570 { uint64_t x48 = (x47 >> 0x33); in fe_mul_121666_impl() local
697 { uint32_t x47; uint8_t/*bool*/ x48 = subborrow_u25(x45, x17, 0x1ffffff, &x47); in fe_freeze() local
918 { uint32_t x48 = (x20 + (0x13 * x46)); in fe_carry_impl() local
974 …{ uint64_t x48 = (((((((uint64_t)x31 * x13) + (0x2 * (((((uint64_t)x29 * x15) + ((uint64_t)x33 * x… in fe_mul_impl() local
1126 { uint64_t x48 = (x47 + (x34 << 0x1)); in fe_sqr_impl() local
1246 …{ uint64_t x48 = (((((((uint64_t)x31 * x13) + (0x2 * (((((uint64_t)x29 * x15) + ((uint64_t)x33 * x… in fe_mul_121666_impl() local
|
| D | p256.c | 181 uint64_t x48; uint64_t x47 = mulx_u64(x17, 0xffffffff00000001L, &x48); in fe_mul() local
335 uint32_t x48; uint8_t x49 = addcarryx_u32(x46, x15, x29, &x48); in fe_add() local
387 uint32_t x49; uint32_t x48 = mulx_u32(x5, x29, &x49); in fe_mul() local
|