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.18.0 lcov report (development 29712-7c8a932571) Lines: 1620 1773 91.4 % Date: 2024-11-15 09:08:45 Functions: 200 218 91.7 % 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_exp	0
RgXn_inv_FpXQX	0
RgXn_powu	0
RgXn_sqr_basecase	0
_RgX_mul	0
_gen_sub	0
_sub	0
_zeroXn	0
RgXn_div_FpXQX	7
RgXn_sqrt	7
RgXn_sqrhigh	14
RgXQX_RgXQ_mul	35
RgX_rem_FpXQX	70
RgXn_inv_FpX	91
rfrac_deflate	105
rfrac_deflate_max	105
rfrac_deflate_order	105
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	476
RgXnV_red_shallow	483
RgXn_powers	483
zero_FpXQX_mod	532
RgXV_maxdegree	588
RgXY_swap	952
RgX_RgXnV_eval	966
ZX_unscale_divpow	966
_zero	973
RgXQV_red	1204
RgX_sqr_FpX	1421
QXQX_homogenous_evalpow	1652
_oneXn	1939
RgX_mul_FpXQX	2044
RgXn_powu_i	2286
RgXV_rescale	2401
RgX_divs	2660
QXV_QXQ_eval	2667
do_QXQ_eval	2898
RgXQ_matrix_pow	2940
RgXV_RgV_eval	2947
RgXY_derivx	3836
RgX_muls	3992
_mulXn	4528
RgXQ_norm	5144
RgXn_eval	5145
RgXV_unscale	5845
QX_ZXQV_eval	6279
QXQM_to_mod_shallow	6573
RgX_digits	6923
RgXQV_factorback	7118
RgM_to_RgXV_reverse	7202
RgXQ_powers	8547
QXQ_powers	8848
RgX_sqr_i	8869
RgX_sqrspec_basecase	8908
RgX_sqrspec	8947
ZXQ_powers	11410
RgX_pseudodivrem	11846
_sqrXn	11893
RgXQX_pseudodivrem	12084
RgXn_sqr	12152
QXQXV_to_mod	12586
RgXQM_red	12901
ZX_unscale_div	12997
RgX_sqr_QXQX	13432
QXQC_to_mod_shallow	14336
ZXQX_dvd	17282
QXQV_to_mod	18227
RgX_homogenize	18732
RgX_unscale	19856
RgM_to_RgXX	23466
_gen_zero	24184
RgXQX_translate	27529
_RgX_divrem	30352
RgX_recip	31248
RgXY_swapspec	31304
QXQX_to_mod	37366
RgX_normalize	39018
RgX_rem_QXQX	42214
RgX_splitting	43631
RgX_sqrspec_basecase_limb	50522
RgXn_expint	52918
RgX_integXn	56373
RgX_recip_shallow	59367
RgX_Rg_add_shallow	64885
RgX_mul2n	65268
RgXQC_red	67067
_sqr	67352
RgX_rem_FpX	68670
RgXV_to_RgM	77924
_pow	88307
RgXQ_pow	102412
_ZXQmul	111173
RgXQ_powu	115807
RgXQX_divrem	143338
zero_FpX_mod	152790
RgX_RgV_eval	166768
QXQ_to_mod	167398
ZXQ_powu	168510
RgX_mul_QXQX	171210
RgX_Rg_sub	179650
QXQX_to_mod_shallow	181115
Kronecker_to_mod	186343
RgV_to_RgX_reverse	190005
_ZXQsqr	200568
RgX_addspec	223517
RgX_div_by_X_x	250634
_mul	274852
get_Rg_algebra	281035
RgM_to_RgXV	302864
RgX_rotate_shallow	317037
RgV_to_RgM	334790
RgX_RgXQ_eval	409296
RgX_liftred	440280
RgXQX_red	482680
_gen_cmul	512818
RgX_addmulXn	516076
RgXn_div	584443
_gen_sqr	599490
_add	613863
RgXQX_pseudorem	629959
RgX_pseudorem	629959
RgXn_recip_shallow	639087
RgX_homogenous_evalpow	666094
_red	713483
QXQ_to_mod_shallow	780217
RgX_inflate	798166
RgXn_inv	807451
RgX_mul_FpX	818173
RgX_deriv	823277
RgX_valrem_inexact	851768
gen_bkeval	866648
RgXn_inv_fast	905018
RgXn_inv_i	905019
ZX_unscale2n	926606
RgX_deflate	984818
_one	1001252
ZX_unscale	1009704
_cmul	1023155
RgXn_div_fast	1284106
RgXn_div_i	1284106
RgX_sqr	1347156
Rg_to_RgC	1349242
RgX_sqr_fast	1359308
RgX_recipspec_shallow	1379437
ZX_z_unscale	1463527
RgV_to_RgX	1501916
RgX_shift	1567508
RgX_mulhigh_i2	1589258
RgX_mul_normalized	1711152
_gen_mul	1842127
_gen_nored	2027153
_gen_one	2068161
RgXn_div_gen	2188899
RgXn_mulhigh	2614484
RgX_mulhigh_i	2670872
RgX_blocks	2787609
RgX_mulXn	2984903
RgX_val	3647227
rem	4039539
RgX_rescale	4334226
Rg_RgX_sub	4855913
RgX_recip_i	5110314
RgX_translate_basecase	5956781
RgX_translate	5957212
RgX_renormalize_lg	6216999
RgXn_mul_basecase	6627805
Rg_get_0	6985678
RgX_Rg_divexact	7161801
RgX_neg	7771632
RgXn_red_shallow	7923949
RgX_addspec_shallow	8885447
RgXn_mul2	9413660
RgX_addmulXn_shallow	10037477
RgXn_mul	11061157
gen_bkeval_powers	12437825
RgX_to_RgC	13342621
RgX_divrem	14361746
gen_RgXQ_eval_powers	14485901
RgX_rem_fast	14520246
RgX_rem	14520253
_gen_add	19227235
brent_kung_optpow	19692461
RgX_mul_i	20908822
RgX_mulspec_basecase	21620032
RgX_Rg_add	22045249
RgX_mulspec	22349262
RgX_divrem_i	23610744
RgX_equal	24741740
RgX_Rg_div	30169370
RgX_even_odd	49653117
RgXspec_kill0	56504379
RgX_sub	63717218
RgX_mul	63962019
RgX_mul_fast	77694048
RgX_add	82376484
RgX_valrem	82399269
RgX_mulspec_basecase_limb	94268767
RgX_Rg_mul	134064134
Rg_get_1	156674693
RgX_shift_shallow	175347143

Generated by: LCOV version 1.16