73 static void fproduct(limb *output, const limb *in2, const limb *in) {  in fproduct()  argument
74   output[0] =       ((limb) ((s32) in2[0])) * ((s32) in[0]);  in fproduct()
75   output[1] =       ((limb) ((s32) in2[0])) * ((s32) in[1]) +  in fproduct()
76                     ((limb) ((s32) in2[1])) * ((s32) in[0]);  in fproduct()
77   output[2] =  2 *  ((limb) ((s32) in2[1])) * ((s32) in[1]) +  in fproduct()
78                     ((limb) ((s32) in2[0])) * ((s32) in[2]) +  in fproduct()
79                     ((limb) ((s32) in2[2])) * ((s32) in[0]);  in fproduct()
80   output[3] =       ((limb) ((s32) in2[1])) * ((s32) in[2]) +  in fproduct()
81                     ((limb) ((s32) in2[2])) * ((s32) in[1]) +  in fproduct()
82                     ((limb) ((s32) in2[0])) * ((s32) in[3]) +  in fproduct()
83                     ((limb) ((s32) in2[3])) * ((s32) in[0]);  in fproduct()
84   output[4] =       ((limb) ((s32) in2[2])) * ((s32) in[2]) +  in fproduct()
85                2 * (((limb) ((s32) in2[1])) * ((s32) in[3]) +  in fproduct()
86                     ((limb) ((s32) in2[3])) * ((s32) in[1])) +  in fproduct()
87                     ((limb) ((s32) in2[0])) * ((s32) in[4]) +  in fproduct()
88                     ((limb) ((s32) in2[4])) * ((s32) in[0]);  in fproduct()
89   output[5] =       ((limb) ((s32) in2[2])) * ((s32) in[3]) +  in fproduct()
90                     ((limb) ((s32) in2[3])) * ((s32) in[2]) +  in fproduct()
91                     ((limb) ((s32) in2[1])) * ((s32) in[4]) +  in fproduct()
92                     ((limb) ((s32) in2[4])) * ((s32) in[1]) +  in fproduct()
93                     ((limb) ((s32) in2[0])) * ((s32) in[5]) +  in fproduct()
94                     ((limb) ((s32) in2[5])) * ((s32) in[0]);  in fproduct()
95   output[6] =  2 * (((limb) ((s32) in2[3])) * ((s32) in[3]) +  in fproduct()
96                     ((limb) ((s32) in2[1])) * ((s32) in[5]) +  in fproduct()
97                     ((limb) ((s32) in2[5])) * ((s32) in[1])) +  in fproduct()
98                     ((limb) ((s32) in2[2])) * ((s32) in[4]) +  in fproduct()
99                     ((limb) ((s32) in2[4])) * ((s32) in[2]) +  in fproduct()
100                     ((limb) ((s32) in2[0])) * ((s32) in[6]) +  in fproduct()
101                     ((limb) ((s32) in2[6])) * ((s32) in[0]);  in fproduct()
102   output[7] =       ((limb) ((s32) in2[3])) * ((s32) in[4]) +  in fproduct()
103                     ((limb) ((s32) in2[4])) * ((s32) in[3]) +  in fproduct()
104                     ((limb) ((s32) in2[2])) * ((s32) in[5]) +  in fproduct()
105                     ((limb) ((s32) in2[5])) * ((s32) in[2]) +  in fproduct()
106                     ((limb) ((s32) in2[1])) * ((s32) in[6]) +  in fproduct()
107                     ((limb) ((s32) in2[6])) * ((s32) in[1]) +  in fproduct()
108                     ((limb) ((s32) in2[0])) * ((s32) in[7]) +  in fproduct()
109                     ((limb) ((s32) in2[7])) * ((s32) in[0]);  in fproduct()
110   output[8] =       ((limb) ((s32) in2[4])) * ((s32) in[4]) +  in fproduct()
111                2 * (((limb) ((s32) in2[3])) * ((s32) in[5]) +  in fproduct()
112                     ((limb) ((s32) in2[5])) * ((s32) in[3]) +  in fproduct()
113                     ((limb) ((s32) in2[1])) * ((s32) in[7]) +  in fproduct()
114                     ((limb) ((s32) in2[7])) * ((s32) in[1])) +  in fproduct()
115                     ((limb) ((s32) in2[2])) * ((s32) in[6]) +  in fproduct()
116                     ((limb) ((s32) in2[6])) * ((s32) in[2]) +  in fproduct()
117                     ((limb) ((s32) in2[0])) * ((s32) in[8]) +  in fproduct()
118                     ((limb) ((s32) in2[8])) * ((s32) in[0]);  in fproduct()
119   output[9] =       ((limb) ((s32) in2[4])) * ((s32) in[5]) +  in fproduct()
120                     ((limb) ((s32) in2[5])) * ((s32) in[4]) +  in fproduct()
121                     ((limb) ((s32) in2[3])) * ((s32) in[6]) +  in fproduct()
122                     ((limb) ((s32) in2[6])) * ((s32) in[3]) +  in fproduct()
123                     ((limb) ((s32) in2[2])) * ((s32) in[7]) +  in fproduct()
124                     ((limb) ((s32) in2[7])) * ((s32) in[2]) +  in fproduct()
125                     ((limb) ((s32) in2[1])) * ((s32) in[8]) +  in fproduct()
126                     ((limb) ((s32) in2[8])) * ((s32) in[1]) +  in fproduct()
127                     ((limb) ((s32) in2[0])) * ((s32) in[9]) +  in fproduct()
128                     ((limb) ((s32) in2[9])) * ((s32) in[0]);  in fproduct()
129   output[10] = 2 * (((limb) ((s32) in2[5])) * ((s32) in[5]) +  in fproduct()
130                     ((limb) ((s32) in2[3])) * ((s32) in[7]) +  in fproduct()
131                     ((limb) ((s32) in2[7])) * ((s32) in[3]) +  in fproduct()
132                     ((limb) ((s32) in2[1])) * ((s32) in[9]) +  in fproduct()
133                     ((limb) ((s32) in2[9])) * ((s32) in[1])) +  in fproduct()
134                     ((limb) ((s32) in2[4])) * ((s32) in[6]) +  in fproduct()
135                     ((limb) ((s32) in2[6])) * ((s32) in[4]) +  in fproduct()
136                     ((limb) ((s32) in2[2])) * ((s32) in[8]) +  in fproduct()
137                     ((limb) ((s32) in2[8])) * ((s32) in[2]);  in fproduct()
138   output[11] =      ((limb) ((s32) in2[5])) * ((s32) in[6]) +  in fproduct()
139                     ((limb) ((s32) in2[6])) * ((s32) in[5]) +  in fproduct()
140                     ((limb) ((s32) in2[4])) * ((s32) in[7]) +  in fproduct()
141                     ((limb) ((s32) in2[7])) * ((s32) in[4]) +  in fproduct()
142                     ((limb) ((s32) in2[3])) * ((s32) in[8]) +  in fproduct()
143                     ((limb) ((s32) in2[8])) * ((s32) in[3]) +  in fproduct()
144                     ((limb) ((s32) in2[2])) * ((s32) in[9]) +  in fproduct()
145                     ((limb) ((s32) in2[9])) * ((s32) in[2]);  in fproduct()
146   output[12] =      ((limb) ((s32) in2[6])) * ((s32) in[6]) +  in fproduct()
147                2 * (((limb) ((s32) in2[5])) * ((s32) in[7]) +  in fproduct()
148                     ((limb) ((s32) in2[7])) * ((s32) in[5]) +  in fproduct()
149                     ((limb) ((s32) in2[3])) * ((s32) in[9]) +  in fproduct()
150                     ((limb) ((s32) in2[9])) * ((s32) in[3])) +  in fproduct()
151                     ((limb) ((s32) in2[4])) * ((s32) in[8]) +  in fproduct()
152                     ((limb) ((s32) in2[8])) * ((s32) in[4]);  in fproduct()
153   output[13] =      ((limb) ((s32) in2[6])) * ((s32) in[7]) +  in fproduct()
154                     ((limb) ((s32) in2[7])) * ((s32) in[6]) +  in fproduct()
155                     ((limb) ((s32) in2[5])) * ((s32) in[8]) +  in fproduct()
156                     ((limb) ((s32) in2[8])) * ((s32) in[5]) +  in fproduct()
157                     ((limb) ((s32) in2[4])) * ((s32) in[9]) +  in fproduct()
158                     ((limb) ((s32) in2[9])) * ((s32) in[4]);  in fproduct()
159   output[14] = 2 * (((limb) ((s32) in2[7])) * ((s32) in[7]) +  in fproduct()
160                     ((limb) ((s32) in2[5])) * ((s32) in[9]) +  in fproduct()
161                     ((limb) ((s32) in2[9])) * ((s32) in[5])) +  in fproduct()
162                     ((limb) ((s32) in2[6])) * ((s32) in[8]) +  in fproduct()
163                     ((limb) ((s32) in2[8])) * ((s32) in[6]);  in fproduct()
164   output[15] =      ((limb) ((s32) in2[7])) * ((s32) in[8]) +  in fproduct()
165                     ((limb) ((s32) in2[8])) * ((s32) in[7]) +  in fproduct()
166                     ((limb) ((s32) in2[6])) * ((s32) in[9]) +  in fproduct()
167                     ((limb) ((s32) in2[9])) * ((s32) in[6]);  in fproduct()
168   output[16] =      ((limb) ((s32) in2[8])) * ((s32) in[8]) +  in fproduct()
169                2 * (((limb) ((s32) in2[7])) * ((s32) in[9]) +  in fproduct()
170                     ((limb) ((s32) in2[9])) * ((s32) in[7]));  in fproduct()
171   output[17] =      ((limb) ((s32) in2[8])) * ((s32) in[9]) +  in fproduct()
172                     ((limb) ((s32) in2[9])) * ((s32) in[8]);  in fproduct()
173   output[18] = 2 *  ((limb) ((s32) in2[9])) * ((s32) in[9]);  in fproduct()
236 fmul(limb *output, const limb *in, const limb *in2) {  in fmul()  argument
238   fproduct(t, in, in2);  in fmul()