Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • uspace/lib/softfloat/generic/comparison.c

    r750636a r00acd66  
    2727 */
    2828
    29 /** @addtogroup softfloat
     29/** @addtogroup softfloat       
    3030 * @{
    3131 */
     
    3333 */
    3434
    35 #include <sftypes.h>
    36 #include <comparison.h>
     35#include<sftypes.h>
     36#include<comparison.h>
    3737
    38 /* NaN : exp = 0xff and nonzero fraction */
    39 int isFloat32NaN(float32 f)
    40 {
    41         return ((f.parts.exp == 0xFF) && (f.parts.fraction));
     38inline int isFloat32NaN(float32 f)
     39{       /* NaN : exp = 0xff and nonzero fraction */
     40        return ((f.parts.exp==0xFF)&&(f.parts.fraction));
    4241}
    4342
    44 /* NaN : exp = 0x7ff and nonzero fraction */
    45 int isFloat64NaN(float64 d)
    46 {
    47         return ((d.parts.exp == 0x7FF) && (d.parts.fraction));
     43inline int isFloat64NaN(float64 d)
     44{       /* NaN : exp = 0x7ff and nonzero fraction */
     45        return ((d.parts.exp==0x7FF)&&(d.parts.fraction));
    4846}
    4947
    50 /* SigNaN : exp = 0xff fraction = 0xxxxx..x (binary), where at least one x is nonzero */
    51 int isFloat32SigNaN(float32 f)
    52 {
    53         return ((f.parts.exp == 0xFF) && (f.parts.fraction < 0x400000) && (f.parts.fraction));
     48inline int isFloat32SigNaN(float32 f)
     49{       /* SigNaN : exp = 0xff fraction = 0xxxxx..x (binary), where at least one x is nonzero */
     50        return ((f.parts.exp==0xFF)&&(f.parts.fraction<0x400000)&&(f.parts.fraction));
    5451}
    5552
    56 /* SigNaN : exp = 0x7ff fraction = 0xxxxx..x (binary), where at least one x is nonzero */
    57 int isFloat64SigNaN(float64 d)
    58 {
    59         return ((d.parts.exp == 0x7FF) && (d.parts.fraction) && (d.parts.fraction < 0x8000000000000ll));
     53inline int isFloat64SigNaN(float64 d)
     54{       /* SigNaN : exp = 0x7ff fraction = 0xxxxx..x (binary), where at least one x is nonzero */
     55        return ((d.parts.exp==0x7FF)&&(d.parts.fraction)&&(d.parts.fraction<0x8000000000000ll));
    6056}
    6157
    62 int isFloat32Infinity(float32 f)
     58inline int isFloat32Infinity(float32 f)
    6359{
    64         return ((f.parts.exp == 0xFF) && (f.parts.fraction == 0x0));
     60        return ((f.parts.exp==0xFF)&&(f.parts.fraction==0x0));
    6561}
    6662
    67 int isFloat64Infinity(float64 d)
     63inline int isFloat64Infinity(float64 d)
    6864{
    69         return ((d.parts.exp == 0x7FF) && (d.parts.fraction == 0x0));
     65        return ((d.parts.exp==0x7FF)&&(d.parts.fraction==0x0));
    7066}
    7167
    72 int isFloat32Zero(float32 f)
     68inline int isFloat32Zero(float32 f)
    7369{
    7470        return (((f.binary) & 0x7FFFFFFF) == 0);
    7571}
    7672
    77 int isFloat64Zero(float64 d)
     73inline int isFloat64Zero(float64 d)
    7874{
    7975        return (((d.binary) & 0x7FFFFFFFFFFFFFFFll) == 0);
     
    8177
    8278/**
    83  * @return 1 if both floats are equal - but NaNs are not recognized
     79 * @return 1, if both floats are equal - but NaNs are not recognized
    8480 */
    85 int isFloat32eq(float32 a, float32 b)
     81inline int isFloat32eq(float32 a, float32 b)
    8682{
    87         /* a equals to b or both are zeros (with any sign) */
    88         return ((a.binary==b.binary) || (((a.binary | b.binary) & 0x7FFFFFFF) == 0));
     83        return ((a.binary==b.binary)||(((a.binary| b.binary)&0x7FFFFFFF)==0)); /* a equals to b or both are zeros (with any sign) */
    8984}
    9085
    9186/**
    92  * @return 1 if a < b - but NaNs are not recognized
     87 * @return 1, if a<b - but NaNs are not recognized
    9388 */
    94 int isFloat32lt(float32 a, float32 b)
     89inline int isFloat32lt(float32 a, float32 b)
    9590{
    96         if (((a.binary | b.binary) & 0x7FFFFFFF) == 0)
     91        if (((a.binary| b.binary)&0x7FFFFFFF)==0) {
    9792                return 0; /* +- zeroes */
     93        };
    9894       
    99         if ((a.parts.sign) && (b.parts.sign))
    100                 /* if both are negative, smaller is that with greater binary value */
    101                 return (a.binary > b.binary);
     95        if ((a.parts.sign)&&(b.parts.sign)) {
     96                /*if both are negative, smaller is that with greater binary value*/
     97                return (a.binary>b.binary);
     98                };
    10299       
    103         /* lets negate signs - now will be positive numbers allways bigger than negative (first bit will be set for unsigned integer comparison) */
    104         a.parts.sign = !a.parts.sign;
    105         b.parts.sign = !b.parts.sign;
    106         return (a.binary < b.binary);
     100        /* lets negate signs - now will be positive numbers allways bigger than negative (first bit will be set for unsigned integer comparison)*/
     101        a.parts.sign=!a.parts.sign;
     102        b.parts.sign=!b.parts.sign;
     103        return (a.binary<b.binary);
     104                       
    107105}
    108106
    109107/**
    110  * @return 1 if a > b - but NaNs are not recognized
     108 * @return 1, if a>b - but NaNs are not recognized
    111109 */
    112 int isFloat32gt(float32 a, float32 b)
     110inline int isFloat32gt(float32 a, float32 b)
    113111{
    114         if (((a.binary | b.binary) & 0x7FFFFFFF) == 0)
     112        if (((a.binary| b.binary)&0x7FFFFFFF)==0) {
    115113                return 0; /* zeroes are equal with any sign */
     114        };
    116115       
    117         if ((a.parts.sign) && (b.parts.sign))
    118                 /* if both are negative, greater is that with smaller binary value */
    119                 return (a.binary < b.binary);
     116        if ((a.parts.sign)&&(b.parts.sign)) {
     117                /*if both are negative, greater is that with smaller binary value*/
     118                return (a.binary<b.binary);
     119                };
    120120       
    121         /* lets negate signs - now will be positive numbers allways bigger than negative (first bit will be set for unsigned integer comparison) */
    122         a.parts.sign = !a.parts.sign;
    123         b.parts.sign = !b.parts.sign;
    124         return (a.binary > b.binary);
     121        /* lets negate signs - now will be positive numbers allways bigger than negative (first bit will be set for unsigned integer comparison)*/
     122        a.parts.sign=!a.parts.sign;
     123        b.parts.sign=!b.parts.sign;
     124        return (a.binary>b.binary);
     125                       
    125126}
    126127
Note: See TracChangeset for help on using the changeset viewer.