Searched refs:UINT32_C (Results 1 – 2 of 2) sorted by relevance
14 #ifndef UINT32_C15 #define UINT32_C(x) x##UL macro91 uint32_t x2 = (x1 & UINT32_C(0x3ffffff)); in fiat_25519_addcarryx_u26()109 uint32_t x3 = (x1 & UINT32_C(0x3ffffff)); in fiat_25519_subborrowx_u26()125 uint32_t x2 = (x1 & UINT32_C(0x1ffffff)); in fiat_25519_addcarryx_u25()143 uint32_t x3 = (x1 & UINT32_C(0x1ffffff)); in fiat_25519_subborrowx_u25()172 uint32_t x2 = ((fiat_25519_int1)(0x0 - x1) & UINT32_C(0xffffffff)); in fiat_25519_cmovznz_u32()293 uint32_t x103 = (uint32_t)(x101 & UINT32_C(0x3ffffff)); in fiat_25519_carry_mul()305 uint32_t x115 = (uint32_t)(x113 & UINT32_C(0x1ffffff)); in fiat_25519_carry_mul()308 uint32_t x118 = (uint32_t)(x116 & UINT32_C(0x3ffffff)); in fiat_25519_carry_mul()[all …]
1162 uint64_t x1 = ((uint64_t)UINT32_C(0x1db42) * (arg1[9])); in fiat_25519_carry_scmul_121666()1163 uint64_t x2 = ((uint64_t)UINT32_C(0x1db42) * (arg1[8])); in fiat_25519_carry_scmul_121666()1164 uint64_t x3 = ((uint64_t)UINT32_C(0x1db42) * (arg1[7])); in fiat_25519_carry_scmul_121666()1165 uint64_t x4 = ((uint64_t)UINT32_C(0x1db42) * (arg1[6])); in fiat_25519_carry_scmul_121666()1166 uint64_t x5 = ((uint64_t)UINT32_C(0x1db42) * (arg1[5])); in fiat_25519_carry_scmul_121666()1167 uint64_t x6 = ((uint64_t)UINT32_C(0x1db42) * (arg1[4])); in fiat_25519_carry_scmul_121666()1168 uint64_t x7 = ((uint64_t)UINT32_C(0x1db42) * (arg1[3])); in fiat_25519_carry_scmul_121666()1169 uint64_t x8 = ((uint64_t)UINT32_C(0x1db42) * (arg1[2])); in fiat_25519_carry_scmul_121666()1170 uint64_t x9 = ((uint64_t)UINT32_C(0x1db42) * (arg1[1])); in fiat_25519_carry_scmul_121666()1171 uint64_t x10 = ((uint64_t)UINT32_C(0x1db42) * (arg1[0])); in fiat_25519_carry_scmul_121666()[all …]