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 - mp_indep.c (source / functions) Hit Total Coverage
Test: PARI/GP v2.8.0 lcov report (development 18616-fe48336) Lines: 514 558 92.1 %
Date: 2016-02-14 Functions: 50 52 96.2 %
Legend: Lines: hit not hit | Branches: + taken - not taken # not executed Branches: 429 562 76.3 %

           Branch data     Line data    Source code
       1                 :            : #line 2 "../src/kernel/none/mp_indep.c"
       2                 :            : /* Copyright (C) 2000  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                 :            : /* Find c such that 1=c*b mod 2^BITS_IN_LONG, assuming b odd (unchecked) */
      16                 :            : ulong
      17                 :   21343741 : invmod2BIL(ulong b)
      18                 :            : {
      19                 :            :   static int tab[] = { 0, 0, 0, 8, 0, 8, 0, 0 };
      20                 :   21343741 :   ulong x = b + tab[b & 7]; /* b^(-1) mod 2^4 */
      21                 :            : 
      22                 :            :   /* Newton applied to 1/x - b = 0 */
      23                 :            : #ifdef LONG_IS_64BIT
      24                 :   21343741 :   x = x*(2-b*x); /* one more pass necessary */
      25                 :            : #endif
      26                 :   21343741 :   x = x*(2-b*x);
      27                 :   21343741 :   x = x*(2-b*x); return x*(2-b*x);
      28                 :            : }
      29                 :            : 
      30                 :            : void
      31                 : 1107670180 : affrr(GEN x, GEN y)
      32                 :            : {
      33                 :            :   long lx,ly,i;
      34                 :            : 
      35         [ +  + ]: 1107670180 :   y[1] = x[1]; if (!signe(x)) return;
      36                 :            : 
      37                 : 1100719972 :   lx=lg(x); ly=lg(y);
      38         [ +  + ]: 1100719972 :   if (lx <= ly)
      39                 :            :   {
      40         [ +  + ]: 2830735503 :     for (i=2; i<lx; i++) y[i]=x[i];
      41         [ +  + ]: 1076664702 :     for (   ; i<ly; i++) y[i]=0;
      42                 : 1037983753 :     return;
      43                 :            :   }
      44         [ +  + ]:  230848661 :   for (i=2; i<ly; i++) y[i]=x[i];
      45                 :            :   /* lx > ly: round properly */
      46         [ +  + ]: 1107670180 :   if (x[ly] & HIGHBIT) roundr_up_ip(y, ly);
      47                 :            : }
      48                 :            : 
      49                 :            : GEN
      50                 :    5912014 : trunc2nr(GEN x, long n)
      51                 :            : {
      52                 :            :   long ex;
      53         [ +  + ]:    5912014 :   if (!signe(x)) return gen_0;
      54         [ +  + ]:    5878481 :   ex = expo(x) + n; if (ex < 0) return gen_0;
      55                 :    5912014 :   return mantissa2nr(x, ex - bit_prec(x) + 1);
      56                 :            : }
      57                 :            : 
      58                 :            : /* x a t_REAL, x = i/2^e, i a t_INT */
      59                 :            : GEN
      60                 :   15841636 : mantissa_real(GEN x, long *e)
      61                 :            : {
      62                 :   15841636 :   *e = bit_prec(x)-1-expo(x);
      63                 :   15841636 :   return mantissa2nr(x, 0);
      64                 :            : }
      65                 :            : 
      66                 :            : GEN
      67                 :  885020254 : mului(ulong x, GEN y)
      68                 :            : {
      69                 :  885020254 :   long s = signe(y);
      70                 :            :   GEN z;
      71                 :            : 
      72 [ +  + ][ +  + ]:  885020254 :   if (!s || !x) return gen_0;
      73                 :  847253141 :   z = muluispec(x, y+2, lgefint(y)-2);
      74                 :  881052975 :   setsigne(z,s); return z;
      75                 :            : }
      76                 :            : 
      77                 :            : GEN
      78                 :  123725758 : mulsi(long x, GEN y)
      79                 :            : {
      80                 :  123725758 :   long s = signe(y);
      81                 :            :   GEN z;
      82                 :            : 
      83 [ +  + ][ +  + ]:  123725758 :   if (!s || !x) return gen_0;
      84         [ +  + ]:   89737085 :   if (x<0) { s = -s; x = -x; }
      85                 :   89737085 :   z = muluispec((ulong)x, y+2, lgefint(y)-2);
      86                 :  123725760 :   setsigne(z,s); return z;
      87                 :            : }
      88                 :            : 
      89                 :            : GEN
      90                 :    7727231 : mulss(long x, long y)
      91                 :            : {
      92                 :            :   long p1;
      93                 :            :   LOCAL_HIREMAINDER;
      94                 :            : 
      95 [ +  + ][ +  + ]:    7727231 :   if (!x || !y) return gen_0;
      96         [ +  + ]:    7700946 :   if (x<0) {
      97                 :      17794 :     x = -x;
      98         [ -  + ]:      17794 :     if (y<0) { y = -y; p1 = mulll(x,y); return uutoi(hiremainder, p1); }
      99                 :      17794 :     p1 = mulll(x,y); return uutoineg(hiremainder, p1);
     100                 :            :   } else {
     101         [ +  + ]:    7683152 :     if (y<0) { y = -y; p1 = mulll(x,y); return uutoineg(hiremainder, p1); }
     102                 :    7727231 :     p1 = mulll(x,y); return uutoi(hiremainder, p1);
     103                 :            :   }
     104                 :            : }
     105                 :            : GEN
     106                 :       4180 : sqrs(long x)
     107                 :            : {
     108                 :            :   long p1;
     109                 :            :   LOCAL_HIREMAINDER;
     110                 :            : 
     111         [ -  + ]:       4180 :   if (!x) return gen_0;
     112         [ -  + ]:       4180 :   if (x<0) x = -x;
     113                 :       4180 :   p1 = mulll(x,x); return uutoi(hiremainder, p1);
     114                 :            : }
     115                 :            : GEN
     116                 : 1269438416 : muluu(ulong x, ulong y)
     117                 :            : {
     118                 :            :   long p1;
     119                 :            :   LOCAL_HIREMAINDER;
     120                 :            : 
     121 [ +  + ][ +  + ]: 1269438416 :   if (!x || !y) return gen_0;
     122                 : 1269438416 :   p1 = mulll(x,y); return uutoi(hiremainder, p1);
     123                 :            : }
     124                 :            : GEN
     125                 :  406749180 : sqru(ulong x)
     126                 :            : {
     127                 :            :   long p1;
     128                 :            :   LOCAL_HIREMAINDER;
     129                 :            : 
     130         [ +  + ]:  406749180 :   if (!x) return gen_0;
     131                 :  406749180 :   p1 = mulll(x,x); return uutoi(hiremainder, p1);
     132                 :            : }
     133                 :            : 
     134                 :            : /* assume x > 1, y != 0. Return u * y with sign s */
     135                 :            : static GEN
     136                 :  262212633 : mulur_2(ulong x, GEN y, long s)
     137                 :            : {
     138                 :  262212633 :   long m, sh, i, lx = lg(y), e = expo(y);
     139                 :  262212633 :   GEN z = cgetr(lx);
     140                 :            :   ulong garde;
     141                 :            :   LOCAL_HIREMAINDER;
     142                 :            : 
     143                 :  262212633 :   y--; garde = mulll(x,y[lx]);
     144      [ +  +  + ]:  755072150 :   for (i=lx-1; i>=3; i--) z[i]=addmul(x,y[i]);
     145                 :  262212633 :   z[2]=hiremainder; /* != 0 since y normalized and |x| > 1 */
     146 [ +  + ][ +  + ]:  262212633 :   sh = bfffo(hiremainder); m = BITS_IN_LONG-sh;
         [ +  + ][ +  + ]
     147 [ +  + ][ +  + ]:  262212633 :   if (sh) shift_left(z,z, 2,lx-1, garde,sh);
     148                 :  262212633 :   z[1] = evalsigne(s) | evalexpo(m+e);
     149         [ +  + ]:  262212633 :   if ((garde << sh) & HIGHBIT) roundr_up_ip(z, lx);
     150                 :  262212633 :   return z;
     151                 :            : }
     152                 :            : 
     153                 :            : INLINE GEN
     154                 :    1145132 : mul0r(GEN x)
     155                 :            : {
     156                 :    1145132 :   long l = lg(x), e = expo(x);
     157 [ +  + ][ +  - ]:    1145132 :   e = (l > 2)? -prec2nbits(l) + e: (e < 0? 2*e: 0);
     158                 :    1145132 :   return real_0_bit(e);
     159                 :            : }
     160                 :            : /* lg(x) > 2 */
     161                 :            : INLINE GEN
     162                 :      90097 : div0r(GEN x) {
     163                 :      90097 :   long l = lg(x), e = expo(x);
     164                 :      90097 :   return real_0_bit(-prec2nbits(l) - e);
     165                 :            : }
     166                 :            : 
     167                 :            : GEN
     168                 :   36208675 : mulsr(long x, GEN y)
     169                 :            : {
     170                 :            :   long s;
     171                 :            : 
     172         [ +  + ]:   36208675 :   if (!x) return mul0r(y);
     173                 :   35191295 :   s = signe(y);
     174         [ +  + ]:   35191295 :   if (!s)
     175                 :            :   {
     176         [ +  + ]:      52261 :     if (x < 0) x = -x;
     177                 :      52261 :     return real_0_bit( expo(y) + expu(x) );
     178                 :            :   }
     179         [ +  + ]:   35139034 :   if (x==1)  return rcopy(y);
     180         [ +  + ]:   34699441 :   if (x==-1) return negr(y);
     181         [ +  + ]:   33752736 :   if (x < 0)
     182                 :   20940121 :     return mulur_2((ulong)-x, y, -s);
     183                 :            :   else
     184                 :   36208675 :     return mulur_2((ulong)x, y, s);
     185                 :            : }
     186                 :            : 
     187                 :            : GEN
     188                 :  271521712 : mulur(ulong x, GEN y)
     189                 :            : {
     190                 :            :   long s;
     191                 :            : 
     192         [ -  + ]:  271521712 :   if (!x) return mul0r(y);
     193                 :  271521712 :   s = signe(y);
     194         [ +  + ]:  271521712 :   if (!s) return real_0_bit( expo(y) + expu(x) );
     195         [ +  + ]:  269869778 :   if (x==1) return rcopy(y);
     196                 :  271521712 :   return mulur_2(x, y, s);
     197                 :            : }
     198                 :            : 
     199                 :            : INLINE void
     200                 : 1057004572 : mulrrz_end(GEN z, GEN hi, long lz, long sz, long ez, ulong garde)
     201                 :            : {
     202                 :            :   long i;
     203         [ +  + ]: 1057004572 :   if (hi[2] < 0)
     204                 :            :   {
     205         [ +  + ]:  515386570 :     if (z != hi)
     206         [ +  + ]:  354567678 :       for (i=2; i<lz ; i++) z[i] = hi[i];
     207                 :  515386570 :     ez++;
     208                 :            :   }
     209                 :            :   else
     210                 :            :   {
     211                 :  541618002 :     shift_left(z,hi,2,lz-1, garde, 1);
     212                 :  541618002 :     garde <<= 1;
     213                 :            :   }
     214         [ +  + ]: 1057004572 :   if (garde & HIGHBIT)
     215                 :            :   { /* round to nearest */
     216 [ +  + ][ +  + ]:  513006355 :     i = lz; do ((ulong*)z)[--i]++; while (i>1 && z[i]==0);
     217         [ +  + ]:  511372244 :     if (i == 1) { z[2] = (long)HIGHBIT; ez++; }
     218                 :            :   }
     219                 : 1057004572 :   z[1] = evalsigne(sz)|evalexpo(ez);
     220                 : 1057004572 : }
     221                 :            : /* mulrrz_end for lz = 3, minor simplifications. z[2]=hiremainder from mulll */
     222                 :            : INLINE void
     223                 : 1444253188 : mulrrz_3end(GEN z, long sz, long ez, ulong garde)
     224                 :            : {
     225         [ +  + ]: 1444253188 :   if (z[2] < 0)
     226                 :            :   { /* z2 < (2^BIL-1)^2 / 2^BIL, hence z2+1 != 0 */
     227         [ +  + ]:  805995384 :     if (garde & HIGHBIT) z[2]++; /* round properly */
     228                 :  805995384 :     ez++;
     229                 :            :   }
     230                 :            :   else
     231                 :            :   {
     232                 :  638257804 :     uel(z,2) = (uel(z,2)<<1) | (garde>>(BITS_IN_LONG-1));
     233         [ +  + ]:  638257804 :     if (garde & (1UL<<(BITS_IN_LONG-2)))
     234                 :            :     {
     235                 :  304759318 :       uel(z,2)++; /* round properly, z2+1 can overflow */
     236         [ +  + ]:  304759318 :       if (!uel(z,2)) { uel(z,2) = HIGHBIT; ez++; }
     237                 :            :     }
     238                 :            :   }
     239                 : 1444253188 :   z[1] = evalsigne(sz)|evalexpo(ez);
     240                 : 1444253188 : }
     241                 :            : 
     242                 :            : /* set z <-- x^2 != 0, floating point multiplication.
     243                 :            :  * lz = lg(z) = lg(x) */
     244                 :            : INLINE void
     245                 :   78688596 : sqrz_i(GEN z, GEN x, long lz)
     246                 :            : {
     247                 :   78688596 :   long ez = 2*expo(x);
     248                 :            :   long i, j, lzz, p1;
     249                 :            :   ulong garde;
     250                 :            :   GEN x1;
     251                 :            :   LOCAL_HIREMAINDER;
     252                 :            :   LOCAL_OVERFLOW;
     253                 :            : 
     254         [ +  + ]:   78688596 :   if (lz > MULRR_MULII_LIMIT)
     255                 :            :   {
     256                 :    4222663 :     pari_sp av = avma;
     257                 :    4222663 :     GEN hi = sqrispec_mirror(x+2, lz-2);
     258                 :    4222663 :     mulrrz_end(z, hi, lz, 1, ez, hi[lz]);
     259                 :    4222663 :     avma = av; return;
     260                 :            :   }
     261         [ +  + ]:   74465933 :   if (lz == 3)
     262                 :            :   {
     263                 :   14754167 :     garde = mulll(x[2],x[2]);
     264                 :   14754167 :     z[2] = hiremainder;
     265                 :   14754167 :     mulrrz_3end(z, 1, ez, garde);
     266                 :   14754167 :     return;
     267                 :            :   }
     268                 :            : 
     269                 :   59711766 :   lzz = lz-1; p1 = x[lzz];
     270         [ +  + ]:   59711766 :   if (p1)
     271                 :            :   {
     272                 :   46652965 :     (void)mulll(p1,x[3]);
     273                 :   46652965 :     garde = addmul(p1,x[2]);
     274                 :   46652965 :     z[lzz] = hiremainder;
     275                 :            :   }
     276                 :            :   else
     277                 :            :   {
     278                 :   13058801 :     garde = 0;
     279                 :   13058801 :     z[lzz] = 0;
     280                 :            :   }
     281         [ +  + ]:  173404008 :   for (j=lz-2, x1=x-j; j>=3; j--)
     282                 :            :   {
     283                 :  113692242 :     p1 = x[j]; x1++;
     284         [ +  + ]:  113692242 :     if (p1)
     285                 :            :     {
     286                 :  110277310 :       (void)mulll(p1,x1[lz+1]);
     287                 :  110277310 :       garde = addll(addmul(p1,x1[lz]), garde);
     288 [ +  + ][ +  + ]:  464099929 :       for (i=lzz; i>j; i--)
     289                 :            :       {
     290                 :  353822619 :         hiremainder += overflow;
     291                 :  353822619 :         z[i] = addll(addmul(p1,x1[i]), z[i]);
     292                 :            :       }
     293                 :  110277310 :       z[j] = hiremainder+overflow;
     294                 :            :     }
     295                 :    3414932 :     else z[j]=0;
     296                 :            :   }
     297                 :   59711766 :   p1 = x[2]; x1++;
     298                 :   59711766 :   garde = addll(mulll(p1,x1[lz]), garde);
     299 [ +  + ][ +  + ]:  233115774 :   for (i=lzz; i>2; i--)
     300                 :            :   {
     301                 :  173404008 :     hiremainder += overflow;
     302                 :  173404008 :     z[i] = addll(addmul(p1,x1[i]), z[i]);
     303                 :            :   }
     304                 :   59711766 :   z[2] = hiremainder+overflow;
     305                 :   78688596 :   mulrrz_end(z, z, lz, 1, ez, garde);
     306                 :            : }
     307                 :            : 
     308                 :            : /* lz "large" = lg(y) = lg(z), lg(x) > lz if flag = 1 and >= if flag = 0 */
     309                 :            : INLINE void
     310                 :   60633169 : mulrrz_int(GEN z, GEN x, GEN y, long lz, long flag, long sz)
     311                 :            : {
     312                 :   60633169 :   pari_sp av = avma;
     313                 :   60633169 :   GEN hi = muliispec_mirror(y+2, x+2, lz+flag-2, lz-2);
     314                 :   60633169 :   mulrrz_end(z, hi, lz, sz, expo(x)+expo(y), hi[lz]);
     315                 :   60633169 :   avma = av;
     316                 :   60633169 : }
     317                 :            : 
     318                 :            : /* lz = 3 */
     319                 :            : INLINE void
     320                 : 1429499021 : mulrrz_3(GEN z, GEN x, GEN y, long flag, long sz)
     321                 :            : {
     322                 :            :   ulong garde;
     323                 :            :   LOCAL_HIREMAINDER;
     324         [ +  + ]: 1429499021 :   if (flag)
     325                 :            :   {
     326                 :   17710521 :     (void)mulll(x[2],y[3]);
     327                 :   17710521 :     garde = addmul(x[2],y[2]);
     328                 :            :   }
     329                 :            :   else
     330                 : 1411788500 :     garde = mulll(x[2],y[2]);
     331                 : 1429499021 :   z[2] = hiremainder;
     332                 : 1429499021 :   mulrrz_3end(z, sz, expo(x)+expo(y), garde);
     333                 : 1429499021 : }
     334                 :            : 
     335                 :            : /* set z <-- x*y, floating point multiplication. Trailing 0s for x are
     336                 :            :  * treated efficiently (important application: mulir).
     337                 :            :  * lz = lg(z) = lg(x) <= ly <= lg(y), sz = signe(z). flag = lg(x) < lg(y) */
     338                 :            : INLINE void
     339                 : 2421641498 : mulrrz_i(GEN z, GEN x, GEN y, long lz, long flag, long sz)
     340                 :            : {
     341                 :            :   long ez, i, j, lzz, p1;
     342                 :            :   ulong garde;
     343                 :            :   GEN y1;
     344                 :            :   LOCAL_HIREMAINDER;
     345                 :            :   LOCAL_OVERFLOW;
     346                 :            : 
     347         [ -  + ]: 2421641498 :   if (x == y) { sqrz_i(z,x,lz); return; }
     348         [ +  + ]: 2421641498 :   if (lz > MULRR_MULII_LIMIT) { mulrrz_int(z,x,y,lz,flag,sz); return; }
     349         [ +  + ]: 2361008329 :   if (lz == 3) { mulrrz_3(z,x,y,flag,sz); return; }
     350                 :  931509308 :   ez = expo(x) + expo(y);
     351         [ +  + ]:  931509308 :   if (flag) { (void)mulll(x[2],y[lz]); garde = hiremainder; } else garde = 0;
     352                 :  931509308 :   lzz=lz-1; p1=x[lzz];
     353         [ +  + ]:  931509308 :   if (p1)
     354                 :            :   {
     355                 :  898190239 :     (void)mulll(p1,y[3]);
     356                 :  898190239 :     garde = addll(addmul(p1,y[2]), garde);
     357                 :  898190239 :     z[lzz] = overflow+hiremainder;
     358                 :            :   }
     359                 :   33319069 :   else z[lzz]=0;
     360         [ +  + ]: 2753422902 :   for (j=lz-2, y1=y-j; j>=3; j--)
     361                 :            :   {
     362                 : 1821913594 :     p1 = x[j]; y1++;
     363         [ +  + ]: 1821913594 :     if (p1)
     364                 :            :     {
     365                 : 1761481610 :       (void)mulll(p1,y1[lz+1]);
     366                 : 1761481610 :       garde = addll(addmul(p1,y1[lz]), garde);
     367 [ +  + ][ +  + ]: 7083404198 :       for (i=lzz; i>j; i--)
     368                 :            :       {
     369                 : 5321922588 :         hiremainder += overflow;
     370                 : 5321922588 :         z[i] = addll(addmul(p1,y1[i]), z[i]);
     371                 :            :       }
     372                 : 1761481610 :       z[j] = hiremainder+overflow;
     373                 :            :     }
     374                 :   60431984 :     else z[j]=0;
     375                 :            :   }
     376                 :  931509308 :   p1 = x[2]; y1++;
     377                 :  931509308 :   garde = addll(mulll(p1,y1[lz]), garde);
     378 [ +  + ][ +  + ]: 3684932210 :   for (i=lzz; i>2; i--)
     379                 :            :   {
     380                 : 2753422902 :     hiremainder += overflow;
     381                 : 2753422902 :     z[i] = addll(addmul(p1,y1[i]), z[i]);
     382                 :            :   }
     383                 :  931509308 :   z[2] = hiremainder+overflow;
     384                 : 2421641498 :   mulrrz_end(z, z, lz, sz, ez, garde);
     385                 :            : }
     386                 :            : 
     387                 :            : GEN
     388                 : 2450691709 : mulrr(GEN x, GEN y)
     389                 :            : {
     390                 :            :   long flag, ly, lz, sx, sy;
     391                 :            :   GEN z;
     392                 :            : 
     393         [ +  + ]: 2450691709 :   if (x == y) return sqrr(x);
     394         [ +  + ]: 2450591215 :   sx = signe(x); if (!sx) return real_0_bit(expo(x) + expo(y));
     395         [ +  + ]: 2422549291 :   sy = signe(y); if (!sy) return real_0_bit(expo(x) + expo(y));
     396         [ +  + ]: 2406257719 :   if (sy < 0) sx = -sx;
     397                 : 2406257719 :   lz = lg(x);
     398                 : 2406257719 :   ly = lg(y);
     399         [ +  + ]: 2406257719 :   if (lz > ly) { lz = ly; swap(x, y); flag = 1; } else flag = (lz != ly);
     400                 : 2406257719 :   z = cgetr(lz);
     401                 : 2406257719 :   mulrrz_i(z, x,y, lz,flag, sx);
     402                 : 2450691709 :   return z;
     403                 :            : }
     404                 :            : 
     405                 :            : GEN
     406                 :   79958429 : sqrr(GEN x)
     407                 :            : {
     408                 :   79958429 :   long lz, sx = signe(x);
     409                 :            :   GEN z;
     410                 :            : 
     411         [ +  + ]:   79958429 :   if (!sx) return real_0_bit(2*expo(x));
     412                 :   78688596 :   lz = lg(x); z = cgetr(lz);
     413                 :   78688596 :   sqrz_i(z, x, lz);
     414                 :   79958429 :   return z;
     415                 :            : }
     416                 :            : 
     417                 :            : GEN
     418                 :  154659029 : mulir(GEN x, GEN y)
     419                 :            : {
     420                 :  154659029 :   long sx = signe(x), sy;
     421         [ +  + ]:  154659029 :   if (!sx) return mul0r(y);
     422         [ +  + ]:  154531277 :   if (lgefint(x) == 3) {
     423                 :  137055431 :     GEN z = mulur(uel(x,2), y);
     424         [ +  + ]:  137055431 :     if (sx < 0) togglesign(z);
     425                 :  137055431 :     return z;
     426                 :            :   }
     427                 :   17475846 :   sy = signe(y);
     428         [ +  + ]:   17475846 :   if (!sy) return real_0_bit(expi(x) + expo(y));
     429         [ +  + ]:   16311445 :   if (sy < 0) sx = -sx;
     430                 :            :   {
     431                 :   16311445 :     long lz = lg(y), lx = lgefint(x);
     432                 :   16311445 :     GEN hi, z = cgetr(lz);
     433                 :   16311445 :     pari_sp av = avma;
     434 [ +  + ][ +  + ]:   16311445 :     if (lx < (lz>>1) || (lx < lz && lz > MULRR_MULII_LIMIT))
                 [ +  + ]
     435                 :            :     { /* size mantissa of x < half size of mantissa z, or lx < lz so large
     436                 :            :        * that mulrr will call mulii anyway: mulii */
     437                 :     927666 :       x = itor(x, lx);
     438                 :     927666 :       hi = muliispec_mirror(y+2, x+2, lz-2, lx-2);
     439                 :     927666 :       mulrrz_end(z, hi, lz, sx, expo(x)+expo(y), hi[lz]);
     440                 :            :     }
     441                 :            :     else /* dubious: complete x with 0s and call mulrr */
     442                 :   15383779 :       mulrrz_i(z, itor(x,lz), y, lz, 0, sx);
     443                 :  154659029 :     avma = av; return z;
     444                 :            :   }
     445                 :            : }
     446                 :            : 
     447                 :            : /* x + y*z, generic. If lgefint(z) <= 3, caller should use faster variants  */
     448                 :            : static GEN
     449                 :   19207498 : addmulii_gen(GEN x, GEN y, GEN z, long lz)
     450                 :            : {
     451                 :   19207498 :   long lx = lgefint(x), ly;
     452                 :            :   pari_sp av;
     453                 :            :   GEN t;
     454         [ +  + ]:   19207498 :   if (lx == 2) return mulii(z,y);
     455                 :   18663155 :   ly = lgefint(y);
     456         [ +  + ]:   18663155 :   if (ly == 2) return icopy(x); /* y = 0, wasteful copy */
     457                 :   18581824 :   av = avma; (void)new_chunk(lx+ly+lz); /*HACK*/
     458                 :   18581824 :   t = mulii(z, y);
     459                 :   19207498 :   avma = av; return addii(t,x);
     460                 :            : }
     461                 :            : /* x + y*z, lgefint(z) == 3 */
     462                 :            : static GEN
     463                 :  212090117 : addmulii_lg3(GEN x, GEN y, GEN z)
     464                 :            : {
     465                 :  212090117 :   long s = signe(z), lx, ly;
     466                 :  212090117 :   ulong w = z[2];
     467                 :            :   pari_sp av;
     468                 :            :   GEN t;
     469 [ +  + ][ +  + ]:  212090117 :   if (w == 1) return (s > 0)? addii(x,y): subii(x,y); /* z = +- 1 */
     470                 :  154878032 :   lx = lgefint(x);
     471                 :  154878032 :   ly = lgefint(y);
     472         [ +  + ]:  154878032 :   if (lx == 2)
     473                 :            :   { /* x = 0 */
     474         [ +  + ]:   26092146 :     if (ly == 2) return gen_0;
     475                 :   21318867 :     t = muluispec(w, y+2, ly-2);
     476         [ +  + ]:   21318867 :     if (signe(y) < 0) s = -s;
     477                 :   21318867 :     setsigne(t, s); return t;
     478                 :            :   }
     479         [ +  + ]:  128785886 :   if (ly == 2) return icopy(x); /* y = 0, wasteful copy */
     480                 :  123429284 :   av = avma; (void)new_chunk(1+lx+ly);/*HACK*/
     481                 :  123429284 :   t = muluispec(w, y+2, ly-2);
     482         [ +  + ]:  123429284 :   if (signe(y) < 0) s = -s;
     483                 :  123429284 :   setsigne(t, s);
     484                 :  212090117 :   avma = av; return addii(x,t);
     485                 :            : }
     486                 :            : /* x + y*z */
     487                 :            : GEN
     488                 :   30261248 : addmulii(GEN x, GEN y, GEN z)
     489                 :            : {
     490                 :   30261248 :   long lz = lgefint(z);
     491      [ +  +  + ]:   30261248 :   switch(lz)
     492                 :            :   {
     493                 :     371959 :     case 2: return icopy(x); /* z = 0, wasteful copy */
     494                 :   27702365 :     case 3: return addmulii_lg3(x, y, z);
     495                 :   30261248 :     default:return addmulii_gen(x, y, z, lz);
     496                 :            :   }
     497                 :            : }
     498                 :            : /* x + y*z, returns x itself and not a copy when y*z = 0 */
     499                 :            : GEN
     500                 :  749197846 : addmulii_inplace(GEN x, GEN y, GEN z)
     501                 :            : {
     502                 :            :   long lz;
     503         [ +  + ]:  749197846 :   if (lgefint(y) == 2) return x;
     504                 :  201408326 :   lz = lgefint(z);
     505      [ -  +  + ]:  201408326 :   switch(lz)
     506                 :            :   {
     507                 :          0 :     case 2: return x;
     508                 :  184387752 :     case 3: return addmulii_lg3(x, y, z);
     509                 :  749197846 :     default:return addmulii_gen(x, y, z, lz);
     510                 :            :   }
     511                 :            : }
     512                 :            : 
     513                 :            : /* written by Bruno Haible following an idea of Robert Harley */
     514                 :            : long
     515                 : 1293329737 : vals(ulong z)
     516                 :            : {
     517                 :            :   static char tab[64]={-1,0,1,12,2,6,-1,13,3,-1,7,-1,-1,-1,-1,14,10,4,-1,-1,8,-1,-1,25,-1,-1,-1,-1,-1,21,27,15,31,11,5,-1,-1,-1,-1,-1,9,-1,-1,24,-1,-1,20,26,30,-1,-1,-1,-1,23,-1,19,29,-1,22,18,28,17,16,-1};
     518                 :            : #ifdef LONG_IS_64BIT
     519                 :            :   long s;
     520                 :            : #endif
     521                 :            : 
     522         [ -  + ]: 1293329737 :   if (!z) return -1;
     523                 :            : #ifdef LONG_IS_64BIT
     524         [ +  + ]: 1187546008 :   if (! (z&0xffffffff)) { s = 32; z >>=32; } else s = 0;
     525                 :            : #endif
     526                 : 1293329737 :   z |= ~z + 1;
     527                 : 1293329737 :   z += z << 4;
     528                 : 1293329737 :   z += z << 6;
     529                 : 1293329737 :   z ^= z << 16; /* or  z -= z<<16 */
     530                 :            : #ifdef LONG_IS_64BIT
     531                 : 1187546008 :   return s + tab[(z&0xffffffff)>>26];
     532                 :            : #else
     533                 :  105783729 :   return tab[z>>26];
     534                 :            : #endif
     535                 :            : }
     536                 :            : 
     537                 :            : GEN
     538                 :         21 : divsi(long x, GEN y)
     539                 :            : {
     540                 :         21 :   long p1, s = signe(y);
     541                 :            :   LOCAL_HIREMAINDER;
     542                 :            : 
     543         [ -  + ]:         21 :   if (!s) pari_err_INV("divsi",gen_0);
     544 [ +  - ][ +  - ]:         21 :   if (!x || lgefint(y)>3 || ((long)y[2])<0) return gen_0;
                 [ -  + ]
     545 [ +  - ][ #  # ]:         21 :   hiremainder=0; p1=divll(labs(x),y[2]);
         [ #  # ][ #  # ]
         [ #  # ][ #  # ]
         [ #  # ][ #  # ]
         [ #  # ][ #  # ]
         [ #  # ][ #  # ]
                 [ #  # ]
     546 [ -  + ][ -  + ]:         21 :   if (x<0) { hiremainder = -((long)hiremainder); p1 = -p1; }
     547         [ -  + ]:         21 :   if (s<0) p1 = -p1;
     548                 :         21 :   return stoi(p1);
     549                 :            : }
     550                 :            : 
     551                 :            : GEN
     552                 :    2502816 : divir(GEN x, GEN y)
     553                 :            : {
     554                 :            :   GEN z;
     555                 :    2502816 :   long ly = lg(y), lx = lgefint(x);
     556                 :            :   pari_sp av;
     557                 :            : 
     558         [ -  + ]:    2502816 :   if (ly == 2) pari_err_INV("divir",y);
     559         [ +  + ]:    2502816 :   if (lx == 2) return div0r(y);
     560         [ +  + ]:    2412719 :   if (lx == 3) {
     561                 :    1249097 :     z = divur(x[2], y);
     562         [ +  + ]:    1249097 :     if (signe(x) < 0) togglesign(z);
     563                 :    1249097 :     return z;
     564                 :            :   }
     565                 :    1163622 :   z = cgetr(ly); av = avma;
     566                 :    1163622 :   affrr(divrr(itor(x, ly+1), y), z);
     567                 :    2502816 :   avma = av; return z;
     568                 :            : }
     569                 :            : 
     570                 :            : GEN
     571                 :    1263744 : divur(ulong x, GEN y)
     572                 :            : {
     573                 :            :   pari_sp av;
     574                 :    1263744 :   long ly = lg(y);
     575                 :            :   GEN z;
     576                 :            : 
     577         [ -  + ]:    1263744 :   if (ly == 2) pari_err_INV("divur",y);
     578         [ -  + ]:    1263744 :   if (!x) return div0r(y);
     579         [ +  + ]:    1263744 :   if (ly > INVNEWTON_LIMIT) {
     580                 :         73 :     av = avma; z = invr(y);
     581         [ -  + ]:         73 :     if (x == 1) return z;
     582                 :         73 :     return gerepileuptoleaf(av, mulur(x, z));
     583                 :            :   }
     584                 :    1263671 :   z = cgetr(ly); av = avma;
     585                 :    1263671 :   affrr(divrr(utor(x,ly+1), y), z);
     586                 :    1263744 :   avma = av; return z;
     587                 :            : }
     588                 :            : 
     589                 :            : GEN
     590                 :       7761 : divsr(long x, GEN y)
     591                 :            : {
     592                 :            :   pari_sp av;
     593                 :       7761 :   long ly = lg(y);
     594                 :            :   GEN z;
     595                 :            : 
     596         [ -  + ]:       7761 :   if (ly == 2) pari_err_INV("divsr",y);
     597         [ -  + ]:       7761 :   if (!x) return div0r(y);
     598         [ -  + ]:       7761 :   if (ly > INVNEWTON_LIMIT) {
     599                 :          0 :     av = avma; z = invr(y);
     600         [ #  # ]:          0 :     if (x == 1) return z;
     601         [ #  # ]:          0 :     if (x ==-1) { togglesign(z); return z; }
     602                 :          0 :     return gerepileuptoleaf(av, mulsr(x, z));
     603                 :            :   }
     604                 :       7761 :   z = cgetr(ly); av = avma;
     605                 :       7761 :   affrr(divrr(stor(x,ly+1), y), z);
     606                 :       7761 :   avma = av; return z;
     607                 :            : }
     608                 :            : 
     609                 :            : /* returns 1/y, assume y != 0 */
     610                 :            : static GEN
     611                 :   10487756 : invr_basecase(GEN y)
     612                 :            : {
     613                 :   10487756 :   long ly = lg(y);
     614                 :   10487756 :   GEN z = cgetr(ly);
     615                 :   10487756 :   pari_sp av = avma;
     616                 :   10487756 :   affrr(divrr(real_1(ly+1), y), z);
     617                 :   10487756 :   avma = av; return z;
     618                 :            : }
     619                 :            : /* returns 1/b, Newton iteration */
     620                 :            : GEN
     621                 :   10487756 : invr(GEN b)
     622                 :            : {
     623                 :   10487756 :   const long s = 6;
     624                 :   10487756 :   long i, p, l = lg(b);
     625                 :            :   GEN x, a;
     626                 :            :   ulong mask;
     627                 :            : 
     628         [ +  + ]:   10487756 :   if (l <= maxss(INVNEWTON_LIMIT, (1L<<s) + 2)) {
     629         [ -  + ]:   10486640 :     if (l == 2) pari_err_INV("invr",b);
     630                 :   10486640 :     return invr_basecase(b);
     631                 :            :   }
     632                 :       1116 :   mask = quadratic_prec_mask(l-2);
     633 [ +  + ][ +  + ]:       7812 :   for(i=0, p=1; i<s; i++) { p <<= 1; if (mask & 1) p--; mask >>= 1; }
     634                 :       1116 :   x = cgetr(l);
     635                 :       1116 :   a = rcopy(b); a[1] = _evalexpo(0) | evalsigne(1);
     636                 :       1116 :   affrr(invr_basecase(rtor(a, p+2)), x);
     637         [ +  + ]:       2606 :   while (mask > 1)
     638                 :            :   {
     639         [ +  + ]:       1490 :     p <<= 1; if (mask & 1) p--;
     640                 :       1490 :     mask >>= 1;
     641                 :       1490 :     setlg(a, p + 2);
     642                 :       1490 :     setlg(x, p + 2);
     643                 :            :     /* TODO: mulrr(a,x) should be a half product (the higher half is known).
     644                 :            :      * mulrr(x, ) already is */
     645                 :       1490 :     affrr(addrr(x, mulrr(x, subsr(1, mulrr(a,x)))), x);
     646                 :       1490 :     avma = (pari_sp)a;
     647                 :            :   }
     648                 :       1116 :   x[1] = (b[1] & SIGNBITS) | evalexpo(expo(x)-expo(b));
     649                 :   10487756 :   avma = (pari_sp)x; return x;
     650                 :            : }
     651                 :            : 
     652                 :            : GEN
     653                 : 1226076127 : modii(GEN x, GEN y)
     654                 :            : {
     655      [ +  +  + ]: 1226076127 :   switch(signe(x))
     656                 :            :   {
     657                 :  337943766 :     case 0: return gen_0;
     658                 :  612627209 :     case 1: return remii(x,y);
     659                 :            :     default:
     660                 :            :     {
     661                 :  275505152 :       pari_sp av = avma;
     662                 :  275505152 :       (void)new_chunk(lgefint(y));
     663                 :  275499781 :       x = remii(x,y); avma=av;
     664         [ +  + ]:  275501576 :       if (x==gen_0) return x;
     665                 : 1226002711 :       return subiispec(y+2,x+2,lgefint(y)-2,lgefint(x)-2);
     666                 :            :     }
     667                 :            :   }
     668                 :            : }
     669                 :            : 
     670                 :            : void
     671                 :     516392 : modiiz(GEN x, GEN y, GEN z)
     672                 :            : {
     673                 :     516392 :   const pari_sp av = avma;
     674                 :     516392 :   affii(modii(x,y),z); avma=av;
     675                 :     516392 : }
     676                 :            : 
     677                 :            : GEN
     678                 :    3457021 : divrs(GEN x, long y)
     679                 :            : {
     680                 :            :   GEN z;
     681         [ +  + ]:    3457021 :   if (y < 0)
     682                 :            :   {
     683                 :     344981 :     z = divru(x, (ulong)-y);
     684                 :     344981 :     togglesign(z);
     685                 :            :   }
     686                 :            :   else
     687                 :    3112040 :     z = divru(x, (ulong)y);
     688                 :    3457021 :   return z;
     689                 :            : }
     690                 :            : 
     691                 :            : GEN
     692                 :  310290577 : divru(GEN x, ulong y)
     693                 :            : {
     694                 :  310290577 :   long i, lx, sh, e, s = signe(x);
     695                 :            :   ulong garde;
     696                 :            :   GEN z;
     697                 :            :   LOCAL_HIREMAINDER;
     698                 :            : 
     699         [ -  + ]:  310290577 :   if (!y) pari_err_INV("divru",gen_0);
     700         [ +  + ]:  310290577 :   if (!s) return real_0_bit(expo(x) - expu(y));
     701         [ +  + ]:  310232325 :   if (!(y & (y-1))) /* power of 2 */
     702                 :            :   {
     703         [ +  + ]:   27918670 :     if (y == 1) return rcopy(x);
     704                 :   27108330 :     return shiftr(x, -expu(y));
     705                 :            :   }
     706                 :  282313655 :   e = expo(x);
     707                 :  282313655 :   lx = lg(x);
     708                 :  282313655 :   z = cgetr(lx);
     709         [ +  + ]:  282313655 :   if (lx == 3)
     710                 :            :   {
     711         [ +  + ]:  132684520 :     if (y <= uel(x,2))
     712                 :            :     {
     713                 :  132684364 :       hiremainder = 0;
     714 [ +  - ][ #  # ]:  132684364 :       z[2] = divll(x[2],y);
         [ #  # ][ #  # ]
         [ #  # ][ #  # ]
         [ #  # ][ #  # ]
         [ #  # ][ #  # ]
         [ #  # ][ #  # ]
                 [ #  # ]
     715                 :            :       /* we may have hiremainder != 0 ==> garde */
     716 [ +  + ][ +  + ]:  132684364 :       garde = divll(0,y);
         [ +  + ][ +  - ]
         [ +  + ][ +  + ]
         [ +  + ][ +  + ]
         [ +  + ][ +  + ]
         [ +  + ][ +  + ]
                 [ +  + ]
     717                 :            :     }
     718                 :            :     else
     719                 :            :     {
     720                 :        156 :       hiremainder = x[2];
     721 [ -  + ][ -  + ]:        156 :       z[2] = divll(0,y);
         [ +  - ][ #  # ]
         [ #  # ][ #  # ]
         [ #  # ][ +  + ]
         [ +  + ][ -  + ]
         [ +  + ][ +  + ]
                 [ -  + ]
     722                 :        156 :       garde = hiremainder;
     723                 :        156 :       e -= BITS_IN_LONG;
     724                 :            :     }
     725                 :            :   }
     726                 :            :   else
     727                 :            :   {
     728                 :  149629135 :     ulong yp = get_Fl_red(y);
     729         [ +  + ]:  149629135 :     if (y <= uel(x,2))
     730                 :            :     {
     731                 :  149626690 :       hiremainder = 0;
     732 [ +  + ][ +  + ]:  807737186 :       for (i=2; i<lx; i++) z[i] = divll_pre(x[i],y,yp);
            [ +  + ][ + ]
         [ +  + ][ +  + ]
         [ +  + ][ +  + ]
     733                 :            :       /* we may have hiremainder != 0 ==> garde */
     734 [ +  + ][ +  + ]:  149626690 :       garde = divll_pre(0,y,yp);
         [ +  + ][ +  + ]
                 [ +  + ]
     735                 :            :     }
     736                 :            :     else
     737                 :            :     {
     738                 :       2445 :       long l = lx-1;
     739                 :       2445 :       hiremainder = x[2];
     740 [ +  + ][ +  + ]:      39890 :       for (i=2; i<l; i++) z[i] = divll_pre(x[i+1],y,yp);
            [ +  - ][ - ]
         [ +  - ][ -  + ]
         [ +  + ][ +  + ]
     741 [ +  + ][ +  - ]:       2445 :       z[i] = divll_pre(0,y,yp);
         [ +  - ][ +  - ]
                 [ -  + ]
     742                 :       2445 :       garde = hiremainder;
     743                 :       2445 :       e -= BITS_IN_LONG;
     744                 :            :     }
     745                 :            :   }
     746 [ +  + ][ +  + ]:  282313655 :   sh=bfffo(z[2]); /* z[2] != 0 */
         [ +  + ][ +  + ]
     747 [ +  + ][ +  + ]:  282313655 :   if (sh) shift_left(z,z, 2,lx-1, garde,sh);
     748                 :  282313655 :   z[1] = evalsigne(s) | evalexpo(e-sh);
     749         [ +  + ]:  282313655 :   if ((garde << sh) & HIGHBIT) roundr_up_ip(z, lx);
     750                 :  310290577 :   return z;
     751                 :            : }
     752                 :            : 
     753                 :            : GEN
     754                 :   69896962 : truedvmdii(GEN x, GEN y, GEN *z)
     755                 :            : {
     756                 :            :   pari_sp av;
     757                 :            :   GEN r, q, *gptr[2];
     758         [ +  + ]:   69896962 :   if (!is_bigint(y)) return truedvmdis(x, itos(y), z);
     759         [ -  + ]:     613375 :   if (z == ONLY_REM) return modii(x,y);
     760                 :            : 
     761                 :     613375 :   av = avma;
     762                 :     613375 :   q = dvmdii(x,y,&r); /* assume that r is last on stack */
     763   [ +  +  +  - ]:     613375 :   switch(signe(r))
     764                 :            :   {
     765                 :            :     case 0:
     766         [ +  + ]:      45569 :       if (z) *z = gen_0;
     767                 :      45569 :       return q;
     768                 :            :     case 1:
     769         [ +  + ]:     456865 :       if (z) *z = r; else cgiv(r);
     770                 :     456865 :       return q;
     771                 :     110941 :     case -1: break;
     772                 :            :   }
     773                 :     110941 :   q = addis(q, -signe(y));
     774         [ +  + ]:     110941 :   if (!z) return gerepileuptoint(av, q);
     775                 :            : 
     776                 :      19556 :   *z = subiispec(y+2,r+2, lgefint(y)-2,lgefint(r)-2);
     777                 :      19556 :   gptr[0]=&q; gptr[1]=z; gerepilemanysp(av,(pari_sp)r,gptr,2);
     778                 :   69896962 :   return q;
     779                 :            : }
     780                 :            : GEN
     781                 :   69284239 : truedvmdis(GEN x, long y, GEN *z)
     782                 :            : {
     783                 :   69284239 :   pari_sp av = avma;
     784                 :            :   long r;
     785                 :            :   GEN q;
     786                 :            : 
     787         [ -  + ]:   69284239 :   if (z == ONLY_REM) return modis(x, y);
     788                 :   69284239 :   q = divis_rem(x,y,&r);
     789                 :            : 
     790         [ +  + ]:   69284239 :   if (r >= 0)
     791                 :            :   {
     792         [ +  + ]:   64299148 :     if (z) *z = utoi(r);
     793                 :   64299148 :     return q;
     794                 :            :   }
     795         [ -  + ]:    4985091 :   q = gerepileuptoint(av, addis(q, (y < 0)? 1: -1));
     796         [ +  + ]:    4985091 :   if (z) *z = utoi(r + labs(y));
     797                 :   69284239 :   return q;
     798                 :            : }
     799                 :            : GEN
     800                 :    5498142 : truedvmdsi(long x, GEN y, GEN *z)
     801                 :            : {
     802                 :            :   long q, r;
     803         [ -  + ]:    5498142 :   if (z == ONLY_REM) return modsi(x, y);
     804                 :    5498142 :   q = sdivsi_rem(x,y,&r);
     805         [ +  + ]:    5498142 :   if (r >= 0) {
     806         [ -  + ]:    5498135 :     if (z) *z = utoi(r);
     807                 :    5498135 :     return stoi(q);
     808                 :            :   }
     809                 :          7 :   q = q - signe(y);
     810         [ +  - ]:          7 :   if (!z) return stoi(q);
     811                 :            : 
     812                 :          0 :   *z = subiuspec(y+2,(ulong)-r, lgefint(y)-2);
     813                 :    5498142 :   return stoi(q);
     814                 :            : }
     815                 :            : 
     816                 :            : /* 2^n = shifti(gen_1, n) */
     817                 :            : GEN
     818                 :   67930248 : int2n(long n) {
     819                 :            :   long i, m, l;
     820                 :            :   GEN z;
     821         [ +  + ]:   67930248 :   if (n < 0) return gen_0;
     822         [ +  + ]:   67929285 :   if (n == 0) return gen_1;
     823                 :            : 
     824                 :   67306036 :   l = dvmdsBIL(n, &m) + 3;
     825                 :   67306013 :   z = cgetipos(l);
     826         [ +  + ]:  286857230 :   for (i = 2; i < l; i++) z[i] = 0;
     827                 :   67930247 :   *int_MSW(z) = 1UL << m; return z;
     828                 :            : }
     829                 :            : /* To avoid problems when 2^(BIL-1) < n. Overflow cleanly, where int2n
     830                 :            :  * returns gen_0 */
     831                 :            : GEN
     832                 :    3246325 : int2u(ulong n) {
     833                 :            :   ulong i, m, l;
     834                 :            :   GEN z;
     835         [ -  + ]:    3246325 :   if (n == 0) return gen_1;
     836                 :            : 
     837                 :    3246325 :   l = dvmduBIL(n, &m) + 3;
     838                 :    3246324 :   z = cgetipos(l);
     839         [ +  + ]:    6666659 :   for (i = 2; i < l; i++) z[i] = 0;
     840                 :    3246311 :   *int_MSW(z) = 1UL << m; return z;
     841                 :            : }
     842                 :            : 
     843                 :            : GEN
     844                 :  667779510 : shifti(GEN x, long n)
     845                 :            : {
     846                 :  667779510 :   long s = signe(x);
     847                 :            :   GEN y;
     848                 :            : 
     849         [ +  + ]:  667779510 :   if(s == 0) return gen_0;
     850                 :  611577230 :   y = shiftispec(x + 2, lgefint(x) - 2, n);
     851         [ +  + ]:  611514450 :   if (signe(y)) setsigne(y, s);
     852                 :  667716730 :   return y;
     853                 :            : }
     854                 :            : 
     855                 :            : /* actual operations will take place on a+2 and b+2: we strip the codewords */
     856                 :            : GEN
     857                 : 6848593166 : mulii(GEN a,GEN b)
     858                 :            : {
     859                 :            :   long sa,sb;
     860                 :            :   GEN z;
     861                 :            : 
     862         [ +  + ]: 6848593166 :   sa=signe(a); if (!sa) return gen_0;
     863         [ +  + ]: 4157555463 :   sb=signe(b); if (!sb) return gen_0;
     864         [ +  + ]: 2533289430 :   if (sb<0) sa = -sa;
     865                 : 2533289430 :   z = muliispec(a+2,b+2, lgefint(a)-2,lgefint(b)-2);
     866                 : 6849522624 :   setsigne(z,sa); return z;
     867                 :            : }
     868                 :            : 
     869                 :            : GEN
     870                 : 1051243504 : sqri(GEN a) { return sqrispec(a+2, lgefint(a)-2); }
     871                 :            : 
     872                 :            : /* sqrt()'s result may be off by 1 when a is not representable exactly as a
     873                 :            :  * double [64bit machine] */
     874                 :            : ulong
     875                 :    7157254 : usqrt(ulong a)
     876                 :            : {
     877                 :    7157254 :   ulong x = (ulong)sqrt((double)a);
     878                 :            : #ifdef LONG_IS_64BIT
     879 [ +  + ][ -  + ]:    6126632 :   if (x > LOWMASK || x*x > a) x--;
     880                 :            : #endif
     881                 :    7157254 :   return x;
     882                 :            : }
     883                 :            : 
     884                 :            : /********************************************************************/
     885                 :            : /**                                                                **/
     886                 :            : /**              EXPONENT / CONVERSION t_REAL --> double           **/
     887                 :            : /**                                                                **/
     888                 :            : /********************************************************************/
     889                 :            : 
     890                 :            : #ifdef LONG_IS_64BIT
     891                 :            : long
     892                 :          0 : dblexpo(double x)
     893                 :            : {
     894                 :            :   union { double f; ulong i; } fi;
     895                 :          0 :   const int mant_len = 52;  /* mantissa bits (excl. hidden bit) */
     896                 :          0 :   const int exp_mid = 0x3ff;/* exponent bias */
     897                 :            : 
     898         [ #  # ]:          0 :   if (x==0.) return -exp_mid;
     899                 :          0 :   fi.f = x;
     900                 :          0 :   return ((fi.i & (HIGHBIT-1)) >> mant_len) - exp_mid;
     901                 :            : }
     902                 :            : 
     903                 :            : ulong
     904                 :          0 : dblmantissa(double x)
     905                 :            : {
     906                 :            :   union { double f; ulong i; } fi;
     907                 :          0 :   const int expo_len = 11; /* number of bits of exponent */
     908                 :            : 
     909         [ #  # ]:          0 :   if (x==0.) return 0;
     910                 :          0 :   fi.f = x;
     911                 :          0 :   return (fi.i << expo_len) | HIGHBIT;
     912                 :            : }
     913                 :            : 
     914                 :            : GEN
     915                 :    4243522 : dbltor(double x)
     916                 :            : {
     917                 :            :   GEN z;
     918                 :            :   long e;
     919                 :            :   union { double f; ulong i; } fi;
     920                 :    4243522 :   const int mant_len = 52;  /* mantissa bits (excl. hidden bit) */
     921                 :    4243522 :   const int exp_mid = 0x3ff;/* exponent bias */
     922                 :    4243522 :   const int expo_len = 11; /* number of bits of exponent */
     923                 :            : 
     924         [ +  + ]:    4243522 :   if (x==0.) return real_0_bit(-exp_mid);
     925                 :    4241466 :   fi.f = x; z = cgetr(DEFAULTPREC);
     926                 :            :   {
     927                 :    4241466 :     const ulong a = fi.i;
     928                 :            :     ulong A;
     929                 :    4241466 :     e = ((a & (HIGHBIT-1)) >> mant_len) - exp_mid;
     930         [ -  + ]:    4241466 :     if (e == exp_mid+1) pari_err_OVERFLOW("dbltor [NaN or Infinity]");
     931                 :    4241466 :     A = a << expo_len;
     932         [ -  + ]:    4241466 :     if (e == -exp_mid)
     933                 :            :     { /* unnormalized values */
     934 [ #  # ][ #  # ]:          0 :       int sh = bfffo(A);
         [ #  # ][ #  # ]
     935                 :          0 :       e -= sh-1;
     936                 :          0 :       z[2] = A << sh;
     937                 :            :     }
     938                 :            :     else
     939                 :    4241466 :       z[2] = HIGHBIT | A;
     940         [ +  + ]:    4241466 :     z[1] = _evalexpo(e) | evalsigne(x<0? -1: 1);
     941                 :            :   }
     942                 :    4243522 :   return z;
     943                 :            : }
     944                 :            : 
     945                 :            : double
     946                 :   49198162 : rtodbl(GEN x)
     947                 :            : {
     948                 :   49198162 :   long ex,s=signe(x);
     949                 :            :   ulong a;
     950                 :            :   union { double f; ulong i; } fi;
     951                 :   49198162 :   const int mant_len = 52;  /* mantissa bits (excl. hidden bit) */
     952                 :   49198162 :   const int exp_mid = 0x3ff;/* exponent bias */
     953                 :   49198162 :   const int expo_len = 11; /* number of bits of exponent */
     954                 :            : 
     955 [ +  + ][ +  + ]:   49198162 :   if (!s || (ex=expo(x)) < - exp_mid) return 0.0;
     956                 :            : 
     957                 :            :   /* start by rounding to closest */
     958                 :   48636633 :   a = (x[2] & (HIGHBIT-1)) + 0x400;
     959         [ +  + ]:   48636633 :   if (a & HIGHBIT) { ex++; a=0; }
     960         [ -  + ]:   48636633 :   if (ex >= exp_mid) pari_err_OVERFLOW("t_REAL->double conversion");
     961                 :   48636633 :   fi.i = ((ex + exp_mid) << mant_len) | (a >> expo_len);
     962         [ +  + ]:   48636633 :   if (s<0) fi.i |= HIGHBIT;
     963                 :   49198162 :   return fi.f;
     964                 :            : }
     965                 :            : 
     966                 :            : #else /* LONG_IS_64BIT */
     967                 :            : 
     968                 :            : #if   PARI_DOUBLE_FORMAT == 1
     969                 :            : #  define INDEX0 1
     970                 :            : #  define INDEX1 0
     971                 :            : #elif PARI_DOUBLE_FORMAT == 0
     972                 :            : #  define INDEX0 0
     973                 :            : #  define INDEX1 1
     974                 :            : #endif
     975                 :            : 
     976                 :            : long
     977                 :          0 : dblexpo(double x)
     978                 :            : {
     979                 :            :   union { double f; ulong i[2]; } fi;
     980                 :          0 :   const int mant_len = 52;  /* mantissa bits (excl. hidden bit) */
     981                 :          0 :   const int exp_mid = 0x3ff;/* exponent bias */
     982                 :          0 :   const int shift = mant_len-32;
     983                 :            : 
     984         [ #  # ]:          0 :   if (x==0.) return -exp_mid;
     985                 :          0 :   fi.f = x;
     986                 :            :   {
     987                 :          0 :     const ulong a = fi.i[INDEX0];
     988                 :          0 :     return ((a & (HIGHBIT-1)) >> shift) - exp_mid;
     989                 :            :   }
     990                 :            : }
     991                 :            : 
     992                 :            : ulong
     993                 :          0 : dblmantissa(double x)
     994                 :            : {
     995                 :            :   union { double f; ulong i[2]; } fi;
     996                 :          0 :   const int expo_len = 11; /* number of bits of exponent */
     997                 :            : 
     998         [ #  # ]:          0 :   if (x==0.) return 0;
     999                 :          0 :   fi.f = x;
    1000                 :            :   {
    1001                 :          0 :     const ulong a = fi.i[INDEX0];
    1002                 :          0 :     const ulong b = fi.i[INDEX1];
    1003                 :          0 :     return HIGHBIT | b >> (BITS_IN_LONG-expo_len) | (a << expo_len);
    1004                 :            :   }
    1005                 :            : }
    1006                 :            : 
    1007                 :            : GEN
    1008                 :     712875 : dbltor(double x)
    1009                 :            : {
    1010                 :            :   GEN z;
    1011                 :            :   long e;
    1012                 :            :   union { double f; ulong i[2]; } fi;
    1013                 :     712875 :   const int mant_len = 52;  /* mantissa bits (excl. hidden bit) */
    1014                 :     712875 :   const int exp_mid = 0x3ff;/* exponent bias */
    1015                 :     712875 :   const int expo_len = 11; /* number of bits of exponent */
    1016                 :     712875 :   const int shift = mant_len-32;
    1017                 :            : 
    1018         [ +  + ]:     712875 :   if (x==0.) return real_0_bit(-exp_mid);
    1019                 :     712871 :   fi.f = x; z = cgetr(DEFAULTPREC);
    1020                 :            :   {
    1021                 :     712871 :     const ulong a = fi.i[INDEX0];
    1022                 :     712871 :     const ulong b = fi.i[INDEX1];
    1023                 :            :     ulong A, B;
    1024                 :     712871 :     e = ((a & (HIGHBIT-1)) >> shift) - exp_mid;
    1025         [ -  + ]:     712871 :     if (e == exp_mid+1) pari_err_OVERFLOW("dbltor [NaN or Infinity]");
    1026                 :     712871 :     A = b >> (BITS_IN_LONG-expo_len) | (a << expo_len);
    1027                 :     712871 :     B = b << expo_len;
    1028         [ -  + ]:     712871 :     if (e == -exp_mid)
    1029                 :            :     { /* unnormalized values */
    1030                 :            :       int sh;
    1031         [ #  # ]:          0 :       if (A)
    1032                 :            :       {
    1033                 :          0 :         sh = bfffo(A);
    1034                 :          0 :         e -= sh-1;
    1035                 :          0 :         z[2] = (A << sh) | (B >> (32-sh));
    1036                 :          0 :         z[3] = B << sh;
    1037                 :            :       }
    1038                 :            :       else
    1039                 :            :       {
    1040                 :          0 :         sh = bfffo(B); /* B != 0 */
    1041                 :          0 :         e -= sh-1 + 32;
    1042                 :          0 :         z[2] = B << sh;
    1043                 :          0 :         z[3] = 0;
    1044                 :            :       }
    1045                 :            :     }
    1046                 :            :     else
    1047                 :            :     {
    1048                 :     712871 :       z[3] = B;
    1049                 :     712871 :       z[2] = HIGHBIT | A;
    1050                 :            :     }
    1051         [ +  + ]:     712871 :     z[1] = _evalexpo(e) | evalsigne(x<0? -1: 1);
    1052                 :            :   }
    1053                 :     712875 :   return z;
    1054                 :            : }
    1055                 :            : 
    1056                 :            : double
    1057                 :    3907892 : rtodbl(GEN x)
    1058                 :            : {
    1059                 :    3907892 :   long ex,s=signe(x),lx=lg(x);
    1060                 :            :   ulong a,b,k;
    1061                 :            :   union { double f; ulong i[2]; } fi;
    1062                 :    3907892 :   const int mant_len = 52;  /* mantissa bits (excl. hidden bit) */
    1063                 :    3907892 :   const int exp_mid = 0x3ff;/* exponent bias */
    1064                 :    3907892 :   const int expo_len = 11; /* number of bits of exponent */
    1065                 :    3907892 :   const int shift = mant_len-32;
    1066                 :            : 
    1067 [ +  + ][ +  + ]:    3907892 :   if (!s || (ex=expo(x)) < - exp_mid) return 0.0;
    1068                 :            : 
    1069                 :            :   /* start by rounding to closest */
    1070                 :    3829523 :   a = x[2] & (HIGHBIT-1);
    1071         [ +  + ]:    3829523 :   if (lx > 3)
    1072                 :            :   {
    1073         [ +  + ]:    3753205 :     b = x[3] + 0x400UL; if (b < 0x400UL) a++;
    1074         [ +  + ]:    3753205 :     if (a & HIGHBIT) { ex++; a=0; }
    1075                 :            :   }
    1076                 :      76318 :   else b = 0;
    1077         [ -  + ]:    3829523 :   if (ex >= exp_mid) pari_err_OVERFLOW("t_REAL->double conversion");
    1078                 :    3829523 :   ex += exp_mid;
    1079                 :    3829523 :   k = (a >> expo_len) | (ex << shift);
    1080         [ +  + ]:    3829523 :   if (s<0) k |= HIGHBIT;
    1081                 :    3829523 :   fi.i[INDEX0] = k;
    1082                 :    3829523 :   fi.i[INDEX1] = (a << (BITS_IN_LONG-expo_len)) | (b >> expo_len);
    1083                 :    3907892 :   return fi.f;
    1084                 :            : }
    1085                 :            : #endif /* LONG_IS_64BIT */
    1086                 :            : 

Generated by: LCOV version 1.9