jdk-sandbox: jdk/src/share/native/sun/security/ec/ecp

3492 e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	1	/* *********************************************************************
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	2	*
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	3	* Sun elects to have this file available under and governed by the
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	4	* Mozilla Public License Version 1.1 ("MPL") (see
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	5	* http://www.mozilla.org/MPL/ for full license text). For the avoidance
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	6	* of doubt and subject to the following, Sun also elects to allow
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	7	* licensees to use this file under the MPL, the GNU General Public
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	8	* License version 2 only or the Lesser General Public License version
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	9	* 2.1 only. Any references to the "GNU General Public License version 2
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	10	* or later" or "GPL" in the following shall be construed to mean the
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	11	* GNU General Public License version 2 only. Any references to the "GNU
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	12	* Lesser General Public License version 2.1 or later" or "LGPL" in the
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	13	* following shall be construed to mean the GNU Lesser General Public
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	14	* License version 2.1 only. However, the following notice accompanied
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	15	* the original version of this file:
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	16	*
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	17	* Version: MPL 1.1/GPL 2.0/LGPL 2.1
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	18	*
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	19	* The contents of this file are subject to the Mozilla Public License Version
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	20	* 1.1 (the "License"); you may not use this file except in compliance with
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	21	* the License. You may obtain a copy of the License at
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	22	* http://www.mozilla.org/MPL/
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	23	*
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	24	* Software distributed under the License is distributed on an "AS IS" basis,
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	25	* WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	26	* for the specific language governing rights and limitations under the
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	27	* License.
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	28	*
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	29	* The Original Code is the elliptic curve math library for prime field curves.
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	30	*
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	31	* The Initial Developer of the Original Code is
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	32	* Sun Microsystems, Inc.
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	33	* Portions created by the Initial Developer are Copyright (C) 2003
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	34	* the Initial Developer. All Rights Reserved.
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	35	*
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	36	* Contributor(s):
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	37	* Douglas Stebila <douglas@stebila.ca>
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	38	*
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	39	* Alternatively, the contents of this file may be used under the terms of
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	40	* either the GNU General Public License Version 2 or later (the "GPL"), or
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	41	* the GNU Lesser General Public License Version 2.1 or later (the "LGPL"),
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	42	* in which case the provisions of the GPL or the LGPL are applicable instead
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	43	* of those above. If you wish to allow use of your version of this file only
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	44	* under the terms of either the GPL or the LGPL, and not to allow others to
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	45	* use your version of this file under the terms of the MPL, indicate your
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	46	* decision by deleting the provisions above and replace them with the notice
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	47	* and other provisions required by the GPL or the LGPL. If you do not delete
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	48	* the provisions above, a recipient may use your version of this file under
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	49	* the terms of any one of the MPL, the GPL or the LGPL.
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	50	*
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	51	*********************************************************************** */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	52	/*
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	53	* Copyright 2007 Sun Microsystems, Inc. All rights reserved.
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	54	* Use is subject to license terms.
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	55	*/
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	56
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	57	#pragma ident "%Z%%M% %I% %E% SMI"
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	58
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	59	#include "ecp.h"
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	60	#include "mpi.h"
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	61	#include "mplogic.h"
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	62	#include "mpi-priv.h"
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	63	#ifndef _KERNEL
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	64	#include <stdlib.h>
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	65	#endif
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	66
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	67	/* Fast modular reduction for p256 = 2^256 - 2^224 + 2^192+ 2^96 - 1. a can be r.
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	68	* Uses algorithm 2.29 from Hankerson, Menezes, Vanstone. Guide to
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	69	* Elliptic Curve Cryptography. */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	70	mp_err
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	71	ec_GFp_nistp256_mod(const mp_int a, mp_int r, const GFMethod *meth)
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	72	{
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	73	mp_err res = MP_OKAY;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	74	mp_size a_used = MP_USED(a);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	75	int a_bits = mpl_significant_bits(a);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	76	mp_digit carry;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	77
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	78	#ifdef ECL_THIRTY_TWO_BIT
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	79	mp_digit a8=0, a9=0, a10=0, a11=0, a12=0, a13=0, a14=0, a15=0;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	80	mp_digit r0, r1, r2, r3, r4, r5, r6, r7;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	81	int r8; /* must be a signed value ! */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	82	#else
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	83	mp_digit a4=0, a5=0, a6=0, a7=0;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	84	mp_digit a4h, a4l, a5h, a5l, a6h, a6l, a7h, a7l;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	85	mp_digit r0, r1, r2, r3;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	86	int r4; /* must be a signed value ! */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	87	#endif
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	88	/* for polynomials larger than twice the field size
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	89	* use regular reduction */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	90	if (a_bits < 256) {
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	91	if (a == r) return MP_OKAY;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	92	return mp_copy(a,r);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	93	}
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	94	if (a_bits > 512) {
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	95	MP_CHECKOK(mp_mod(a, &meth->irr, r));
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	96	} else {
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	97
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	98	#ifdef ECL_THIRTY_TWO_BIT
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	99	switch (a_used) {
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	100	case 16:
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	101	a15 = MP_DIGIT(a,15);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	102	case 15:
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	103	a14 = MP_DIGIT(a,14);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	104	case 14:
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	105	a13 = MP_DIGIT(a,13);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	106	case 13:
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	107	a12 = MP_DIGIT(a,12);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	108	case 12:
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	109	a11 = MP_DIGIT(a,11);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	110	case 11:
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	111	a10 = MP_DIGIT(a,10);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	112	case 10:
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	113	a9 = MP_DIGIT(a,9);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	114	case 9:
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	115	a8 = MP_DIGIT(a,8);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	116	}
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	117
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	118	r0 = MP_DIGIT(a,0);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	119	r1 = MP_DIGIT(a,1);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	120	r2 = MP_DIGIT(a,2);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	121	r3 = MP_DIGIT(a,3);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	122	r4 = MP_DIGIT(a,4);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	123	r5 = MP_DIGIT(a,5);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	124	r6 = MP_DIGIT(a,6);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	125	r7 = MP_DIGIT(a,7);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	126
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	127	/* sum 1 */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	128	MP_ADD_CARRY(r3, a11, r3, 0, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	129	MP_ADD_CARRY(r4, a12, r4, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	130	MP_ADD_CARRY(r5, a13, r5, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	131	MP_ADD_CARRY(r6, a14, r6, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	132	MP_ADD_CARRY(r7, a15, r7, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	133	r8 = carry;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	134	MP_ADD_CARRY(r3, a11, r3, 0, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	135	MP_ADD_CARRY(r4, a12, r4, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	136	MP_ADD_CARRY(r5, a13, r5, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	137	MP_ADD_CARRY(r6, a14, r6, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	138	MP_ADD_CARRY(r7, a15, r7, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	139	r8 += carry;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	140	/* sum 2 */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	141	MP_ADD_CARRY(r3, a12, r3, 0, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	142	MP_ADD_CARRY(r4, a13, r4, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	143	MP_ADD_CARRY(r5, a14, r5, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	144	MP_ADD_CARRY(r6, a15, r6, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	145	MP_ADD_CARRY(r7, 0, r7, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	146	r8 += carry;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	147	/* combine last bottom of sum 3 with second sum 2 */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	148	MP_ADD_CARRY(r0, a8, r0, 0, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	149	MP_ADD_CARRY(r1, a9, r1, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	150	MP_ADD_CARRY(r2, a10, r2, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	151	MP_ADD_CARRY(r3, a12, r3, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	152	MP_ADD_CARRY(r4, a13, r4, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	153	MP_ADD_CARRY(r5, a14, r5, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	154	MP_ADD_CARRY(r6, a15, r6, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	155	MP_ADD_CARRY(r7, a15, r7, carry, carry); /* from sum 3 */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	156	r8 += carry;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	157	/* sum 3 (rest of it)*/
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	158	MP_ADD_CARRY(r6, a14, r6, 0, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	159	MP_ADD_CARRY(r7, 0, r7, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	160	r8 += carry;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	161	/* sum 4 (rest of it)*/
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	162	MP_ADD_CARRY(r0, a9, r0, 0, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	163	MP_ADD_CARRY(r1, a10, r1, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	164	MP_ADD_CARRY(r2, a11, r2, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	165	MP_ADD_CARRY(r3, a13, r3, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	166	MP_ADD_CARRY(r4, a14, r4, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	167	MP_ADD_CARRY(r5, a15, r5, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	168	MP_ADD_CARRY(r6, a13, r6, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	169	MP_ADD_CARRY(r7, a8, r7, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	170	r8 += carry;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	171	/* diff 5 */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	172	MP_SUB_BORROW(r0, a11, r0, 0, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	173	MP_SUB_BORROW(r1, a12, r1, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	174	MP_SUB_BORROW(r2, a13, r2, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	175	MP_SUB_BORROW(r3, 0, r3, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	176	MP_SUB_BORROW(r4, 0, r4, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	177	MP_SUB_BORROW(r5, 0, r5, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	178	MP_SUB_BORROW(r6, a8, r6, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	179	MP_SUB_BORROW(r7, a10, r7, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	180	r8 -= carry;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	181	/* diff 6 */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	182	MP_SUB_BORROW(r0, a12, r0, 0, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	183	MP_SUB_BORROW(r1, a13, r1, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	184	MP_SUB_BORROW(r2, a14, r2, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	185	MP_SUB_BORROW(r3, a15, r3, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	186	MP_SUB_BORROW(r4, 0, r4, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	187	MP_SUB_BORROW(r5, 0, r5, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	188	MP_SUB_BORROW(r6, a9, r6, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	189	MP_SUB_BORROW(r7, a11, r7, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	190	r8 -= carry;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	191	/* diff 7 */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	192	MP_SUB_BORROW(r0, a13, r0, 0, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	193	MP_SUB_BORROW(r1, a14, r1, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	194	MP_SUB_BORROW(r2, a15, r2, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	195	MP_SUB_BORROW(r3, a8, r3, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	196	MP_SUB_BORROW(r4, a9, r4, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	197	MP_SUB_BORROW(r5, a10, r5, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	198	MP_SUB_BORROW(r6, 0, r6, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	199	MP_SUB_BORROW(r7, a12, r7, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	200	r8 -= carry;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	201	/* diff 8 */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	202	MP_SUB_BORROW(r0, a14, r0, 0, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	203	MP_SUB_BORROW(r1, a15, r1, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	204	MP_SUB_BORROW(r2, 0, r2, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	205	MP_SUB_BORROW(r3, a9, r3, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	206	MP_SUB_BORROW(r4, a10, r4, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	207	MP_SUB_BORROW(r5, a11, r5, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	208	MP_SUB_BORROW(r6, 0, r6, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	209	MP_SUB_BORROW(r7, a13, r7, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	210	r8 -= carry;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	211
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	212	/* reduce the overflows */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	213	while (r8 > 0) {
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	214	mp_digit r8_d = r8;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	215	MP_ADD_CARRY(r0, r8_d, r0, 0, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	216	MP_ADD_CARRY(r1, 0, r1, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	217	MP_ADD_CARRY(r2, 0, r2, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	218	MP_ADD_CARRY(r3, -r8_d, r3, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	219	MP_ADD_CARRY(r4, MP_DIGIT_MAX, r4, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	220	MP_ADD_CARRY(r5, MP_DIGIT_MAX, r5, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	221	MP_ADD_CARRY(r6, -(r8_d+1), r6, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	222	MP_ADD_CARRY(r7, (r8_d-1), r7, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	223	r8 = carry;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	224	}
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	225
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	226	/* reduce the underflows */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	227	while (r8 < 0) {
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	228	mp_digit r8_d = -r8;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	229	MP_SUB_BORROW(r0, r8_d, r0, 0, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	230	MP_SUB_BORROW(r1, 0, r1, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	231	MP_SUB_BORROW(r2, 0, r2, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	232	MP_SUB_BORROW(r3, -r8_d, r3, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	233	MP_SUB_BORROW(r4, MP_DIGIT_MAX, r4, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	234	MP_SUB_BORROW(r5, MP_DIGIT_MAX, r5, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	235	MP_SUB_BORROW(r6, -(r8_d+1), r6, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	236	MP_SUB_BORROW(r7, (r8_d-1), r7, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	237	r8 = -carry;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	238	}
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	239	if (a != r) {
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	240	MP_CHECKOK(s_mp_pad(r,8));
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	241	}
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	242	MP_SIGN(r) = MP_ZPOS;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	243	MP_USED(r) = 8;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	244
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	245	MP_DIGIT(r,7) = r7;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	246	MP_DIGIT(r,6) = r6;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	247	MP_DIGIT(r,5) = r5;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	248	MP_DIGIT(r,4) = r4;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	249	MP_DIGIT(r,3) = r3;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	250	MP_DIGIT(r,2) = r2;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	251	MP_DIGIT(r,1) = r1;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	252	MP_DIGIT(r,0) = r0;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	253
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	254	/* final reduction if necessary */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	255	if ((r7 == MP_DIGIT_MAX) &&
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	256	((r6 > 1) \|\| ((r6 == 1) &&
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	257	(r5 \|\| r4 \|\| r3 \|\|
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	258	((r2 == MP_DIGIT_MAX) && (r1 == MP_DIGIT_MAX)
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	259	&& (r0 == MP_DIGIT_MAX)))))) {
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	260	MP_CHECKOK(mp_sub(r, &meth->irr, r));
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	261	}
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	262	#ifdef notdef
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	263
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	264
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	265	/* smooth the negatives */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	266	while (MP_SIGN(r) != MP_ZPOS) {
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	267	MP_CHECKOK(mp_add(r, &meth->irr, r));
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	268	}
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	269	while (MP_USED(r) > 8) {
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	270	MP_CHECKOK(mp_sub(r, &meth->irr, r));
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	271	}
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	272
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	273	/* final reduction if necessary */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	274	if (MP_DIGIT(r,7) >= MP_DIGIT(&meth->irr,7)) {
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	275	if (mp_cmp(r,&meth->irr) != MP_LT) {
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	276	MP_CHECKOK(mp_sub(r, &meth->irr, r));
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	277	}
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	278	}
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	279	#endif
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	280	s_mp_clamp(r);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	281	#else
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	282	switch (a_used) {
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	283	case 8:
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	284	a7 = MP_DIGIT(a,7);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	285	case 7:
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	286	a6 = MP_DIGIT(a,6);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	287	case 6:
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	288	a5 = MP_DIGIT(a,5);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	289	case 5:
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	290	a4 = MP_DIGIT(a,4);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	291	}
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	292	a7l = a7 << 32;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	293	a7h = a7 >> 32;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	294	a6l = a6 << 32;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	295	a6h = a6 >> 32;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	296	a5l = a5 << 32;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	297	a5h = a5 >> 32;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	298	a4l = a4 << 32;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	299	a4h = a4 >> 32;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	300	r3 = MP_DIGIT(a,3);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	301	r2 = MP_DIGIT(a,2);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	302	r1 = MP_DIGIT(a,1);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	303	r0 = MP_DIGIT(a,0);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	304
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	305	/* sum 1 */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	306	MP_ADD_CARRY(r1, a5h << 32, r1, 0, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	307	MP_ADD_CARRY(r2, a6, r2, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	308	MP_ADD_CARRY(r3, a7, r3, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	309	r4 = carry;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	310	MP_ADD_CARRY(r1, a5h << 32, r1, 0, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	311	MP_ADD_CARRY(r2, a6, r2, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	312	MP_ADD_CARRY(r3, a7, r3, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	313	r4 += carry;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	314	/* sum 2 */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	315	MP_ADD_CARRY(r1, a6l, r1, 0, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	316	MP_ADD_CARRY(r2, a6h \| a7l, r2, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	317	MP_ADD_CARRY(r3, a7h, r3, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	318	r4 += carry;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	319	MP_ADD_CARRY(r1, a6l, r1, 0, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	320	MP_ADD_CARRY(r2, a6h \| a7l, r2, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	321	MP_ADD_CARRY(r3, a7h, r3, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	322	r4 += carry;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	323
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	324	/* sum 3 */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	325	MP_ADD_CARRY(r0, a4, r0, 0, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	326	MP_ADD_CARRY(r1, a5l >> 32, r1, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	327	MP_ADD_CARRY(r2, 0, r2, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	328	MP_ADD_CARRY(r3, a7, r3, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	329	r4 += carry;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	330	/* sum 4 */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	331	MP_ADD_CARRY(r0, a4h \| a5l, r0, 0, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	332	MP_ADD_CARRY(r1, a5h\|(a6h<<32), r1, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	333	MP_ADD_CARRY(r2, a7, r2, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	334	MP_ADD_CARRY(r3, a6h \| a4l, r3, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	335	r4 += carry;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	336	/* diff 5 */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	337	MP_SUB_BORROW(r0, a5h \| a6l, r0, 0, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	338	MP_SUB_BORROW(r1, a6h, r1, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	339	MP_SUB_BORROW(r2, 0, r2, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	340	MP_SUB_BORROW(r3, (a4l>>32)\|a5l,r3, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	341	r4 -= carry;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	342	/* diff 6 */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	343	MP_SUB_BORROW(r0, a6, r0, 0, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	344	MP_SUB_BORROW(r1, a7, r1, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	345	MP_SUB_BORROW(r2, 0, r2, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	346	MP_SUB_BORROW(r3, a4h\|(a5h<<32),r3, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	347	r4 -= carry;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	348	/* diff 7 */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	349	MP_SUB_BORROW(r0, a6h\|a7l, r0, 0, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	350	MP_SUB_BORROW(r1, a7h\|a4l, r1, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	351	MP_SUB_BORROW(r2, a4h\|a5l, r2, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	352	MP_SUB_BORROW(r3, a6l, r3, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	353	r4 -= carry;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	354	/* diff 8 */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	355	MP_SUB_BORROW(r0, a7, r0, 0, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	356	MP_SUB_BORROW(r1, a4h<<32, r1, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	357	MP_SUB_BORROW(r2, a5, r2, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	358	MP_SUB_BORROW(r3, a6h<<32, r3, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	359	r4 -= carry;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	360
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	361	/* reduce the overflows */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	362	while (r4 > 0) {
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	363	mp_digit r4_long = r4;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	364	mp_digit r4l = (r4_long << 32);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	365	MP_ADD_CARRY(r0, r4_long, r0, 0, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	366	MP_ADD_CARRY(r1, -r4l, r1, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	367	MP_ADD_CARRY(r2, MP_DIGIT_MAX, r2, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	368	MP_ADD_CARRY(r3, r4l-r4_long-1,r3, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	369	r4 = carry;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	370	}
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	371
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	372	/* reduce the underflows */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	373	while (r4 < 0) {
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	374	mp_digit r4_long = -r4;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	375	mp_digit r4l = (r4_long << 32);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	376	MP_SUB_BORROW(r0, r4_long, r0, 0, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	377	MP_SUB_BORROW(r1, -r4l, r1, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	378	MP_SUB_BORROW(r2, MP_DIGIT_MAX, r2, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	379	MP_SUB_BORROW(r3, r4l-r4_long-1,r3, carry, carry);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	380	r4 = -carry;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	381	}
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	382
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	383	if (a != r) {
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	384	MP_CHECKOK(s_mp_pad(r,4));
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	385	}
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	386	MP_SIGN(r) = MP_ZPOS;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	387	MP_USED(r) = 4;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	388
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	389	MP_DIGIT(r,3) = r3;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	390	MP_DIGIT(r,2) = r2;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	391	MP_DIGIT(r,1) = r1;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	392	MP_DIGIT(r,0) = r0;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	393
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	394	/* final reduction if necessary */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	395	if ((r3 > 0xFFFFFFFF00000001ULL) \|\|
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	396	((r3 == 0xFFFFFFFF00000001ULL) &&
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	397	(r2 \|\| (r1 >> 32)\|\|
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	398	(r1 == 0xFFFFFFFFULL && r0 == MP_DIGIT_MAX)))) {
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	399	/* very rare, just use mp_sub */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	400	MP_CHECKOK(mp_sub(r, &meth->irr, r));
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	401	}
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	402
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	403	s_mp_clamp(r);
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	404	#endif
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	405	}
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	406
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	407	CLEANUP:
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	408	return res;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	409	}
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	410
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	411	/* Compute the square of polynomial a, reduce modulo p256. Store the
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	412	* result in r. r could be a. Uses optimized modular reduction for p256.
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	413	*/
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	414	mp_err
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	415	ec_GFp_nistp256_sqr(const mp_int a, mp_int r, const GFMethod *meth)
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	416	{
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	417	mp_err res = MP_OKAY;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	418
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	419	MP_CHECKOK(mp_sqr(a, r));
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	420	MP_CHECKOK(ec_GFp_nistp256_mod(r, r, meth));
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	421	CLEANUP:
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	422	return res;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	423	}
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	424
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	425	/* Compute the product of two polynomials a and b, reduce modulo p256.
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	426	* Store the result in r. r could be a or b; a could be b. Uses
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	427	* optimized modular reduction for p256. */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	428	mp_err
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	429	ec_GFp_nistp256_mul(const mp_int a, const mp_int b, mp_int *r,
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	430	const GFMethod *meth)
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	431	{
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	432	mp_err res = MP_OKAY;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	433
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	434	MP_CHECKOK(mp_mul(a, b, r));
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	435	MP_CHECKOK(ec_GFp_nistp256_mod(r, r, meth));
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	436	CLEANUP:
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	437	return res;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	438	}
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	439
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	440	/* Wire in fast field arithmetic and precomputation of base point for
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	441	* named curves. */
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	442	mp_err
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	443	ec_group_set_gfp256(ECGroup *group, ECCurveName name)
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	444	{
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	445	if (name == ECCurve_NIST_P256) {
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	446	group->meth->field_mod = &ec_GFp_nistp256_mod;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	447	group->meth->field_mul = &ec_GFp_nistp256_mul;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	448	group->meth->field_sqr = &ec_GFp_nistp256_sqr;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	449	}
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	450	return MP_OKAY;
e549cea58864 6840752: Provide out-of-the-box support for ECC algorithms vinnie parents: diff changeset	451	}

author	vinnie
	Tue, 11 Aug 2009 16:52:26 +0100
changeset 3492	e549cea58864
permissions	-rw-r--r--