/* 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;

    }

}