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:

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 - kernel/none - divll_pre.h (source / functions) Hit Total Coverage
Test: PARI/GP v2.16.2 lcov report (development 29115-f22e516b23) Lines: 48 48 100.0 %
Date: 2024-03-28 08:06:56 Functions: 5 5 100.0 %
Legend: Lines: hit not hit

          Line data    Source code
       1             : #line 2 "../src/kernel/none/divll_pre.h"
       2             : /* Copyright (C) 2014  The PARI group.
       3             : 
       4             : This file is part of the PARI/GP package.
       5             : 
       6             : PARI/GP is free software; you can redistribute it and/or modify it under the
       7             : terms of the GNU General Public License as published by the Free Software
       8             : Foundation; either version 2 of the License, or (at your option) any later
       9             : version. It is distributed in the hope that it will be useful, but WITHOUT
      10             : ANY WARRANTY WHATSOEVER.
      11             : 
      12             : Check the License for details. You should have received a copy of it, along
      13             : with the package; see the file 'COPYING'. If not, write to the Free Software
      14             : Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. */
      15             : 
      16             : #undef  LOCAL_HIREMAINDER
      17             : extern ulong hiremainder;
      18             : #if defined(INLINE) && defined(__GNUC__) && !defined(DISABLE_INLINE)
      19             : #define LOCAL_HIREMAINDER ulong hiremainder
      20             : #else
      21             : #define LOCAL_HIREMAINDER
      22             : #endif
      23             : 
      24             : #if defined(INLINE) && defined(__GNUC__) && !defined(DISABLE_INLINE)
      25             : INLINE ulong /* precompute inverse of n */
      26  1337084859 : get_Fl_red(ulong n)
      27             : {
      28             :   LOCAL_HIREMAINDER;
      29  1337084859 :   n <<= bfffo(n);
      30  1337084859 :   hiremainder = ~n;
      31  1337084859 :   return divll(~0UL, n);
      32             : }
      33             : #else
      34             : INLINE ulong /* precompute inverse of n */
      35   391252114 : get_Fl_red(ulong n)
      36             : {
      37   391252114 :   ulong q, oldhi = hiremainder;
      38   391252114 :   n <<= bfffo(n);
      39   391252114 :   hiremainder = ~n;
      40   391252114 :   q = divll(~0UL, n);
      41   391252114 :   hiremainder = oldhi;
      42   391252114 :   return q;
      43             : }
      44             : #endif
      45             : 
      46             : INLINE ulong /* requires u1 <= n, n normalised */
      47 16328355553 : divll_pre_normalized(ulong u1, ulong u0, ulong n, ulong ninv, ulong *pt_r)
      48             : {
      49             :   ulong q0, q1, r;
      50             :   LOCAL_HIREMAINDER;
      51             :   LOCAL_OVERFLOW;
      52 16328355553 :   q0 = mulll(ninv, u1); q1 = hiremainder;
      53 16328355553 :   q0 = addll(q0, u0);
      54 16328355553 :   q1 = addllx(q1+1, u1);
      55 16328355553 :   r = u0 - q1 * n;
      56 16328355553 :   if (r > q0)
      57             :   {
      58 10569779360 :     r += n; q1--;
      59             :   }
      60 16328355553 :   if (r >= n)
      61             :   {
      62    30859467 :     r -= n; q1++;
      63             :   }
      64 16328355553 :   *pt_r = r; return q1;
      65             : }
      66             : 
      67             : INLINE ulong /* requires u1 <= n, n normalised */
      68 13285648400 : remll_pre_normalized(ulong u1, ulong u0, ulong n, ulong ninv)
      69             : {
      70             :   ulong q0, q1, r;
      71             :   LOCAL_HIREMAINDER;
      72             :   LOCAL_OVERFLOW;
      73 13285648400 :   q0 = mulll(ninv, u1); q1 = hiremainder;
      74 13285648400 :   q0 = addll(q0, u0);
      75 13285648400 :   q1 = addllx(q1, u1);
      76 13285648400 :   r = u0 - (q1 + 1) * n;
      77 13285648400 :   if (r >= q0)
      78  9559462852 :     r += n;
      79 13285648400 :   return r < n ? r : r - n;
      80             : }
      81             : 
      82             : INLINE ulong /* reduce <a_hi, a_lo> mod n */
      83 13218581481 : remll_pre(ulong a_hi, ulong a_lo, ulong n, ulong ninv)
      84             : {
      85 13218581481 :   int norm = bfffo(n);
      86 13218581481 :   int bits = BITS_IN_LONG - norm;
      87 13218581481 :   ulong sn = n << norm;
      88 13218581481 :   if (a_hi >= n) /* reduce a_hi first */
      89             :   {
      90    70653969 :     const ulong u1 = norm ? a_hi >> bits : 0;
      91    70653969 :     const ulong u0 = a_hi << norm;
      92    70653969 :     a_hi = remll_pre_normalized(u1, u0, sn, ninv) >> norm;
      93             :   }
      94             :   /* now reduce <a_hi, a_lo> */
      95             :   {
      96 13218621045 :     const ulong u1 = ((a_hi << norm) | (norm ? a_lo >> bits: 0));
      97 13218621045 :     const ulong u0 =   a_lo << norm;
      98 13218621045 :     return remll_pre_normalized(u1, u0, sn, ninv) >> norm;
      99             :   }
     100             : }
     101             : 
     102             : #if !defined(INLINE)
     103             : extern ulong divll_pre(ulong a_lo, ulong n, ulong ninv);
     104             : #else
     105             : 
     106             : #if defined(__GNUC__) && !defined(DISABLE_INLINE)
     107             : #define divll_pre(a, n, ninv)                                           \
     108             : __extension__ ({                                                        \
     109             :   ulong __a = (a);                                                      \
     110             :   ulong __n = (n);                                                      \
     111             :   int norm = bfffo(__n);                                                \
     112             :   int bits = BITS_IN_LONG - norm;                                       \
     113             :   ulong r, sn = __n << norm;                                            \
     114             :   const ulong u1 = ((hiremainder << norm) | (norm ? __a >> bits: 0));   \
     115             :   const ulong u0 = __a << norm;                                         \
     116             :   const ulong q = divll_pre_normalized(u1, u0, sn, ninv, &r);           \
     117             :   hiremainder = r>>norm; q;                                             \
     118             :               })
     119             : 
     120             : #else /* __GNUC__ */
     121             : INLINE ulong
     122  4011249308 : divll_pre(ulong a_lo, ulong n, ulong ninv)
     123             : {
     124  4011249308 :   int norm = bfffo(n);
     125  4011249308 :   int bits = BITS_IN_LONG - norm;
     126  4011249308 :   ulong r, sn = n << norm;
     127  4011249308 :   const ulong u1 = ((hiremainder << norm) | (norm ? a_lo >> bits: 0));
     128  4011249308 :   const ulong u0 = a_lo << norm;
     129  4011249308 :   const ulong q  = divll_pre_normalized(u1, u0, sn, ninv, &r);
     130  4011249308 :   hiremainder = r>>norm; return q;
     131             : }
     132             : #endif /* __GNUC__ */
     133             : 
     134             : #endif

Generated by: LCOV version 1.14