]> git.ipfire.org Git - thirdparty/openssl.git/blame - crypto/ec/curve448/arch_64/f_impl64.c
Copyright year updates
[thirdparty/openssl.git] / crypto / ec / curve448 / arch_64 / f_impl64.c
CommitLineData
927e704e 1/*
b6461792 2 * Copyright 2017-2024 The OpenSSL Project Authors. All Rights Reserved.
927e704e
AI
3 * Copyright 2014 Cryptography Research, Inc.
4 *
9d987de3 5 * Licensed under the Apache License 2.0 (the "License"). You may not use
927e704e
AI
6 * this file except in compliance with the License. You can obtain a copy
7 * in the file LICENSE in the source distribution or at
8 * https://www.openssl.org/source/license.html
9 *
10 * Originally written by Mike Hamburg
11 */
70fd5110 12
d5f9166b 13#include "internal/e_os.h"
6229815a 14#include <openssl/macros.h>
cd28d129
MC
15#include "internal/numbers.h"
16
17#ifndef UINT128_MAX
18/* No support for 128 bit ints, so do nothing here */
19NON_EMPTY_TRANSLATION_UNIT
20#else
21
22# include "../field.h"
927e704e 23
15e041b7 24void ossl_gf_mul(gf_s * RESTRICT cs, const gf as, const gf bs)
927e704e
AI
25{
26 const uint64_t *a = as->limb, *b = bs->limb;
27 uint64_t *c = cs->limb;
70fd5110
AI
28 uint128_t accum0 = 0, accum1 = 0, accum2;
29 uint64_t mask = (1ULL << 56) - 1;
927e704e 30 uint64_t aa[4], bb[4], bbb[4];
eb7bcff6 31 unsigned int i, j;
927e704e
AI
32
33 for (i = 0; i < 4; i++) {
34 aa[i] = a[i] + a[i + 4];
35 bb[i] = b[i] + b[i + 4];
36 bbb[i] = bb[i] + b[i + 4];
37 }
38
eb7bcff6
AI
39 for (i = 0; i < 4; i++) {
40 accum2 = 0;
927e704e 41
eb7bcff6
AI
42 for (j = 0; j <= i; j++) {
43 accum2 += widemul(a[j], b[i - j]);
44 accum1 += widemul(aa[j], bb[i - j]);
45 accum0 += widemul(a[j + 4], b[i - j + 4]);
46 }
47 for (; j < 4; j++) {
76cecff5
AB
48 accum2 += widemul(a[j], b[i + 8 - j]);
49 accum1 += widemul(aa[j], bbb[i + 4 - j]);
50 accum0 += widemul(a[j + 4], bb[i + 4 - j]);
927e704e 51 }
927e704e
AI
52
53 accum1 -= accum2;
54 accum0 += accum2;
55
eb7bcff6
AI
56 c[i] = ((uint64_t)(accum0)) & mask;
57 c[i + 4] = ((uint64_t)(accum1)) & mask;
927e704e
AI
58
59 accum0 >>= 56;
60 accum1 >>= 56;
eb7bcff6 61 }
927e704e
AI
62
63 accum0 += accum1;
64 accum0 += c[4];
65 accum1 += c[0];
66 c[4] = ((uint64_t)(accum0)) & mask;
67 c[0] = ((uint64_t)(accum1)) & mask;
68
69 accum0 >>= 56;
70 accum1 >>= 56;
71
72 c[5] += ((uint64_t)(accum0));
73 c[1] += ((uint64_t)(accum1));
74}
75
15e041b7 76void ossl_gf_mulw_unsigned(gf_s * RESTRICT cs, const gf as, uint32_t b)
927e704e
AI
77{
78 const uint64_t *a = as->limb;
79 uint64_t *c = cs->limb;
70fd5110
AI
80 uint128_t accum0 = 0, accum4 = 0;
81 uint64_t mask = (1ULL << 56) - 1;
927e704e
AI
82 int i;
83
84 for (i = 0; i < 4; i++) {
85 accum0 += widemul(b, a[i]);
86 accum4 += widemul(b, a[i + 4]);
87 c[i] = accum0 & mask;
88 accum0 >>= 56;
89 c[i + 4] = accum4 & mask;
90 accum4 >>= 56;
91 }
92
93 accum0 += accum4 + c[4];
94 c[4] = accum0 & mask;
95 c[5] += accum0 >> 56;
96
97 accum4 += c[0];
98 c[0] = accum4 & mask;
99 c[1] += accum4 >> 56;
100}
101
15e041b7 102void ossl_gf_sqr(gf_s * RESTRICT cs, const gf as)
927e704e
AI
103{
104 const uint64_t *a = as->limb;
105 uint64_t *c = cs->limb;
70fd5110
AI
106 uint128_t accum0 = 0, accum1 = 0, accum2;
107 uint64_t mask = (1ULL << 56) - 1;
927e704e 108 uint64_t aa[4];
70fd5110 109 unsigned int i;
927e704e
AI
110
111 /* For some reason clang doesn't vectorize this without prompting? */
70fd5110 112 for (i = 0; i < 4; i++)
927e704e 113 aa[i] = a[i] + a[i + 4];
927e704e
AI
114
115 accum2 = widemul(a[0], a[3]);
116 accum0 = widemul(aa[0], aa[3]);
117 accum1 = widemul(a[4], a[7]);
118
119 accum2 += widemul(a[1], a[2]);
120 accum0 += widemul(aa[1], aa[2]);
121 accum1 += widemul(a[5], a[6]);
122
123 accum0 -= accum2;
124 accum1 += accum2;
125
126 c[3] = ((uint64_t)(accum1)) << 1 & mask;
127 c[7] = ((uint64_t)(accum0)) << 1 & mask;
128
129 accum0 >>= 55;
130 accum1 >>= 55;
131
132 accum0 += widemul(2 * aa[1], aa[3]);
133 accum1 += widemul(2 * a[5], a[7]);
134 accum0 += widemul(aa[2], aa[2]);
135 accum1 += accum0;
136
137 accum0 -= widemul(2 * a[1], a[3]);
138 accum1 += widemul(a[6], a[6]);
139
140 accum2 = widemul(a[0], a[0]);
141 accum1 -= accum2;
142 accum0 += accum2;
143
144 accum0 -= widemul(a[2], a[2]);
145 accum1 += widemul(aa[0], aa[0]);
146 accum0 += widemul(a[4], a[4]);
147
148 c[0] = ((uint64_t)(accum0)) & mask;
149 c[4] = ((uint64_t)(accum1)) & mask;
150
151 accum0 >>= 56;
152 accum1 >>= 56;
153
154 accum2 = widemul(2 * aa[2], aa[3]);
155 accum0 -= widemul(2 * a[2], a[3]);
156 accum1 += widemul(2 * a[6], a[7]);
157
158 accum1 += accum2;
159 accum0 += accum2;
160
161 accum2 = widemul(2 * a[0], a[1]);
162 accum1 += widemul(2 * aa[0], aa[1]);
163 accum0 += widemul(2 * a[4], a[5]);
164
165 accum1 -= accum2;
166 accum0 += accum2;
167
168 c[1] = ((uint64_t)(accum0)) & mask;
169 c[5] = ((uint64_t)(accum1)) & mask;
170
171 accum0 >>= 56;
172 accum1 >>= 56;
173
174 accum2 = widemul(aa[3], aa[3]);
175 accum0 -= widemul(a[3], a[3]);
176 accum1 += widemul(a[7], a[7]);
177
178 accum1 += accum2;
179 accum0 += accum2;
180
181 accum2 = widemul(2 * a[0], a[2]);
182 accum1 += widemul(2 * aa[0], aa[2]);
183 accum0 += widemul(2 * a[4], a[6]);
184
185 accum2 += widemul(a[1], a[1]);
186 accum1 += widemul(aa[1], aa[1]);
187 accum0 += widemul(a[5], a[5]);
188
189 accum1 -= accum2;
190 accum0 += accum2;
191
192 c[2] = ((uint64_t)(accum0)) & mask;
193 c[6] = ((uint64_t)(accum1)) & mask;
194
195 accum0 >>= 56;
196 accum1 >>= 56;
197
198 accum0 += c[3];
199 accum1 += c[7];
200 c[3] = ((uint64_t)(accum0)) & mask;
201 c[7] = ((uint64_t)(accum1)) & mask;
202
203 /* we could almost stop here, but it wouldn't be stable, so... */
204
205 accum0 >>= 56;
206 accum1 >>= 56;
207 c[4] += ((uint64_t)(accum0)) + ((uint64_t)(accum1));
208 c[0] += ((uint64_t)(accum1));
209}
cd28d129 210#endif