Searched refs:x5 (Results 1 – 2 of 2) sorted by relevance
195 uint64_t x5 = ((uint64_t)(arg1[9]) * ((arg2[5]) * ((uint32_t)0x2 * UINT8_C(0x13)))); in fiat_25519_carry_mul() local299 uint64_t x109 = (x96 + (x87 + (x79 + (x72 + (x66 + (x31 + (x26 + (x20 + (x13 + x5))))))))); in fiat_25519_carry_mul()361 uint64_t x5 = (x4 * (uint64_t)0x2); in fiat_25519_carry_square() local379 uint64_t x23 = ((arg1[7]) * x5); in fiat_25519_carry_square()382 uint64_t x26 = ((arg1[6]) * x5); in fiat_25519_carry_square()386 uint64_t x30 = ((arg1[5]) * x5); in fiat_25519_carry_square()391 uint64_t x35 = ((arg1[4]) * x5); in fiat_25519_carry_square()397 uint64_t x41 = ((arg1[3]) * x5); in fiat_25519_carry_square()404 uint64_t x48 = ((arg1[2]) * x5); in fiat_25519_carry_square()500 uint32_t x5 = ((x4 >> 25) + (arg1[4])); in fiat_25519_carry() local[all …]
1165 uint64_t x5 = ((uint64_t)UINT32_C(0x1db42) * (arg1[5])); in fiat_25519_carry_scmul_121666() local1185 uint64_t x25 = (x23 + x5); in fiat_25519_carry_scmul_121666()
