. pci driver now returns devices, even when they have been pci_reserve()d
[minix3.git] / lib / float / mlf4.c
blobd5f515d1954f3b167976725bf39045e446b7f4e0
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 * Multiply Single Precesion Float (MLF 4)
12 #include "FP_types.h"
14 void
15 mlf4(s2,s1)
16 SINGLE s1,s2;
18 EXTEND e1,e2;
20 extend(&s1,&e1,sizeof(SINGLE));
21 extend(&s2,&e2,sizeof(SINGLE));
22 /* do a multiply */
23 mul_ext(&e1,&e2);
24 compact(&e1,&s1,sizeof(SINGLE));