13a8617a8SJordan K. Hubbard /* s_nextafterf.c -- float version of s_nextafter.c.
23a8617a8SJordan K. Hubbard * Conversion to float by Ian Lance Taylor, Cygnus Support, ian@cygnus.com.
33a8617a8SJordan K. Hubbard */
43a8617a8SJordan K. Hubbard
53a8617a8SJordan K. Hubbard /*
63a8617a8SJordan K. Hubbard * ====================================================
73a8617a8SJordan K. Hubbard * Copyright (C) 1993 by Sun Microsystems, Inc. All rights reserved.
83a8617a8SJordan K. Hubbard *
93a8617a8SJordan K. Hubbard * Developed at SunPro, a Sun Microsystems, Inc. business.
103a8617a8SJordan K. Hubbard * Permission to use, copy, modify, and distribute this
113a8617a8SJordan K. Hubbard * software is freely granted, provided that this notice
123a8617a8SJordan K. Hubbard * is preserved.
133a8617a8SJordan K. Hubbard * ====================================================
143a8617a8SJordan K. Hubbard */
153a8617a8SJordan K. Hubbard
163a8617a8SJordan K. Hubbard #include "math.h"
173a8617a8SJordan K. Hubbard #include "math_private.h"
183a8617a8SJordan K. Hubbard
1959b19ff1SAlfred Perlstein float
nextafterf(float x,float y)2059b19ff1SAlfred Perlstein nextafterf(float x, float y)
213a8617a8SJordan K. Hubbard {
22a506506aSDavid Schultz volatile float t;
233a8617a8SJordan K. Hubbard int32_t hx,hy,ix,iy;
243a8617a8SJordan K. Hubbard
253a8617a8SJordan K. Hubbard GET_FLOAT_WORD(hx,x);
263a8617a8SJordan K. Hubbard GET_FLOAT_WORD(hy,y);
273a8617a8SJordan K. Hubbard ix = hx&0x7fffffff; /* |x| */
283a8617a8SJordan K. Hubbard iy = hy&0x7fffffff; /* |y| */
293a8617a8SJordan K. Hubbard
303a8617a8SJordan K. Hubbard if((ix>0x7f800000) || /* x is nan */
313a8617a8SJordan K. Hubbard (iy>0x7f800000)) /* y is nan */
323a8617a8SJordan K. Hubbard return x+y;
33cb2d2321SDavid Schultz if(x==y) return y; /* x=y, return y */
343a8617a8SJordan K. Hubbard if(ix==0) { /* x == 0 */
353a8617a8SJordan K. Hubbard SET_FLOAT_WORD(x,(hy&0x80000000)|1);/* return +-minsubnormal */
36a506506aSDavid Schultz t = x*x;
37a506506aSDavid Schultz if(t==x) return t; else return x; /* raise underflow flag */
383a8617a8SJordan K. Hubbard }
393a8617a8SJordan K. Hubbard if(hx>=0) { /* x > 0 */
403a8617a8SJordan K. Hubbard if(hx>hy) { /* x > y, x -= ulp */
413a8617a8SJordan K. Hubbard hx -= 1;
423a8617a8SJordan K. Hubbard } else { /* x < y, x += ulp */
433a8617a8SJordan K. Hubbard hx += 1;
443a8617a8SJordan K. Hubbard }
453a8617a8SJordan K. Hubbard } else { /* x < 0 */
463a8617a8SJordan K. Hubbard if(hy>=0||hx>hy){ /* x < y, x -= ulp */
473a8617a8SJordan K. Hubbard hx -= 1;
483a8617a8SJordan K. Hubbard } else { /* x > y, x += ulp */
493a8617a8SJordan K. Hubbard hx += 1;
503a8617a8SJordan K. Hubbard }
513a8617a8SJordan K. Hubbard }
523a8617a8SJordan K. Hubbard hy = hx&0x7f800000;
533a8617a8SJordan K. Hubbard if(hy>=0x7f800000) return x+x; /* overflow */
543a8617a8SJordan K. Hubbard if(hy<0x00800000) { /* underflow */
55a506506aSDavid Schultz t = x*x;
56a506506aSDavid Schultz if(t!=x) { /* raise underflow flag */
573a8617a8SJordan K. Hubbard SET_FLOAT_WORD(y,hx);
583a8617a8SJordan K. Hubbard return y;
593a8617a8SJordan K. Hubbard }
603a8617a8SJordan K. Hubbard }
613a8617a8SJordan K. Hubbard SET_FLOAT_WORD(x,hx);
623a8617a8SJordan K. Hubbard return x;
633a8617a8SJordan K. Hubbard }
64