merged with Michael Felts latest version

mach/proto/fp/cff8.c

@@ -6,7 +6,7 @@
 /* $Header$ */
 
 /*
-		CONVERT FLOAT TO DOUBLE
+		CONVERT FLOAT TO DOUBLE (CFF 4 8)
 
 	This routine works quite simply. A floating point
 	of size 04 is converted to extended format.
@@ -23,13 +23,5 @@ _float	src;	/* the space on the stack is for a double - see cg/table */
 	EXTEND	buf;
 
 	extend((_double *) &src,&buf,4);	/* no matter what */
-#ifdef	PRT_EXT
-	prt_ext("CFF8() entry:",&buf);
-	fprintf(stderr,"ds(%d),ss(%d),src(%08X)\n",4,8,src);
-#endif
 	compact(&buf,&src,8);
-#ifdef	DEBUG
-	fprintf(stderr,"CFF8() exit : %08X",src.__double[0]);
-	fprintf(stderr,"%08X\n",src.__double[1]);
-#endif	DEBUG
 }