Lines Matching refs:u128
51 static __always_inline void fproduct_copy_from_wide_(u64 *output, u128 *input)
54 u128 xi = input[0];
58 u128 xi = input[1];
62 u128 xi = input[2];
66 u128 xi = input[3];
70 u128 xi = input[4];
76 fproduct_sum_scalar_multiplication_(u128 *output, u64 *input, u64 s)
78 output[0] += (u128)input[0] * s;
79 output[1] += (u128)input[1] * s;
80 output[2] += (u128)input[2] * s;
81 output[3] += (u128)input[3] * s;
82 output[4] += (u128)input[4] * s;
85 static __always_inline void fproduct_carry_wide_(u128 *tmp)
89 u128 tctr = tmp[ctr];
90 u128 tctrp1 = tmp[ctr + 1];
92 u128 c = ((tctr) >> (51));
93 tmp[ctr] = ((u128)(r0));
98 u128 tctr = tmp[ctr];
99 u128 tctrp1 = tmp[ctr + 1];
101 u128 c = ((tctr) >> (51));
102 tmp[ctr] = ((u128)(r0));
108 u128 tctr = tmp[ctr];
109 u128 tctrp1 = tmp[ctr + 1];
111 u128 c = ((tctr) >> (51));
112 tmp[ctr] = ((u128)(r0));
117 u128 tctr = tmp[ctr];
118 u128 tctrp1 = tmp[ctr + 1];
120 u128 c = ((tctr) >> (51));
121 tmp[ctr] = ((u128)(r0));
155 static __always_inline void fmul_mul_shift_reduce_(u128 *output, u64 *input,
189 u128 b4;
190 u128 b0;
191 u128 b4_;
192 u128 b0_;
197 u128 t[5] = { 0 };
202 b4_ = ((b4) & (((u128)(0x7ffffffffffffLLU))));
203 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51))))))));
216 static __always_inline void fsquare_fsquare__(u128 *tmp, u64 *output)
228 u128 s0 = ((((((u128)(r0) * (r0))) + (((u128)(d4) * (r1))))) +
229 (((u128)(d2) * (r3))));
230 u128 s1 = ((((((u128)(d0) * (r1))) + (((u128)(d4) * (r2))))) +
231 (((u128)(r3 * 19) * (r3))));
232 u128 s2 = ((((((u128)(d0) * (r2))) + (((u128)(r1) * (r1))))) +
233 (((u128)(d4) * (r3))));
234 u128 s3 = ((((((u128)(d0) * (r3))) + (((u128)(d1) * (r2))))) +
235 (((u128)(r4) * (d419))));
236 u128 s4 = ((((((u128)(d0) * (r4))) + (((u128)(d1) * (r3))))) +
237 (((u128)(r2) * (r2))));
245 static __always_inline void fsquare_fsquare_(u128 *tmp, u64 *output)
247 u128 b4;
248 u128 b0;
249 u128 b4_;
250 u128 b0_;
259 b4_ = ((b4) & (((u128)(0x7ffffffffffffLLU))));
260 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51))))))));
272 static __always_inline void fsquare_fsquare_times_(u64 *output, u128 *tmp,
284 u128 t[5];
292 u128 t[5];
397 u128 tmp[5];
398 u128 b4;
399 u128 b0;
400 u128 b4_;
401 u128 b0_;
404 tmp[0] = ((u128)(xi) * (s));
408 tmp[1] = ((u128)(xi) * (s));
412 tmp[2] = ((u128)(xi) * (s));
416 tmp[3] = ((u128)(xi) * (s));
420 tmp[4] = ((u128)(xi) * (s));
425 b4_ = ((b4) & (((u128)(0x7ffffffffffffLLU))));
426 b0_ = ((b0) + (((u128)(19) * (((u64)(((b4) >> (51))))))));