GNU Linux-libre 4.19.314-gnu1
[releases.git] / arch / parisc / math-emu / dfcmp.c
1 /*
2  * Linux/PA-RISC Project (http://www.parisc-linux.org/)
3  *
4  * Floating-point emulation code
5  *  Copyright (C) 2001 Hewlett-Packard (Paul Bame) <bame@debian.org>
6  *
7  *    This program is free software; you can redistribute it and/or modify
8  *    it under the terms of the GNU General Public License as published by
9  *    the Free Software Foundation; either version 2, or (at your option)
10  *    any later version.
11  *
12  *    This program is distributed in the hope that it will be useful,
13  *    but WITHOUT ANY WARRANTY; without even the implied warranty of
14  *    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15  *    GNU General Public License for more details.
16  *
17  *    You should have received a copy of the GNU General Public License
18  *    along with this program; if not, write to the Free Software
19  *    Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
20  */
21 /*
22  * BEGIN_DESC
23  *
24  *  File:
25  *      @(#)    pa/spmath/dfcmp.c               $Revision: 1.1 $
26  *
27  *  Purpose:
28  *      dbl_cmp: compare two values
29  *
30  *  External Interfaces:
31  *      dbl_fcmp(leftptr, rightptr, cond, status)
32  *
33  *  Internal Interfaces:
34  *
35  *  Theory:
36  *      <<please update with a overview of the operation of this file>>
37  *
38  * END_DESC
39 */
40
41
42
43 #include "float.h"
44 #include "dbl_float.h"
45     
46 /*
47  * dbl_cmp: compare two values
48  */
49 int
50 dbl_fcmp (dbl_floating_point * leftptr, dbl_floating_point * rightptr,
51           unsigned int cond, unsigned int *status)
52                                            
53                        /* The predicate to be tested */
54                          
55     {
56     register unsigned int leftp1, leftp2, rightp1, rightp2;
57     register int xorresult;
58         
59     /* Create local copies of the numbers */
60     Dbl_copyfromptr(leftptr,leftp1,leftp2);
61     Dbl_copyfromptr(rightptr,rightp1,rightp2);
62     /*
63      * Test for NaN
64      */
65     if(    (Dbl_exponent(leftp1) == DBL_INFINITY_EXPONENT)
66         || (Dbl_exponent(rightp1) == DBL_INFINITY_EXPONENT) )
67         {
68         /* Check if a NaN is involved.  Signal an invalid exception when 
69          * comparing a signaling NaN or when comparing quiet NaNs and the
70          * low bit of the condition is set */
71         if( ((Dbl_exponent(leftp1) == DBL_INFINITY_EXPONENT)
72             && Dbl_isnotzero_mantissa(leftp1,leftp2) 
73             && (Exception(cond) || Dbl_isone_signaling(leftp1)))
74            ||
75             ((Dbl_exponent(rightp1) == DBL_INFINITY_EXPONENT)
76             && Dbl_isnotzero_mantissa(rightp1,rightp2) 
77             && (Exception(cond) || Dbl_isone_signaling(rightp1))) )
78             {
79             if( Is_invalidtrap_enabled() ) {
80                 Set_status_cbit(Unordered(cond));
81                 return(INVALIDEXCEPTION);
82             }
83             else Set_invalidflag();
84             Set_status_cbit(Unordered(cond));
85             return(NOEXCEPTION);
86             }
87         /* All the exceptional conditions are handled, now special case
88            NaN compares */
89         else if( ((Dbl_exponent(leftp1) == DBL_INFINITY_EXPONENT)
90             && Dbl_isnotzero_mantissa(leftp1,leftp2))
91            ||
92             ((Dbl_exponent(rightp1) == DBL_INFINITY_EXPONENT)
93             && Dbl_isnotzero_mantissa(rightp1,rightp2)) )
94             {
95             /* NaNs always compare unordered. */
96             Set_status_cbit(Unordered(cond));
97             return(NOEXCEPTION);
98             }
99         /* infinities will drop down to the normal compare mechanisms */
100         }
101     /* First compare for unequal signs => less or greater or
102      * special equal case */
103     Dbl_xortointp1(leftp1,rightp1,xorresult);
104     if( xorresult < 0 )
105         {
106         /* left negative => less, left positive => greater.
107          * equal is possible if both operands are zeros. */
108         if( Dbl_iszero_exponentmantissa(leftp1,leftp2) 
109           && Dbl_iszero_exponentmantissa(rightp1,rightp2) )
110             {
111             Set_status_cbit(Equal(cond));
112             }
113         else if( Dbl_isone_sign(leftp1) )
114             {
115             Set_status_cbit(Lessthan(cond));
116             }
117         else
118             {
119             Set_status_cbit(Greaterthan(cond));
120             }
121         }
122     /* Signs are the same.  Treat negative numbers separately
123      * from the positives because of the reversed sense.  */
124     else if(Dbl_isequal(leftp1,leftp2,rightp1,rightp2))
125         {
126         Set_status_cbit(Equal(cond));
127         }
128     else if( Dbl_iszero_sign(leftp1) )
129         {
130         /* Positive compare */
131         if( Dbl_allp1(leftp1) < Dbl_allp1(rightp1) )
132             {
133             Set_status_cbit(Lessthan(cond));
134             }
135         else if( Dbl_allp1(leftp1) > Dbl_allp1(rightp1) )
136             {
137             Set_status_cbit(Greaterthan(cond));
138             }
139         else
140             {
141             /* Equal first parts.  Now we must use unsigned compares to
142              * resolve the two possibilities. */
143             if( Dbl_allp2(leftp2) < Dbl_allp2(rightp2) )
144                 {
145                 Set_status_cbit(Lessthan(cond));
146                 }
147             else 
148                 {
149                 Set_status_cbit(Greaterthan(cond));
150                 }
151             }
152         }
153     else
154         {
155         /* Negative compare.  Signed or unsigned compares
156          * both work the same.  That distinction is only
157          * important when the sign bits differ. */
158         if( Dbl_allp1(leftp1) > Dbl_allp1(rightp1) )
159             {
160             Set_status_cbit(Lessthan(cond));
161             }
162         else if( Dbl_allp1(leftp1) < Dbl_allp1(rightp1) )
163             {
164             Set_status_cbit(Greaterthan(cond));
165             }
166         else
167             {
168             /* Equal first parts.  Now we must use unsigned compares to
169              * resolve the two possibilities. */
170             if( Dbl_allp2(leftp2) > Dbl_allp2(rightp2) )
171                 {
172                 Set_status_cbit(Lessthan(cond));
173                 }
174             else 
175                 {
176                 Set_status_cbit(Greaterthan(cond));
177                 }
178             }
179         }
180         return(NOEXCEPTION);
181     }