Blame crypto/bn/bn_word.c

Packit c4476c
/*
Packit c4476c
 * Copyright 1995-2016 The OpenSSL Project Authors. All Rights Reserved.
Packit c4476c
 *
Packit c4476c
 * Licensed under the OpenSSL license (the "License").  You may not use
Packit c4476c
 * this file except in compliance with the License.  You can obtain a copy
Packit c4476c
 * in the file LICENSE in the source distribution or at
Packit c4476c
 * https://www.openssl.org/source/license.html
Packit c4476c
 */
Packit c4476c
Packit c4476c
#include "internal/cryptlib.h"
Packit c4476c
#include "bn_local.h"
Packit c4476c
Packit c4476c
BN_ULONG BN_mod_word(const BIGNUM *a, BN_ULONG w)
Packit c4476c
{
Packit c4476c
#ifndef BN_LLONG
Packit c4476c
    BN_ULONG ret = 0;
Packit c4476c
#else
Packit c4476c
    BN_ULLONG ret = 0;
Packit c4476c
#endif
Packit c4476c
    int i;
Packit c4476c
Packit c4476c
    if (w == 0)
Packit c4476c
        return (BN_ULONG)-1;
Packit c4476c
Packit c4476c
#ifndef BN_LLONG
Packit c4476c
    /*
Packit c4476c
     * If |w| is too long and we don't have BN_ULLONG then we need to fall
Packit c4476c
     * back to using BN_div_word
Packit c4476c
     */
Packit c4476c
    if (w > ((BN_ULONG)1 << BN_BITS4)) {
Packit c4476c
        BIGNUM *tmp = BN_dup(a);
Packit c4476c
        if (tmp == NULL)
Packit c4476c
            return (BN_ULONG)-1;
Packit c4476c
Packit c4476c
        ret = BN_div_word(tmp, w);
Packit c4476c
        BN_free(tmp);
Packit c4476c
Packit c4476c
        return ret;
Packit c4476c
    }
Packit c4476c
#endif
Packit c4476c
Packit c4476c
    bn_check_top(a);
Packit c4476c
    w &= BN_MASK2;
Packit c4476c
    for (i = a->top - 1; i >= 0; i--) {
Packit c4476c
#ifndef BN_LLONG
Packit c4476c
        /*
Packit c4476c
         * We can assume here that | w <= ((BN_ULONG)1 << BN_BITS4) | and so
Packit c4476c
         * | ret < ((BN_ULONG)1 << BN_BITS4) | and therefore the shifts here are
Packit c4476c
         * safe and will not overflow
Packit c4476c
         */
Packit c4476c
        ret = ((ret << BN_BITS4) | ((a->d[i] >> BN_BITS4) & BN_MASK2l)) % w;
Packit c4476c
        ret = ((ret << BN_BITS4) | (a->d[i] & BN_MASK2l)) % w;
Packit c4476c
#else
Packit c4476c
        ret = (BN_ULLONG) (((ret << (BN_ULLONG) BN_BITS2) | a->d[i]) %
Packit c4476c
                           (BN_ULLONG) w);
Packit c4476c
#endif
Packit c4476c
    }
Packit c4476c
    return (BN_ULONG)ret;
Packit c4476c
}
Packit c4476c
Packit c4476c
BN_ULONG BN_div_word(BIGNUM *a, BN_ULONG w)
Packit c4476c
{
Packit c4476c
    BN_ULONG ret = 0;
Packit c4476c
    int i, j;
Packit c4476c
Packit c4476c
    bn_check_top(a);
Packit c4476c
    w &= BN_MASK2;
Packit c4476c
Packit c4476c
    if (!w)
Packit c4476c
        /* actually this an error (division by zero) */
Packit c4476c
        return (BN_ULONG)-1;
Packit c4476c
    if (a->top == 0)
Packit c4476c
        return 0;
Packit c4476c
Packit c4476c
    /* normalize input (so bn_div_words doesn't complain) */
Packit c4476c
    j = BN_BITS2 - BN_num_bits_word(w);
Packit c4476c
    w <<= j;
Packit c4476c
    if (!BN_lshift(a, a, j))
Packit c4476c
        return (BN_ULONG)-1;
Packit c4476c
Packit c4476c
    for (i = a->top - 1; i >= 0; i--) {
Packit c4476c
        BN_ULONG l, d;
Packit c4476c
Packit c4476c
        l = a->d[i];
Packit c4476c
        d = bn_div_words(ret, l, w);
Packit c4476c
        ret = (l - ((d * w) & BN_MASK2)) & BN_MASK2;
Packit c4476c
        a->d[i] = d;
Packit c4476c
    }
Packit c4476c
    if ((a->top > 0) && (a->d[a->top - 1] == 0))
Packit c4476c
        a->top--;
Packit c4476c
    ret >>= j;
Packit c4476c
    if (!a->top)
Packit c4476c
        a->neg = 0; /* don't allow negative zero */
Packit c4476c
    bn_check_top(a);
Packit c4476c
    return ret;
Packit c4476c
}
Packit c4476c
Packit c4476c
int BN_add_word(BIGNUM *a, BN_ULONG w)
Packit c4476c
{
Packit c4476c
    BN_ULONG l;
Packit c4476c
    int i;
Packit c4476c
Packit c4476c
    bn_check_top(a);
Packit c4476c
    w &= BN_MASK2;
Packit c4476c
Packit c4476c
    /* degenerate case: w is zero */
Packit c4476c
    if (!w)
Packit c4476c
        return 1;
Packit c4476c
    /* degenerate case: a is zero */
Packit c4476c
    if (BN_is_zero(a))
Packit c4476c
        return BN_set_word(a, w);
Packit c4476c
    /* handle 'a' when negative */
Packit c4476c
    if (a->neg) {
Packit c4476c
        a->neg = 0;
Packit c4476c
        i = BN_sub_word(a, w);
Packit c4476c
        if (!BN_is_zero(a))
Packit c4476c
            a->neg = !(a->neg);
Packit c4476c
        return i;
Packit c4476c
    }
Packit c4476c
    for (i = 0; w != 0 && i < a->top; i++) {
Packit c4476c
        a->d[i] = l = (a->d[i] + w) & BN_MASK2;
Packit c4476c
        w = (w > l) ? 1 : 0;
Packit c4476c
    }
Packit c4476c
    if (w && i == a->top) {
Packit c4476c
        if (bn_wexpand(a, a->top + 1) == NULL)
Packit c4476c
            return 0;
Packit c4476c
        a->top++;
Packit c4476c
        a->d[i] = w;
Packit c4476c
    }
Packit c4476c
    bn_check_top(a);
Packit c4476c
    return 1;
Packit c4476c
}
Packit c4476c
Packit c4476c
int BN_sub_word(BIGNUM *a, BN_ULONG w)
Packit c4476c
{
Packit c4476c
    int i;
Packit c4476c
Packit c4476c
    bn_check_top(a);
Packit c4476c
    w &= BN_MASK2;
Packit c4476c
Packit c4476c
    /* degenerate case: w is zero */
Packit c4476c
    if (!w)
Packit c4476c
        return 1;
Packit c4476c
    /* degenerate case: a is zero */
Packit c4476c
    if (BN_is_zero(a)) {
Packit c4476c
        i = BN_set_word(a, w);
Packit c4476c
        if (i != 0)
Packit c4476c
            BN_set_negative(a, 1);
Packit c4476c
        return i;
Packit c4476c
    }
Packit c4476c
    /* handle 'a' when negative */
Packit c4476c
    if (a->neg) {
Packit c4476c
        a->neg = 0;
Packit c4476c
        i = BN_add_word(a, w);
Packit c4476c
        a->neg = 1;
Packit c4476c
        return i;
Packit c4476c
    }
Packit c4476c
Packit c4476c
    if ((a->top == 1) && (a->d[0] < w)) {
Packit c4476c
        a->d[0] = w - a->d[0];
Packit c4476c
        a->neg = 1;
Packit c4476c
        return 1;
Packit c4476c
    }
Packit c4476c
    i = 0;
Packit c4476c
    for (;;) {
Packit c4476c
        if (a->d[i] >= w) {
Packit c4476c
            a->d[i] -= w;
Packit c4476c
            break;
Packit c4476c
        } else {
Packit c4476c
            a->d[i] = (a->d[i] - w) & BN_MASK2;
Packit c4476c
            i++;
Packit c4476c
            w = 1;
Packit c4476c
        }
Packit c4476c
    }
Packit c4476c
    if ((a->d[i] == 0) && (i == (a->top - 1)))
Packit c4476c
        a->top--;
Packit c4476c
    bn_check_top(a);
Packit c4476c
    return 1;
Packit c4476c
}
Packit c4476c
Packit c4476c
int BN_mul_word(BIGNUM *a, BN_ULONG w)
Packit c4476c
{
Packit c4476c
    BN_ULONG ll;
Packit c4476c
Packit c4476c
    bn_check_top(a);
Packit c4476c
    w &= BN_MASK2;
Packit c4476c
    if (a->top) {
Packit c4476c
        if (w == 0)
Packit c4476c
            BN_zero(a);
Packit c4476c
        else {
Packit c4476c
            ll = bn_mul_words(a->d, a->d, a->top, w);
Packit c4476c
            if (ll) {
Packit c4476c
                if (bn_wexpand(a, a->top + 1) == NULL)
Packit c4476c
                    return 0;
Packit c4476c
                a->d[a->top++] = ll;
Packit c4476c
            }
Packit c4476c
        }
Packit c4476c
    }
Packit c4476c
    bn_check_top(a);
Packit c4476c
    return 1;
Packit c4476c
}