Code coverage tests

This page documents the degree to which the PARI/GP source code is tested by our public test suite, distributed with the source distribution in directory src/test/. This is measured by the gcov utility; we then process gcov output using the lcov frond-end.

We test a few variants depending on Configure flags on the pari.math.u-bordeaux.fr machine (x86_64 architecture), and agregate them in the final report:

• with GMP kernel
• with GMP kernel using --mt=pthread
• with native kernel, including micro-assembler code
• with native kernel, without micro-assembler
• with native kernel, without micro-assembler, disabling GCC extensions (DISABLE_INLINE)
• with GMP kernel, emulating an x86_32 architecture at Configure time via setarch

The target is to exceed 90% coverage for all mathematical modules (given that branches depending on DEBUGLEVEL or DEBUGMEM are not covered). This script is run to produce the results below.

LCOV - code coverage report

Current view: top level - basemath - RgX.c (source / functions) Hit Total Coverage Test: PARI/GP v2.16.2 lcov report (development 29115-f22e516b23) Lines: 1610 1770 91.0 % Date: 2024-05-03 08:08:58 Functions: 199 218 91.3 % Legend: Lines: hit not hit

Function Name	Hit count
RgXQX_mul	0
RgXQX_powers	0
RgXQX_sqr	0
RgXV_prod	0
RgX_RgXQV_eval	0
RgX_RgXn_eval	0
RgX_Rg_eval_bk	0
RgX_affine	0
RgX_sqrhigh_i	0
RgX_sqrhigh_i2	0
RgXn_div_FpXQX	0
RgXn_exp	0
RgXn_inv_FpXQX	0
RgXn_powu	0
RgXn_sqr_basecase	0
_RgX_mul	0
_gen_sub	0
_sub	0
_zeroXn	0
RgXn_sqrt	7
RgXn_sqrhigh	14
RgXQX_RgXQ_mul	35
RgX_rem_FpXQX	70
RgXn_inv_FpX	91
rfrac_deflate	98
rfrac_deflate_max	98
rfrac_deflate_order	98
RgXn_div_FpX	119
RgXQV_RgXQ_mul	133
RgXn_reverse	154
RgX_sqr_FpXQX	196
QXY_QXQ_evalx	231
RgXY_degreex	288
RgXn_sqr2	315
RgXQM_mul	322
RgXX_to_RgM	322
RgXQ_trace	455
RgXnV_red_shallow	483
RgXn_powers	483
zero_FpXQX_mod	532
RgXV_maxdegree	588
_zero	840
RgXY_swap	952
RgX_RgXnV_eval	966
ZX_unscale_divpow	966
RgXQV_red	1204
RgX_sqr_FpX	1365
QXQX_homogenous_evalpow	1652
_oneXn	1939
RgX_mul_FpXQX	2044
QXV_QXQ_eval	2261
RgXn_powu_i	2286
RgXV_rescale	2401
do_QXQ_eval	2492
RgX_divs	2660
RgXQ_matrix_pow	2891
RgXV_RgV_eval	2947
RgXY_derivx	3052
RgX_muls	3943
RgXQ_powers	4214
_mulXn	4528
RgXn_eval	5092
RgXQ_norm	5179
QX_ZXQV_eval	5502
RgXV_unscale	5754
QXQM_to_mod_shallow	6251
RgX_digits	6923
RgXQV_factorback	7013
RgM_to_RgXV_reverse	7097
QXQ_powers	8344
RgX_sqr_i	8813
RgX_sqrspec_basecase	8852
RgX_sqrspec	8891
ZXQ_powers	10906
RgX_pseudodivrem	11650
RgXQX_pseudodivrem	11888
_sqrXn	11893
ZX_unscale_div	12073
RgXn_sqr	12152
RgXQM_red	12257
QXQXV_to_mod	12495
RgX_sqr_QXQX	13390
QXQC_to_mod_shallow	13412
ZXQX_dvd	17083
QXQV_to_mod	18177
RgX_homogenize	18732
RgX_normalize	18998
RgX_unscale	19161
RgM_to_RgXX	23116
RgXQX_translate	23651
_gen_zero	24184
_RgX_divrem	30352
RgX_recip	31150
RgXY_swapspec	31238
QXQX_to_mod	37184
RgX_rem_QXQX	38310
RgX_splitting	43547
RgX_sqrspec_basecase_limb	50354
RgXn_expint	52856
RgX_recip_shallow	57526
RgX_integXn	58715
RgXQC_red	63875
RgX_Rg_add_shallow	64690
_sqr	65140
RgX_mul2n	65268
RgX_rem_FpX	68670
RgXV_to_RgM	77519
_pow	86452
RgXQ_pow	100165
_ZXQmul	113841
RgXQ_powu	115515
RgXQX_divrem	136541
RgXQX_pseudorem	138489
RgX_pseudorem	138489
zero_FpX_mod	152783
get_Rg_algebra	154101
QXQX_to_mod_shallow	161699
RgX_mul_QXQX	163468
QXQ_to_mod	166646
RgX_RgV_eval	166768
Kronecker_to_mod	178559
RgX_Rg_sub	182846
ZXQ_powu	188559
RgV_to_RgX_reverse	189375
_ZXQsqr	213717
ZX_unscale2n	216988
RgX_addspec	222774
RgX_homogenous_evalpow	226034
RgX_div_by_X_x	242794
_mul	270602
RgM_to_RgXV	300629
RgX_rotate_shallow	317037
RgV_to_RgM	333258
_gen_sqr	345064
RgX_RgXQ_eval	400530
RgX_liftred	416946
RgXQX_red	456154
_gen_cmul	512818
RgX_addmulXn	515333
RgXn_div	583134
_add	603795
RgXn_recip_shallow	637319
_red	703309
QXQ_to_mod_shallow	709351
gen_bkeval	731002
RgX_deriv	793096
RgX_inflate	796596
RgXn_inv	807454
RgX_mul_FpX	818061
RgX_valrem_inexact	831791
RgXn_inv_fast	901532
RgXn_inv_i	901532
RgX_deflate	959256
_one	978225
ZX_unscale	999575
_cmul	1004461
_gen_mul	1041826
_gen_nored	1193645
RgX_sqr	1194420
RgX_sqr_fast	1206572
_gen_one	1217284
RgXn_div_fast	1279480
RgXn_div_i	1279480
rem	1318700
Rg_to_RgC	1344089
RgX_recipspec_shallow	1377771
ZX_z_unscale	1450725
RgV_to_RgX	1488751
RgX_shift	1567501
RgX_mulhigh_i2	1583632
RgX_mul_normalized	1692193
RgXn_div_gen	2180803
RgXn_mulhigh	2602526
RgX_mulhigh_i	2661255
RgX_blocks	2775644
RgX_mulXn	2984861
RgX_recip_i	3629380
RgX_val	3633368
RgX_Rg_divexact	3947401
RgX_rescale	4141540
Rg_RgX_sub	4684796
RgX_neg	5172581
RgX_translate_basecase	5806643
RgX_translate	5807069
RgX_renormalize_lg	6151717
RgXn_mul_basecase	6601346
Rg_get_0	6974331
RgXn_red_shallow	7905449
RgX_addspec_shallow	8506440
RgX_addmulXn_shallow	9067643
RgXn_mul2	9375638
RgXn_mul	11012929
gen_bkeval_powers	12267125
RgX_to_RgC	13110469
gen_RgXQ_eval_powers	13710801
RgX_rem_fast	13878353
RgX_rem	13878372
RgX_divrem	14049107
_gen_add	15699128
RgX_Rg_add	18859971
brent_kung_optpow	19604672
RgX_mul_i	20509311
RgX_mulspec_basecase	21219553
RgX_mulspec	21947622
RgX_divrem_i	22903488
RgX_equal	24761396
RgX_Rg_div	29209696
RgX_even_odd	47588223
RgXspec_kill0	55650491
RgX_mul	60828365
RgX_sub	61842709
RgX_mul_fast	74502550
RgX_add	76927593
RgX_valrem	80182950
RgX_mulspec_basecase_limb	93179529
RgX_Rg_mul	127716876
Rg_get_1	156646093
RgX_shift_shallow	164732861

Generated by: LCOV version 1.14