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 |
 |
|
|
|
|
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; 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 :
17 : /********************************************************************/
18 : /** **/
19 : /** Comparison routines **/
20 : /** **/
21 : /********************************************************************/
22 :
23 : /*They depend on cmpiispec and equaliispec in mp.c*/
24 :
25 : int
26 434940352 : equalii(GEN x, GEN y)
27 : {
28 434940352 : if ((x[1] & (LGBITS|SIGNBITS)) != (y[1] & (LGBITS|SIGNBITS))) return 0;
29 397706740 : return equaliispec(x+2, y+2, lgefint(x)-2, lgefint(y)-2);
30 : }
31 :
32 : int
33 562513826 : cmpii(GEN x, GEN y)
34 : {
35 562513826 : const long sx = signe(x), sy = signe(y);
36 562513826 : if (sx<sy) return -1;
37 549211821 : if (sx>sy) return 1;
38 536652162 : if (!sx) return 0;
39 526868750 : if (sx>0)
40 507666184 : return cmpiispec(x+2, y+2, lgefint(x)-2, lgefint(y)-2);
41 : else
42 19202566 : return -cmpiispec(x+2, y+2, lgefint(x)-2, lgefint(y)-2);
43 : }
44 :
45 : int
46 277514 : equalrr(GEN x, GEN y)
47 : {
48 : long lx, ly, i;
49 :
50 277514 : if (!signe(x)) {
51 140 : if (!signe(y)) return 1; /* all zeroes are equal */
52 28 : return expo(x) >= expo(y);
53 : }
54 277374 : if (!signe(y))
55 42 : return expo(y) >= expo(x);
56 :
57 277332 : if (x[1] != y[1]) return 0;
58 :
59 271565 : lx = lg(x);
60 271565 : ly = lg(y);
61 271565 : if (lx < ly)
62 : {
63 7 : i=2; while (i<lx && x[i]==y[i]) i++;
64 7 : if (i<lx) return 0;
65 0 : for (; i < ly; i++) if (y[i]) return 0;
66 : }
67 : else
68 : {
69 436076 : i=2; while (i<ly && x[i]==y[i]) i++;
70 271558 : if (i<ly) return 0;
71 19138 : for (; i < lx; i++) if (x[i]) return 0;
72 : }
73 19138 : return 1;
74 : }
75 :
76 : int
77 151649360 : cmprr(GEN x, GEN y)
78 : {
79 151649360 : const long sx = signe(x), sy = signe(y);
80 : long ex,ey,lx,ly,lz,i;
81 :
82 151649360 : if (!sx) {
83 2733102 : if (!sy || expo(x) >= expo(y)) return 0;
84 2619831 : return sy > 0? -1: 1;
85 : }
86 148916258 : if (!sy) {
87 320925 : if (expo(y) >= expo(x)) return 0;
88 320693 : return sx > 0? 1: -1;
89 : }
90 148595333 : if (sx<sy) return -1;
91 148359149 : if (sx>sy) return 1;
92 :
93 148323951 : ex=expo(x); ey=expo(y);
94 148323951 : if (ex>ey) return sx;
95 87753517 : if (ex<ey) return -sx;
96 :
97 45382186 : lx=lg(x); ly=lg(y); lz = (lx<ly)?lx:ly;
98 130055103 : i=2; while (i<lz && x[i]==y[i]) i++;
99 45382186 : if (i<lz) return ((ulong)x[i] > (ulong)y[i]) ? sx : -sx;
100 24289155 : if (lx>=ly)
101 : {
102 24299694 : while (i<lx && !x[i]) i++;
103 24299694 : return (i==lx) ? 0 : sx;
104 : }
105 27 : while (i<ly && !y[i]) i++;
106 12 : return (i==ly) ? 0 : -sx;
107 : }
108 :
109 : /* x and y are integers. Return 1 if |x| == |y|, 0 otherwise */
110 : int
111 57124949 : absequalii(GEN x, GEN y)
112 : {
113 57124949 : if (!signe(x)) return !signe(y);
114 57123479 : if (!signe(y)) return 0;
115 57123192 : return equaliispec(x+2, y+2, lgefint(x)-2, lgefint(y)-2);
116 : }
117 :
118 : /* x and y are integers. Return sign(|x| - |y|) */
119 : int
120 1814870404 : abscmpii(GEN x, GEN y)
121 : {
122 1814870404 : if (!signe(x)) return signe(y)? -1: 0;
123 1691773102 : if (!signe(y)) return 1;
124 1571437364 : return cmpiispec(x+2, y+2, lgefint(x)-2, lgefint(y)-2);
125 : }
126 :
127 : /* x and y are reals. Return sign(|x| - |y|) */
128 : int
129 350036966 : abscmprr(GEN x, GEN y)
130 : {
131 : long ex,ey,lx,ly,lz,i;
132 :
133 350036966 : if (!signe(x)) return signe(y)? -1: 0;
134 349355340 : if (!signe(y)) return 1;
135 :
136 349115450 : ex=expo(x); ey=expo(y);
137 349115450 : if (ex>ey) return 1;
138 226680401 : if (ex<ey) return -1;
139 :
140 142246785 : lx=lg(x); ly=lg(y); lz = (lx<ly)?lx:ly;
141 261039110 : i=2; while (i<lz && x[i]==y[i]) i++;
142 142246785 : if (i<lz) return ((ulong)x[i] > (ulong)y[i])? 1: -1;
143 34010752 : if (lx>=ly)
144 : {
145 34011037 : while (i<lx && !x[i]) i++;
146 34011037 : return (i==lx)? 0: 1;
147 : }
148 99 : while (i<ly && !y[i]) i++;
149 70 : return (i==ly)? 0: -1;
150 : }
151 :
|