Searched defs:x36 (Results 1 – 4 of 4) sorted by relevance
108 fiat_25519_uint128 x36 = (x34 + x31); in fiat_25519_carry_mul() local174 uint64_t x36 = (uint64_t)(x34 & UINT64_C(0x7ffffffffffff)); in fiat_25519_carry_square() local401 uint8_t x36 = (uint8_t)(x34 >> 8); in fiat_25519_to_bytes() local533 uint64_t x36 = (x6 + (x5 + (x4 + (x3 + (x2 + x1))))); in fiat_25519_from_bytes() local
140 uint64_t x36 = ((uint64_t)(arg1[4]) * ((arg2[9]) * (uint32_t)UINT8_C(0x13))); in fiat_25519_carry_mul() local306 uint64_t x36 = ((uint64_t)(arg1[4]) * x8); in fiat_25519_carry_square() local445 uint32_t x36 = (uint32_t)(x34 & UINT32_C(0x3ffffff)); in fiat_25519_carry_scmul_121666() local700 uint32_t x36; in fiat_25519_to_bytes() local862 uint32_t x36 = (x3 + (x2 + x1)); in fiat_25519_from_bytes() local
144 fiat_p256_uint1 x36; in fiat_p256_mul() local457 fiat_p256_uint1 x36; in fiat_p256_square() local900 uint64_t x36; in fiat_p256_from_montgomery() local1098 uint8_t x36 = (uint8_t)(x2 & UINT8_C(0xff)); in fiat_p256_to_bytes() local1202 uint64_t x36 = (x16 + (x15 + (x14 + (x13 + (x12 + (x11 + (x10 + x9))))))); in fiat_p256_from_bytes() local
140 fiat_p256_uint1 x36; in fiat_p256_mul() local1189 fiat_p256_uint1 x36; in fiat_p256_square() local2244 uint32_t x36; in fiat_p256_add() local2462 uint32_t x36; in fiat_p256_from_montgomery() local3095 uint8_t x36 = (uint8_t)(x34 & UINT8_C(0xff)); in fiat_p256_to_bytes() local3199 uint32_t x36 = (x8 + (x7 + (x6 + x5))); in fiat_p256_from_bytes() local