. pci driver now returns devices, even when they have been pci_reserve()d
[minix3.git] / lib / float / adf8.c
blob387c975c0859272b25e0baa58a116bd9d6a133fa
1 /*
2 (c) copyright 1988 by the Vrije Universiteit, Amsterdam, The Netherlands.
3 See the copyright notice in the ACK home directory, in the file "Copyright".
4 */
6 /* $Header$ */
8 /*
9 ADD TWO FLOATS - DOUBLE (ADF 8)
12 #include "FP_types.h"
14 void
15 adf8(s2,s1)
16 DOUBLE s1,s2;
18 EXTEND e1,e2;
20 if (s1.d[0] == 0 && s1.d[1] == 0) {
21 s1 = s2;
22 return;
24 if (s2.d[0] == 0 && s2.d[1] == 0) {
25 return;
28 extend(&s1.d[0],&e1,sizeof(DOUBLE));
29 extend(&s2.d[0],&e2,sizeof(DOUBLE));
30 add_ext(&e1,&e2);
31 compact(&e1,&s1.d[0],sizeof(DOUBLE));