Lines Matching defs:s32
29 typedef int32_t s32;
74 output[0] = ((limb) ((s32) in2[0])) * ((s32) in[0]);
75 output[1] = ((limb) ((s32) in2[0])) * ((s32) in[1]) +
76 ((limb) ((s32) in2[1])) * ((s32) in[0]);
77 output[2] = 2 * ((limb) ((s32) in2[1])) * ((s32) in[1]) +
78 ((limb) ((s32) in2[0])) * ((s32) in[2]) +
79 ((limb) ((s32) in2[2])) * ((s32) in[0]);
80 output[3] = ((limb) ((s32) in2[1])) * ((s32) in[2]) +
81 ((limb) ((s32) in2[2])) * ((s32) in[1]) +
82 ((limb) ((s32) in2[0])) * ((s32) in[3]) +
83 ((limb) ((s32) in2[3])) * ((s32) in[0]);
84 output[4] = ((limb) ((s32) in2[2])) * ((s32) in[2]) +
85 2 * (((limb) ((s32) in2[1])) * ((s32) in[3]) +
86 ((limb) ((s32) in2[3])) * ((s32) in[1])) +
87 ((limb) ((s32) in2[0])) * ((s32) in[4]) +
88 ((limb) ((s32) in2[4])) * ((s32) in[0]);
89 output[5] = ((limb) ((s32) in2[2])) * ((s32) in[3]) +
90 ((limb) ((s32) in2[3])) * ((s32) in[2]) +
91 ((limb) ((s32) in2[1])) * ((s32) in[4]) +
92 ((limb) ((s32) in2[4])) * ((s32) in[1]) +
93 ((limb) ((s32) in2[0])) * ((s32) in[5]) +
94 ((limb) ((s32) in2[5])) * ((s32) in[0]);
95 output[6] = 2 * (((limb) ((s32) in2[3])) * ((s32) in[3]) +
96 ((limb) ((s32) in2[1])) * ((s32) in[5]) +
97 ((limb) ((s32) in2[5])) * ((s32) in[1])) +
98 ((limb) ((s32) in2[2])) * ((s32) in[4]) +
99 ((limb) ((s32) in2[4])) * ((s32) in[2]) +
100 ((limb) ((s32) in2[0])) * ((s32) in[6]) +
101 ((limb) ((s32) in2[6])) * ((s32) in[0]);
102 output[7] = ((limb) ((s32) in2[3])) * ((s32) in[4]) +
103 ((limb) ((s32) in2[4])) * ((s32) in[3]) +
104 ((limb) ((s32) in2[2])) * ((s32) in[5]) +
105 ((limb) ((s32) in2[5])) * ((s32) in[2]) +
106 ((limb) ((s32) in2[1])) * ((s32) in[6]) +
107 ((limb) ((s32) in2[6])) * ((s32) in[1]) +
108 ((limb) ((s32) in2[0])) * ((s32) in[7]) +
109 ((limb) ((s32) in2[7])) * ((s32) in[0]);
110 output[8] = ((limb) ((s32) in2[4])) * ((s32) in[4]) +
111 2 * (((limb) ((s32) in2[3])) * ((s32) in[5]) +
112 ((limb) ((s32) in2[5])) * ((s32) in[3]) +
113 ((limb) ((s32) in2[1])) * ((s32) in[7]) +
114 ((limb) ((s32) in2[7])) * ((s32) in[1])) +
115 ((limb) ((s32) in2[2])) * ((s32) in[6]) +
116 ((limb) ((s32) in2[6])) * ((s32) in[2]) +
117 ((limb) ((s32) in2[0])) * ((s32) in[8]) +
118 ((limb) ((s32) in2[8])) * ((s32) in[0]);
119 output[9] = ((limb) ((s32) in2[4])) * ((s32) in[5]) +
120 ((limb) ((s32) in2[5])) * ((s32) in[4]) +
121 ((limb) ((s32) in2[3])) * ((s32) in[6]) +
122 ((limb) ((s32) in2[6])) * ((s32) in[3]) +
123 ((limb) ((s32) in2[2])) * ((s32) in[7]) +
124 ((limb) ((s32) in2[7])) * ((s32) in[2]) +
125 ((limb) ((s32) in2[1])) * ((s32) in[8]) +
126 ((limb) ((s32) in2[8])) * ((s32) in[1]) +
127 ((limb) ((s32) in2[0])) * ((s32) in[9]) +
128 ((limb) ((s32) in2[9])) * ((s32) in[0]);
129 output[10] = 2 * (((limb) ((s32) in2[5])) * ((s32) in[5]) +
130 ((limb) ((s32) in2[3])) * ((s32) in[7]) +
131 ((limb) ((s32) in2[7])) * ((s32) in[3]) +
132 ((limb) ((s32) in2[1])) * ((s32) in[9]) +
133 ((limb) ((s32) in2[9])) * ((s32) in[1])) +
134 ((limb) ((s32) in2[4])) * ((s32) in[6]) +
135 ((limb) ((s32) in2[6])) * ((s32) in[4]) +
136 ((limb) ((s32) in2[2])) * ((s32) in[8]) +
137 ((limb) ((s32) in2[8])) * ((s32) in[2]);
138 output[11] = ((limb) ((s32) in2[5])) * ((s32) in[6]) +
139 ((limb) ((s32) in2[6])) * ((s32) in[5]) +
140 ((limb) ((s32) in2[4])) * ((s32) in[7]) +
141 ((limb) ((s32) in2[7])) * ((s32) in[4]) +
142 ((limb) ((s32) in2[3])) * ((s32) in[8]) +
143 ((limb) ((s32) in2[8])) * ((s32) in[3]) +
144 ((limb) ((s32) in2[2])) * ((s32) in[9]) +
145 ((limb) ((s32) in2[9])) * ((s32) in[2]);
146 output[12] = ((limb) ((s32) in2[6])) * ((s32) in[6]) +
147 2 * (((limb) ((s32) in2[5])) * ((s32) in[7]) +
148 ((limb) ((s32) in2[7])) * ((s32) in[5]) +
149 ((limb) ((s32) in2[3])) * ((s32) in[9]) +
150 ((limb) ((s32) in2[9])) * ((s32) in[3])) +
151 ((limb) ((s32) in2[4])) * ((s32) in[8]) +
152 ((limb) ((s32) in2[8])) * ((s32) in[4]);
153 output[13] = ((limb) ((s32) in2[6])) * ((s32) in[7]) +
154 ((limb) ((s32) in2[7])) * ((s32) in[6]) +
155 ((limb) ((s32) in2[5])) * ((s32) in[8]) +
156 ((limb) ((s32) in2[8])) * ((s32) in[5]) +
157 ((limb) ((s32) in2[4])) * ((s32) in[9]) +
158 ((limb) ((s32) in2[9])) * ((s32) in[4]);
159 output[14] = 2 * (((limb) ((s32) in2[7])) * ((s32) in[7]) +
160 ((limb) ((s32) in2[5])) * ((s32) in[9]) +
161 ((limb) ((s32) in2[9])) * ((s32) in[5])) +
162 ((limb) ((s32) in2[6])) * ((s32) in[8]) +
163 ((limb) ((s32) in2[8])) * ((s32) in[6]);
164 output[15] = ((limb) ((s32) in2[7])) * ((s32) in[8]) +
165 ((limb) ((s32) in2[8])) * ((s32) in[7]) +
166 ((limb) ((s32) in2[6])) * ((s32) in[9]) +
167 ((limb) ((s32) in2[9])) * ((s32) in[6]);
168 output[16] = ((limb) ((s32) in2[8])) * ((s32) in[8]) +
169 2 * (((limb) ((s32) in2[7])) * ((s32) in[9]) +
170 ((limb) ((s32) in2[9])) * ((s32) in[7]));
171 output[17] = ((limb) ((s32) in2[8])) * ((s32) in[9]) +
172 ((limb) ((s32) in2[9])) * ((s32) in[8]);
173 output[18] = 2 * ((limb) ((s32) in2[9])) * ((s32) in[9]);
245 output[0] = ((limb) ((s32) in[0])) * ((s32) in[0]);
246 output[1] = 2 * ((limb) ((s32) in[0])) * ((s32) in[1]);
247 output[2] = 2 * (((limb) ((s32) in[1])) * ((s32) in[1]) +
248 ((limb) ((s32) in[0])) * ((s32) in[2]));
249 output[3] = 2 * (((limb) ((s32) in[1])) * ((s32) in[2]) +
250 ((limb) ((s32) in[0])) * ((s32) in[3]));
251 output[4] = ((limb) ((s32) in[2])) * ((s32) in[2]) +
252 4 * ((limb) ((s32) in[1])) * ((s32) in[3]) +
253 2 * ((limb) ((s32) in[0])) * ((s32) in[4]);
254 output[5] = 2 * (((limb) ((s32) in[2])) * ((s32) in[3]) +
255 ((limb) ((s32) in[1])) * ((s32) in[4]) +
256 ((limb) ((s32) in[0])) * ((s32) in[5]));
257 output[6] = 2 * (((limb) ((s32) in[3])) * ((s32) in[3]) +
258 ((limb) ((s32) in[2])) * ((s32) in[4]) +
259 ((limb) ((s32) in[0])) * ((s32) in[6]) +
260 2 * ((limb) ((s32) in[1])) * ((s32) in[5]));
261 output[7] = 2 * (((limb) ((s32) in[3])) * ((s32) in[4]) +
262 ((limb) ((s32) in[2])) * ((s32) in[5]) +
263 ((limb) ((s32) in[1])) * ((s32) in[6]) +
264 ((limb) ((s32) in[0])) * ((s32) in[7]));
265 output[8] = ((limb) ((s32) in[4])) * ((s32) in[4]) +
266 2 * (((limb) ((s32) in[2])) * ((s32) in[6]) +
267 ((limb) ((s32) in[0])) * ((s32) in[8]) +
268 2 * (((limb) ((s32) in[1])) * ((s32) in[7]) +
269 ((limb) ((s32) in[3])) * ((s32) in[5])));
270 output[9] = 2 * (((limb) ((s32) in[4])) * ((s32) in[5]) +
271 ((limb) ((s32) in[3])) * ((s32) in[6]) +
272 ((limb) ((s32) in[2])) * ((s32) in[7]) +
273 ((limb) ((s32) in[1])) * ((s32) in[8]) +
274 ((limb) ((s32) in[0])) * ((s32) in[9]));
275 output[10] = 2 * (((limb) ((s32) in[5])) * ((s32) in[5]) +
276 ((limb) ((s32) in[4])) * ((s32) in[6]) +
277 ((limb) ((s32) in[2])) * ((s32) in[8]) +
278 2 * (((limb) ((s32) in[3])) * ((s32) in[7]) +
279 ((limb) ((s32) in[1])) * ((s32) in[9])));
280 output[11] = 2 * (((limb) ((s32) in[5])) * ((s32) in[6]) +
281 ((limb) ((s32) in[4])) * ((s32) in[7]) +
282 ((limb) ((s32) in[3])) * ((s32) in[8]) +
283 ((limb) ((s32) in[2])) * ((s32) in[9]));
284 output[12] = ((limb) ((s32) in[6])) * ((s32) in[6]) +
285 2 * (((limb) ((s32) in[4])) * ((s32) in[8]) +
286 2 * (((limb) ((s32) in[5])) * ((s32) in[7]) +
287 ((limb) ((s32) in[3])) * ((s32) in[9])));
288 output[13] = 2 * (((limb) ((s32) in[6])) * ((s32) in[7]) +
289 ((limb) ((s32) in[5])) * ((s32) in[8]) +
290 ((limb) ((s32) in[4])) * ((s32) in[9]));
291 output[14] = 2 * (((limb) ((s32) in[7])) * ((s32) in[7]) +
292 ((limb) ((s32) in[6])) * ((s32) in[8]) +
293 2 * ((limb) ((s32) in[5])) * ((s32) in[9]));
294 output[15] = 2 * (((limb) ((s32) in[7])) * ((s32) in[8]) +
295 ((limb) ((s32) in[6])) * ((s32) in[9]));
296 output[16] = ((limb) ((s32) in[8])) * ((s32) in[8]) +
297 4 * ((limb) ((s32) in[7])) * ((s32) in[9]);
298 output[17] = 2 * ((limb) ((s32) in[8])) * ((s32) in[9]);
299 output[18] = 2 * ((limb) ((s32) in[9])) * ((s32) in[9]);