arch/mips/math-emu/dp_fmin.c

   1 // SPDX-License-Identifier: GPL-2.0-only
   2 /*
   3  * IEEE754 floating point arithmetic
   4  * double precision: MIN{,A}.f
   5  * MIN : Scalar Floating-Point Minimum
   6  * MINA: Scalar Floating-Point argument with Minimum Absolute Value
   7  *
   8  * MIN.D : FPR[fd] = minNum(FPR[fs],FPR[ft])
   9  * MINA.D: FPR[fd] = maxNumMag(FPR[fs],FPR[ft])
  10  *
  11  * MIPS floating point support
  12  * Copyright (C) 2015 Imagination Technologies, Ltd.
  13  * Author: Markos Chandras <markos.chandras@imgtec.com>
  14  */
  15
  16 #include "ieee754dp.h"
  17
  18 union ieee754dp ieee754dp_fmin(union ieee754dp x, union ieee754dp y)
  19 {
  20         COMPXDP;
  21         COMPYDP;
  22
  23         EXPLODEXDP;
  24         EXPLODEYDP;
  25
  26         FLUSHXDP;
  27         FLUSHYDP;
  28
  29         ieee754_clearcx();
  30
  31         switch (CLPAIR(xc, yc)) {
  32         case CLPAIR(IEEE754_CLASS_QNAN, IEEE754_CLASS_SNAN):
  33         case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_SNAN):
  34         case CLPAIR(IEEE754_CLASS_NORM, IEEE754_CLASS_SNAN):
  35         case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_SNAN):
  36         case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_SNAN):
  37                 return ieee754dp_nanxcpt(y);
  38
  39         case CLPAIR(IEEE754_CLASS_SNAN, IEEE754_CLASS_SNAN):
  40         case CLPAIR(IEEE754_CLASS_SNAN, IEEE754_CLASS_QNAN):
  41         case CLPAIR(IEEE754_CLASS_SNAN, IEEE754_CLASS_ZERO):
  42         case CLPAIR(IEEE754_CLASS_SNAN, IEEE754_CLASS_NORM):
  43         case CLPAIR(IEEE754_CLASS_SNAN, IEEE754_CLASS_DNORM):
  44         case CLPAIR(IEEE754_CLASS_SNAN, IEEE754_CLASS_INF):
  45                 return ieee754dp_nanxcpt(x);
  46
  47         /*
  48          * Quiet NaN handling
  49          */
  50
  51         /*
  52          *    The case of both inputs quiet NaNs
  53          */
  54         case CLPAIR(IEEE754_CLASS_QNAN, IEEE754_CLASS_QNAN):
  55                 return x;
  56
  57         /*
  58          *    The cases of exactly one input quiet NaN (numbers
  59          *    are here preferred as returned values to NaNs)
  60          */
  61         case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_QNAN):
  62         case CLPAIR(IEEE754_CLASS_NORM, IEEE754_CLASS_QNAN):
  63         case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_QNAN):
  64         case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_QNAN):
  65                 return x;
  66
  67         case CLPAIR(IEEE754_CLASS_QNAN, IEEE754_CLASS_ZERO):
  68         case CLPAIR(IEEE754_CLASS_QNAN, IEEE754_CLASS_NORM):
  69         case CLPAIR(IEEE754_CLASS_QNAN, IEEE754_CLASS_DNORM):
  70         case CLPAIR(IEEE754_CLASS_QNAN, IEEE754_CLASS_INF):
  71                 return y;
  72
  73         /*
  74          * Infinity and zero handling
  75          */
  76         case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_ZERO):
  77         case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_NORM):
  78         case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_DNORM):
  79         case CLPAIR(IEEE754_CLASS_NORM, IEEE754_CLASS_ZERO):
  80         case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_ZERO):
  81                 return xs ? x : y;
  82
  83         case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_INF):
  84         case CLPAIR(IEEE754_CLASS_NORM, IEEE754_CLASS_INF):
  85         case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_INF):
  86         case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_INF):
  87         case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_NORM):
  88         case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_DNORM):
  89                 return ys ? y : x;
  90
  91         case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_ZERO):
  92                 return ieee754dp_zero(xs | ys);
  93
  94         case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_DNORM):
  95                 DPDNORMX;
  96                 fallthrough;
  97         case CLPAIR(IEEE754_CLASS_NORM, IEEE754_CLASS_DNORM):
  98                 DPDNORMY;
  99                 break;
 100
 101         case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_NORM):
 102                 DPDNORMX;
 103         }
 104
 105         /* Finally get to do some computation */
 106
 107         assert(xm & DP_HIDDEN_BIT);
 108         assert(ym & DP_HIDDEN_BIT);
 109
 110         /* Compare signs */
 111         if (xs > ys)
 112                 return x;
 113         else if (xs < ys)
 114                 return y;
 115
 116         /* Signs of inputs are the same, let's compare exponents */
 117         if (xs == 0) {
 118                 /* Inputs are both positive */
 119                 if (xe > ye)
 120                         return y;
 121                 else if (xe < ye)
 122                         return x;
 123         } else {
 124                 /* Inputs are both negative */
 125                 if (xe > ye)
 126                         return x;
 127                 else if (xe < ye)
 128                         return y;
 129         }
 130
 131         /* Signs and exponents of inputs are equal, let's compare mantissas */
 132         if (xs == 0) {
 133                 /* Inputs are both positive, with equal signs and exponents */
 134                 if (xm <= ym)
 135                         return x;
 136                 return y;
 137         }
 138         /* Inputs are both negative, with equal signs and exponents */
 139         if (xm <= ym)
 140                 return y;
 141         return x;
 142 }
 143
 144 union ieee754dp ieee754dp_fmina(union ieee754dp x, union ieee754dp y)
 145 {
 146         COMPXDP;
 147         COMPYDP;
 148
 149         EXPLODEXDP;
 150         EXPLODEYDP;
 151
 152         FLUSHXDP;
 153         FLUSHYDP;
 154
 155         ieee754_clearcx();
 156
 157         switch (CLPAIR(xc, yc)) {
 158         case CLPAIR(IEEE754_CLASS_QNAN, IEEE754_CLASS_SNAN):
 159         case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_SNAN):
 160         case CLPAIR(IEEE754_CLASS_NORM, IEEE754_CLASS_SNAN):
 161         case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_SNAN):
 162         case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_SNAN):
 163                 return ieee754dp_nanxcpt(y);
 164
 165         case CLPAIR(IEEE754_CLASS_SNAN, IEEE754_CLASS_SNAN):
 166         case CLPAIR(IEEE754_CLASS_SNAN, IEEE754_CLASS_QNAN):
 167         case CLPAIR(IEEE754_CLASS_SNAN, IEEE754_CLASS_ZERO):
 168         case CLPAIR(IEEE754_CLASS_SNAN, IEEE754_CLASS_NORM):
 169         case CLPAIR(IEEE754_CLASS_SNAN, IEEE754_CLASS_DNORM):
 170         case CLPAIR(IEEE754_CLASS_SNAN, IEEE754_CLASS_INF):
 171                 return ieee754dp_nanxcpt(x);
 172
 173         /*
 174          * Quiet NaN handling
 175          */
 176
 177         /*
 178          *    The case of both inputs quiet NaNs
 179          */
 180         case CLPAIR(IEEE754_CLASS_QNAN, IEEE754_CLASS_QNAN):
 181                 return x;
 182
 183         /*
 184          *    The cases of exactly one input quiet NaN (numbers
 185          *    are here preferred as returned values to NaNs)
 186          */
 187         case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_QNAN):
 188         case CLPAIR(IEEE754_CLASS_NORM, IEEE754_CLASS_QNAN):
 189         case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_QNAN):
 190         case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_QNAN):
 191                 return x;
 192
 193         case CLPAIR(IEEE754_CLASS_QNAN, IEEE754_CLASS_ZERO):
 194         case CLPAIR(IEEE754_CLASS_QNAN, IEEE754_CLASS_NORM):
 195         case CLPAIR(IEEE754_CLASS_QNAN, IEEE754_CLASS_DNORM):
 196         case CLPAIR(IEEE754_CLASS_QNAN, IEEE754_CLASS_INF):
 197                 return y;
 198
 199         /*
 200          * Infinity and zero handling
 201          */
 202         case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_INF):
 203                 return ieee754dp_inf(xs | ys);
 204
 205         case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_ZERO):
 206         case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_NORM):
 207         case CLPAIR(IEEE754_CLASS_INF, IEEE754_CLASS_DNORM):
 208         case CLPAIR(IEEE754_CLASS_NORM, IEEE754_CLASS_ZERO):
 209         case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_ZERO):
 210                 return y;
 211
 212         case CLPAIR(IEEE754_CLASS_NORM, IEEE754_CLASS_INF):
 213         case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_INF):
 214         case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_INF):
 215         case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_NORM):
 216         case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_DNORM):
 217                 return x;
 218
 219         case CLPAIR(IEEE754_CLASS_ZERO, IEEE754_CLASS_ZERO):
 220                 return ieee754dp_zero(xs | ys);
 221
 222         case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_DNORM):
 223                 DPDNORMX;
 224                 fallthrough;
 225         case CLPAIR(IEEE754_CLASS_NORM, IEEE754_CLASS_DNORM):
 226                 DPDNORMY;
 227                 break;
 228
 229         case CLPAIR(IEEE754_CLASS_DNORM, IEEE754_CLASS_NORM):
 230                 DPDNORMX;
 231         }
 232
 233         /* Finally get to do some computation */
 234
 235         assert(xm & DP_HIDDEN_BIT);
 236         assert(ym & DP_HIDDEN_BIT);
 237
 238         /* Compare exponent */
 239         if (xe > ye)
 240                 return y;
 241         else if (xe < ye)
 242                 return x;
 243
 244         /* Compare mantissa */
 245         if (xm < ym)
 246                 return x;
 247         else if (xm > ym)
 248                 return y;
 249         else if (xs == 1)
 250                 return x;
 251         return y;
 252 }