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 29419-8afb0ed749) Lines: 1620 1773 91.4 % Date: 2024-07-02 09:03:41 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	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	448
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	1421
QXQX_homogenous_evalpow	1652
_oneXn	1939
RgX_mul_FpXQX	2044
RgXn_powu_i	2286
QXV_QXQ_eval	2296
RgXV_rescale	2401
do_QXQ_eval	2527
RgX_divs	2660
RgXQ_matrix_pow	2891
RgXV_RgV_eval	2947
RgXY_derivx	3836
RgX_muls	3943
_mulXn	4528
RgXQ_norm	5144
RgXn_eval	5145
QX_ZXQV_eval	5642
RgXV_unscale	5761
QXQM_to_mod_shallow	6251
RgX_digits	6923
RgXQV_factorback	7013
RgM_to_RgXV_reverse	7097
QXQ_powers	8379
RgXQ_powers	8498
RgX_sqr_i	8855
RgX_sqrspec_basecase	8894
RgX_sqrspec	8933
ZXQ_powers	10941
RgX_pseudodivrem	11776
_sqrXn	11893
RgXQX_pseudodivrem	12014
ZX_unscale_div	12073
RgXn_sqr	12152
RgXQM_red	12257
QXQXV_to_mod	12502
QXQC_to_mod_shallow	13412
RgX_sqr_QXQX	13418
ZXQX_dvd	17055
QXQV_to_mod	17840
RgX_homogenize	18732
RgX_unscale	19672
RgM_to_RgXX	23466
RgXQX_translate	23630
_gen_zero	24184
_RgX_divrem	30352
RgX_recip	31150
RgXY_swapspec	31310
QXQX_to_mod	37198
RgX_rem_QXQX	38266
RgX_normalize	38906
RgX_splitting	43547
RgX_sqrspec_basecase_limb	50452
RgXn_expint	52868
RgX_recip_shallow	57568
RgX_integXn	58756
RgXQC_red	63875
RgX_Rg_add_shallow	64854
RgX_mul2n	65268
_sqr	67144
RgX_rem_FpX	68670
RgXV_to_RgM	77567
_pow	86459
RgXQ_pow	100501
RgXQX_pseudorem	103327
RgX_pseudorem	103327
_ZXQmul	113876
RgXQ_powu	116391
RgXQX_divrem	136595
zero_FpX_mod	152783
QXQX_to_mod_shallow	161781
RgX_mul_QXQX	164098
QXQ_to_mod	166691
RgX_RgV_eval	166768
Kronecker_to_mod	179217
RgX_Rg_sub	182631
ZXQ_powu	188552
RgV_to_RgX_reverse	189522
_ZXQsqr	213744
ZX_unscale2n	216833
RgX_addspec	223331
RgX_div_by_X_x	248901
_mul	272706
get_Rg_algebra	281034
RgM_to_RgXV	301260
RgX_homogenous_evalpow	312516
RgX_rotate_shallow	317037
RgV_to_RgM	333583
RgX_RgXQ_eval	401361
RgX_liftred	418146
RgXQX_red	457326
_gen_cmul	512818
RgX_addmulXn	515890
RgXn_div	584436
_gen_sqr	599497
_add	605090
RgXn_recip_shallow	639123
_red	705035
QXQ_to_mod_shallow	709909
RgX_inflate	797892
RgXn_inv	807454
RgX_mul_FpX	818166
RgX_deriv	819950
RgX_valrem_inexact	851424
gen_bkeval	858715
RgXn_inv_fast	905018
RgXn_inv_i	905019
RgX_deflate	976196
_one	984700
ZX_unscale	999771
_cmul	1006589
RgX_sqr	1205989
rem	1207319
RgX_sqr_fast	1218141
RgXn_div_fast	1283889
RgXn_div_i	1283889
Rg_to_RgC	1345154
RgX_recipspec_shallow	1379482
ZX_z_unscale	1451099
RgV_to_RgX	1494748
RgX_shift	1567501
RgX_mulhigh_i2	1589258
RgX_mul_normalized	1716959
_gen_mul	1842009
_gen_nored	2026954
_gen_one	2068120
RgXn_div_gen	2188688
RgXn_mulhigh	2613833
RgX_mulhigh_i	2672602
RgX_blocks	2786958
RgX_mulXn	2984903
RgX_val	3647017
RgX_recip_i	3650486
RgX_Rg_divexact	3950787
RgX_rescale	4320507
Rg_RgX_sub	4841509
RgX_neg	5211077
RgX_translate_basecase	5945954
RgX_translate	5946378
RgX_renormalize_lg	6178689
RgXn_mul_basecase	6627805
Rg_get_0	6974331
RgXn_red_shallow	7927067
RgX_addspec_shallow	8675152
RgX_addmulXn_shallow	9294689
RgXn_mul2	9413646
RgXn_mul	11064369
gen_bkeval_powers	12397762
RgX_to_RgC	13147229
RgX_divrem	14164845
RgX_rem_fast	14205417
RgX_rem	14205423
gen_RgXQ_eval_powers	14446490
RgX_Rg_add	18864120
_gen_add	19225888
brent_kung_optpow	19640472
RgX_mul_i	20883210
RgX_mulspec_basecase	21594069
RgX_mulspec	22323095
RgX_divrem_i	23330908
RgX_equal	24774439
RgX_Rg_div	29228848
RgX_even_odd	49483833
RgXspec_kill0	56452487
RgX_mul	61196289
RgX_sub	63769559
RgX_mul_fast	74933249
RgX_add	77270281
RgX_valrem	82048809
RgX_mulspec_basecase_limb	94120071
RgX_Rg_mul	128359787
Rg_get_1	156663863
RgX_shift_shallow	168708628

Generated by: LCOV version 1.16