Searched defs:x20 (Results 1 – 5 of 5) sorted by relevance
92 fiat_25519_uint128 x20 = ((fiat_25519_uint128)(arg1[1]) * (arg2[0])); in fiat_25519_carry_mul() local158 fiat_25519_uint128 x20 = ((fiat_25519_uint128)(arg1[0]) * x6); in fiat_25519_carry_square() local222 uint64_t x20 = (x18 * (uint64_t)UINT8_C(0x13)); in fiat_25519_carry_scmul_121666() local384 uint64_t x20; in fiat_25519_to_bytes() local517 uint64_t x20 = ((uint64_t)(arg1[12]) << 45); in fiat_25519_from_bytes() local
124 uint64_t x20 = ((uint64_t)(arg1[7]) * ((arg2[7]) * ((uint32_t)0x2 * UINT8_C(0x13)))); in fiat_25519_carry_mul() local290 uint64_t x20 = ((uint64_t)(arg1[8]) * x2); in fiat_25519_carry_square() local429 uint32_t x20 = (uint32_t)(x19 >> 25); in fiat_25519_carry_scmul_121666() local495 uint32_t x20 = (x8 & UINT32_C(0x1ffffff)); in fiat_25519_carry() local675 fiat_25519_uint1 x20; in fiat_25519_to_bytes() local846 uint32_t x20 = ((uint32_t)(arg1[12]) << 19); in fiat_25519_from_bytes() local
120 fiat_p256_uint1 x20; in fiat_p256_mul() local433 fiat_p256_uint1 x20; in fiat_p256_square() local750 uint64_t x20; in fiat_p256_add() local876 uint64_t x20; in fiat_p256_from_montgomery() local1082 uint64_t x20 = (x3 >> 8); in fiat_p256_to_bytes() local1186 uint64_t x20 = ((uint64_t)(arg1[12]) << 32); in fiat_p256_from_bytes() local
116 uint32_t x20; in fiat_p256_mul() local1165 uint32_t x20; in fiat_p256_square() local2219 fiat_p256_uint1 x20; in fiat_p256_add() local2305 uint32_t x20; in fiat_p256_sub() local2372 uint32_t x20; in fiat_p256_opp() local2438 uint32_t x20; in fiat_p256_from_montgomery() local3079 uint8_t x20 = (uint8_t)(x18 >> 8); in fiat_p256_to_bytes() local3183 uint8_t x20 = (arg1[12]); in fiat_p256_from_bytes() local
967 double x20 = m2[0]; in orthogonalizeMatrix() local