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-bordeaux1.fr machine (x86_64 architecture), and agregate them in the final report:

The target is 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 - cmp.c (source / functions) Hit Total Coverage
Test: PARI/GP v2.8.0 lcov report (development 16912-212c0f0) Lines: 67 71 94.4 %
Date: 2014-10-20 Functions: 7 7 100.0 %
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 98 124 79.0 %

           Branch data     Line data    Source code
       1                 :            : #line 2 "../src/kernel/none/cmp.c"
       2                 :            : /* Copyright (C) 2002-2003  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. It is distributed in the hope that it will be useful, but WITHOUT
       9                 :            : ANY WARRANTY WHATSOEVER.
      10                 :            : 
      11                 :            : Check the License for details. You should have received a copy of it, along
      12                 :            : with the package; see the file 'COPYING'. If not, write to the Free Software
      13                 :            : Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA. */
      14                 :            : 
      15                 :            : 
      16                 :            : /********************************************************************/
      17                 :            : /**                                                                **/
      18                 :            : /**                      Comparison routines                       **/
      19                 :            : /**                                                                **/
      20                 :            : /********************************************************************/
      21                 :            : 
      22                 :            : /*They depend on cmpiispec and equaliispec in mp.c*/
      23                 :            : 
      24                 :            : int
      25                 :   39468105 : equalii(GEN x, GEN y)
      26                 :            : {
      27         [ +  + ]:   39468105 :   if ((x[1] & (LGBITS|SIGNBITS)) != (y[1] & (LGBITS|SIGNBITS))) return 0;
      28                 :   39468105 :   return equaliispec(x+2, y+2, lgefint(x)-2, lgefint(y)-2);
      29                 :            : }
      30                 :            : 
      31                 :            : int
      32                 :  182468585 : cmpii(GEN x, GEN y)
      33                 :            : {
      34                 :  182468585 :   const long sx = signe(x), sy = signe(y);
      35         [ +  + ]:  182468585 :   if (sx<sy) return -1;
      36         [ +  + ]:  181312059 :   if (sx>sy) return 1;
      37         [ +  + ]:  173479672 :   if (!sx) return 0;
      38         [ +  + ]:  173114195 :   if (sx>0)
      39                 :  168992075 :     return cmpiispec(x+2, y+2, lgefint(x)-2, lgefint(y)-2);
      40                 :            :   else
      41                 :  182468585 :     return -cmpiispec(x+2, y+2, lgefint(x)-2, lgefint(y)-2);
      42                 :            : }
      43                 :            : 
      44                 :            : int
      45                 :         42 : equalrr(GEN x, GEN y)
      46                 :            : {
      47                 :            :   long lx, ly, i;
      48                 :            : 
      49         [ +  + ]:         42 :   if (!signe(x)) {
      50         [ +  + ]:         21 :     if (!signe(y)) return 1; /* all zeroes are equal */
      51                 :         14 :     return expo(x) >= expo(y);
      52                 :            :   }
      53         [ -  + ]:         21 :   if (!signe(y))
      54                 :          0 :     return expo(y) >= expo(x);
      55                 :            : 
      56         [ +  + ]:         21 :   if (x[1] != y[1]) return 0;
      57                 :            : 
      58                 :         14 :   lx = lg(x);
      59                 :         14 :   ly = lg(y);
      60         [ -  + ]:         14 :   if (lx < ly)
      61                 :            :   {
      62 [ #  # ][ #  # ]:          0 :     i=2; while (i<lx && x[i]==y[i]) i++;
      63         [ #  # ]:          0 :     if (i<lx) return 0;
      64 [ #  # ][ #  # ]:          0 :     for (; i < ly; i++) if (y[i]) return 0;
      65                 :            :   }
      66                 :            :   else
      67                 :            :   {
      68 [ +  + ][ +  - ]:         77 :     i=2; while (i<ly && x[i]==y[i]) i++;
      69         [ -  + ]:         14 :     if (i<ly) return 0;
      70 [ #  # ][ -  + ]:         14 :     for (; i < lx; i++) if (x[i]) return 0;
      71                 :            :   }
      72                 :         42 :   return 1;
      73                 :            : }
      74                 :            : 
      75                 :            : int
      76                 :  106887150 : cmprr(GEN x, GEN y)
      77                 :            : {
      78                 :  106887150 :   const long sx = signe(x), sy = signe(y);
      79                 :            :   long ex,ey,lx,ly,lz,i;
      80                 :            : 
      81         [ +  + ]:  106887150 :   if (!sx) {
      82 [ +  + ][ +  + ]:     193861 :     if (!sy || expo(x) >= expo(y)) return 0;
      83         [ +  - ]:     157849 :     return sy > 0? -1: 1;
      84                 :            :   }
      85         [ +  + ]:  106693289 :   if (!sy) {
      86         [ +  + ]:      63908 :     if (expo(y) >= expo(x)) return 0;
      87         [ +  + ]:      63170 :     return sx > 0? 1: -1;
      88                 :            :   }
      89         [ +  + ]:  106629381 :   if (sx<sy) return -1;
      90         [ +  + ]:  106625632 :   if (sx>sy) return 1;
      91                 :            : 
      92                 :  106602756 :   ex=expo(x); ey=expo(y);
      93         [ +  + ]:  106602756 :   if (ex>ey) return sx;
      94         [ +  + ]:   71255468 :   if (ex<ey) return -sx;
      95                 :            : 
      96                 :   38681229 :   lx=lg(x); ly=lg(y); lz = (lx<ly)?lx:ly;
      97 [ +  + ][ +  + ]:   97591284 :   i=2; while (i<lz && x[i]==y[i]) i++;
      98 [ +  + ][ +  + ]:   38681229 :   if (i<lz) return ((ulong)x[i] > (ulong)y[i]) ? sx : -sx;
      99         [ +  + ]:   16131237 :   if (lx>=ly)
     100                 :            :   {
     101 [ +  + ][ -  + ]:   16131195 :     while (i<lx && !x[i]) i++;
     102         [ +  + ]:   16131195 :     return (i==lx) ? 0 : sx;
     103                 :            :   }
     104 [ +  + ][ +  - ]:        202 :   while (i<ly && !y[i]) i++;
     105         [ -  + ]:  106887150 :   return (i==ly) ? 0 : -sx;
     106                 :            : }
     107                 :            : 
     108                 :            : /* x and y are integers. Return 1 if |x| == |y|, 0 otherwise */
     109                 :            : int
     110                 :    2678390 : absi_equal(GEN x, GEN y)
     111                 :            : {
     112         [ +  + ]:    2678390 :   if (!signe(x)) return !signe(y);
     113         [ +  + ]:    2673679 :   if (!signe(y)) return 0;
     114                 :    2678390 :   return equaliispec(x+2, y+2, lgefint(x)-2, lgefint(y)-2);
     115                 :            : }
     116                 :            : 
     117                 :            : /* x and y are integers. Return sign(|x| - |y|) */
     118                 :            : int
     119                 :  420896232 : absi_cmp(GEN x, GEN y)
     120                 :            : {
     121 [ +  + ][ +  + ]:  420896232 :   if (!signe(x)) return signe(y)? -1: 0;
     122         [ +  + ]:  406515838 :   if (!signe(y)) return 1;
     123                 :  420896232 :   return cmpiispec(x+2, y+2, lgefint(x)-2, lgefint(y)-2);
     124                 :            : }
     125                 :            : 
     126                 :            : /* x and y are reals. Return sign(|x| - |y|) */
     127                 :            : int
     128                 :  540297957 : absr_cmp(GEN x, GEN y)
     129                 :            : {
     130                 :            :   long ex,ey,lx,ly,lz,i;
     131                 :            : 
     132 [ +  + ][ +  + ]:  540297957 :   if (!signe(x)) return signe(y)? -1: 0;
     133         [ +  + ]:  511909911 :   if (!signe(y)) return 1;
     134                 :            : 
     135                 :  511456403 :   ex=expo(x); ey=expo(y);
     136         [ +  + ]:  511456403 :   if (ex>ey) return  1;
     137         [ +  + ]:  364860615 :   if (ex<ey) return -1;
     138                 :            : 
     139                 :  141913896 :   lx=lg(x); ly=lg(y); lz = (lx<ly)?lx:ly;
     140 [ +  + ][ +  + ]:  225544542 :   i=2; while (i<lz && x[i]==y[i]) i++;
     141 [ +  + ][ +  + ]:  141913896 :   if (i<lz) return ((ulong)x[i] > (ulong)y[i])? 1: -1;
     142         [ +  + ]:   23018679 :   if (lx>=ly)
     143                 :            :   {
     144 [ -  + ][ #  # ]:   23016334 :     while (i<lx && !x[i]) i++;
     145                 :   23016334 :     return (i==lx)? 0: 1;
     146                 :            :   }
     147 [ +  + ][ +  - ]:       4690 :   while (i<ly && !y[i]) i++;
     148         [ +  - ]:  540297957 :   return (i==ly)? 0: -1;
     149                 :            : }
     150                 :            : 

Generated by: LCOV version 1.9