/* This Source Code Form is subject to the terms of the Mozilla Public
 * License, v. 2.0. If a copy of the MPL was not distributed with this
 * file, You can obtain one at http://mozilla.org/MPL/2.0/. */

#ifndef MPI_AMD64
#error This file only works on AMD64 platforms.
#endif

#include <mpi-priv.h>

/*
 * MPI glue
 *
 */

/* Presently, this is only used by the Montgomery arithmetic code. */
/* c += a * b */
void MPI_ASM_DECL
s_mpv_mul_d_add_prop(const mp_digit *a, mp_size a_len,
                     mp_digit b, mp_digit *c)
{
    mp_digit w;
    mp_digit d;

    d = s_mpv_mul_add_vec64(c, a, a_len, b);
    c += a_len;
    while (d) {
        w = c[0] + d;
        d = (w < c[0] || w < d);
        *c++ = w;
    }
}