Searched refs:x9 (Results 1 – 2 of 2) sorted by relevance
199 uint64_t x9 = ((uint64_t)(arg1[9]) * ((arg2[1]) * ((uint32_t)0x2 * UINT8_C(0x13)))); in fiat_25519_carry_mul() local291 uint64_t x101 = (x100 + (x45 + (x44 + (x42 + (x39 + (x35 + (x30 + (x24 + (x17 + x9))))))))); in fiat_25519_carry_mul()365 uint32_t x9 = ((arg1[7]) * (uint32_t)0x2); in fiat_25519_carry_square() local405 uint64_t x49 = ((uint64_t)(arg1[2]) * x9); in fiat_25519_carry_square()413 uint64_t x57 = ((uint64_t)(arg1[1]) * (x9 * (uint32_t)0x2)); in fiat_25519_carry_square()422 uint64_t x66 = ((uint64_t)(arg1[0]) * x9); in fiat_25519_carry_square()504 uint32_t x9 = ((x8 >> 25) + (arg1[8])); in fiat_25519_carry() local505 uint32_t x10 = ((x9 >> 26) + (arg1[9])); in fiat_25519_carry()516 uint32_t x21 = (x9 & UINT32_C(0x3ffffff)); in fiat_25519_carry()546 uint32_t x9 = ((arg1[8]) + (arg2[8])); in fiat_25519_add() local[all …]
1169 uint64_t x9 = ((uint64_t)UINT32_C(0x1db42) * (arg1[1])); in fiat_25519_carry_scmul_121666() local1173 uint64_t x13 = (x11 + x9); in fiat_25519_carry_scmul_121666()
