Searched defs:x37 (Results 1 – 5 of 5) sorted by relevance
109 uint64_t x37 = (uint64_t)(x36 >> 51); in fiat_25519_carry_mul() local175 fiat_25519_uint128 x37 = (x35 + x28); in fiat_25519_carry_square() local402 uint8_t x37 = (uint8_t)(x34 & UINT8_C(0xff)); in fiat_25519_to_bytes() local534 uint64_t x37 = (x12 + (x11 + (x10 + (x9 + (x8 + x7))))); in fiat_25519_from_bytes() local
141 uint64_t x37 = ((uint64_t)(arg1[4]) * ((arg2[8]) * (uint32_t)UINT8_C(0x13))); in fiat_25519_carry_mul() local307 uint64_t x37 = ((arg1[4]) * x11); in fiat_25519_carry_square() local446 uint64_t x37 = (x35 + x1); in fiat_25519_carry_scmul_121666() local701 fiat_25519_uint1 x37; in fiat_25519_to_bytes() local863 uint32_t x37 = (x6 + (x5 + x4)); in fiat_25519_from_bytes() local
146 uint64_t x37; in fiat_p256_mul() local459 uint64_t x37; in fiat_p256_square() local901 fiat_p256_uint1 x37; in fiat_p256_from_montgomery() local1099 uint64_t x37 = (x35 >> 8); in fiat_p256_to_bytes() local1203 uint64_t x37 = (x24 + (x23 + (x22 + (x21 + (x20 + (x19 + (x18 + x17))))))); in fiat_p256_from_bytes() local
142 uint32_t x37; in fiat_p256_mul() local1191 uint32_t x37; in fiat_p256_square() local2246 uint32_t x37; in fiat_p256_add() local2463 uint32_t x37; in fiat_p256_from_montgomery() local3096 uint32_t x37 = (x4 >> 8); in fiat_p256_to_bytes() local3200 uint32_t x37 = (x12 + (x11 + (x10 + x9))); in fiat_p256_from_bytes() local
303 __m256 x37; variable