Searched defs:x36 (Results 1 – 2 of 2) sorted by relevance
171 fiat_25519_uint128 x36; in fiat_25519_carry_mul() local290 uint64_t x36; in fiat_25519_carry_square() local521 uint8_t x36; in fiat_25519_to_bytes() local737 uint64_t x36; in fiat_25519_from_bytes() local1068 uint64_t x36; in fiat_25519_carry_mul() local1382 uint64_t x36; in fiat_25519_carry_square() local1828 uint32_t x36; in fiat_25519_to_bytes() local2086 uint32_t x36; in fiat_25519_from_bytes() local
121 { u32 x35; u8/*bool*/ x36 = subborrow_u25(x33, x12, 0x1ffffff, &x35); in fe_freeze() local469 { u64 x36 = ((u64)(0x2 * x18) * x17); in fe_sqr_impl() local