math/mpx-mul4-{arm-neon,arm64-simd}.S, etc.: Add ARM versions of `mul4'.
[catacomb] / math / Makefile.am
1 ### -*-makefile-*-
2 ###
3 ### Build script for mathematical infrastructure
4 ###
5 ### (c) 2013 Straylight/Edgeware
6 ###
7
8 ###----- Licensing notice ---------------------------------------------------
9 ###
10 ### This file is part of Catacomb.
11 ###
12 ### Catacomb is free software; you can redistribute it and/or modify
13 ### it under the terms of the GNU Library General Public License as
14 ### published by the Free Software Foundation; either version 2 of the
15 ### License, or (at your option) any later version.
16 ###
17 ### Catacomb is distributed in the hope that it will be useful,
18 ### but WITHOUT ANY WARRANTY; without even the implied warranty of
19 ### MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
20 ### GNU Library General Public License for more details.
21 ###
22 ### You should have received a copy of the GNU Library General Public
23 ### License along with Catacomb; if not, write to the Free
24 ### Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
25 ### MA 02111-1307, USA.
26
27 include $(top_srcdir)/vars.am
28
29 noinst_LTLIBRARIES = libmath.la
30 libmath_la_SOURCES =
31 nodist_libmath_la_SOURCES =
32 libmath_la_LIBADD =
33
34 TEST_LIBS = libmath.la
35
36 ###--------------------------------------------------------------------------
37 ### Representation of multiprecision integers.
38
39 ## The `mpgen' tool for dealing with these things.
40 mpgen = $(srcdir)/mpgen
41 EXTRA_DIST += mpgen
42 AM_V_MPGEN = $(AM_V_MPGEN_@AM_V@)
43 AM_V_MPGEN_ = $(AM_V_MPGEN_@AM_DEFAULT_V@)
44 AM_V_MPGEN_0 = @echo " MPGEN $@";
45 MPGEN = $(AM_V_MPGEN)$(PYTHON) $(mpgen)
46
47 ## The type information collected by `configure'.
48 CLEANFILES += typeinfo.py
49 EXTRA_DIST += typeinfo.py.in
50 typeinfo.py: $(srcdir)/typeinfo.py.in Makefile
51 $(SUBST) $(srcdir)/typeinfo.py.in >typeinfo.py.new \
52 type_bits="@type_bits@" \
53 limits="@limits@" && \
54 mv typeinfo.py.new typeinfo.py
55
56 ## The header file containing our representation choices.
57 BUILT_SOURCES += mptypes.h
58 CLEANFILES += mptypes.h
59 nodist_archinclude_HEADERS += mptypes.h
60 mptypes.h: $(mpgen) typeinfo.py
61 $(MPGEN) mptypes >mptypes.h.in && mv mptypes.h.in mptypes.h
62
63 ## Limits of C types as multiprecision integers.
64 BUILT_SOURCES += mplimits.h mplimits.c
65 CLEANFILES += mplimits.h mplimits.c
66 nodist_archinclude_HEADERS += mplimits.h
67 nodist_libmath_la_SOURCES += mplimits.c
68 mplimits.h: $(mpgen) typeinfo.py
69 $(MPGEN) mplimits_h >mplimits.h.in && mv mplimits.h.in mplimits.h
70 mplimits.c: $(mpgen) typeinfo.py
71 $(MPGEN) mplimits_c >mplimits.c.in && mv mplimits.c.in mplimits.c
72
73 ###--------------------------------------------------------------------------
74 ### Main multiprecision integer library.
75
76 ## Additional buffer I/O functions for mathematical objects.
77 pkginclude_HEADERS += buf.h
78 libmath_la_SOURCES += buf.c
79
80 ## Infrastructure for fast exponentiation.
81 pkginclude_HEADERS += exp.h
82 libmath_la_SOURCES += exp.c
83
84 ## Main user-visible multiprecision arithmetic.
85 pkginclude_HEADERS += mp.h
86 libmath_la_SOURCES += mp-arith.c
87 TESTS += mp-arith.t$(EXEEXT)
88 libmath_la_SOURCES += mp-const.c
89 libmath_la_SOURCES += mp-exp.c mp-exp.h
90 libmath_la_SOURCES += mp-gcd.c
91 TESTS += mp-gcd.t$(EXEEXT)
92 libmath_la_SOURCES += mp-io.c
93 libmath_la_SOURCES += mp-jacobi.c
94 TESTS += mp-jacobi.t$(EXEEXT)
95 libmath_la_SOURCES += mp-mem.c
96 libmath_la_SOURCES += mp-misc.c
97 libmath_la_SOURCES += mp-modexp.c
98 TESTS += mp-modexp.t$(EXEEXT)
99 libmath_la_SOURCES += mp-modsqrt.c
100 TESTS += mp-modsqrt.t$(EXEEXT)
101 libmath_la_SOURCES += mp-sqrt.c
102 TESTS += mp-sqrt.t$(EXEEXT)
103 libmath_la_SOURCES += mp-test.c
104 EXTRA_DIST += t/mp
105
106 ## Computing Fibonacci numbers.
107 pkginclude_HEADERS += mp-fibonacci.h
108 libmath_la_SOURCES += mp-fibonacci.c
109 TESTS += mp-fibonacci.t$(EXEEXT)
110
111 ## Special memory allocation for multiprecision integers.
112 pkginclude_HEADERS += mparena.h
113 libmath_la_SOURCES += mparena.c
114
115 ## Barrett reduction, an efficient method for modular reduction.
116 pkginclude_HEADERS += mpbarrett.h
117 libmath_la_SOURCES += mpbarrett.c
118 TESTS += mpbarrett.t$(EXEEXT)
119 libmath_la_SOURCES += mpbarrett-exp.c mpbarrett-mexp.c mpbarrett-exp.h
120 TESTS += mpbarrett-exp.t$(EXEEXT) mpbarrett-mexp.t$(EXEEXT)
121 TESTS += mpbarrett.t$(EXEEXT)
122 EXTRA_DIST += t/mpbarrett
123
124 ## Solving congruences using the Chinese Remainder Theorem.
125 pkginclude_HEADERS += mpcrt.h
126 libmath_la_SOURCES += mpcrt.c
127 TESTS += mpcrt.t$(EXEEXT)
128 EXTRA_DIST += t/mpcrt
129
130 ## Conversions between machine-native and multiprecision integers.
131 pkginclude_HEADERS += mpint.h
132 libmath_la_SOURCES += mpint.c
133 TESTS += mpint.t$(EXEEXT)
134 EXTRA_DIST += t/mpint
135
136 ## Montgomery reduction, a clever method for modular arithmetic.
137 pkginclude_HEADERS += mpmont.h
138 libmath_la_SOURCES += mpmont.c
139 TESTS += mpmont.t$(EXEEXT)
140 libmath_la_SOURCES += mpmont-exp.c mpmont-mexp.c mpmont-exp.h
141 TESTS += mpmont-exp.t$(EXEEXT) mpmont-mexp.t$(EXEEXT)
142 EXTRA_DIST += t/mpmont
143
144 ## Efficient multiplication of many small numbers.
145 pkginclude_HEADERS += mpmul.h
146 libmath_la_SOURCES += mpmul.c
147 TESTS += mpmul.t$(EXEEXT)
148
149 ## Generating random numbers.
150 pkginclude_HEADERS += mprand.h
151 libmath_la_SOURCES += mprand.c
152
153 ## Efficient reduction modulo numbers with conveninent binary
154 ## representations.
155 pkginclude_HEADERS += mpreduce.h
156 libmath_la_SOURCES += mpreduce.c mpreduce-exp.h
157 TESTS += mpreduce.t$(EXEEXT)
158 EXTRA_DIST += t/mpreduce
159
160 ## Iteratiion over the bianry representation of multiprecision integers.
161 pkginclude_HEADERS += mpscan.h
162 libmath_la_SOURCES += mpscan.c
163
164 ## Conversion between multiprecision integers and their textual
165 ## representations.
166 pkginclude_HEADERS += mptext.h
167 libmath_la_SOURCES += mptext.c
168 TESTS += mptext.t$(EXEEXT)
169 libmath_la_SOURCES += mptext-dstr.c
170 libmath_la_SOURCES += mptext-file.c
171 libmath_la_SOURCES += mptext-len.c
172 libmath_la_SOURCES += mptext-string.c
173 EXTRA_DIST += t/mptext
174
175 ## Low-level multiprecision arithmetic.
176 pkginclude_HEADERS += mpx.h bitops.h mpw.h
177 libmath_la_SOURCES += mpx.c
178 TESTS += mpx.t$(EXEEXT)
179 libmath_la_SOURCES += karatsuba.h mpx-kmul.c mpx-ksqr.c
180 TESTS += mpx-kmul.t$(EXEEXT) mpx-ksqr.t$(EXEEXT)
181 noinst_PROGRAMS += bittest
182 TESTS += bittest
183 EXTRA_DIST += t/mpx
184
185 if CPUFAM_X86
186 MPX_MUL4_SOURCES = mpx-mul4-x86-sse2.S
187 check_PROGRAMS += mpx-mul4.t
188 TESTS += mpx-mul4.t$(EXEEXT)
189 endif
190 if CPUFAM_AMD64
191 MPX_MUL4_SOURCES = mpx-mul4-amd64-sse2.S
192 check_PROGRAMS += mpx-mul4.t
193 TESTS += mpx-mul4.t$(EXEEXT)
194 endif
195 if CPUFAM_ARMEL
196 MPX_MUL4_SOURCES = mpx-mul4-arm-neon.S
197 check_PROGRAMS += mpx-mul4.t
198 TESTS += mpx-mul4.t$(EXEEXT)
199 endif
200 if CPUFAM_ARM64
201 MPX_MUL4_SOURCES = mpx-mul4-arm64-simd.S
202 check_PROGRAMS += mpx-mul4.t
203 TESTS += mpx-mul4.t$(EXEEXT)
204 endif
205 libmath_la_SOURCES += $(MPX_MUL4_SOURCES)
206 mpx_mul4_t_SOURCES = mpx-mul4-test.c $(MPX_MUL4_SOURCES)
207 mpx_mul4_t_CPPFLAGS = \
208 $(AM_CPPFLAGS) \
209 -DTEST_MUL4 -DSRCDIR="\"$(srcdir)\""
210 mpx_mul4_t_LDFLAGS = $(TEST_LDFLAGS)
211 mpx_mul4_t_LDADD = $(top_builddir)/libcatacomb.la $(mLib_LIBS)
212 EXTRA_DIST += t/mpx-mul4
213
214 ## A quick-and-dirty parser, used for parsing descriptions of groups, fields,
215 ## etc.
216 pkginclude_HEADERS += qdparse.h
217 libmath_la_SOURCES += qdparse.c
218
219 ## Pollard's `rho' algorithm for determining discrete logarithms.
220 pkginclude_HEADERS += rho.h
221 libmath_la_SOURCES += rho.c
222 TESTS += rho.t$(EXEEXT)
223
224 ###--------------------------------------------------------------------------
225 ### Prime number checking, searching, and related jobs.
226
227 ## Generating Lim--Lee groups, i.e., unit groups of finite fields without
228 ## small subgroups (except for the obvious ones).
229 pkginclude_HEADERS += limlee.h
230 libmath_la_SOURCES += limlee.c
231
232 ## A table of small prime numbers.
233 pkginclude_HEADERS += $(precomp)/math/primetab.h
234 nodist_libmath_la_SOURCES += ../precomp/math/primetab.c
235 PRECOMPS += $(precomp)/math/primetab.h \
236 $(precomp)/math/primetab.c
237 PRECOMP_PROGS += genprimes
238 genprimes_LDADD = $(mLib_LIBS)
239 if !CROSS_COMPILING
240 $(precomp)/math/primetab.h: $(precomp)/math/primetab.c
241 $(precomp)/math/primetab.c:
242 $(AM_V_at)$(MKDIR_P) $(precomp)/math
243 $(AM_V_at)$(MAKE) genprimes$(EXEEXT)
244 $(AM_V_GEN)./genprimes -sCATACOMB_PRIMETAB_H \
245 -h$(precomp)/math/primetab.h -c$(precomp)/math/primetab.c \
246 -n256 -t"unsigned short" -iprimetab
247 endif
248
249 ## Filtering candidate prime numbers by checking for small factors
250 ## efficiently.
251 pkginclude_HEADERS += pfilt.h
252 libmath_la_SOURCES += pfilt.c
253
254 ## Generating prime numbers (and other kinds of numbers which need searching
255 ## for).
256 pkginclude_HEADERS += pgen.h
257 libmath_la_SOURCES += pgen.c
258 libmath_la_SOURCES += pgen-gcd.c
259 libmath_la_SOURCES += pgen-granfrob.c
260 libmath_la_SOURCES += pgen-simul.c
261 libmath_la_SOURCES += pgen-stdev.c
262 TESTS += pgen.t$(EXEEXT) pgen-granfrob.t$(EXEEXT)
263 EXTRA_DIST += t/pgen
264
265 ## Finding primitive elements in finite fields.
266 pkginclude_HEADERS += prim.h
267 libmath_la_SOURCES += prim.c
268
269 ## Iterating over all prime numbers from a given starting point.
270 pkginclude_HEADERS += primeiter.h
271 libmath_la_SOURCES += primeiter.c
272 TESTS += primeiter.t$(EXEEXT)
273 primeiter.lo: $(precomp)/math/wheel.h
274
275 ## The Miller--Rabin primality test.
276 pkginclude_HEADERS += rabin.h
277 libmath_la_SOURCES += rabin.c
278
279 ## Finding `strong' primes, using Gordon's algorithm. Once upon a time,
280 ## products of these kinds of numbers were harder to factor.
281 pkginclude_HEADERS += strongprime.h
282 libmath_la_SOURCES += strongprime.c
283
284 ## A `wheel', used by the prime iteration machinery.
285 pkginclude_HEADERS += $(precomp)/math/wheel.h
286 nodist_libmath_la_SOURCES += ../precomp/math/wheel.c
287 PRECOMPS += $(precomp)/math/wheel.h $(precomp)/math/wheel.c
288 PRECOMP_PROGS += genwheel
289 genwheel_LDADD = $(mLib_LIBS)
290 if !CROSS_COMPILING
291 $(precomp)/math/wheel.h: $(precomp)/math/wheel.c
292 $(precomp)/math/wheel.c:
293 $(AM_V_at)$(MKDIR_P) $(precomp)/math
294 $(AM_V_at)$(MAKE) genwheel$(EXEEXT)
295 $(AM_V_GEN)./genwheel -sCATACOMB_WHEEL_H \
296 -h$(precomp)/math/wheel.h -c$(precomp)/math/wheel.c \
297 -n5 -t"unsigned char" -iwheel
298 endif
299
300 ###--------------------------------------------------------------------------
301 ### Binary polynomial arithmetic.
302
303 ## User-visible binary polynomial arithmetic.
304 pkginclude_HEADERS += gf.h
305 libmath_la_SOURCES += gf-arith.c
306 TESTS += gf-arith.t$(EXEEXT)
307 libmath_la_SOURCES += gf-exp.c gf-exp.h
308 libmath_la_SOURCES += gf-gcd.c
309 TESTS += gf-gcd.t$(EXEEXT)
310 EXTRA_DIST += t/gf
311
312 ## Low-level binary polynomial arithmetic.
313 pkginclude_HEADERS += gfx.h
314 libmath_la_SOURCES += gfx.c
315 TESTS += gfx.t$(EXEEXT)
316 libmath_la_SOURCES += gfx-kmul.c
317 TESTS += gfx-kmul.t$(EXEEXT)
318 libmath_la_SOURCES += gfx-sqr.c
319 nodist_libmath_la_SOURCES += ../precomp/math/gfx-sqrtab.c
320 PRECOMPS += $(precomp)/math/gfx-sqrtab.c
321 PRECOMP_PROGS += gfx-sqr-mktab
322 if !CROSS_COMPILING
323 $(precomp)/math/gfx-sqrtab.c:
324 $(AM_V_at)$(MKDIR_P) $(precomp)/math
325 $(AM_V_at)$(MAKE) gfx-sqr-mktab$(EXEEXT)
326 $(AM_V_GEN)./gfx-sqr-mktab >$(precomp)/math/gfx-sqrtab.c.new && \
327 mv $(precomp)/math/gfx-sqrtab.c.new \
328 $(precomp)/math/gfx-sqrtab.c
329 endif
330 TESTS += gfx-sqr.t$(EXEEXT)
331 EXTRA_DIST += t/gfx
332
333 ## Conversions between normal and polynomial basis representations for binary
334 ## fields.
335 pkginclude_HEADERS += gfn.h
336 libmath_la_SOURCES += gfn.c
337 TESTS += gfn.t$(EXEEXT)
338 EXTRA_DIST += t/gfn
339
340 ## Efficient reduction modulo sparse polynomials.
341 pkginclude_HEADERS += gfreduce.h
342 libmath_la_SOURCES += gfreduce.c gfreduce-exp.h
343 TESTS += gfreduce.t$(EXEEXT)
344 EXTRA_DIST += t/gfreduce
345
346 ###--------------------------------------------------------------------------
347 ### Abstractions for various kinds of algebraic objects.
348
349 ## Abstract cyclic groups.
350 pkginclude_HEADERS += group.h group-guts.h
351 libmath_la_SOURCES += group-dstr.c
352 libmath_la_SOURCES += group-exp.c group-exp.h
353 libmath_la_SOURCES += group-file.c
354 libmath_la_SOURCES += group-parse.c
355 libmath_la_SOURCES += group-stdops.c
356 libmath_la_SOURCES += group-string.c
357 libmath_la_SOURCES += g-bin.c
358 libmath_la_SOURCES += g-prime.c
359 libmath_la_SOURCES += g-ec.c
360 EXTRA_DIST += group-test.c
361 TESTS += group-test.t$(EXEEXT)
362 EXTRA_DIST += t/group
363
364 ## Abstract finite fields.
365 pkginclude_HEADERS += field.h field-guts.h
366 libmath_la_SOURCES += field.c
367 libmath_la_SOURCES += field-exp.c field-exp.h
368 libmath_la_SOURCES += field-parse.c
369 libmath_la_SOURCES += f-binpoly.c
370 libmath_la_SOURCES += f-niceprime.c
371 libmath_la_SOURCES += f-prime.c
372
373 ## Table of built-in binary fields.
374 pkginclude_HEADERS += bintab.h
375 nodist_libmath_la_SOURCES += bintab.c
376 CLEANFILES += bintab.c
377 EXTRA_DIST += bintab.in
378 bintab.c: $(mpgen) typeinfo.py bintab.in
379 $(MPGEN) bintab $(srcdir)/bintab.in >bintab.c.new && \
380 mv bintab.c.new bintab.c
381
382 ## Table of built-in prime fields.
383 pkginclude_HEADERS += ptab.h
384 nodist_libmath_la_SOURCES += ptab.c
385 CLEANFILES += ptab.c
386 EXTRA_DIST += ptab.in
387 ptab.c: $(mpgen) typeinfo.py ptab.in
388 $(MPGEN) ptab $(srcdir)/ptab.in >ptab.c.new && \
389 mv ptab.c.new ptab.c
390
391 ###--------------------------------------------------------------------------
392 ### Elliptic curve arithmetic.
393
394 ## Basic elliptic curve arithmetic.
395 pkginclude_HEADERS += ec.h ec-guts.h
396 libmath_la_SOURCES += ec.c
397 libmath_la_SOURCES += ec-exp.c ec-exp.h
398 libmath_la_SOURCES += ec-info.c
399 TESTS += ec-info.t$(EXEEXT)
400 libmath_la_SOURCES += ec-bin.c
401 TESTS += ec-bin.t$(EXEEXT)
402 libmath_la_SOURCES += ec-prime.c
403 TESTS += ec-prime.t$(EXEEXT)
404 EXTRA_DIST += t/ec
405
406 ## The standard `raw' encoding (`EC2OSP') of elliptic curve points.
407 pkginclude_HEADERS += ec-raw.h
408 libmath_la_SOURCES += ec-raw.c
409
410 ## Assistance for elliptic-curve keys.
411 pkginclude_HEADERS += ec-keys.h
412 libmath_la_SOURCES += ec-fetch.c
413
414 ## Test infrastructure for elliptic curves.
415 pkginclude_HEADERS += ec-test.h
416 libmath_la_SOURCES += ec-test.c
417 TESTS += ec-test.t$(EXEEXT)
418
419 ## Table of built-in elliptic-curve groups.
420 pkginclude_HEADERS += ectab.h
421 nodist_libmath_la_SOURCES += ectab.c
422 CLEANFILES += ectab.c
423 EXTRA_DIST += ectab.in
424 ectab.c: $(mpgen) typeinfo.py ectab.in
425 $(MPGEN) ectab $(srcdir)/ectab.in >ectab.c.new && \
426 mv ectab.c.new ectab.c
427
428 ###--------------------------------------------------------------------------
429 ### Other strange things.
430
431 pkginclude_HEADERS += qfarith.h
432
433 pkginclude_HEADERS += f25519.h
434 libmath_la_SOURCES += f25519.c
435 TESTS += f25519.t$(EXEEXT)
436 TESTS += f25519-p10.t$(EXEEXT)
437 EXTRA_DIST += t/f25519
438
439 check_PROGRAMS += f25519-p10.t
440 f25519_p10_t_SOURCES = f25519.c
441 f25519_p10_t_CPPFLAGS = $(AM_CPPFLAGS) -DTEST_RIG -DSRCDIR="\"$(srcdir)\""
442 f25519_p10_t_CPPFLAGS += -DF25519_IMPL=10
443 f25519_p10_t_LDFLAGS = $(TEST_LDFLAGS)
444 f25519_p10_t_LDADD = $(TEST_LIBS) $(top_builddir)/libcatacomb.la
445 f25519_p10_t_LDADD += $(mLib_LIBS) $(CATACOMB_LIBS) $(LIBS)
446
447 pkginclude_HEADERS += fgoldi.h
448 libmath_la_SOURCES += fgoldi.c
449 TESTS += fgoldi.t$(EXEEXT)
450 TESTS += fgoldi-p12.t$(EXEEXT)
451 EXTRA_DIST += t/fgoldi
452
453 check_PROGRAMS += fgoldi-p12.t
454 fgoldi_p12_t_SOURCES = fgoldi.c
455 fgoldi_p12_t_CPPFLAGS = $(AM_CPPFLAGS) -DTEST_RIG -DSRCDIR="\"$(srcdir)\""
456 fgoldi_p12_t_CPPFLAGS += -DFGOLDI_IMPL=12
457 fgoldi_p12_t_LDFLAGS = $(TEST_LDFLAGS)
458 fgoldi_p12_t_LDADD = $(TEST_LIBS) $(top_builddir)/libcatacomb.la
459 fgoldi_p12_t_LDADD += $(mLib_LIBS) $(CATACOMB_LIBS) $(LIBS)
460
461 pkginclude_HEADERS += scaf.h
462 libmath_la_SOURCES += scaf.c
463
464 pkginclude_HEADERS += montladder.h
465 pkginclude_HEADERS += scmul.h
466
467 ###----- That's all, folks --------------------------------------------------