Searched defs:x35 (Results 1 – 6 of 6) sorted by relevance
165 int[] x35 = Nat192.create(); in sqrt() local
169 int[] x35 = Nat192.create(); in sqrt() local
107 uint64_t x35 = (uint64_t)(x33 & UINT64_C(0x7ffffffffffff)); in fiat_25519_carry_mul() local173 uint64_t x35 = (uint64_t)(x34 >> 51); in fiat_25519_carry_square() local400 uint8_t x35 = (uint8_t)(x32 & UINT8_C(0xff)); in fiat_25519_to_bytes() local532 uint64_t x35 = (x33 & UINT64_C(0x7ffffffffffff)); in fiat_25519_from_bytes() local
139 uint64_t x35 = ((uint64_t)(arg1[5]) * ((arg2[5]) * ((uint32_t)0x2 * UINT8_C(0x13)))); in fiat_25519_carry_mul() local305 uint64_t x35 = ((arg1[4]) * x5); in fiat_25519_carry_square() local444 uint32_t x35 = (uint32_t)(x34 >> 26); in fiat_25519_carry_scmul_121666() local698 fiat_25519_uint1 x35; in fiat_25519_to_bytes() local861 uint32_t x35 = (x33 & UINT32_C(0x3ffffff)); in fiat_25519_from_bytes() local
143 uint64_t x35; in fiat_p256_mul() local456 uint64_t x35; in fiat_p256_square() local898 fiat_p256_uint1 x35; in fiat_p256_from_montgomery() local1097 uint64_t x35 = (x2 >> 8); in fiat_p256_to_bytes() local1201 uint64_t x35 = (x8 + (x7 + (x6 + (x5 + (x4 + (x3 + (x2 + x1))))))); in fiat_p256_from_bytes() local
139 uint32_t x35; in fiat_p256_mul() local1188 uint32_t x35; in fiat_p256_square() local2242 uint32_t x35; in fiat_p256_add() local2460 uint32_t x35; in fiat_p256_from_montgomery() local3094 uint8_t x35 = (uint8_t)(x32 & UINT8_C(0xff)); in fiat_p256_to_bytes() local3198 uint32_t x35 = (x4 + (x3 + (x2 + x1))); in fiat_p256_from_bytes() local