Lines Matching refs:u128
17 typedef __uint128_t u128;
53 static __always_inline void fproduct_copy_from_wide_(u64 *output, u128 *input)
56 u128 xi = input[0];
60 u128 xi = input[1];
64 u128 xi = input[2];
68 u128 xi = input[3];
72 u128 xi = input[4];
78 fproduct_sum_scalar_multiplication_(u128 *output, u64 *input, u64 s)
80 output[0] += (u128)input[0] * s;
81 output[1] += (u128)input[1] * s;
82 output[2] += (u128)input[2] * s;
83 output[3] += (u128)input[3] * s;
84 output[4] += (u128)input[4] * s;
87 static __always_inline void fproduct_carry_wide_(u128 *tmp)
91 u128 tctr = tmp[ctr];
92 u128 tctrp1 = tmp[ctr + 1];
94 u128 c = ((tctr) >> (51));
95 tmp[ctr] = ((u128)(r0));
100 u128 tctr = tmp[ctr];
101 u128 tctrp1 = tmp[ctr + 1];
103 u128 c = ((tctr) >> (51));
104 tmp[ctr] = ((u128)(r0));
110 u128 tctr = tmp[ctr];
111 u128 tctrp1 = tmp[ctr + 1];
113 u128 c = ((tctr) >> (51));
114 tmp[ctr] = ((u128)(r0));
119 u128 tctr = tmp[ctr];
120 u128 tctrp1 = tmp[ctr + 1];
122 u128 c = ((tctr) >> (51));
123 tmp[ctr] = ((u128)(r0));
157 static __always_inline void fmul_mul_shift_reduce_(u128 *output, u64 *input,
191 u128 b4;
192 u128 b0;
193 u128 b4_;
194 u128 b0_;
199 u128 t[5] = { 0 };
204 b4_ = ((b4) & (((u128)(0x7ffffffffffffLLU))));
205 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51))))))));
218 static __always_inline void fsquare_fsquare__(u128 *tmp, u64 *output)
230 u128 s0 = ((((((u128)(r0) * (r0))) + (((u128)(d4) * (r1))))) +
231 (((u128)(d2) * (r3))));
232 u128 s1 = ((((((u128)(d0) * (r1))) + (((u128)(d4) * (r2))))) +
233 (((u128)(r3 * 19) * (r3))));
234 u128 s2 = ((((((u128)(d0) * (r2))) + (((u128)(r1) * (r1))))) +
235 (((u128)(d4) * (r3))));
236 u128 s3 = ((((((u128)(d0) * (r3))) + (((u128)(d1) * (r2))))) +
237 (((u128)(r4) * (d419))));
238 u128 s4 = ((((((u128)(d0) * (r4))) + (((u128)(d1) * (r3))))) +
239 (((u128)(r2) * (r2))));
247 static __always_inline void fsquare_fsquare_(u128 *tmp, u64 *output)
249 u128 b4;
250 u128 b0;
251 u128 b4_;
252 u128 b0_;
261 b4_ = ((b4) & (((u128)(0x7ffffffffffffLLU))));
262 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51))))))));
274 static __always_inline void fsquare_fsquare_times_(u64 *output, u128 *tmp,
286 u128 t[5];
294 u128 t[5];
399 u128 tmp[5];
400 u128 b4;
401 u128 b0;
402 u128 b4_;
403 u128 b0_;
406 tmp[0] = ((u128)(xi) * (s));
410 tmp[1] = ((u128)(xi) * (s));
414 tmp[2] = ((u128)(xi) * (s));
418 tmp[3] = ((u128)(xi) * (s));
422 tmp[4] = ((u128)(xi) * (s));
427 b4_ = ((b4) & (((u128)(0x7ffffffffffffLLU))));
428 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51))))))));