Searched defs:x37 (Results 1 – 13 of 13) sorted by relevance
139 uint64_t x37 = (uint64_t)(x36 >> 51); in fiat_25519_carry_mul() local209 fiat_25519_uint128 x37 = (x35 + x28); in fiat_25519_carry_square() local419 uint8_t x37 = (uint8_t)(x34 & UINT8_C(0xff)); in fiat_25519_to_bytes() local555 uint64_t x37 = (x12 + (x11 + (x10 + (x9 + (x8 + x7))))); in fiat_25519_from_bytes() local
181 uint64_t x37 = ((uint64_t)(arg1[4]) * ((arg2[8]) * UINT8_C(0x13))); in fiat_25519_carry_mul() local351 uint64_t x37 = ((arg1[4]) * x11); in fiat_25519_carry_square() local703 fiat_25519_uint1 x37; in fiat_25519_to_bytes() local869 uint32_t x37 = (x6 + (x5 + x4)); in fiat_25519_from_bytes() local959 uint64_t x37 = (x35 + x1); in fiat_25519_carry_scmul_121666() local
182 uint64_t x37; in fiat_p256_mul() local477 uint64_t x37; in fiat_p256_square() local925 fiat_p256_uint1 x37; in fiat_p256_from_montgomery() local1107 uint64_t x37 = (x35 >> 8); in fiat_p256_to_bytes() local1218 uint64_t x37 = (x24 + (x23 + (x22 + (x21 + (x20 + (x19 + (x18 + x17))))))); in fiat_p256_from_bytes() local
179 uint32_t x37; in fiat_p256_mul() local1186 uint32_t x37; in fiat_p256_square() local2200 uint32_t x37; in fiat_p256_add() local2439 fiat_p256_uint1 x37; in fiat_p256_from_montgomery() local3016 uint32_t x37 = (x4 >> 8); in fiat_p256_to_bytes() local3127 uint32_t x37 = (x12 + (x11 + (x10 + x9))); in fiat_p256_from_bytes() local
303 __m256 x37; variable
50 int x37 = x36 * x35 + x34; in calc() local