trace.c

来自「SecuDe是一个由安全应用程序接口组成,对验证机制、证件处理、PEM、X.40」· C语言 代码 · 共 71 行

/*
 *  SecuDE Release 4.1 (GMD)
 */
/********************************************************************
 * Copyright (C) 1991, GMD. All rights reserved.                    *
 *                                                                  *
 *                                                                  *
 *                         NOTICE                                   *
 *                                                                  *
 *    Acquisition, use, and distribution of this module             *
 *    and related materials are subject to restrictions             *
 *    mentioned in each volume of the documentation.                *
 *                                                                  *
 ********************************************************************/

/*
 *	TRACE	functions
 *	reimplementations, checking for validity
 */

#define	TRACE
#include	<stdio.h>
#include	"arithmetic.h"

#define		ERRMSG(msg)	{ fprintf(stderr,msg); }


void	ddiv(high,low,divide,qp,rp)
L_NUMBER	high, low, divide, *qp, *rp;
{
	L_NUMBER	prodH, prodL, behigh, below;

	_ddiv(high,low,divide,qp,rp);	/* original call */
	/* now check */
	_dmult(*qp,divide,&prodH,&prodL);
	_cadd(0,prodH,&behigh,
		_cadd(*rp,prodL,&below,0));
		
	if( (behigh==high) && (below==low) )/*OK*/;
	else  ERRMSG("double word division error.\n");
	return;	
}


void	div(A,B,Q,R)
L_NUMBER	A[],B[],Q[],R[];
{
	L_NUMBER	BQ[MAXGENL];
	L_NUMBER	saveR[MAXGENL]; /* cover reflexiv use */
	L_NUMBER	saveQ[MAXGENL]; /* cover reflexiv use */
	
	_div(A,B,saveQ,saveR);	/* execute request */
	_mult(B,saveQ,BQ);
	_add(BQ,saveR,BQ);
	if ( _comp(BQ,A) )
		ERRMSG("long division error.\n");
	_trans(saveQ,Q);
	_trans(saveR,R);
	return;
}

void	trans(From,To)
L_NUMBER	From[],To[];
{
	if (*From >= MAXGENL) ALU_exception(*From);
	/*if (*From >= MAXLGTH)
		ERRMSG("warning: transfer exceeds MAXLGTH.\n");
	*/
	_trans(From,To);
}