30 lines
		
	
	
	
		
			654 B
		
	
	
	
		
			C
		
	
	
	
	
	
			
		
		
	
	
			30 lines
		
	
	
	
		
			654 B
		
	
	
	
		
			C
		
	
	
	
	
	
/*
 | 
						|
  (c) copyright 1988 by the Vrije Universiteit, Amsterdam, The Netherlands.
 | 
						|
  See the copyright notice in the ACK home directory, in the file "Copyright".
 | 
						|
*/
 | 
						|
 | 
						|
/* $Header$ */
 | 
						|
 | 
						|
/********************************************************/
 | 
						|
/*
 | 
						|
	PRINT EXTENDED FORMAT AND MESSAGE
 | 
						|
	DEBUG ROUTINE
 | 
						|
*/
 | 
						|
/********************************************************/
 | 
						|
 | 
						|
#include "FP_types.h"
 | 
						|
 | 
						|
prt_ext(m,e)
 | 
						|
char	*m;
 | 
						|
EXTEND	*e;
 | 
						|
{
 | 
						|
#ifdef	PRT_EXT
 | 
						|
	fprintf(stderr,"%s ",m);
 | 
						|
	fprintf(stderr,"%c",(e->sign) ? '-' : '+');
 | 
						|
	fprintf(stderr,"m1:0x%08X m2:0x%08X ^ %03d 0x%x\n",
 | 
						|
		e->m1,e->m2,e->exp,e->exp);
 | 
						|
	fprintf(stderr,"hit any key\n\r");
 | 
						|
	fflush(stderr);
 | 
						|
	getchar();
 | 
						|
#endif
 | 
						|
}
 |