kc3-lang/libtommath/bn_mp_add_d.c

• Show log

  Commit

• Hash : 61d9e528
  Author :
  Date : 2019-05-11T10:22:20
  

  hardening: add MP_ZERO_BUFFER, MP_ZERO_DIGITS * (!) Always zero buffer before freeing if MP_NO_ZERO_ON_FREE is not defined * Add MP_NO_ZERO_ON_FREE to disable hardening * Add MP_ZERO_BUFFER, MP_ZERO_DIGITS, MP_FREE_BUFFFER, MP_FREE_DIGITS * Never use MP_FREE directly, use MP_FREE_DIGITS or MP_FREE_BUFFER * Add MP_USE_MEMSET to use memset instead of loop * Disable astyle backups which are annonying in the times of git

Download

• bn_mp_add_d.c

• #include "tommath_private.h"
  #ifdef BN_MP_ADD_D_C
  /* LibTomMath, multiple-precision integer library -- Tom St Denis */
  /* SPDX-License-Identifier: Unlicense */
  
  /* single digit addition */
  int mp_add_d(const mp_int *a, mp_digit b, mp_int *c)
  {
     int     res, ix, oldused;
     mp_digit *tmpa, *tmpc, mu;
  
     /* grow c as required */
     if (c->alloc < (a->used + 1)) {
        if ((res = mp_grow(c, a->used + 1)) != MP_OKAY) {
           return res;
        }
     }
  
     /* if a is negative and |a| >= b, call c = |a| - b */
     if ((a->sign == MP_NEG) && ((a->used > 1) || (a->dp[0] >= b))) {
        mp_int a_ = *a;
        /* temporarily fix sign of a */
        a_.sign = MP_ZPOS;
  
        /* c = |a| - b */
        res = mp_sub_d(&a_, b, c);
  
        /* fix sign  */
        c->sign = MP_NEG;
  
        /* clamp */
        mp_clamp(c);
  
        return res;
     }
  
     /* old number of used digits in c */
     oldused = c->used;
  
     /* source alias */
     tmpa    = a->dp;
  
     /* destination alias */
     tmpc    = c->dp;
  
     /* if a is positive */
     if (a->sign == MP_ZPOS) {
        /* add digit, after this we're propagating
         * the carry.
         */
        *tmpc   = *tmpa++ + b;
        mu      = *tmpc >> MP_DIGIT_BIT;
        *tmpc++ &= MP_MASK;
  
        /* now handle rest of the digits */
        for (ix = 1; ix < a->used; ix++) {
           *tmpc   = *tmpa++ + mu;
           mu      = *tmpc >> MP_DIGIT_BIT;
           *tmpc++ &= MP_MASK;
        }
        /* set final carry */
        ix++;
        *tmpc++  = mu;
  
        /* setup size */
        c->used = a->used + 1;
     } else {
        /* a was negative and |a| < b */
        c->used  = 1;
  
        /* the result is a single digit */
        if (a->used == 1) {
           *tmpc++  =  b - a->dp[0];
        } else {
           *tmpc++  =  b;
        }
  
        /* setup count so the clearing of oldused
         * can fall through correctly
         */
        ix       = 1;
     }
  
     /* sign always positive */
     c->sign = MP_ZPOS;
  
     /* now zero to oldused */
     MP_ZERO_DIGITS(tmpc, oldused - ix);
     mp_clamp(c);
  
     return MP_OKAY;
  }
  
  #endif
  

Download