Changes in / [41455a22:6bb169b5] in mainline


Ignore:
Files:
10 added
2 deleted
47 edited

Legend:

Unmodified
Added
Removed

  • boot/arch/arm32/Makefile.inc

    r41455a22 r6bb169b5  
    4949SOURCES = \
    5050        arch/$(BARCH)/src/asm.S \
    51         arch/$(BARCH)/src/eabi.S \
    5251        arch/$(BARCH)/src/main.c \
    5352        arch/$(BARCH)/src/mm.c \

  • boot/genarch/include/division.h

    r41455a22 r6bb169b5  
    3333#define BOOT_DIVISION_H_
    3434
     35/* 32bit integer division */
    3536extern int __divsi3(int, int);
     37
     38/* 64bit integer division */
    3639extern long long __divdi3(long long, long long);
    3740
     41/* 32bit unsigned integer division */
    3842extern unsigned int __udivsi3(unsigned int, unsigned int);
     43
     44/* 64bit unsigned integer division */
    3945extern unsigned long long __udivdi3(unsigned long long, unsigned long long);
    4046
     47/* 32bit remainder of the signed division */
    4148extern int __modsi3(int, int);
     49
     50/* 64bit remainder of the signed division */
    4251extern long long __moddi3(long long, long long);
    4352
     53/* 32bit remainder of the unsigned division */
    4454extern unsigned int __umodsi3(unsigned int, unsigned int);
     55
     56/* 64bit remainder of the unsigned division */
    4557extern unsigned long long __umoddi3(unsigned long long, unsigned long long);
    4658
    47 extern int __divmodsi3(int, int, int *);
    48 extern unsigned int __udivmodsi3(unsigned int, unsigned int, unsigned int *);
    49 
    50 extern long long __divmoddi3(long long, long long, long long *);
    5159extern unsigned long long __udivmoddi3(unsigned long long, unsigned long long,
    5260    unsigned long long *);

  • boot/genarch/src/division.c

    r41455a22 r6bb169b5  
    7373{
    7474        unsigned long long result;
    75         int steps = sizeof(unsigned long long) * 8;
     75        int steps = sizeof(unsigned long long) * 8; 
    7676       
    7777        *remainder = 0;
    … …  
    104104
    105105/* 32bit integer division */
    106 int __divsi3(int a, int b)
     106int __divsi3(int a, int b) 
    107107{
    108108        unsigned int rem;
    … …  
    116116
    117117/* 64bit integer division */
    118 long long __divdi3(long long a, long long b)
     118long long __divdi3(long long a, long long b) 
    119119{
    120120        unsigned long long rem;
    … …  
    155155
    156156/* 64bit remainder of the signed division */
    157 long long __moddi3(long long a, long long b)
     157long long __moddi3(long long a,long long b)
    158158{
    159159        unsigned long long rem;
    … …  
    183183}
    184184
    185 int __divmodsi3(int a, int b, int *c)
    186 {
    187         unsigned int rem;
    188         int result = (int) divandmod32(ABSVAL(a), ABSVAL(b), &rem);
    189        
    190         if (SGN(a) == SGN(b)) {
    191                 *c = rem;
    192                 return result;
    193         }
    194        
    195         *c = -rem;
    196         return -result;
    197 }
    198 
    199 unsigned int __udivmodsi3(unsigned int a, unsigned int b,
    200     unsigned int *c)
    201 {
    202         return divandmod32(a, b, c);
    203 }
    204 
    205 long long __divmoddi3(long long a, long long b, long long *c)
    206 {
    207         unsigned long long rem;
    208         long long result = (int) divandmod64(ABSVAL(a), ABSVAL(b), &rem);
    209        
    210         if (SGN(a) == SGN(b)) {
    211                 *c = rem;
    212                 return result;
    213         }
    214        
    215         *c = -rem;
    216         return -result;
    217 }
    218 
    219185unsigned long long __udivmoddi3(unsigned long long a, unsigned long long b,
    220186    unsigned long long *c)

  • boot/generic/src/str.c

    r41455a22 r6bb169b5  
    100100#include <str.h>
    101101#include <errno.h>
    102 
    103 /** Check the condition if wchar_t is signed */
    104 #ifdef WCHAR_IS_UNSIGNED
    105         #define WCHAR_SIGNED_CHECK(cond)  (true)
    106 #else
    107         #define WCHAR_SIGNED_CHECK(cond)  (cond)
    108 #endif
    109102
    110103/** Byte mask consisting of lowest @n bits (out of 8) */
    … …  
    205198 *         code was invalid.
    206199 */
    207 int chr_encode(const wchar_t ch, char *str, size_t *offset, size_t size)
     200int chr_encode(wchar_t ch, char *str, size_t *offset, size_t size)
    208201{
    209202        if (*offset >= size)
    … …  
    332325bool ascii_check(wchar_t ch)
    333326{
    334         if (WCHAR_SIGNED_CHECK(ch >= 0) && (ch <= 127))
     327        if ((ch >= 0) && (ch <= 127))
    335328                return true;
    336329       
    … …  
    345338bool chr_check(wchar_t ch)
    346339{
    347         if (WCHAR_SIGNED_CHECK(ch >= 0) && (ch <= 1114111))
     340        if ((ch >= 0) && (ch <= 1114111))
    348341                return true;
    349342       

  • kernel/arch/arm32/Makefile.inc

    r41455a22 r6bb169b5  
    4141        arch/$(KARCH)/src/start.S \
    4242        arch/$(KARCH)/src/asm.S \
    43         arch/$(KARCH)/src/eabi.S \
    4443        arch/$(KARCH)/src/exc_handler.S \
    4544        arch/$(KARCH)/src/arm32.c \

  • kernel/genarch/include/softint/division.h

    r41455a22 r6bb169b5  
    3636#define KERN_DIVISION_H_
    3737
    38 extern int __divsi3(int, int);
    39 extern long long __divdi3(long long, long long);
     38/* 32bit integer division */
     39int __divsi3(int a, int b);
    4040
    41 extern unsigned int __udivsi3(unsigned int, unsigned int);
    42 extern unsigned long long __udivdi3(unsigned long long, unsigned long long);
     41/* 64bit integer division */
     42long long __divdi3(long long a, long long b);
    4343
    44 extern int __modsi3(int, int);
    45 extern long long __moddi3(long long, long long);
     44/* 32bit unsigned integer division */
     45unsigned int __udivsi3(unsigned int a, unsigned int b);
    4646
    47 extern unsigned int __umodsi3(unsigned int, unsigned int);
    48 extern unsigned long long __umoddi3(unsigned long long, unsigned long long);
     47/* 64bit unsigned integer division */
     48unsigned long long __udivdi3(unsigned long long a, unsigned long long b);
    4949
    50 extern int __divmodsi3(int, int, int *);
    51 extern unsigned int __udivmodsi3(unsigned int, unsigned int, unsigned int *);
     50/* 32bit remainder of the signed division */
     51int __modsi3(int a, int b);
    5252
    53 extern long long __divmoddi3(long long, long long, long long *);
    54 extern unsigned long long __udivmoddi3(unsigned long long, unsigned long long,
    55     unsigned long long *);
     53/* 64bit remainder of the signed division */
     54long long __moddi3(long long a, long long b);
     55
     56/* 32bit remainder of the unsigned division */
     57unsigned int __umodsi3(unsigned int a, unsigned int b);
     58
     59/* 64bit remainder of the unsigned division */
     60unsigned long long __umoddi3(unsigned long long a, unsigned long long b);
     61
     62unsigned long long __udivmoddi3(unsigned long long a, unsigned long long b, unsigned long long *c);
    5663
    5764#endif

  • kernel/genarch/include/softint/multiplication.h

    r41455a22 r6bb169b5  
    2929/** @addtogroup genarch
    3030 * @{
    31  */
     31 */ 
    3232/**
    3333 * @file
    3434 */
    3535
    36 #ifndef KERN_MULTIPLICATION_H_
    37 #define KERN_MULTIPLICATION_H_
     36#ifndef __SOFTINT_MULTIPLICATION_H__
     37#define __SOFTINT_MULTIPLICATION_H__
    3838
    3939/* 64 bit multiplication */
    40 extern long long __muldi3(long long, long long);
     40long long __muldi3(long long a, long long b);
    4141
    4242#endif
    … …  
    4444/** @}
    4545 */
     46
     47

  • kernel/genarch/src/softint/division.c

    r41455a22 r6bb169b5  
    2727 */
    2828
    29 /** @addtogroup genarch
     29/** @addtogroup genarch 
    3030 * @{
    3131 */
    … …  
    3535#include <genarch/softint/division.h>
    3636
    37 #define ABSVAL(x)  ((x) > 0 ? (x) : -(x))
    38 #define SGN(x)     ((x) >= 0 ? 1 : 0)
    39 
     37#define ABSVAL(x) ((x) > 0 ? (x) : -(x))
     38#define SGN(x) ((x) >= 0 ? 1 : 0)
     39                                     
    4040static unsigned int divandmod32(unsigned int a, unsigned int b,
    4141    unsigned int *remainder)
    … …  
    5656                return 0;
    5757        }
    58        
     58
    5959        for (; steps > 0; steps--) {
    6060                /* shift one bit to remainder */
    … …  
    6868                a <<= 1;
    6969        }
    70        
     70
    7171        return result;
    7272}
     73
    7374
    7475static unsigned long long divandmod64(unsigned long long a,
    … …  
    7677{
    7778        unsigned long long result;
    78         int steps = sizeof(unsigned long long) * 8;
     79        int steps = sizeof(unsigned long long) * 8; 
    7980       
    8081        *remainder = 0;
    … …  
    9091                return 0;
    9192        }
    92        
     93
    9394        for (; steps > 0; steps--) {
    9495                /* shift one bit to remainder */
    … …  
    102103                a <<= 1;
    103104        }
    104        
     105
    105106        return result;
    106107}
    107108
    108109/* 32bit integer division */
    109 int __divsi3(int a, int b)
    110 {
    111         unsigned int rem;
    112         int result = (int) divandmod32(ABSVAL(a), ABSVAL(b), &rem);
    113        
     110int __divsi3(int a, int b)
     111{
     112        unsigned int rem;
     113        int result;
     114       
     115        result = (int) divandmod32(ABSVAL(a), ABSVAL(b), &rem);
     116
    114117        if (SGN(a) == SGN(b))
    115118                return result;
    116        
    117119        return -result;
    118120}
    119121
    120122/* 64bit integer division */
    121 long long __divdi3(long long a, long long b)
     123long long __divdi3(long long a, long long b) 
    122124{
    123125        unsigned long long rem;
    124         long long result = (long long) divandmod64(ABSVAL(a), ABSVAL(b), &rem);
    125        
     126        long long result;
     127       
     128        result = (long long) divandmod64(ABSVAL(a), ABSVAL(b), &rem);
     129
    126130        if (SGN(a) == SGN(b))
    127131                return result;
    128        
    129132        return -result;
    130133}
    … …  
    140143unsigned long long __udivdi3(unsigned long long a, unsigned long long b)
    141144{
    142         unsigned long long rem;
     145        unsigned long long  rem;
    143146        return divandmod64(a, b, &rem);
    144147}
    … …  
    151154       
    152155        /* if divident is negative, remainder must be too */
    153         if (!(SGN(a)))
     156        if (!(SGN(a))) {
    154157                return -((int) rem);
     158        }
    155159       
    156160        return (int) rem;
    … …  
    158162
    159163/* 64bit remainder of the signed division */
    160 long long __moddi3(long long a, long long b)
     164long long __moddi3(long long a,long long b)
    161165{
    162166        unsigned long long rem;
    … …  
    164168       
    165169        /* if divident is negative, remainder must be too */
    166         if (!(SGN(a)))
     170        if (!(SGN(a))) {
    167171                return -((long long) rem);
     172        }
    168173       
    169174        return (long long) rem;
    … …  
    186191}
    187192
    188 int __divmodsi3(int a, int b, int *c)
    189 {
    190         unsigned int rem;
    191         int result = (int) divandmod32(ABSVAL(a), ABSVAL(b), &rem);
    192        
    193         if (SGN(a) == SGN(b)) {
    194                 *c = rem;
    195                 return result;
    196         }
    197        
    198         *c = -rem;
    199         return -result;
    200 }
    201 
    202 unsigned int __udivmodsi3(unsigned int a, unsigned int b,
    203     unsigned int *c)
    204 {
    205         return divandmod32(a, b, c);
    206 }
    207 
    208 long long __divmoddi3(long long a, long long b, long long *c)
    209 {
    210         unsigned long long rem;
    211         long long result = (int) divandmod64(ABSVAL(a), ABSVAL(b), &rem);
    212        
    213         if (SGN(a) == SGN(b)) {
    214                 *c = rem;
    215                 return result;
    216         }
    217        
    218         *c = -rem;
    219         return -result;
    220 }
    221 
    222193unsigned long long __udivmoddi3(unsigned long long a, unsigned long long b,
    223194    unsigned long long *c)

  • kernel/genarch/src/softint/multiplication.c

    r41455a22 r6bb169b5  
    2929/** @addtogroup genarch
    3030 * @{
    31  */
     31 */ 
    3232/**
    3333 * @file
    … …  
    130130
    131131        return result;
    132 }
     132}       
    133133
    134134/** @}

  • kernel/generic/src/lib/str.c

    r41455a22 r6bb169b5  
    111111#include <debug.h>
    112112#include <macros.h>
    113 
    114 /** Check the condition if wchar_t is signed */
    115 #ifdef WCHAR_IS_UNSIGNED
    116         #define WCHAR_SIGNED_CHECK(cond)  (true)
    117 #else
    118         #define WCHAR_SIGNED_CHECK(cond)  (cond)
    119 #endif
    120113
    121114/** Byte mask consisting of lowest @n bits (out of 8) */
    … …  
    213206 *
    214207 * @return EOK if the character was encoded successfully, EOVERFLOW if there
    215  *         was not enough space in the output buffer or EINVAL if the character
    216  *         code was invalid.
    217  */
    218 int chr_encode(const wchar_t ch, char *str, size_t *offset, size_t size)
     208 *         was not enough space in the output buffer or EINVAL if the character
     209 *         code was invalid.
     210 */
     211int chr_encode(wchar_t ch, char *str, size_t *offset, size_t size)
    219212{
    220213        if (*offset >= size)
    … …  
    434427bool ascii_check(wchar_t ch)
    435428{
    436         if (WCHAR_SIGNED_CHECK(ch >= 0) && (ch <= 127))
     429        if ((ch >= 0) && (ch <= 127))
    437430                return true;
    438431       
    … …  
    447440bool chr_check(wchar_t ch)
    448441{
    449         if (WCHAR_SIGNED_CHECK(ch >= 0) && (ch <= 1114111))
     442        if ((ch >= 0) && (ch <= 1114111))
    450443                return true;
    451444       

  • tools/autotool.py

    r41455a22 r6bb169b5  
    4949
    5050PACKAGE_BINUTILS = "usually part of binutils"
    51 PACKAGE_GCC = "preferably version 4.7.0 or newer"
     51PACKAGE_GCC = "preferably version 4.5.1 or newer"
    5252PACKAGE_CROSS = "use tools/toolchain.sh to build the cross-compiler toolchain"
    5353
    … …  
    6666
    6767#define DECLARE_BUILTIN_TYPE(tag, type) \\
    68         AUTOTOOL_DECLARE("builtin_size", "", tag, STRING(type), "", "", sizeof(type)); \\
    69         AUTOTOOL_DECLARE("builtin_sign", "unsigned long long int", tag, STRING(type), "unsigned", "", __builtin_types_compatible_p(type, unsigned long long int)); \\
    70         AUTOTOOL_DECLARE("builtin_sign", "unsigned long int", tag, STRING(type), "unsigned", "", __builtin_types_compatible_p(type, unsigned long int)); \\
    71         AUTOTOOL_DECLARE("builtin_sign", "unsigned int", tag, STRING(type), "unsigned", "", __builtin_types_compatible_p(type, unsigned int)); \\
    72         AUTOTOOL_DECLARE("builtin_sign", "unsigned short int", tag, STRING(type), "unsigned", "", __builtin_types_compatible_p(type, unsigned short int)); \\
    73         AUTOTOOL_DECLARE("builtin_sign", "unsigned char", tag, STRING(type), "unsigned", "", __builtin_types_compatible_p(type, unsigned char)); \\
    74         AUTOTOOL_DECLARE("builtin_sign", "signed long long int", tag, STRING(type), "signed", "", __builtin_types_compatible_p(type, signed long long int)); \\
    75         AUTOTOOL_DECLARE("builtin_sign", "signed long int", tag, STRING(type), "signed", "", __builtin_types_compatible_p(type, signed long int)); \\
    76         AUTOTOOL_DECLARE("builtin_sign", "signed int", tag, STRING(type), "signed", "", __builtin_types_compatible_p(type, signed int)); \\
    77         AUTOTOOL_DECLARE("builtin_sign", "signed short int", tag, STRING(type), "signed", "", __builtin_types_compatible_p(type, signed short int)); \\
    78         AUTOTOOL_DECLARE("builtin_sign", "signed char", tag, STRING(type), "signed", "", __builtin_types_compatible_p(type, signed char));
     68        AUTOTOOL_DECLARE("builtin", "", tag, STRING(type), "", "", sizeof(type));
    7969
    8070#define DECLARE_INTSIZE(tag, type, strc, conc) \\
    8171        AUTOTOOL_DECLARE("intsize", "unsigned", tag, #type, strc, conc, sizeof(unsigned type)); \\
    8272        AUTOTOOL_DECLARE("intsize", "signed", tag, #type, strc, conc, sizeof(signed type));
    83 
    84 #define DECLARE_FLOATSIZE(tag, type) \\
    85         AUTOTOOL_DECLARE("floatsize", "", tag, #type, "", "", sizeof(type));
    8673
    8774int main(int argc, char *argv[])
    … …  
    275262        return int(value, base)
    276263
    277 def probe_compiler(common, intsizes, floatsizes):
     264def probe_compiler(common, sizes):
    278265        "Generate, compile and parse probing source"
    279266       
    … …  
    283270        outf.write(PROBE_HEAD)
    284271       
    285         for typedef in intsizes:
     272        for typedef in sizes:
    286273                outf.write("\tDECLARE_INTSIZE(\"%s\", %s, %s, %s);\n" % (typedef['tag'], typedef['type'], typedef['strc'], typedef['conc']))
    287        
    288         for typedef in floatsizes:
    289                 outf.write("\nDECLARE_FLOATSIZE(\"%s\", %s);\n" % (typedef['tag'], typedef['type']))
    290274       
    291275        outf.write(PROBE_TAIL)
    … …  
    331315        signed_concs = {}
    332316       
    333         float_tags = {}
    334        
    335         builtin_sizes = {}
    336         builtin_signs = {}
     317        builtins = {}
    337318       
    338319        for j in range(len(lines)):
    … …  
    371352                                                print_error(["Unexpected keyword \"%s\" in \"%s\" on line %s." % (subcategory, PROBE_OUTPUT, j), COMPILER_FAIL])
    372353                               
    373                                 if (category == "floatsize"):
     354                                if (category == "builtin"):
    374355                                        try:
    375356                                                value_int = decode_value(value)
    … …  
    377358                                                print_error(["Integer value expected in \"%s\" on line %s." % (PROBE_OUTPUT, j), COMPILER_FAIL])
    378359                                       
    379                                         float_tags[tag] = value_int
    380                                
    381                                 if (category == "builtin_size"):
    382                                         try:
    383                                                 value_int = decode_value(value)
    384                                         except:
    385                                                 print_error(["Integer value expected in \"%s\" on line %s." % (PROBE_OUTPUT, j), COMPILER_FAIL])
    386                                        
    387                                         builtin_sizes[tag] = {'name': name, 'value': value_int}
    388                                
    389                                 if (category == "builtin_sign"):
    390                                         try:
    391                                                 value_int = decode_value(value)
    392                                         except:
    393                                                 print_error(["Integer value expected in \"%s\" on line %s." % (PROBE_OUTPUT, j), COMPILER_FAIL])
    394                                        
    395                                         if (value_int == 1):
    396                                                 if (not tag in builtin_signs):
    397                                                         builtin_signs[tag] = strc;
    398                                                 elif (builtin_signs[tag] != strc):
    399                                                         print_error(["Inconsistent builtin type detection in \"%s\" on line %s." % (PROBE_OUTPUT, j), COMPILER_FAIL])
    400        
    401         return {'unsigned_sizes': unsigned_sizes, 'signed_sizes': signed_sizes, 'unsigned_tags': unsigned_tags, 'signed_tags': signed_tags, 'unsigned_strcs': unsigned_strcs, 'signed_strcs': signed_strcs, 'unsigned_concs': unsigned_concs, 'signed_concs': signed_concs, 'float_tags': float_tags, 'builtin_sizes': builtin_sizes, 'builtin_signs': builtin_signs}
    402 
    403 def detect_sizes(probe, bytes, inttags, floattags):
    404         "Detect correct types for fixed-size types"
     360                                        builtins[tag] = {'name': name, 'value': value_int}
     361       
     362        return {'unsigned_sizes': unsigned_sizes, 'signed_sizes': signed_sizes, 'unsigned_tags': unsigned_tags, 'signed_tags': signed_tags, 'unsigned_strcs': unsigned_strcs, 'signed_strcs': signed_strcs, 'unsigned_concs': unsigned_concs, 'signed_concs': signed_concs, 'builtins': builtins}
     363
     364def detect_uints(probe, bytes, tags):
     365        "Detect correct types for fixed-size integer types"
    405366       
    406367        macros = []
    … …  
    409370        for b in bytes:
    410371                if (not b in probe['unsigned_sizes']):
    411                         print_error(['Unable to find appropriate unsigned integer type for %u bytes.' % b,
     372                        print_error(['Unable to find appropriate unsigned integer type for %u bytes' % b,
    412373                                     COMPILER_FAIL])
    413374               
    414375                if (not b in probe['signed_sizes']):
    415                         print_error(['Unable to find appropriate signed integer type for %u bytes.' % b,
     376                        print_error(['Unable to find appropriate signed integer type for %u bytes' % b,
    416377                                     COMPILER_FAIL])
    417378               
    418379                if (not b in probe['unsigned_strcs']):
    419                         print_error(['Unable to find appropriate unsigned printf formatter for %u bytes.' % b,
     380                        print_error(['Unable to find appropriate unsigned printf formatter for %u bytes' % b,
    420381                                     COMPILER_FAIL])
    421382               
    422383                if (not b in probe['signed_strcs']):
    423                         print_error(['Unable to find appropriate signed printf formatter for %u bytes.' % b,
     384                        print_error(['Unable to find appropriate signed printf formatter for %u bytes' % b,
    424385                                     COMPILER_FAIL])
    425386               
    426387                if (not b in probe['unsigned_concs']):
    427                         print_error(['Unable to find appropriate unsigned literal macro for %u bytes.' % b,
     388                        print_error(['Unable to find appropriate unsigned literal macro for %u bytes' % b,
    428389                                     COMPILER_FAIL])
    429390               
    430391                if (not b in probe['signed_concs']):
    431                         print_error(['Unable to find appropriate signed literal macro for %u bytes.' % b,
     392                        print_error(['Unable to find appropriate signed literal macro for %u bytes' % b,
    432393                                     COMPILER_FAIL])
    433394               
    … …  
    456417                        macros.append({'oldmacro': "c ## %s" % name, 'newmacro': "INT%u_C(c)" % (b * 8)})
    457418       
    458         for tag in inttags:
     419        for tag in tags:
    459420                newmacro = "U%s" % tag
    460421                if (not tag in probe['unsigned_tags']):
    461                         print_error(['Unable to find appropriate size macro for %s.' % newmacro,
     422                        print_error(['Unable to find appropriate size macro for %s' % newmacro,
    462423                                     COMPILER_FAIL])
    463424               
    … …  
    465426                macros.append({'oldmacro': "%s_MIN" % oldmacro, 'newmacro': "%s_MIN" % newmacro})
    466427                macros.append({'oldmacro': "%s_MAX" % oldmacro, 'newmacro': "%s_MAX" % newmacro})
    467                 macros.append({'oldmacro': "1", 'newmacro': 'U%s_SIZE_%s' % (tag, probe['unsigned_tags'][tag] * 8)})
    468428               
    469429                newmacro = tag
    470                 if (not tag in probe['signed_tags']):
     430                if (not tag in probe['unsigned_tags']):
    471431                        print_error(['Unable to find appropriate size macro for %s' % newmacro,
    472432                                     COMPILER_FAIL])
    … …  
    475435                macros.append({'oldmacro': "%s_MIN" % oldmacro, 'newmacro': "%s_MIN" % newmacro})
    476436                macros.append({'oldmacro': "%s_MAX" % oldmacro, 'newmacro': "%s_MAX" % newmacro})
    477                 macros.append({'oldmacro': "1", 'newmacro': '%s_SIZE_%s' % (tag, probe['signed_tags'][tag] * 8)})
    478        
    479         for tag in floattags:
    480                 if (not tag in probe['float_tags']):
    481                         print_error(['Unable to find appropriate size macro for %s' % tag,
    482                                      COMPILER_FAIL])
    483                
    484                 macros.append({'oldmacro': "1", 'newmacro': '%s_SIZE_%s' % (tag, probe['float_tags'][tag] * 8)})
    485        
    486         if (not 'size' in probe['builtin_signs']):
    487                 print_error(['Unable to determine whether size_t is signed or unsigned.',
    488                              COMPILER_FAIL])
    489        
    490         if (probe['builtin_signs']['size'] != 'unsigned'):
    491                 print_error(['The type size_t is not unsigned.',
    492                              COMPILER_FAIL])
    493437       
    494438        fnd = True
    495439       
    496         if (not 'wchar' in probe['builtin_sizes']):
     440        if (not 'wchar' in probe['builtins']):
    497441                print_warning(['The compiler does not provide the macro __WCHAR_TYPE__',
    498442                               'for defining the compiler-native type wchar_t. We are',
    … …  
    501445                fnd = False
    502446       
    503         if (probe['builtin_sizes']['wchar']['value'] != 4):
     447        if (probe['builtins']['wchar']['value'] != 4):
    504448                print_warning(['The compiler provided macro __WCHAR_TYPE__ for defining',
    505449                               'the compiler-native type wchar_t is not compliant with',
    … …  
    514458                macros.append({'oldmacro': "__WCHAR_TYPE__", 'newmacro': "wchar_t"})
    515459       
    516         if (not 'wchar' in probe['builtin_signs']):
    517                 print_error(['Unable to determine whether wchar_t is signed or unsigned.',
    518                              COMPILER_FAIL])
    519        
    520         if (probe['builtin_signs']['wchar'] == 'unsigned'):
    521                 macros.append({'oldmacro': "1", 'newmacro': 'WCHAR_IS_UNSIGNED'})
    522         if (probe['builtin_signs']['wchar'] == 'signed'):
    523                 macros.append({'oldmacro': "1", 'newmacro': 'WCHAR_IS_SIGNED'})
    524        
    525460        fnd = True
    526461       
    527         if (not 'wint' in probe['builtin_sizes']):
     462        if (not 'wint' in probe['builtins']):
    528463                print_warning(['The compiler does not provide the macro __WINT_TYPE__',
    529464                               'for defining the compiler-native type wint_t. We are',
    … …  
    532467                fnd = False
    533468       
    534         if (probe['builtin_sizes']['wint']['value'] != 4):
     469        if (probe['builtins']['wint']['value'] != 4):
    535470                print_warning(['The compiler provided macro __WINT_TYPE__ for defining',
    536471                               'the compiler-native type wint_t is not compliant with',
    … …  
    544479        else:
    545480                macros.append({'oldmacro': "__WINT_TYPE__", 'newmacro': "wint_t"})
    546        
    547         if (not 'wint' in probe['builtin_signs']):
    548                 print_error(['Unable to determine whether wint_t is signed or unsigned.',
    549                              COMPILER_FAIL])
    550        
    551         if (probe['builtin_signs']['wint'] == 'unsigned'):
    552                 macros.append({'oldmacro': "1", 'newmacro': 'WINT_IS_UNSIGNED'})
    553         if (probe['builtin_signs']['wint'] == 'signed'):
    554                 macros.append({'oldmacro': "1", 'newmacro': 'WINT_IS_SIGNED'})
    555481       
    556482        return {'macros': macros, 'typedefs': typedefs}
    … …  
    645571                               
    646572                                if (config['CROSS_TARGET'] == "arm32"):
    647                                         gnu_target = "arm-linux-gnueabi"
     573                                        gnu_target = "arm-linux-gnu"
    648574                               
    649575                                if (config['CROSS_TARGET'] == "ia32"):
    … …  
    660586                        if (config['PLATFORM'] == "arm32"):
    661587                                target = config['PLATFORM']
    662                                 gnu_target = "arm-linux-gnueabi"
     588                                gnu_target = "arm-linux-gnu"
    663589                       
    664590                        if (config['PLATFORM'] == "ia32"):
    … …  
    743669                                {'type': 'short int', 'tag': 'SHORT', 'strc': '"h"', 'conc': '"@"'},
    744670                                {'type': 'char', 'tag': 'CHAR', 'strc': '"hh"', 'conc': '"@@"'}
    745                         ],
    746                         [
    747                                 {'type': 'long double', 'tag': 'LONG_DOUBLE'},
    748                                 {'type': 'double', 'tag': 'DOUBLE'},
    749                                 {'type': 'float', 'tag': 'FLOAT'}
    750671                        ]
    751672                )
    752673               
    753                 maps = detect_sizes(probe, [1, 2, 4, 8], ['CHAR', 'SHORT', 'INT', 'LONG', 'LLONG'], ['LONG_DOUBLE', 'DOUBLE', 'FLOAT'])
     674                maps = detect_uints(probe, [1, 2, 4, 8], ['CHAR', 'SHORT', 'INT', 'LONG', 'LLONG'])
    754675               
    755676        finally:

  • tools/toolchain.sh

    r41455a22 r6bb169b5  
    5555BINUTILS_VERSION="2.22"
    5656BINUTILS_RELEASE=""
    57 GCC_VERSION="4.7.0"
     57GCC_VERSION="4.6.3"
    5858GDB_VERSION="7.4"
    5959
    6060BASEDIR="`pwd`"
    6161BINUTILS="binutils-${BINUTILS_VERSION}${BINUTILS_RELEASE}.tar.bz2"
    62 GCC="gcc-${GCC_VERSION}.tar.bz2"
     62GCC_CORE="gcc-core-${GCC_VERSION}.tar.bz2"
     63GCC_OBJC="gcc-objc-${GCC_VERSION}.tar.bz2"
     64GCC_CPP="gcc-g++-${GCC_VERSION}.tar.bz2"
    6365GDB="gdb-${GDB_VERSION}.tar.bz2"
    6466
    … …  
    273275       
    274276        download_fetch "${BINUTILS_SOURCE}" "${BINUTILS}" "ee0f10756c84979622b992a4a61ea3f5"
    275         download_fetch "${GCC_SOURCE}" "${GCC}" "2a0f1d99fda235c29d40b561f81d9a77"
     277        download_fetch "${GCC_SOURCE}" "${GCC_CORE}" "766091220c6a14fcaa2c06dd573e3758"
     278        download_fetch "${GCC_SOURCE}" "${GCC_OBJC}" "48ba23770c34b1cb468f72618b4452c5"
     279        download_fetch "${GCC_SOURCE}" "${GCC_CPP}" "37515158a0fb3d0800ec41a08c05e69e"
    276280        download_fetch "${GDB_SOURCE}" "${GDB}" "95a9a8305fed4d30a30a6dc28ff9d060"
    277281}
    … …  
    295299        echo ">>> Downloading tarballs"
    296300        source_check "${BASEDIR}/${BINUTILS}"
    297         source_check "${BASEDIR}/${GCC}"
     301        source_check "${BASEDIR}/${GCC_CORE}"
     302        source_check "${BASEDIR}/${GCC_OBJC}"
     303        source_check "${BASEDIR}/${GCC_CPP}"
    298304        source_check "${BASEDIR}/${GDB}"
    299305       
    … …  
    310316       
    311317        unpack_tarball "${BASEDIR}/${BINUTILS}" "binutils"
    312         unpack_tarball "${BASEDIR}/${GCC}" "GCC"
     318        unpack_tarball "${BASEDIR}/${GCC_CORE}" "GCC Core"
     319        unpack_tarball "${BASEDIR}/${GCC_OBJC}" "Objective C"
     320        unpack_tarball "${BASEDIR}/${GCC_CPP}" "C++"
    313321        unpack_tarball "${BASEDIR}/${GDB}" "GDB"
    314322       
    … …  
    370378        "arm32")
    371379                prepare
    372                 build_target "arm32" "arm-linux-gnueabi"
     380                build_target "arm32" "arm-linux-gnu"
    373381                ;;
    374382        "ia32")
    … …  
    407415                prepare
    408416                build_target "amd64" "amd64-linux-gnu"
    409                 build_target "arm32" "arm-linux-gnueabi"
     417                build_target "arm32" "arm-linux-gnu"
    410418                build_target "ia32" "i686-pc-linux-gnu"
    411419                build_target "ia64" "ia64-pc-linux-gnu"
    … …  
    420428                prepare
    421429                build_target "amd64" "amd64-linux-gnu" &
    422                 build_target "arm32" "arm-linux-gnueabi" &
     430                build_target "arm32" "arm-linux-gnu" &
    423431                build_target "ia32" "i686-pc-linux-gnu" &
    424432                build_target "ia64" "ia64-pc-linux-gnu" &

  • uspace/Makefile.common

    r41455a22 r6bb169b5  
    149149endif
    150150
    151 ifeq ($(STATIC_BUILD),y)
    152         BASE_LIBS = $(LIBC_PREFIX)/libc.a $(LIBSOFTINT_PREFIX)/libsoftint.a
    153         LINKER_SCRIPT ?= $(LIBC_PREFIX)/arch/$(UARCH)/_link.ld
    154 else
    155         BASE_LIBS = $(LIBC_PREFIX)/libc.so0 $(LIBSOFTINT_PREFIX)/libsofti.so0
    156         LFLAGS = -Bdynamic
    157         LINKER_SCRIPT ?= $(LIBC_PREFIX)/arch/$(UARCH)/_link-dlexe.ld
     151ifeq ($(STATIC_BUILD), y)
     152BASE_LIBS = $(LIBC_PREFIX)/libc.a $(LIBSOFTINT_PREFIX)/libsoftint.a
     153LINKER_SCRIPT ?= $(LIBC_PREFIX)/arch/$(UARCH)/_link.ld
     154else
     155BASE_LIBS = $(LIBC_PREFIX)/libc.so0 $(LIBSOFTINT_PREFIX)/libsofti.so0
     156LFLAGS = -Bdynamic
     157LINKER_SCRIPT ?= $(LIBC_PREFIX)/arch/$(UARCH)/_link-dlexe.ld
    158158endif
    159159

  • uspace/app/binutils/Makefile

    r41455a22 r6bb169b5  
    112112endif
    113113ifeq ($(PLATFORM),arm32)
    114 TARGET = arm-linux-gnueabi
     114TARGET = arm-linux-gnu
    115115endif
    116116ifeq ($(PLATFORM),ia32)

  • uspace/app/sbi/src/run_texpr.c

    r41455a22 r6bb169b5  
    9898{
    9999        stree_symbol_t *sym;
    100         tdata_item_t *targ_i = NULL;
    101         tdata_item_t *titem = NULL;;
     100        tdata_item_t *targ_i;
     101        tdata_item_t *titem;
    102102        tdata_object_t *tobject;
    103103        tdata_deleg_t *tdeleg;
    … …  
    139139                return;
    140140        }
     141
     142        /* Make compiler happy. */
     143        titem = NULL;
    141144
    142145        switch (sym->sc) {
    … …  
    219222    stree_tindex_t *tindex, tdata_item_t **res)
    220223{
    221         tdata_item_t *base_ti = NULL;
     224        tdata_item_t *base_ti;
    222225        tdata_item_t *titem;
    223226        tdata_array_t *tarray;

  • uspace/app/tester/fault/fault2.c

    r41455a22 r6bb169b5  
    3535const char *test_fault2(void)
    3636{
    37         volatile long long var = 0;
    38         volatile int var1 = *((aliasing_int *) (((char *) (&var)) + 1));
     37        volatile long long var;
     38        volatile int var1;
     39       
     40        var1 = *((aliasing_int *) (((char *) (&var)) + 1));
    3941        printf("Read %d\n", var1);
    4042       

  • uspace/lib/c/arch/arm32/src/eabi.S

    r41455a22 r6bb169b5  
    11#
    2 # Copyright (c) 2012 Martin Decky
     2# Copyright (c) 2007 Pavel Jancik
    33# All rights reserved.
    44#
    … …  
    3131.global __aeabi_read_tp
    3232
    33 .global __aeabi_idiv
    34 .global __aeabi_uidiv
    35 
    36 .global __aeabi_idivmod
    37 .global __aeabi_uidivmod
    38 
    39 .global __aeabi_ldivmod
    40 .global __aeabi_uldivmod
    41 
    4233__aeabi_read_tp:
    4334        mov r0, r9
    4435        mov pc, lr
    45 
    46 __aeabi_idiv:
    47         push {sp, lr}
    48         bl __divsi3
    49         ldr lr, [sp, #4]
    50         add sp, sp, #8
    51         bx lr
    52 
    53 __aeabi_uidiv:
    54         push {sp, lr}
    55         bl __udivsi3
    56         ldr lr, [sp, #4]
    57         add sp, sp, #8
    58         bx lr
    59 
    60 __aeabi_idivmod:
    61         sub sp, sp, #8
    62         push {sp, lr}
    63         bl __divmodsi3
    64         ldr lr, [sp, #4]
    65         add sp, sp, #8
    66         pop {r1, r2}
    67         bx lr
    68 
    69 __aeabi_uidivmod:
    70         sub sp, sp, #8
    71         push {sp, lr}
    72         bl __udivmodsi3
    73         ldr lr, [sp, #4]
    74         add sp, sp, #8
    75         pop {r1, r2}
    76         bx lr
    77 
    78 __aeabi_ldivmod:
    79         sub sp, sp, #8
    80         push {sp, lr}
    81         bl __divmoddi3
    82         ldr lr, [sp, #4]
    83         add sp, sp, #8
    84         pop {r2, r3}
    85         bx lr
    86 
    87 __aeabi_uldivmod:
    88         sub sp, sp, #8
    89         push {sp, lr}
    90         bl __udivmoddi3
    91         ldr lr, [sp, #4]
    92         add sp, sp, #8
    93         pop {r2, r3}
    94         bx lr

  • uspace/lib/c/generic/str.c

    r41455a22 r6bb169b5  
    4646#include <mem.h>
    4747#include <str.h>
    48 
    49 /** Check the condition if wchar_t is signed */
    50 #ifdef WCHAR_IS_UNSIGNED
    51         #define WCHAR_SIGNED_CHECK(cond)  (true)
    52 #else
    53         #define WCHAR_SIGNED_CHECK(cond)  (cond)
    54 #endif
    5548
    5649/** Byte mask consisting of lowest @n bits (out of 8) */
    … …  
    406399bool ascii_check(wchar_t ch)
    407400{
    408         if (WCHAR_SIGNED_CHECK(ch >= 0) && (ch <= 127))
     401        if ((ch >= 0) && (ch <= 127))
    409402                return true;
    410403       
    … …  
    419412bool chr_check(wchar_t ch)
    420413{
    421         if (WCHAR_SIGNED_CHECK(ch >= 0) && (ch <= 1114111))
     414        if ((ch >= 0) && (ch <= 1114111))
    422415                return true;
    423416       
    … …  
    520513 * @param count Size of the destination buffer (must be > 0).
    521514 * @param src   Source string.
    522  *
    523515 */
    524516void str_cpy(char *dest, size_t size, const char *src)
    … …  
    553545 * @param src   Source string.
    554546 * @param n     Maximum number of bytes to read from @a src.
    555  *
    556547 */
    557548void str_ncpy(char *dest, size_t size, const char *src, size_t n)

  • uspace/lib/softfloat/Makefile

    r41455a22 r6bb169b5  
    2929
    3030USPACE_PREFIX = ../..
    31 EXTRA_CFLAGS = -Iinclude
     31EXTRA_CFLAGS = -Iinclude -Iarch/$(UARCH)/include/
    3232LIBRARY = libsoftfloat
    3333

  • uspace/lib/softfloat/generic/add.c

    r41455a22 r6bb169b5  
    3939#include <common.h>
    4040
    41 /** Add two single-precision floats with the same sign.
     41/**
     42 * Add two single-precision floats with the same signs.
    4243 *
    4344 * @param a First input operand.
    … …  
    4546 * @return Result of addition.
    4647 */
    47 float32 add_float32(float32 a, float32 b)
     48float32 addFloat32(float32 a, float32 b)
    4849{
    4950        int expdiff;
    … …  
    5253        expdiff = a.parts.exp - b.parts.exp;
    5354        if (expdiff < 0) {
    54                 if (is_float32_nan(b)) {
    55                         /* TODO: fix SigNaN */
    56                         if (is_float32_signan(b)) {
     55                if (isFloat32NaN(b)) {
     56                        /* TODO: fix SigNaN */
     57                        if (isFloat32SigNaN(b)) {
    5758                        }
    5859
    … …  
    7071                expdiff *= -1;
    7172        } else {
    72                 if ((is_float32_nan(a)) || (is_float32_nan(b))) {
    73                         /* TODO: fix SigNaN */
    74                         if (is_float32_signan(a) || is_float32_signan(b)) {
    75                         }
    76                         return (is_float32_nan(a) ? a : b);
     73                if ((isFloat32NaN(a)) || (isFloat32NaN(b))) {
     74                        /* TODO: fix SigNaN */
     75                        if (isFloat32SigNaN(a) || isFloat32SigNaN(b)) {
     76                        }
     77                        return (isFloat32NaN(a) ? a : b);
    7778                }
    7879               
    … …  
    149150}
    150151
    151 /** Add two double-precision floats with the same sign.
     152/**
     153 * Add two double-precision floats with the same signs.
    152154 *
    153155 * @param a First input operand.
    … …  
    155157 * @return Result of addition.
    156158 */
    157 float64 add_float64(float64 a, float64 b)
     159float64 addFloat64(float64 a, float64 b)
    158160{
    159161        int expdiff;
    … …  
    163165        expdiff = ((int) a.parts.exp) - b.parts.exp;
    164166        if (expdiff < 0) {
    165                 if (is_float64_nan(b)) {
    166                         /* TODO: fix SigNaN */
    167                         if (is_float64_signan(b)) {
    168                         }
    169 
    170                         return b;
    171                 }
    172                
    173                 /* b is infinity and a not */
    174                 if (b.parts.exp == FLOAT64_MAX_EXPONENT) {
     167                if (isFloat64NaN(b)) {
     168                        /* TODO: fix SigNaN */
     169                        if (isFloat64SigNaN(b)) {
     170                        }
     171
     172                        return b;
     173                }
     174               
     175                /* b is infinity and a not */   
     176                if (b.parts.exp == FLOAT64_MAX_EXPONENT) { 
    175177                        return b;
    176178                }
    … …  
    182184                expdiff *= -1;
    183185        } else {
    184                 if (is_float64_nan(a)) {
    185                         /* TODO: fix SigNaN */
    186                         if (is_float64_signan(a) || is_float64_signan(b)) {
     186                if (isFloat64NaN(a)) {
     187                        /* TODO: fix SigNaN */
     188                        if (isFloat64SigNaN(a) || isFloat64SigNaN(b)) {
    187189                        }
    188190                        return a;
    … …  
    263265}
    264266
    265 /** Add two quadruple-precision floats with the same sign.
     267/**
     268 * Add two quadruple-precision floats with the same signs.
    266269 *
    267270 * @param a First input operand.
    … …  
    269272 * @return Result of addition.
    270273 */
    271 float128 add_float128(float128 a, float128 b)
     274float128 addFloat128(float128 a, float128 b)
    272275{
    273276        int expdiff;
    … …  
    277280        expdiff = ((int) a.parts.exp) - b.parts.exp;
    278281        if (expdiff < 0) {
    279                 if (is_float128_nan(b)) {
    280                         /* TODO: fix SigNaN */
    281                         if (is_float128_signan(b)) {
     282                if (isFloat128NaN(b)) {
     283                        /* TODO: fix SigNaN */
     284                        if (isFloat128SigNaN(b)) {
    282285                        }
    283286
    … …  
    298301                expdiff *= -1;
    299302        } else {
    300                 if (is_float128_nan(a)) {
    301                         /* TODO: fix SigNaN */
    302                         if (is_float128_signan(a) || is_float128_signan(b)) {
     303                if (isFloat128NaN(a)) {
     304                        /* TODO: fix SigNaN */
     305                        if (isFloat128SigNaN(a) || isFloat128SigNaN(b)) {
    303306                        }
    304307                        return a;

  • uspace/lib/softfloat/generic/common.c

    r41455a22 r6bb169b5  
    6666 * @return Finished double-precision float.
    6767 */
    68 float64 finish_float64(int32_t cexp, uint64_t cfrac, char sign)
     68float64 finishFloat64(int32_t cexp, uint64_t cfrac, char sign)
    6969{
    7070        float64 result;
    … …  
    140140 * @return Finished quadruple-precision float.
    141141 */
    142 float128 finish_float128(int32_t cexp, uint64_t cfrac_hi, uint64_t cfrac_lo,
     142float128 finishFloat128(int32_t cexp, uint64_t cfrac_hi, uint64_t cfrac_lo,
    143143    char sign, uint64_t shift_out)
    144144{
    … …  
    238238 * @return Number of detected leading zeroes.
    239239 */
    240 int count_zeroes8(uint8_t i)
     240int countZeroes8(uint8_t i)
    241241{
    242242        return zeroTable[i];
    … …  
    249249 * @return Number of detected leading zeroes.
    250250 */
    251 int count_zeroes32(uint32_t i)
     251int countZeroes32(uint32_t i)
    252252{
    253253        int j;
    254254        for (j = 0; j < 32; j += 8) {
    255255                if (i & (0xFF << (24 - j))) {
    256                         return (j + count_zeroes8(i >> (24 - j)));
     256                        return (j + countZeroes8(i >> (24 - j)));
    257257                }
    258258        }
    … …  
    267267 * @return Number of detected leading zeroes.
    268268 */
    269 int count_zeroes64(uint64_t i)
     269int countZeroes64(uint64_t i)
    270270{
    271271        int j;
    272272        for (j = 0; j < 64; j += 8) {
    273273                if (i & (0xFFll << (56 - j))) {
    274                         return (j + count_zeroes8(i >> (56 - j)));
     274                        return (j + countZeroes8(i >> (56 - j)));
    275275                }
    276276        }
    … …  
    286286 * @param fraction Fraction with hidden bit shifted to 30th bit.
    287287 */
    288 void round_float32(int32_t *exp, uint32_t *fraction)
     288void roundFloat32(int32_t *exp, uint32_t *fraction)
    289289{
    290290        /* rounding - if first bit after fraction is set then round up */
    … …  
    312312 * @param fraction Fraction with hidden bit shifted to 62nd bit.
    313313 */
    314 void round_float64(int32_t *exp, uint64_t *fraction)
     314void roundFloat64(int32_t *exp, uint64_t *fraction)
    315315{
    316316        /* rounding - if first bit after fraction is set then round up */
    … …  
    339339 * @param frac_lo Low part of fraction part with hidden bit shifted to 126th bit.
    340340 */
    341 void round_float128(int32_t *exp, uint64_t *frac_hi, uint64_t *frac_lo)
     341void roundFloat128(int32_t *exp, uint64_t *frac_hi, uint64_t *frac_lo)
    342342{
    343343        uint64_t tmp_hi, tmp_lo;

  • uspace/lib/softfloat/generic/comparison.c

    r41455a22 r6bb169b5  
    4545 * @return 1 if float is NaN, 0 otherwise.
    4646 */
    47 int is_float32_nan(float32 f)
     47int isFloat32NaN(float32 f)
    4848{
    4949        /* NaN : exp = 0xff and nonzero fraction */
    … …  
    5858 * @return 1 if float is NaN, 0 otherwise.
    5959 */
    60 int is_float64_nan(float64 d)
     60int isFloat64NaN(float64 d)
    6161{
    6262        /* NaN : exp = 0x7ff and nonzero fraction */
    … …  
    7171 * @return 1 if float is NaN, 0 otherwise.
    7272 */
    73 int is_float128_nan(float128 ld)
     73int isFloat128NaN(float128 ld)
    7474{
    7575        /* NaN : exp = 0x7fff and nonzero fraction */
    … …  
    8484 * @return 1 if float is signalling NaN, 0 otherwise.
    8585 */
    86 int is_float32_signan(float32 f)
     86int isFloat32SigNaN(float32 f)
    8787{
    8888        /* SigNaN : exp = 0xff and fraction = 0xxxxx..x (binary),
    … …  
    9898 * @return 1 if float is signalling NaN, 0 otherwise.
    9999 */
    100 int is_float64_signan(float64 d)
     100int isFloat64SigNaN(float64 d)
    101101{
    102102        /* SigNaN : exp = 0x7ff and fraction = 0xxxxx..x (binary),
    … …  
    112112 * @return 1 if float is signalling NaN, 0 otherwise.
    113113 */
    114 int is_float128_signan(float128 ld)
     114int isFloat128SigNaN(float128 ld)
    115115{
    116116        /* SigNaN : exp = 0x7fff and fraction = 0xxxxx..x (binary),
    … …  
    128128 * @return 1 if float is infinite, 0 otherwise.
    129129 */
    130 int is_float32_infinity(float32 f)
     130int isFloat32Infinity(float32 f)
    131131{
    132132        /* NaN : exp = 0x7ff and zero fraction */
    … …  
    140140 * @return 1 if float is infinite, 0 otherwise.
    141141 */
    142 int is_float64_infinity(float64 d)
     142int isFloat64Infinity(float64 d)
    143143{
    144144        /* NaN : exp = 0x7ff and zero fraction */
    … …  
    152152 * @return 1 if float is infinite, 0 otherwise.
    153153 */
    154 int is_float128_infinity(float128 ld)
     154int isFloat128Infinity(float128 ld)
    155155{
    156156        /* NaN : exp = 0x7fff and zero fraction */
    … …  
    165165 * @return 1 if float is zero, 0 otherwise.
    166166 */
    167 int is_float32_zero(float32 f)
    168 {
    169         return (((f.bin) & 0x7FFFFFFF) == 0);
     167int isFloat32Zero(float32 f)
     168{
     169        return (((f.binary) & 0x7FFFFFFF) == 0);
    170170}
    171171
    … …  
    176176 * @return 1 if float is zero, 0 otherwise.
    177177 */
    178 int is_float64_zero(float64 d)
    179 {
    180         return (((d.bin) & 0x7FFFFFFFFFFFFFFFll) == 0);
     178int isFloat64Zero(float64 d)
     179{
     180        return (((d.binary) & 0x7FFFFFFFFFFFFFFFll) == 0);
    181181}
    182182
    … …  
    187187 * @return 1 if float is zero, 0 otherwise.
    188188 */
    189 int is_float128_zero(float128 ld)
     189int isFloat128Zero(float128 ld)
    190190{
    191191        uint64_t tmp_hi;
    192192        uint64_t tmp_lo;
    193        
    194         and128(ld.bin.hi, ld.bin.lo,
     193
     194        and128(ld.binary.hi, ld.binary.lo,
    195195            0x7FFFFFFFFFFFFFFFll, 0xFFFFFFFFFFFFFFFFll, &tmp_hi, &tmp_lo);
    196        
     196
    197197        return eq128(tmp_hi, tmp_lo, 0x0ll, 0x0ll);
    198198}
    … …  
    205205 * @return 1 if both floats are equal, 0 otherwise.
    206206 */
    207 int is_float32_eq(float32 a, float32 b)
     207int isFloat32eq(float32 a, float32 b)
    208208{
    209209        /* a equals to b or both are zeros (with any sign) */
    210         return ((a.bin == b.bin) ||
    211             (((a.bin | b.bin) & 0x7FFFFFFF) == 0));
     210        return ((a.binary == b.binary) ||
     211            (((a.binary | b.binary) & 0x7FFFFFFF) == 0));
    212212}
    213213
    … …  
    219219 * @return 1 if both floats are equal, 0 otherwise.
    220220 */
    221 int is_float64_eq(float64 a, float64 b)
     221int isFloat64eq(float64 a, float64 b)
    222222{
    223223        /* a equals to b or both are zeros (with any sign) */
    224         return ((a.bin == b.bin) ||
    225             (((a.bin | b.bin) & 0x7FFFFFFFFFFFFFFFll) == 0));
     224        return ((a.binary == b.binary) ||
     225            (((a.binary | b.binary) & 0x7FFFFFFFFFFFFFFFll) == 0));
    226226}
    227227
    … …  
    233233 * @return 1 if both floats are equal, 0 otherwise.
    234234 */
    235 int is_float128_eq(float128 a, float128 b)
     235int isFloat128eq(float128 a, float128 b)
    236236{
    237237        uint64_t tmp_hi;
    238238        uint64_t tmp_lo;
    239        
     239
    240240        /* both are zeros (with any sign) */
    241         or128(a.bin.hi, a.bin.lo,
    242             b.bin.hi, b.bin.lo, &tmp_hi, &tmp_lo);
     241        or128(a.binary.hi, a.binary.lo,
     242            b.binary.hi, b.binary.lo, &tmp_hi, &tmp_lo);
    243243        and128(tmp_hi, tmp_lo,
    244244            0x7FFFFFFFFFFFFFFFll, 0xFFFFFFFFFFFFFFFFll, &tmp_hi, &tmp_lo);
    … …  
    246246       
    247247        /* a equals to b */
    248         int are_equal = eq128(a.bin.hi, a.bin.lo, b.bin.hi, b.bin.lo);
    249        
     248        int are_equal = eq128(a.binary.hi, a.binary.lo, b.binary.hi, b.binary.lo);
     249
    250250        return are_equal || both_zero;
    251251}
    … …  
    258258 * @return 1 if a is lower than b, 0 otherwise.
    259259 */
    260 int is_float32_lt(float32 a, float32 b)
    261 {
    262         if (((a.bin | b.bin) & 0x7FFFFFFF) == 0) {
    263                 /* +- zeroes */
    264                 return 0;
     260int isFloat32lt(float32 a, float32 b)
     261{
     262        if (((a.binary | b.binary) & 0x7FFFFFFF) == 0) {
     263                return 0; /* +- zeroes */
    265264        }
    266265       
    267266        if ((a.parts.sign) && (b.parts.sign)) {
    268267                /* if both are negative, smaller is that with greater binary value */
    269                 return (a.bin > b.bin);
     268                return (a.binary > b.binary);
    270269        }
    271270       
    272         /*
    273          * lets negate signs - now will be positive numbers always
    274          * bigger than negative (first bit will be set for unsigned
    275          * integer comparison)
    276          */
    277         a.parts.sign = !a.parts.sign;
    278         b.parts.sign = !b.parts.sign;
    279         return (a.bin < b.bin);
     271        /* lets negate signs - now will be positive numbers allways bigger than
     272         * negative (first bit will be set for unsigned integer comparison) */
     273        a.parts.sign = !a.parts.sign;
     274        b.parts.sign = !b.parts.sign;
     275        return (a.binary < b.binary);
    280276}
    281277
    … …  
    287283 * @return 1 if a is lower than b, 0 otherwise.
    288284 */
    289 int is_float64_lt(float64 a, float64 b)
    290 {
    291         if (((a.bin | b.bin) & 0x7FFFFFFFFFFFFFFFll) == 0) {
    292                 /* +- zeroes */
    293                 return 0;
    294         }
    295        
     285int isFloat64lt(float64 a, float64 b)
     286{
     287        if (((a.binary | b.binary) & 0x7FFFFFFFFFFFFFFFll) == 0) {
     288                return 0; /* +- zeroes */
     289        }
     290
    296291        if ((a.parts.sign) && (b.parts.sign)) {
    297292                /* if both are negative, smaller is that with greater binary value */
    298                 return (a.bin > b.bin);
    299         }
    300        
    301         /*
    302          * lets negate signs - now will be positive numbers always
    303          * bigger than negative (first bit will be set for unsigned
    304          * integer comparison)
    305          */
    306         a.parts.sign = !a.parts.sign;
    307         b.parts.sign = !b.parts.sign;
    308         return (a.bin < b.bin);
     293                return (a.binary > b.binary);
     294        }
     295
     296        /* lets negate signs - now will be positive numbers allways bigger than
     297         * negative (first bit will be set for unsigned integer comparison) */
     298        a.parts.sign = !a.parts.sign;
     299        b.parts.sign = !b.parts.sign;
     300        return (a.binary < b.binary);
    309301}
    310302
    … …  
    316308 * @return 1 if a is lower than b, 0 otherwise.
    317309 */
    318 int is_float128_lt(float128 a, float128 b)
     310int isFloat128lt(float128 a, float128 b)
    319311{
    320312        uint64_t tmp_hi;
    321313        uint64_t tmp_lo;
    322        
    323         or128(a.bin.hi, a.bin.lo,
    324             b.bin.hi, b.bin.lo, &tmp_hi, &tmp_lo);
     314
     315        or128(a.binary.hi, a.binary.lo,
     316            b.binary.hi, b.binary.lo, &tmp_hi, &tmp_lo);
    325317        and128(tmp_hi, tmp_lo,
    326318            0x7FFFFFFFFFFFFFFFll, 0xFFFFFFFFFFFFFFFFll, &tmp_hi, &tmp_lo);
    327319        if (eq128(tmp_hi, tmp_lo, 0x0ll, 0x0ll)) {
    328                 /* +- zeroes */
    329                 return 0;
    330         }
    331        
     320                return 0; /* +- zeroes */
     321        }
     322
    332323        if ((a.parts.sign) && (b.parts.sign)) {
    333324                /* if both are negative, smaller is that with greater binary value */
    334                 return lt128(b.bin.hi, b.bin.lo, a.bin.hi, a.bin.lo);
    335         }
    336        
    337         /*
    338          * lets negate signs - now will be positive numbers always
    339          * bigger than negative (first bit will be set for unsigned
    340          * integer comparison)
    341          */
    342         a.parts.sign = !a.parts.sign;
    343         b.parts.sign = !b.parts.sign;
    344         return lt128(a.bin.hi, a.bin.lo, b.bin.hi, b.bin.lo);
     325                return lt128(b.binary.hi, b.binary.lo, a.binary.hi, a.binary.lo);
     326        }
     327
     328        /* lets negate signs - now will be positive numbers allways bigger than
     329         * negative (first bit will be set for unsigned integer comparison) */
     330        a.parts.sign = !a.parts.sign;
     331        b.parts.sign = !b.parts.sign;
     332        return lt128(a.binary.hi, a.binary.lo, b.binary.hi, b.binary.lo);
    345333}
    346334
    … …  
    352340 * @return 1 if a is greater than b, 0 otherwise.
    353341 */
    354 int is_float32_gt(float32 a, float32 b)
    355 {
    356         if (((a.bin | b.bin) & 0x7FFFFFFF) == 0) {
    357                 /* zeroes are equal with any sign */
    358                 return 0;
     342int isFloat32gt(float32 a, float32 b)
     343{
     344        if (((a.binary | b.binary) & 0x7FFFFFFF) == 0) {
     345                return 0; /* zeroes are equal with any sign */
    359346        }
    360347       
    361348        if ((a.parts.sign) && (b.parts.sign)) {
    362349                /* if both are negative, greater is that with smaller binary value */
    363                 return (a.bin < b.bin);
     350                return (a.binary < b.binary);
    364351        }
    365352       
    366         /*
    367          * lets negate signs - now will be positive numbers always
    368          * bigger than negative (first bit will be set for unsigned
    369          * integer comparison)
    370          */
    371         a.parts.sign = !a.parts.sign;
    372         b.parts.sign = !b.parts.sign;
    373         return (a.bin > b.bin);
     353        /* lets negate signs - now will be positive numbers allways bigger than
     354         *  negative (first bit will be set for unsigned integer comparison) */
     355        a.parts.sign = !a.parts.sign;
     356        b.parts.sign = !b.parts.sign;
     357        return (a.binary > b.binary);
    374358}
    375359
    … …  
    381365 * @return 1 if a is greater than b, 0 otherwise.
    382366 */
    383 int is_float64_gt(float64 a, float64 b)
    384 {
    385         if (((a.bin | b.bin) & 0x7FFFFFFFFFFFFFFFll) == 0) {
    386                 /* zeroes are equal with any sign */
    387                 return 0;
    388         }
    389        
     367int isFloat64gt(float64 a, float64 b)
     368{
     369        if (((a.binary | b.binary) & 0x7FFFFFFFFFFFFFFFll) == 0) {
     370                return 0; /* zeroes are equal with any sign */
     371        }
     372
    390373        if ((a.parts.sign) && (b.parts.sign)) {
    391374                /* if both are negative, greater is that with smaller binary value */
    392                 return (a.bin < b.bin);
    393         }
    394        
    395         /*
    396          * lets negate signs - now will be positive numbers always
    397          * bigger than negative (first bit will be set for unsigned
    398          * integer comparison)
    399          */
    400         a.parts.sign = !a.parts.sign;
    401         b.parts.sign = !b.parts.sign;
    402         return (a.bin > b.bin);
     375                return (a.binary < b.binary);
     376        }
     377
     378        /* lets negate signs - now will be positive numbers allways bigger than
     379         *  negative (first bit will be set for unsigned integer comparison) */
     380        a.parts.sign = !a.parts.sign;
     381        b.parts.sign = !b.parts.sign;
     382        return (a.binary > b.binary);
    403383}
    404384
    … …  
    410390 * @return 1 if a is greater than b, 0 otherwise.
    411391 */
    412 int is_float128_gt(float128 a, float128 b)
     392int isFloat128gt(float128 a, float128 b)
    413393{
    414394        uint64_t tmp_hi;
    415395        uint64_t tmp_lo;
    416        
    417         or128(a.bin.hi, a.bin.lo,
    418             b.bin.hi, b.bin.lo, &tmp_hi, &tmp_lo);
     396
     397        or128(a.binary.hi, a.binary.lo,
     398            b.binary.hi, b.binary.lo, &tmp_hi, &tmp_lo);
    419399        and128(tmp_hi, tmp_lo,
    420400            0x7FFFFFFFFFFFFFFFll, 0xFFFFFFFFFFFFFFFFll, &tmp_hi, &tmp_lo);
    421401        if (eq128(tmp_hi, tmp_lo, 0x0ll, 0x0ll)) {
    422                 /* zeroes are equal with any sign */
    423                 return 0;
    424         }
    425        
     402                return 0; /* zeroes are equal with any sign */
     403        }
     404
    426405        if ((a.parts.sign) && (b.parts.sign)) {
    427406                /* if both are negative, greater is that with smaller binary value */
    428                 return lt128(a.bin.hi, a.bin.lo, b.bin.hi, b.bin.lo);
    429         }
    430        
    431         /*
    432          * lets negate signs - now will be positive numbers always
    433          * bigger than negative (first bit will be set for unsigned
    434          * integer comparison)
    435          */
    436         a.parts.sign = !a.parts.sign;
    437         b.parts.sign = !b.parts.sign;
    438         return lt128(b.bin.hi, b.bin.lo, a.bin.hi, a.bin.lo);
     407                return lt128(a.binary.hi, a.binary.lo, b.binary.hi, b.binary.lo);
     408        }
     409
     410        /* lets negate signs - now will be positive numbers allways bigger than
     411         *  negative (first bit will be set for unsigned integer comparison) */
     412        a.parts.sign = !a.parts.sign;
     413        b.parts.sign = !b.parts.sign;
     414        return lt128(b.binary.hi, b.binary.lo, a.binary.hi, a.binary.lo);
    439415}
    440416

  • uspace/lib/softfloat/generic/conversion.c

    r41455a22 r6bb169b5  
    3939#include <common.h>
    4040
    41 float64 float32_to_float64(float32 a)
     41float64 convertFloat32ToFloat64(float32 a)
    4242{
    4343        float64 result;
    … …  
    4848        result.parts.fraction <<= (FLOAT64_FRACTION_SIZE - FLOAT32_FRACTION_SIZE);
    4949       
    50         if ((is_float32_infinity(a)) || (is_float32_nan(a))) {
     50        if ((isFloat32Infinity(a)) || (isFloat32NaN(a))) {
    5151                result.parts.exp = FLOAT64_MAX_EXPONENT;
    52                 // TODO; check if its correct for SigNaNs
     52                /* TODO; check if its correct for SigNaNs*/
    5353                return result;
    5454        }
    … …  
    5757        if (a.parts.exp == 0) {
    5858                /* normalize denormalized numbers */
    59                
     59
    6060                if (result.parts.fraction == 0) { /* fix zero */
    6161                        result.parts.exp = 0;
    … …  
    7777}
    7878
    79 float128 float32_to_float128(float32 a)
     79float128 convertFloat32ToFloat128(float32 a)
    8080{
    8181        float128 result;
    8282        uint64_t frac_hi, frac_lo;
    8383        uint64_t tmp_hi, tmp_lo;
    84        
     84
    8585        result.parts.sign = a.parts.sign;
    8686        result.parts.frac_hi = 0;
    … …  
    9191        result.parts.frac_hi = frac_hi;
    9292        result.parts.frac_lo = frac_lo;
    93        
    94         if ((is_float32_infinity(a)) || (is_float32_nan(a))) {
     93
     94        if ((isFloat32Infinity(a)) || (isFloat32NaN(a))) {
    9595                result.parts.exp = FLOAT128_MAX_EXPONENT;
    96                 // TODO; check if its correct for SigNaNs
    97                 return result;
    98         }
    99        
     96                /* TODO; check if its correct for SigNaNs*/
     97                return result;
     98        }
     99
    100100        result.parts.exp = a.parts.exp + ((int) FLOAT128_BIAS - FLOAT32_BIAS);
    101101        if (a.parts.exp == 0) {
    102102                /* normalize denormalized numbers */
    103                
     103
    104104                if (eq128(result.parts.frac_hi,
    105105                    result.parts.frac_lo, 0x0ll, 0x0ll)) { /* fix zero */
    … …  
    107107                        return result;
    108108                }
    109                
     109
    110110                frac_hi = result.parts.frac_hi;
    111111                frac_lo = result.parts.frac_lo;
    112                
     112
    113113                and128(frac_hi, frac_lo,
    114114                    FLOAT128_HIDDEN_BIT_MASK_HI, FLOAT128_HIDDEN_BIT_MASK_LO,
    … …  
    118118                        --result.parts.exp;
    119119                }
    120                
     120
    121121                ++result.parts.exp;
    122122                result.parts.frac_hi = frac_hi;
    123123                result.parts.frac_lo = frac_lo;
    124124        }
    125        
    126         return result;
    127 }
    128 
    129 float128 float64_to_float128(float64 a)
     125
     126        return result;
     127}
     128
     129float128 convertFloat64ToFloat128(float64 a)
    130130{
    131131        float128 result;
    132132        uint64_t frac_hi, frac_lo;
    133133        uint64_t tmp_hi, tmp_lo;
    134        
     134
    135135        result.parts.sign = a.parts.sign;
    136136        result.parts.frac_hi = 0;
    … …  
    141141        result.parts.frac_hi = frac_hi;
    142142        result.parts.frac_lo = frac_lo;
    143        
    144         if ((is_float64_infinity(a)) || (is_float64_nan(a))) {
     143
     144        if ((isFloat64Infinity(a)) || (isFloat64NaN(a))) {
    145145                result.parts.exp = FLOAT128_MAX_EXPONENT;
    146                 // TODO; check if its correct for SigNaNs
    147                 return result;
    148         }
    149        
     146                /* TODO; check if its correct for SigNaNs*/
     147                return result;
     148        }
     149
    150150        result.parts.exp = a.parts.exp + ((int) FLOAT128_BIAS - FLOAT64_BIAS);
    151151        if (a.parts.exp == 0) {
    152152                /* normalize denormalized numbers */
    153                
     153
    154154                if (eq128(result.parts.frac_hi,
    155155                    result.parts.frac_lo, 0x0ll, 0x0ll)) { /* fix zero */
    … …  
    157157                        return result;
    158158                }
    159                
     159
    160160                frac_hi = result.parts.frac_hi;
    161161                frac_lo = result.parts.frac_lo;
    162                
     162
    163163                and128(frac_hi, frac_lo,
    164164                    FLOAT128_HIDDEN_BIT_MASK_HI, FLOAT128_HIDDEN_BIT_MASK_LO,
    … …  
    168168                        --result.parts.exp;
    169169                }
    170                
     170
    171171                ++result.parts.exp;
    172172                result.parts.frac_hi = frac_hi;
    173173                result.parts.frac_lo = frac_lo;
    174174        }
    175        
    176         return result;
    177 }
    178 
    179 float32 float64_to_float32(float64 a)
     175
     176        return result;
     177}
     178
     179float32 convertFloat64ToFloat32(float64 a)
    180180{
    181181        float32 result;
    … …  
    185185        result.parts.sign = a.parts.sign;
    186186       
    187         if (is_float64_nan(a)) {
     187        if (isFloat64NaN(a)) {
    188188                result.parts.exp = FLOAT32_MAX_EXPONENT;
    189189               
    190                 if (is_float64_signan(a)) {
     190                if (isFloat64SigNaN(a)) {
    191191                        /* set first bit of fraction nonzero */
    192192                        result.parts.fraction = FLOAT32_HIDDEN_BIT_MASK >> 1;
    193193                        return result;
    194194                }
    195                
     195
    196196                /* fraction nonzero but its first bit is zero */
    197197                result.parts.fraction = 0x1;
    198198                return result;
    199199        }
    200        
    201         if (is_float64_infinity(a)) {
     200
     201        if (isFloat64Infinity(a)) {
    202202                result.parts.fraction = 0;
    203203                result.parts.exp = FLOAT32_MAX_EXPONENT;
    204204                return result;
    205205        }
    206        
     206
    207207        exp = (int) a.parts.exp - FLOAT64_BIAS + FLOAT32_BIAS;
    208208       
    … …  
    239239                return result;
    240240        }
    241        
     241
    242242        result.parts.exp = exp;
    243243        result.parts.fraction =
    … …  
    246246}
    247247
    248 float32 float128_to_float32(float128 a)
     248float32 convertFloat128ToFloat32(float128 a)
    249249{
    250250        float32 result;
    251251        int32_t exp;
    252252        uint64_t frac_hi, frac_lo;
    253        
     253
    254254        result.parts.sign = a.parts.sign;
    255        
    256         if (is_float128_nan(a)) {
     255
     256        if (isFloat128NaN(a)) {
    257257                result.parts.exp = FLOAT32_MAX_EXPONENT;
    258                
    259                 if (is_float128_signan(a)) {
     258
     259                if (isFloat128SigNaN(a)) {
    260260                        /* set first bit of fraction nonzero */
    261261                        result.parts.fraction = FLOAT32_HIDDEN_BIT_MASK >> 1;
    262262                        return result;
    263263                }
    264                
     264
    265265                /* fraction nonzero but its first bit is zero */
    266266                result.parts.fraction = 0x1;
    267267                return result;
    268268        }
    269        
    270         if (is_float128_infinity(a)) {
     269
     270        if (isFloat128Infinity(a)) {
    271271                result.parts.fraction = 0;
    272272                result.parts.exp = FLOAT32_MAX_EXPONENT;
    273273                return result;
    274274        }
    275        
     275
    276276        exp = (int) a.parts.exp - FLOAT128_BIAS + FLOAT32_BIAS;
    277        
     277
    278278        if (exp >= FLOAT32_MAX_EXPONENT) {
    279279                /* FIXME: overflow */
    … …  
    283283        } else if (exp <= 0) {
    284284                /* underflow or denormalized */
    285                
     285
    286286                result.parts.exp = 0;
    287                
     287
    288288                exp *= -1;
    289289                if (exp > FLOAT32_FRACTION_SIZE) {
    … …  
    292292                        return result;
    293293                }
    294                
     294
    295295                /* denormalized */
    296                
     296
    297297                frac_hi = a.parts.frac_hi;
    298298                frac_lo = a.parts.frac_lo;
    299                
     299
    300300                /* denormalize and set hidden bit */
    301301                frac_hi |= FLOAT128_HIDDEN_BIT_MASK_HI;
    302                
     302
    303303                rshift128(frac_hi, frac_lo,
    304304                    (FLOAT128_FRACTION_SIZE - FLOAT32_FRACTION_SIZE + 1),
    305305                    &frac_hi, &frac_lo);
    306                
     306
    307307                while (exp > 0) {
    308308                        --exp;
    … …  
    310310                }
    311311                result.parts.fraction = frac_lo;
    312                
    313                 return result;
    314         }
    315        
     312
     313                return result;
     314        }
     315
    316316        result.parts.exp = exp;
    317317        frac_hi = a.parts.frac_hi;
    … …  
    324324}
    325325
    326 float64 float128_to_float64(float128 a)
     326float64 convertFloat128ToFloat64(float128 a)
    327327{
    328328        float64 result;
    329329        int32_t exp;
    330330        uint64_t frac_hi, frac_lo;
    331        
     331
    332332        result.parts.sign = a.parts.sign;
    333        
    334         if (is_float128_nan(a)) {
     333
     334        if (isFloat128NaN(a)) {
    335335                result.parts.exp = FLOAT64_MAX_EXPONENT;
    336                
    337                 if (is_float128_signan(a)) {
     336
     337                if (isFloat128SigNaN(a)) {
    338338                        /* set first bit of fraction nonzero */
    339339                        result.parts.fraction = FLOAT64_HIDDEN_BIT_MASK >> 1;
    340340                        return result;
    341341                }
    342                
     342
    343343                /* fraction nonzero but its first bit is zero */
    344344                result.parts.fraction = 0x1;
    345345                return result;
    346346        }
    347        
    348         if (is_float128_infinity(a)) {
     347
     348        if (isFloat128Infinity(a)) {
    349349                result.parts.fraction = 0;
    350350                result.parts.exp = FLOAT64_MAX_EXPONENT;
    351351                return result;
    352352        }
    353        
     353
    354354        exp = (int) a.parts.exp - FLOAT128_BIAS + FLOAT64_BIAS;
    355        
     355
    356356        if (exp >= FLOAT64_MAX_EXPONENT) {
    357357                /* FIXME: overflow */
    … …  
    361361        } else if (exp <= 0) {
    362362                /* underflow or denormalized */
    363                
     363
    364364                result.parts.exp = 0;
    365                
     365
    366366                exp *= -1;
    367367                if (exp > FLOAT64_FRACTION_SIZE) {
    … …  
    370370                        return result;
    371371                }
    372                
     372
    373373                /* denormalized */
    374                
     374
    375375                frac_hi = a.parts.frac_hi;
    376376                frac_lo = a.parts.frac_lo;
    377                
     377
    378378                /* denormalize and set hidden bit */
    379379                frac_hi |= FLOAT128_HIDDEN_BIT_MASK_HI;
    380                
     380
    381381                rshift128(frac_hi, frac_lo,
    382382                    (FLOAT128_FRACTION_SIZE - FLOAT64_FRACTION_SIZE + 1),
    383383                    &frac_hi, &frac_lo);
    384                
     384
    385385                while (exp > 0) {
    386386                        --exp;
    … …  
    388388                }
    389389                result.parts.fraction = frac_lo;
    390                
    391                 return result;
    392         }
    393        
     390
     391                return result;
     392        }
     393
    394394        result.parts.exp = exp;
    395395        frac_hi = a.parts.frac_hi;
    … …  
    402402}
    403403
    404 /** Helper procedure for converting float32 to uint32.
     404
     405/**
     406 * Helping procedure for converting float32 to uint32.
    405407 *
    406408 * @param a Floating point number in normalized form
    … …  
    422424        /* shift fraction to left so hidden bit will be the most significant bit */
    423425        frac <<= 32 - FLOAT32_FRACTION_SIZE - 1;
    424        
     426
    425427        frac >>= 32 - (a.parts.exp - FLOAT32_BIAS) - 1;
    426428        if ((a.parts.sign == 1) && (frac != 0)) {
    … …  
    432434}
    433435
    434 /*
    435  * FIXME: Im not sure what to return if overflow/underflow happens
    436  *  - now its the biggest or the smallest int
    437  */
     436/* 
     437 * FIXME: Im not sure what to return if overflow/underflow happens 
     438 *      - now its the biggest or the smallest int
     439 */ 
    438440uint32_t float32_to_uint32(float32 a)
    439441{
    440         if (is_float32_nan(a))
     442        if (isFloat32NaN(a))
    441443                return UINT32_MAX;
    442444       
    443         if (is_float32_infinity(a) || (a.parts.exp >= (32 + FLOAT32_BIAS))) {
     445        if (isFloat32Infinity(a) || (a.parts.exp >= (32 + FLOAT32_BIAS))) {
    444446                if (a.parts.sign)
    445447                        return UINT32_MIN;
    … …  
    451453}
    452454
    453 /*
    454  * FIXME: Im not sure what to return if overflow/underflow happens
    455  *  - now its the biggest or the smallest int
    456  */
     455/* 
     456 * FIXME: Im not sure what to return if overflow/underflow happens 
     457 *      - now its the biggest or the smallest int
     458 */ 
    457459int32_t float32_to_int32(float32 a)
    458460{
    459         if (is_float32_nan(a))
     461        if (isFloat32NaN(a))
    460462                return INT32_MAX;
    461463       
    462         if (is_float32_infinity(a) || (a.parts.exp >= (32 + FLOAT32_BIAS))) {
     464        if (isFloat32Infinity(a) || (a.parts.exp >= (32 + FLOAT32_BIAS))) {
    463465                if (a.parts.sign)
    464466                        return INT32_MIN;
    … …  
    470472}
    471473
    472 /** Helper procedure for converting float32 to uint64.
     474
     475/**
     476 * Helping procedure for converting float32 to uint64.
    473477 *
    474478 * @param a Floating point number in normalized form
    … …  
    479483{
    480484        uint64_t frac;
    481        
     485
    482486        if (a.parts.exp < FLOAT32_BIAS) {
    483                 // TODO: rounding
     487                /*TODO: rounding*/
    484488                return 0;
    485489        }
    486        
     490
    487491        frac = a.parts.fraction;
    488        
     492
    489493        frac |= FLOAT32_HIDDEN_BIT_MASK;
    490494        /* shift fraction to left so hidden bit will be the most significant bit */
    491495        frac <<= 64 - FLOAT32_FRACTION_SIZE - 1;
    492        
     496
    493497        frac >>= 64 - (a.parts.exp - FLOAT32_BIAS) - 1;
    494498        if ((a.parts.sign == 1) && (frac != 0)) {
    … …  
    496500                ++frac;
    497501        }
    498        
     502
    499503        return frac;
    500504}
    501505
    502 /*
     506/* 
    503507 * FIXME: Im not sure what to return if overflow/underflow happens
    504  *  - now its the biggest or the smallest int
     508 *      - now its the biggest or the smallest int
    505509 */
    506510uint64_t float32_to_uint64(float32 a)
    507511{
    508         if (is_float32_nan(a))
     512        if (isFloat32NaN(a))
    509513                return UINT64_MAX;
    510        
    511         if (is_float32_infinity(a) || (a.parts.exp >= (64 + FLOAT32_BIAS))) {
     514
     515
     516        if (isFloat32Infinity(a) || (a.parts.exp >= (64 + FLOAT32_BIAS))) {
    512517                if (a.parts.sign)
    513518                        return UINT64_MIN;
    514                
     519
    515520                return UINT64_MAX;
    516521        }
    517        
     522
    518523        return _float32_to_uint64_helper(a);
    519524}
    520525
    521 /*
     526/* 
    522527 * FIXME: Im not sure what to return if overflow/underflow happens
    523  *  - now its the biggest or the smallest int
     528 *      - now its the biggest or the smallest int
    524529 */
    525530int64_t float32_to_int64(float32 a)
    526531{
    527         if (is_float32_nan(a))
     532        if (isFloat32NaN(a))
    528533                return INT64_MAX;
    529        
    530         if (is_float32_infinity(a) || (a.parts.exp >= (64 + FLOAT32_BIAS))) {
     534
     535        if (isFloat32Infinity(a) || (a.parts.exp >= (64 + FLOAT32_BIAS))) {
    531536                if (a.parts.sign)
    532537                        return INT64_MIN;
    533                
     538
    534539                return INT64_MAX;
    535540        }
    536        
     541
    537542        return _float32_to_uint64_helper(a);
    538543}
    539544
    540 /** Helper procedure for converting float64 to uint64.
     545
     546/**
     547 * Helping procedure for converting float64 to uint64.
    541548 *
    542549 * @param a Floating point number in normalized form
    … …  
    547554{
    548555        uint64_t frac;
    549        
     556
    550557        if (a.parts.exp < FLOAT64_BIAS) {
    551                 // TODO: rounding
     558                /*TODO: rounding*/
    552559                return 0;
    553560        }
    554        
     561
    555562        frac = a.parts.fraction;
    556        
     563
    557564        frac |= FLOAT64_HIDDEN_BIT_MASK;
    558565        /* shift fraction to left so hidden bit will be the most significant bit */
    559566        frac <<= 64 - FLOAT64_FRACTION_SIZE - 1;
    560        
     567
    561568        frac >>= 64 - (a.parts.exp - FLOAT64_BIAS) - 1;
    562569        if ((a.parts.sign == 1) && (frac != 0)) {
    … …  
    564571                ++frac;
    565572        }
    566        
     573
    567574        return frac;
    568575}
    … …  
    570577/*
    571578 * FIXME: Im not sure what to return if overflow/underflow happens
    572  *  - now its the biggest or the smallest int
     579 *      - now its the biggest or the smallest int
    573580 */
    574581uint32_t float64_to_uint32(float64 a)
    575582{
    576         if (is_float64_nan(a))
     583        if (isFloat64NaN(a))
    577584                return UINT32_MAX;
    578        
    579         if (is_float64_infinity(a) || (a.parts.exp >= (32 + FLOAT64_BIAS))) {
     585
     586        if (isFloat64Infinity(a) || (a.parts.exp >= (32 + FLOAT64_BIAS))) {
    580587                if (a.parts.sign)
    581588                        return UINT32_MIN;
    582                
     589
    583590                return UINT32_MAX;
    584591        }
    585        
     592
    586593        return (uint32_t) _float64_to_uint64_helper(a);
    587594}
    … …  
    589596/*
    590597 * FIXME: Im not sure what to return if overflow/underflow happens
    591  *  - now its the biggest or the smallest int
     598 *      - now its the biggest or the smallest int
    592599 */
    593600int32_t float64_to_int32(float64 a)
    594601{
    595         if (is_float64_nan(a))
     602        if (isFloat64NaN(a))
    596603                return INT32_MAX;
    597        
    598         if (is_float64_infinity(a) || (a.parts.exp >= (32 + FLOAT64_BIAS))) {
     604
     605        if (isFloat64Infinity(a) || (a.parts.exp >= (32 + FLOAT64_BIAS))) {
    599606                if (a.parts.sign)
    600607                        return INT32_MIN;
    601                
     608
    602609                return INT32_MAX;
    603610        }
    604        
     611
    605612        return (int32_t) _float64_to_uint64_helper(a);
    606613}
    607614
    608 /*
     615
     616/*
    609617 * FIXME: Im not sure what to return if overflow/underflow happens
    610  *  - now its the biggest or the smallest int
    611  */
     618 *      - now its the biggest or the smallest int
     619 */ 
    612620uint64_t float64_to_uint64(float64 a)
    613621{
    614         if (is_float64_nan(a))
     622        if (isFloat64NaN(a))
    615623                return UINT64_MAX;
    616624       
    617         if (is_float64_infinity(a) || (a.parts.exp >= (64 + FLOAT64_BIAS))) {
     625        if (isFloat64Infinity(a) || (a.parts.exp >= (64 + FLOAT64_BIAS))) {
    618626                if (a.parts.sign)
    619627                        return UINT64_MIN;
    … …  
    625633}
    626634
    627 /*
     635/* 
    628636 * FIXME: Im not sure what to return if overflow/underflow happens
    629  *  - now its the biggest or the smallest int
    630  */
     637 *      - now its the biggest or the smallest int
     638 */ 
    631639int64_t float64_to_int64(float64 a)
    632640{
    633         if (is_float64_nan(a))
     641        if (isFloat64NaN(a))
    634642                return INT64_MAX;
    635643       
    636         if (is_float64_infinity(a) || (a.parts.exp >= (64 + FLOAT64_BIAS))) {
     644        if (isFloat64Infinity(a) || (a.parts.exp >= (64 + FLOAT64_BIAS))) {
    637645                if (a.parts.sign)
    638646                        return INT64_MIN;
    … …  
    644652}
    645653
    646 /** Helper procedure for converting float128 to uint64.
     654
     655/**
     656 * Helping procedure for converting float128 to uint64.
    647657 *
    648658 * @param a Floating point number in normalized form
    … …  
    653663{
    654664        uint64_t frac_hi, frac_lo;
    655        
     665
    656666        if (a.parts.exp < FLOAT128_BIAS) {
    657                 // TODO: rounding
     667                /*TODO: rounding*/
    658668                return 0;
    659669        }
    660        
     670
    661671        frac_hi = a.parts.frac_hi;
    662672        frac_lo = a.parts.frac_lo;
    663        
     673
    664674        frac_hi |= FLOAT128_HIDDEN_BIT_MASK_HI;
    665675        /* shift fraction to left so hidden bit will be the most significant bit */
    666676        lshift128(frac_hi, frac_lo,
    667677            (128 - FLOAT128_FRACTION_SIZE - 1), &frac_hi, &frac_lo);
    668        
     678
    669679        rshift128(frac_hi, frac_lo,
    670680            (128 - (a.parts.exp - FLOAT128_BIAS) - 1), &frac_hi, &frac_lo);
    … …  
    673683                add128(frac_hi, frac_lo, 0x0ll, 0x1ll, &frac_hi, &frac_lo);
    674684        }
    675        
     685
    676686        return frac_lo;
    677687}
    … …  
    679689/*
    680690 * FIXME: Im not sure what to return if overflow/underflow happens
    681  *  - now its the biggest or the smallest int
     691 *      - now its the biggest or the smallest int
    682692 */
    683693uint32_t float128_to_uint32(float128 a)
    684694{
    685         if (is_float128_nan(a))
     695        if (isFloat128NaN(a))
    686696                return UINT32_MAX;
    687        
    688         if (is_float128_infinity(a) || (a.parts.exp >= (32 + FLOAT128_BIAS))) {
     697
     698        if (isFloat128Infinity(a) || (a.parts.exp >= (32 + FLOAT128_BIAS))) {
    689699                if (a.parts.sign)
    690700                        return UINT32_MIN;
    691                
     701
    692702                return UINT32_MAX;
    693703        }
    694        
     704
    695705        return (uint32_t) _float128_to_uint64_helper(a);
    696706}
    … …  
    698708/*
    699709 * FIXME: Im not sure what to return if overflow/underflow happens
    700  *  - now its the biggest or the smallest int
     710 *      - now its the biggest or the smallest int
    701711 */
    702712int32_t float128_to_int32(float128 a)
    703713{
    704         if (is_float128_nan(a))
     714        if (isFloat128NaN(a))
    705715                return INT32_MAX;
    706        
    707         if (is_float128_infinity(a) || (a.parts.exp >= (32 + FLOAT128_BIAS))) {
     716
     717        if (isFloat128Infinity(a) || (a.parts.exp >= (32 + FLOAT128_BIAS))) {
    708718                if (a.parts.sign)
    709719                        return INT32_MIN;
    710                
     720
    711721                return INT32_MAX;
    712722        }
    713        
     723
    714724        return (int32_t) _float128_to_uint64_helper(a);
    715725}
     726
    716727
    717728/*
    718729 * FIXME: Im not sure what to return if overflow/underflow happens
    719  *  - now its the biggest or the smallest int
     730 *      - now its the biggest or the smallest int
    720731 */
    721732uint64_t float128_to_uint64(float128 a)
    722733{
    723         if (is_float128_nan(a))
     734        if (isFloat128NaN(a))
    724735                return UINT64_MAX;
    725        
    726         if (is_float128_infinity(a) || (a.parts.exp >= (64 + FLOAT128_BIAS))) {
     736
     737        if (isFloat128Infinity(a) || (a.parts.exp >= (64 + FLOAT128_BIAS))) {
    727738                if (a.parts.sign)
    728739                        return UINT64_MIN;
    729                
     740
    730741                return UINT64_MAX;
    731742        }
    732        
     743
    733744        return _float128_to_uint64_helper(a);
    734745}
    … …  
    736747/*
    737748 * FIXME: Im not sure what to return if overflow/underflow happens
    738  *  - now its the biggest or the smallest int
     749 *      - now its the biggest or the smallest int
    739750 */
    740751int64_t float128_to_int64(float128 a)
    741752{
    742         if (is_float128_nan(a))
     753        if (isFloat128NaN(a))
    743754                return INT64_MAX;
    744        
    745         if (is_float128_infinity(a) || (a.parts.exp >= (64 + FLOAT128_BIAS))) {
     755
     756        if (isFloat128Infinity(a) || (a.parts.exp >= (64 + FLOAT128_BIAS))) {
    746757                if (a.parts.sign)
    747758                        return INT64_MIN;
    748                
     759
    749760                return INT64_MAX;
    750761        }
    751        
     762
    752763        return _float128_to_uint64_helper(a);
    753764}
     765
    754766
    755767float32 uint32_to_float32(uint32_t i)
    … …  
    761773        result.parts.sign = 0;
    762774        result.parts.fraction = 0;
    763        
    764         counter = count_zeroes32(i);
    765        
     775
     776        counter = countZeroes32(i);
     777
    766778        exp = FLOAT32_BIAS + 32 - counter - 1;
    767779       
    768780        if (counter == 32) {
    769                 result.bin = 0;
     781                result.binary = 0;
    770782                return result;
    771783        }
    … …  
    776788                i >>= 1;
    777789        }
    778        
    779         round_float32(&exp, &i);
    780        
     790
     791        roundFloat32(&exp, &i);
     792
    781793        result.parts.fraction = i >> (32 - FLOAT32_FRACTION_SIZE - 2);
    782794        result.parts.exp = exp;
    783        
    784         return result;
    785 }
    786 
    787 float32 int32_to_float32(int32_t i)
     795
     796        return result;
     797}
     798
     799float32 int32_to_float32(int32_t i) 
    788800{
    789801        float32 result;
    790        
    791         if (i < 0)
     802
     803        if (i < 0) {
    792804                result = uint32_to_float32((uint32_t) (-i));
    793         else
     805        } else {
    794806                result = uint32_to_float32((uint32_t) i);
     807        }
    795808       
    796809        result.parts.sign = i < 0;
    797        
    798         return result;
    799 }
    800 
    801 float32 uint64_to_float32(uint64_t i)
     810
     811        return result;
     812}
     813
     814
     815float32 uint64_to_float32(uint64_t i)
    802816{
    803817        int counter;
    … …  
    808822        result.parts.sign = 0;
    809823        result.parts.fraction = 0;
    810        
    811         counter = count_zeroes64(i);
    812        
     824
     825        counter = countZeroes64(i);
     826
    813827        exp = FLOAT32_BIAS + 64 - counter - 1;
    814828       
    815829        if (counter == 64) {
    816                 result.bin = 0;
     830                result.binary = 0;
    817831                return result;
    818832        }
    … …  
    826840       
    827841        j = (uint32_t) i;
    828         round_float32(&exp, &j);
    829        
     842        roundFloat32(&exp, &j);
     843
    830844        result.parts.fraction = j >> (32 - FLOAT32_FRACTION_SIZE - 2);
    831845        result.parts.exp = exp;
    … …  
    833847}
    834848
    835 float32 int64_to_float32(int64_t i)
     849float32 int64_to_float32(int64_t i) 
    836850{
    837851        float32 result;
    838        
    839         if (i < 0)
     852
     853        if (i < 0) {
    840854                result = uint64_to_float32((uint64_t) (-i));
    841         else
     855        } else {
    842856                result = uint64_to_float32((uint64_t) i);
     857        }
    843858       
    844859        result.parts.sign = i < 0;
    845        
    846         return result;
     860
     861        return result;
    847862}
    848863
    … …  
    856871        result.parts.sign = 0;
    857872        result.parts.fraction = 0;
    858        
    859         counter = count_zeroes32(i);
    860        
     873
     874        counter = countZeroes32(i);
     875
    861876        exp = FLOAT64_BIAS + 32 - counter - 1;
    862877       
    863878        if (counter == 32) {
    864                 result.bin = 0;
     879                result.binary = 0;
    865880                return result;
    866881        }
    867882       
    868883        frac = i;
    869         frac <<= counter + 32 - 1;
    870        
    871         round_float64(&exp, &frac);
    872        
     884        frac <<= counter + 32 - 1; 
     885
     886        roundFloat64(&exp, &frac);
     887
    873888        result.parts.fraction = frac >> (64 - FLOAT64_FRACTION_SIZE - 2);
    874889        result.parts.exp = exp;
    875        
    876         return result;
    877 }
    878 
    879 float64 int32_to_float64(int32_t i)
     890
     891        return result;
     892}
     893
     894float64 int32_to_float64(int32_t i) 
    880895{
    881896        float64 result;
    882        
    883         if (i < 0)
     897
     898        if (i < 0) {
    884899                result = uint32_to_float64((uint32_t) (-i));
    885         else
     900        } else {
    886901                result = uint32_to_float64((uint32_t) i);
     902        }
    887903       
    888904        result.parts.sign = i < 0;
    889        
    890         return result;
    891 }
    892 
    893 
    894 float64 uint64_to_float64(uint64_t i)
     905
     906        return result;
     907}
     908
     909
     910float64 uint64_to_float64(uint64_t i) 
    895911{
    896912        int counter;
    … …  
    900916        result.parts.sign = 0;
    901917        result.parts.fraction = 0;
    902        
    903         counter = count_zeroes64(i);
    904        
     918
     919        counter = countZeroes64(i);
     920
    905921        exp = FLOAT64_BIAS + 64 - counter - 1;
    906922       
    907923        if (counter == 64) {
    908                 result.bin = 0;
     924                result.binary = 0;
    909925                return result;
    910926        }
    … …  
    915931                i >>= 1;
    916932        }
    917        
    918         round_float64(&exp, &i);
    919        
     933
     934        roundFloat64(&exp, &i);
     935
    920936        result.parts.fraction = i >> (64 - FLOAT64_FRACTION_SIZE - 2);
    921937        result.parts.exp = exp;
    … …  
    923939}
    924940
    925 float64 int64_to_float64(int64_t i)
     941float64 int64_to_float64(int64_t i) 
    926942{
    927943        float64 result;
    928        
    929         if (i < 0)
     944
     945        if (i < 0) {
    930946                result = uint64_to_float64((uint64_t) (-i));
    931         else
     947        } else {
    932948                result = uint64_to_float64((uint64_t) i);
     949        }
    933950       
    934951        result.parts.sign = i < 0;
    935        
    936         return result;
    937 }
     952
     953        return result;
     954}
     955
    938956
    939957float128 uint32_to_float128(uint32_t i)
    … …  
    943961        float128 result;
    944962        uint64_t frac_hi, frac_lo;
    945        
     963
    946964        result.parts.sign = 0;
    947965        result.parts.frac_hi = 0;
    948966        result.parts.frac_lo = 0;
    949        
    950         counter = count_zeroes32(i);
    951        
     967
     968        counter = countZeroes32(i);
     969
    952970        exp = FLOAT128_BIAS + 32 - counter - 1;
    953        
     971
    954972        if (counter == 32) {
    955                 result.bin.hi = 0;
    956                 result.bin.lo = 0;
    957                 return result;
    958         }
    959        
     973                result.binary.hi = 0;
     974                result.binary.lo = 0;
     975                return result;
     976        }
     977
    960978        frac_hi = 0;
    961979        frac_lo = i;
    962980        lshift128(frac_hi, frac_lo, (counter + 96 - 1), &frac_hi, &frac_lo);
    963        
    964         round_float128(&exp, &frac_hi, &frac_lo);
    965        
     981
     982        roundFloat128(&exp, &frac_hi, &frac_lo);
     983
    966984        rshift128(frac_hi, frac_lo,
    967985            (128 - FLOAT128_FRACTION_SIZE - 2), &frac_hi, &frac_lo);
    … …  
    969987        result.parts.frac_lo = frac_lo;
    970988        result.parts.exp = exp;
    971        
     989
    972990        return result;
    973991}
    … …  
    976994{
    977995        float128 result;
    978        
    979         if (i < 0)
     996
     997        if (i < 0) {
    980998                result = uint32_to_float128((uint32_t) (-i));
    981         else
     999        } else {
    9821000                result = uint32_to_float128((uint32_t) i);
    983        
     1001        }
     1002
    9841003        result.parts.sign = i < 0;
    985        
    986         return result;
     1004
     1005        return result;
    9871006}
    9881007
    … …  
    9941013        float128 result;
    9951014        uint64_t frac_hi, frac_lo;
    996        
     1015
    9971016        result.parts.sign = 0;
    9981017        result.parts.frac_hi = 0;
    9991018        result.parts.frac_lo = 0;
    1000        
    1001         counter = count_zeroes64(i);
    1002        
     1019
     1020        counter = countZeroes64(i);
     1021
    10031022        exp = FLOAT128_BIAS + 64 - counter - 1;
    1004        
     1023
    10051024        if (counter == 64) {
    1006                 result.bin.hi = 0;
    1007                 result.bin.lo = 0;
    1008                 return result;
    1009         }
    1010        
     1025                result.binary.hi = 0;
     1026                result.binary.lo = 0;
     1027                return result;
     1028        }
     1029
    10111030        frac_hi = 0;
    10121031        frac_lo = i;
    10131032        lshift128(frac_hi, frac_lo, (counter + 64 - 1), &frac_hi, &frac_lo);
    1014        
    1015         round_float128(&exp, &frac_hi, &frac_lo);
    1016        
     1033
     1034        roundFloat128(&exp, &frac_hi, &frac_lo);
     1035
    10171036        rshift128(frac_hi, frac_lo,
    10181037            (128 - FLOAT128_FRACTION_SIZE - 2), &frac_hi, &frac_lo);
    … …  
    10201039        result.parts.frac_lo = frac_lo;
    10211040        result.parts.exp = exp;
    1022        
     1041
    10231042        return result;
    10241043}
    … …  
    10271046{
    10281047        float128 result;
    1029        
    1030         if (i < 0)
     1048
     1049        if (i < 0) {
    10311050                result = uint64_to_float128((uint64_t) (-i));
    1032         else
     1051        } else {
    10331052                result = uint64_to_float128((uint64_t) i);
    1034        
     1053        }
     1054
    10351055        result.parts.sign = i < 0;
    1036        
    1037         return result;
     1056
     1057        return result;
    10381058}
    10391059

  • uspace/lib/softfloat/generic/div.c

    r41455a22 r6bb169b5  
    4141#include <common.h>
    4242
    43 /** Divide two single-precision floats.
    44  *
     43/**
     44 * Divide two single-precision floats.
     45 *
    4546 * @param a Nominator.
    4647 * @param b Denominator.
    47  *
    4848 * @return Result of division.
    49  *
    50  */
    51 float32 div_float32(float32 a, float32 b)
     49 */
     50float32 divFloat32(float32 a, float32 b)
    5251{
    5352        float32 result;
    … …  
    5756        result.parts.sign = a.parts.sign ^ b.parts.sign;
    5857       
    59         if (is_float32_nan(a)) {
    60                 if (is_float32_signan(a)) {
    61                         // FIXME: SigNaN
    62                 }
    63                 /* NaN */
     58        if (isFloat32NaN(a)) {
     59                if (isFloat32SigNaN(a)) {
     60                        /*FIXME: SigNaN*/
     61                }
     62                /*NaN*/
    6463                return a;
    6564        }
    6665       
    67         if (is_float32_nan(b)) {
    68                 if (is_float32_signan(b)) {
    69                         // FIXME: SigNaN
    70                 }
    71                 /* NaN */
     66        if (isFloat32NaN(b)) {
     67                if (isFloat32SigNaN(b)) {
     68                        /*FIXME: SigNaN*/
     69                }
     70                /*NaN*/
    7271                return b;
    7372        }
    7473       
    75         if (is_float32_infinity(a)) {
    76                 if (is_float32_infinity(b)) {
     74        if (isFloat32Infinity(a)) {
     75                if (isFloat32Infinity(b)) {
    7776                        /*FIXME: inf / inf */
    78                         result.bin = FLOAT32_NAN;
     77                        result.binary = FLOAT32_NAN;
    7978                        return result;
    8079                }
    … …  
    8483                return result;
    8584        }
    86        
    87         if (is_float32_infinity(b)) {
    88                 if (is_float32_zero(a)) {
     85
     86        if (isFloat32Infinity(b)) {
     87                if (isFloat32Zero(a)) {
    8988                        /* FIXME 0 / inf */
    9089                        result.parts.exp = 0;
    … …  
    9897        }
    9998       
    100         if (is_float32_zero(b)) {
    101                 if (is_float32_zero(a)) {
     99        if (isFloat32Zero(b)) {
     100                if (isFloat32Zero(a)) {
    102101                        /*FIXME: 0 / 0*/
    103                         result.bin = FLOAT32_NAN;
     102                        result.binary = FLOAT32_NAN;
    104103                        return result;
    105104                }
    … …  
    122121                        return result;
    123122                }
    124                
     123
    125124                /* normalize it*/
    126125                afrac <<= 1;
    127                 /* afrac is nonzero => it must stop */
     126                /* afrac is nonzero => it must stop */ 
    128127                while (!(afrac & FLOAT32_HIDDEN_BIT_MASK)) {
    129128                        afrac <<= 1;
    … …  
    131130                }
    132131        }
    133        
     132
    134133        if (bexp == 0) {
    135134                bfrac <<= 1;
    136                 /* bfrac is nonzero => it must stop */
     135                /* bfrac is nonzero => it must stop */ 
    137136                while (!(bfrac & FLOAT32_HIDDEN_BIT_MASK)) {
    138137                        bfrac <<= 1;
    … …  
    140139                }
    141140        }
    142        
    143         afrac = (afrac | FLOAT32_HIDDEN_BIT_MASK) << (32 - FLOAT32_FRACTION_SIZE - 1);
    144         bfrac = (bfrac | FLOAT32_HIDDEN_BIT_MASK) << (32 - FLOAT32_FRACTION_SIZE);
    145        
     141
     142        afrac = (afrac | FLOAT32_HIDDEN_BIT_MASK) << (32 - FLOAT32_FRACTION_SIZE - 1);
     143        bfrac = (bfrac | FLOAT32_HIDDEN_BIT_MASK) << (32 - FLOAT32_FRACTION_SIZE);
     144
    146145        if (bfrac <= (afrac << 1)) {
    147146                afrac >>= 1;
    … …  
    170169                ++cexp;
    171170                cfrac >>= 1;
    172         }
    173        
     171        }       
     172
    174173        /* check overflow */
    175174        if (cexp >= FLOAT32_MAX_EXPONENT) {
    … …  
    179178                return result;
    180179        }
    181        
     180
    182181        if (cexp < 0) {
    183182                /* FIXME: underflow */
    … …  
    191190                        cexp++;
    192191                        cfrac >>= 1;
    193                 }
     192                }       
    194193        } else {
    195194                result.parts.exp = (uint32_t) cexp;
    … …  
    198197        result.parts.fraction = ((cfrac >> 6) & (~FLOAT32_HIDDEN_BIT_MASK));
    199198       
    200         return result;
     199        return result; 
    201200}
    202201
    203 /** Divide two double-precision floats.
     202/**
     203 * Divide two double-precision floats.
    204204 *
    205205 * @param a Nominator.
    206206 * @param b Denominator.
    207  *
    208207 * @return Result of division.
    209  *
    210  */
    211 float64 div_float64(float64 a, float64 b)
     208 */
     209float64 divFloat64(float64 a, float64 b)
    212210{
    213211        float64 result;
    … …  
    219217        result.parts.sign = a.parts.sign ^ b.parts.sign;
    220218       
    221         if (is_float64_nan(a)) {
    222                 if (is_float64_signan(b)) {
    223                         // FIXME: SigNaN
     219        if (isFloat64NaN(a)) {
     220                if (isFloat64SigNaN(b)) {
     221                        /*FIXME: SigNaN*/
    224222                        return b;
    225223                }
    226224               
    227                 if (is_float64_signan(a)) {
    228                         // FIXME: SigNaN
    229                 }
    230                 /* NaN */
     225                if (isFloat64SigNaN(a)) {
     226                        /*FIXME: SigNaN*/
     227                }
     228                /*NaN*/
    231229                return a;
    232230        }
    233231       
    234         if (is_float64_nan(b)) {
    235                 if (is_float64_signan(b)) {
    236                         // FIXME: SigNaN
    237                 }
    238                 /* NaN */
     232        if (isFloat64NaN(b)) {
     233                if (isFloat64SigNaN(b)) {
     234                        /*FIXME: SigNaN*/
     235                }
     236                /*NaN*/
    239237                return b;
    240238        }
    241239       
    242         if (is_float64_infinity(a)) {
    243                 if (is_float64_infinity(b) || is_float64_zero(b)) {
    244                         // FIXME: inf / inf
    245                         result.bin = FLOAT64_NAN;
     240        if (isFloat64Infinity(a)) {
     241                if (isFloat64Infinity(b) || isFloat64Zero(b)) {
     242                        /*FIXME: inf / inf */
     243                        result.binary = FLOAT64_NAN;
    246244                        return result;
    247245                }
    … …  
    251249                return result;
    252250        }
    253        
    254         if (is_float64_infinity(b)) {
    255                 if (is_float64_zero(a)) {
     251
     252        if (isFloat64Infinity(b)) {
     253                if (isFloat64Zero(a)) {
    256254                        /* FIXME 0 / inf */
    257255                        result.parts.exp = 0;
    … …  
    265263        }
    266264       
    267         if (is_float64_zero(b)) {
    268                 if (is_float64_zero(a)) {
     265        if (isFloat64Zero(b)) {
     266                if (isFloat64Zero(a)) {
    269267                        /*FIXME: 0 / 0*/
    270                         result.bin = FLOAT64_NAN;
     268                        result.binary = FLOAT64_NAN;
    271269                        return result;
    272270                }
    … …  
    276274                return result;
    277275        }
    278        
     276
    279277        afrac = a.parts.fraction;
    280278        aexp = a.parts.exp;
    … …  
    289287                        return result;
    290288                }
    291                
     289
    292290                /* normalize it*/
    293291                aexp++;
    … …  
    298296                }
    299297        }
    300        
     298
    301299        if (bexp == 0) {
    302300                bexp++;
    … …  
    307305                }
    308306        }
    309        
    310         afrac = (afrac | FLOAT64_HIDDEN_BIT_MASK) << (64 - FLOAT64_FRACTION_SIZE - 2);
    311         bfrac = (bfrac | FLOAT64_HIDDEN_BIT_MASK) << (64 - FLOAT64_FRACTION_SIZE - 1);
    312        
     307
     308        afrac = (afrac | FLOAT64_HIDDEN_BIT_MASK) << (64 - FLOAT64_FRACTION_SIZE - 2);
     309        bfrac = (bfrac | FLOAT64_HIDDEN_BIT_MASK) << (64 - FLOAT64_FRACTION_SIZE - 1);
     310
    313311        if (bfrac <= (afrac << 1)) {
    314312                afrac >>= 1;
    … …  
    332330       
    333331        /* round and shift */
    334         result = finish_float64(cexp, cfrac, result.parts.sign);
     332        result = finishFloat64(cexp, cfrac, result.parts.sign);
    335333        return result;
    336334}
    337335
    338 /** Divide two quadruple-precision floats.
     336/**
     337 * Divide two quadruple-precision floats.
    339338 *
    340339 * @param a Nominator.
    341340 * @param b Denominator.
    342  *
    343341 * @return Result of division.
    344  *
    345  */
    346 float128 div_float128(float128 a, float128 b)
     342 */
     343float128 divFloat128(float128 a, float128 b)
    347344{
    348345        float128 result;
    … …  
    352349        uint64_t rem_hihi, rem_hilo, rem_lohi, rem_lolo;
    353350        uint64_t tmp_hihi, tmp_hilo, tmp_lohi, tmp_lolo;
    354        
     351
    355352        result.parts.sign = a.parts.sign ^ b.parts.sign;
    356        
    357         if (is_float128_nan(a)) {
    358                 if (is_float128_signan(b)) {
    359                         // FIXME: SigNaN
     353
     354        if (isFloat128NaN(a)) {
     355                if (isFloat128SigNaN(b)) {
     356                        /*FIXME: SigNaN*/
    360357                        return b;
    361358                }
    362                
    363                 if (is_float128_signan(a)) {
    364                         // FIXME: SigNaN
    365                 }
    366                 /* NaN */
     359
     360                if (isFloat128SigNaN(a)) {
     361                        /*FIXME: SigNaN*/
     362                }
     363                /*NaN*/
    367364                return a;
    368365        }
    369        
    370         if (is_float128_nan(b)) {
    371                 if (is_float128_signan(b)) {
    372                         // FIXME: SigNaN
    373                 }
    374                 /* NaN */
     366
     367        if (isFloat128NaN(b)) {
     368                if (isFloat128SigNaN(b)) {
     369                        /*FIXME: SigNaN*/
     370                }
     371                /*NaN*/
    375372                return b;
    376373        }
    377        
    378         if (is_float128_infinity(a)) {
    379                 if (is_float128_infinity(b) || is_float128_zero(b)) {
    380                         // FIXME: inf / inf
    381                         result.bin.hi = FLOAT128_NAN_HI;
    382                         result.bin.lo = FLOAT128_NAN_LO;
     374
     375        if (isFloat128Infinity(a)) {
     376                if (isFloat128Infinity(b) || isFloat128Zero(b)) {
     377                        /*FIXME: inf / inf */
     378                        result.binary.hi = FLOAT128_NAN_HI;
     379                        result.binary.lo = FLOAT128_NAN_LO;
    383380                        return result;
    384381                }
    … …  
    389386                return result;
    390387        }
    391        
    392         if (is_float128_infinity(b)) {
    393                 if (is_float128_zero(a)) {
    394                         // FIXME 0 / inf
     388
     389        if (isFloat128Infinity(b)) {
     390                if (isFloat128Zero(a)) {
     391                        /* FIXME 0 / inf */
    395392                        result.parts.exp = 0;
    396393                        result.parts.frac_hi = 0;
    … …  
    398395                        return result;
    399396                }
    400                 // FIXME: num / inf
     397                /* FIXME: num / inf*/
    401398                result.parts.exp = 0;
    402399                result.parts.frac_hi = 0;
    … …  
    404401                return result;
    405402        }
    406        
    407         if (is_float128_zero(b)) {
    408                 if (is_float128_zero(a)) {
    409                         // FIXME: 0 / 0
    410                         result.bin.hi = FLOAT128_NAN_HI;
    411                         result.bin.lo = FLOAT128_NAN_LO;
    412                         return result;
    413                 }
    414                 // FIXME: division by zero
     403
     404        if (isFloat128Zero(b)) {
     405                if (isFloat128Zero(a)) {
     406                        /*FIXME: 0 / 0*/
     407                        result.binary.hi = FLOAT128_NAN_HI;
     408                        result.binary.lo = FLOAT128_NAN_LO;
     409                        return result;
     410                }
     411                /* FIXME: division by zero */
    415412                result.parts.exp = 0;
    416413                result.parts.frac_hi = 0;
    … …  
    418415                return result;
    419416        }
    420        
     417
    421418        afrac_hi = a.parts.frac_hi;
    422419        afrac_lo = a.parts.frac_lo;
    … …  
    425422        bfrac_lo = b.parts.frac_lo;
    426423        bexp = b.parts.exp;
    427        
     424
    428425        /* denormalized numbers */
    429426        if (aexp == 0) {
    … …  
    434431                        return result;
    435432                }
    436                
     433
    437434                /* normalize it*/
    438435                aexp++;
    … …  
    446443                }
    447444        }
    448        
     445
    449446        if (bexp == 0) {
    450447                bexp++;
    … …  
    458455                }
    459456        }
    460        
     457
    461458        or128(afrac_hi, afrac_lo,
    462459            FLOAT128_HIDDEN_BIT_MASK_HI, FLOAT128_HIDDEN_BIT_MASK_LO,
    … …  
    469466        lshift128(bfrac_hi, bfrac_lo,
    470467            (128 - FLOAT128_FRACTION_SIZE - 1), &bfrac_hi, &bfrac_lo);
    471        
     468
    472469        if (le128(bfrac_hi, bfrac_lo, afrac_hi, afrac_lo)) {
    473470                rshift128(afrac_hi, afrac_lo, 1, &afrac_hi, &afrac_lo);
    474471                aexp++;
    475472        }
    476        
     473
    477474        cexp = aexp - bexp + FLOAT128_BIAS - 2;
    478        
     475
    479476        cfrac_hi = div128est(afrac_hi, afrac_lo, bfrac_hi);
    480        
     477
    481478        mul128(bfrac_hi, bfrac_lo, 0x0ll, cfrac_hi,
    482479            &tmp_lolo /* dummy */, &tmp_hihi, &tmp_hilo, &tmp_lohi);
    483        
    484         /* sub192(afrac_hi, afrac_lo, 0,
     480
     481        /* sub192(afrac_hi, afrac_lo, 0, 
    485482         *     tmp_hihi, tmp_hilo, tmp_lohi
    486483         *     &rem_hihi, &rem_hilo, &rem_lohi); */
    … …  
    490487        }
    491488        rem_lohi = -tmp_lohi;
    492        
     489
    493490        while ((int64_t) rem_hihi < 0) {
    494491                --cfrac_hi;
    495                 /* add192(rem_hihi, rem_hilo, rem_lohi,
     492                /* add192(rem_hihi, rem_hilo, rem_lohi, 
    496493                 *     0, bfrac_hi, bfrac_lo,
    497494                 *     &rem_hihi, &rem_hilo, &rem_lohi); */
    … …  
    501498                }
    502499        }
    503        
     500
    504501        cfrac_lo = div128est(rem_hilo, rem_lohi, bfrac_lo);
    505        
     502
    506503        if ((cfrac_lo & 0x3FFF) <= 4) {
    507504                mul128(bfrac_hi, bfrac_lo, 0x0ll, cfrac_lo,
    508                     &tmp_hihi /* dummy */, &tmp_hilo, &tmp_lohi, &tmp_lolo);
    509                
     505                &tmp_hihi /* dummy */, &tmp_hilo, &tmp_lohi, &tmp_lolo);
     506
    510507                /* sub192(rem_hilo, rem_lohi, 0,
    511508                 *     tmp_hilo, tmp_lohi, tmp_lolo,
    … …  
    516513                }
    517514                rem_lolo = -tmp_lolo;
    518                
     515
    519516                while ((int64_t) rem_hilo < 0) {
    520517                        --cfrac_lo;
    … …  
    527524                        }
    528525                }
    529                
     526
    530527                cfrac_lo |= ((rem_hilo | rem_lohi | rem_lolo) != 0 );
    531528        }
    532        
     529
    533530        shift_out = cfrac_lo << (64 - (128 - FLOAT128_FRACTION_SIZE - 1));
    534531        rshift128(cfrac_hi, cfrac_lo, (128 - FLOAT128_FRACTION_SIZE - 1),
    535532            &cfrac_hi, &cfrac_lo);
    536        
    537         result = finish_float128(cexp, cfrac_hi, cfrac_lo, result.parts.sign, shift_out);
     533
     534        result = finishFloat128(cexp, cfrac_hi, cfrac_lo, result.parts.sign, shift_out);
    538535        return result;
    539536}

  • uspace/lib/softfloat/generic/mul.c

    r41455a22 r6bb169b5  
    3939#include <common.h>
    4040
    41 /** Multiply two single-precision floats.
     41/**
     42 * Multiply two single-precision floats.
    4243 *
    4344 * @param a First input operand.
    4445 * @param b Second input operand.
    45  *
    4646 * @return Result of multiplication.
    47  *
    48  */
    49 float32 mul_float32(float32 a, float32 b)
     47 */
     48float32 mulFloat32(float32 a, float32 b)
    5049{
    5150        float32 result;
    5251        uint64_t frac1, frac2;
    5352        int32_t exp;
    54        
     53
    5554        result.parts.sign = a.parts.sign ^ b.parts.sign;
    5655       
    57         if (is_float32_nan(a) || is_float32_nan(b)) {
     56        if (isFloat32NaN(a) || isFloat32NaN(b)) {
    5857                /* TODO: fix SigNaNs */
    59                 if (is_float32_signan(a)) {
     58                if (isFloat32SigNaN(a)) {
    6059                        result.parts.fraction = a.parts.fraction;
    6160                        result.parts.exp = a.parts.exp;
    6261                        return result;
    6362                }
    64                 if (is_float32_signan(b)) { /* TODO: fix SigNaN */
     63                if (isFloat32SigNaN(b)) { /* TODO: fix SigNaN */
    6564                        result.parts.fraction = b.parts.fraction;
    6665                        result.parts.exp = b.parts.exp;
    … …  
    6867                }
    6968                /* set NaN as result */
    70                 result.bin = FLOAT32_NAN;
    71                 return result;
    72         }
    73        
    74         if (is_float32_infinity(a)) {
    75                 if (is_float32_zero(b)) {
    76                         /* FIXME: zero * infinity */
    77                         result.bin = FLOAT32_NAN;
     69                result.binary = FLOAT32_NAN;
     70                return result;
     71        }
     72               
     73        if (isFloat32Infinity(a)) {
     74                if (isFloat32Zero(b)) {
     75                        /* FIXME: zero * infinity */
     76                        result.binary = FLOAT32_NAN;
    7877                        return result;
    7978                }
    … …  
    8281                return result;
    8382        }
    84        
    85         if (is_float32_infinity(b)) {
    86                 if (is_float32_zero(a)) {
    87                         /* FIXME: zero * infinity */
    88                         result.bin = FLOAT32_NAN;
     83
     84        if (isFloat32Infinity(b)) {
     85                if (isFloat32Zero(a)) {
     86                        /* FIXME: zero * infinity */
     87                        result.binary = FLOAT32_NAN;
    8988                        return result;
    9089                }
    … …  
    9392                return result;
    9493        }
    95        
     94
    9695        /* exp is signed so we can easy detect underflow */
    9796        exp = a.parts.exp + b.parts.exp;
    … …  
    101100                /* FIXME: overflow */
    102101                /* set infinity as result */
    103                 result.bin = FLOAT32_INF;
     102                result.binary = FLOAT32_INF;
    104103                result.parts.sign = a.parts.sign ^ b.parts.sign;
    105104                return result;
    … …  
    122121       
    123122        frac2 = b.parts.fraction;
    124        
     123
    125124        if (b.parts.exp > 0) {
    126125                frac2 |= FLOAT32_HIDDEN_BIT_MASK;
    … …  
    128127                ++exp;
    129128        }
    130        
     129
    131130        frac1 <<= 1; /* one bit space for rounding */
    132        
     131
    133132        frac1 = frac1 * frac2;
    134        
     133
    135134        /* round and return */
    136         while ((exp < FLOAT32_MAX_EXPONENT) &&
    137             (frac1 >= (1 << (FLOAT32_FRACTION_SIZE + 2)))) {
     135        while ((exp < FLOAT32_MAX_EXPONENT) && (frac1 >= (1 << (FLOAT32_FRACTION_SIZE + 2)))) {
    138136                /* 23 bits of fraction + one more for hidden bit (all shifted 1 bit left) */
    139137                ++exp;
    140138                frac1 >>= 1;
    141139        }
    142        
     140
    143141        /* rounding */
    144142        /* ++frac1; FIXME: not works - without it is ok */
    145143        frac1 >>= 1; /* shift off rounding space */
    146144       
    147         if ((exp < FLOAT32_MAX_EXPONENT) &&
    148             (frac1 >= (1 << (FLOAT32_FRACTION_SIZE + 1)))) {
     145        if ((exp < FLOAT32_MAX_EXPONENT) && (frac1 >= (1 << (FLOAT32_FRACTION_SIZE + 1)))) {
    149146                ++exp;
    150147                frac1 >>= 1;
    151148        }
    152        
    153         if (exp >= FLOAT32_MAX_EXPONENT) {
     149
     150        if (exp >= FLOAT32_MAX_EXPONENT) {     
    154151                /* TODO: fix overflow */
    155152                /* return infinity*/
    … …  
    160157       
    161158        exp -= FLOAT32_FRACTION_SIZE;
    162        
    163         if (exp <= FLOAT32_FRACTION_SIZE) {
     159
     160        if (exp <= FLOAT32_FRACTION_SIZE) { 
    164161                /* denormalized number */
    165162                frac1 >>= 1; /* denormalize */
    … …  
    178175        result.parts.fraction = frac1 & ((1 << FLOAT32_FRACTION_SIZE) - 1);
    179176       
    180         return result;
     177        return result; 
    181178}
    182179
    183 /** Multiply two double-precision floats.
     180/**
     181 * Multiply two double-precision floats.
    184182 *
    185183 * @param a First input operand.
    186184 * @param b Second input operand.
    187  *
    188185 * @return Result of multiplication.
    189  *
    190  */
    191 float64 mul_float64(float64 a, float64 b)
     186 */
     187float64 mulFloat64(float64 a, float64 b)
    192188{
    193189        float64 result;
    194190        uint64_t frac1, frac2;
    195191        int32_t exp;
    196        
     192
    197193        result.parts.sign = a.parts.sign ^ b.parts.sign;
    198194       
    199         if (is_float64_nan(a) || is_float64_nan(b)) {
     195        if (isFloat64NaN(a) || isFloat64NaN(b)) {
    200196                /* TODO: fix SigNaNs */
    201                 if (is_float64_signan(a)) {
     197                if (isFloat64SigNaN(a)) {
    202198                        result.parts.fraction = a.parts.fraction;
    203199                        result.parts.exp = a.parts.exp;
    204200                        return result;
    205201                }
    206                 if (is_float64_signan(b)) { /* TODO: fix SigNaN */
     202                if (isFloat64SigNaN(b)) { /* TODO: fix SigNaN */
    207203                        result.parts.fraction = b.parts.fraction;
    208204                        result.parts.exp = b.parts.exp;
    … …  
    210206                }
    211207                /* set NaN as result */
    212                 result.bin = FLOAT64_NAN;
    213                 return result;
    214         }
    215        
    216         if (is_float64_infinity(a)) {
    217                 if (is_float64_zero(b)) {
    218                         /* FIXME: zero * infinity */
    219                         result.bin = FLOAT64_NAN;
     208                result.binary = FLOAT64_NAN;
     209                return result;
     210        }
     211               
     212        if (isFloat64Infinity(a)) {
     213                if (isFloat64Zero(b)) {
     214                        /* FIXME: zero * infinity */
     215                        result.binary = FLOAT64_NAN;
    220216                        return result;
    221217                }
    … …  
    224220                return result;
    225221        }
    226        
    227         if (is_float64_infinity(b)) {
    228                 if (is_float64_zero(a)) {
    229                         /* FIXME: zero * infinity */
    230                         result.bin = FLOAT64_NAN;
     222
     223        if (isFloat64Infinity(b)) {
     224                if (isFloat64Zero(a)) {
     225                        /* FIXME: zero * infinity */
     226                        result.binary = FLOAT64_NAN;
    231227                        return result;
    232228                }
    … …  
    235231                return result;
    236232        }
    237        
     233
    238234        /* exp is signed so we can easy detect underflow */
    239235        exp = a.parts.exp + b.parts.exp - FLOAT64_BIAS;
    240236       
    241237        frac1 = a.parts.fraction;
    242        
     238
    243239        if (a.parts.exp > 0) {
    244240                frac1 |= FLOAT64_HIDDEN_BIT_MASK;
    … …  
    248244       
    249245        frac2 = b.parts.fraction;
    250        
     246
    251247        if (b.parts.exp > 0) {
    252248                frac2 |= FLOAT64_HIDDEN_BIT_MASK;
    … …  
    254250                ++exp;
    255251        }
    256        
     252
    257253        frac1 <<= (64 - FLOAT64_FRACTION_SIZE - 1);
    258254        frac2 <<= (64 - FLOAT64_FRACTION_SIZE - 2);
    259        
     255
    260256        mul64(frac1, frac2, &frac1, &frac2);
    261        
     257
    262258        frac1 |= (frac2 != 0);
    263259        if (frac1 & (0x1ll << 62)) {
    … …  
    265261                exp--;
    266262        }
    267        
    268         result = finish_float64(exp, frac1, result.parts.sign);
     263
     264        result = finishFloat64(exp, frac1, result.parts.sign);
    269265        return result;
    270266}
    271267
    272 /** Multiply two quadruple-precision floats.
     268/**
     269 * Multiply two quadruple-precision floats.
    273270 *
    274271 * @param a First input operand.
    275272 * @param b Second input operand.
    276  *
    277273 * @return Result of multiplication.
    278  *
    279  */
    280 float128 mul_float128(float128 a, float128 b)
     274 */
     275float128 mulFloat128(float128 a, float128 b)
    281276{
    282277        float128 result;
    283278        uint64_t frac1_hi, frac1_lo, frac2_hi, frac2_lo, tmp_hi, tmp_lo;
    284279        int32_t exp;
    285        
     280
    286281        result.parts.sign = a.parts.sign ^ b.parts.sign;
    287        
    288         if (is_float128_nan(a) || is_float128_nan(b)) {
     282
     283        if (isFloat128NaN(a) || isFloat128NaN(b)) {
    289284                /* TODO: fix SigNaNs */
    290                 if (is_float128_signan(a)) {
     285                if (isFloat128SigNaN(a)) {
    291286                        result.parts.frac_hi = a.parts.frac_hi;
    292287                        result.parts.frac_lo = a.parts.frac_lo;
    … …  
    294289                        return result;
    295290                }
    296                 if (is_float128_signan(b)) { /* TODO: fix SigNaN */
     291                if (isFloat128SigNaN(b)) { /* TODO: fix SigNaN */
    297292                        result.parts.frac_hi = b.parts.frac_hi;
    298293                        result.parts.frac_lo = b.parts.frac_lo;
    … …  
    301296                }
    302297                /* set NaN as result */
    303                 result.bin.hi = FLOAT128_NAN_HI;
    304                 result.bin.lo = FLOAT128_NAN_LO;
    305                 return result;
    306         }
    307        
    308         if (is_float128_infinity(a)) {
    309                 if (is_float128_zero(b)) {
    310                         /* FIXME: zero * infinity */
    311                         result.bin.hi = FLOAT128_NAN_HI;
    312                         result.bin.lo = FLOAT128_NAN_LO;
     298                result.binary.hi = FLOAT128_NAN_HI;
     299                result.binary.lo = FLOAT128_NAN_LO;
     300                return result;
     301        }
     302
     303        if (isFloat128Infinity(a)) {
     304                if (isFloat128Zero(b)) {
     305                        /* FIXME: zero * infinity */
     306                        result.binary.hi = FLOAT128_NAN_HI;
     307                        result.binary.lo = FLOAT128_NAN_LO;
    313308                        return result;
    314309                }
    … …  
    318313                return result;
    319314        }
    320        
    321         if (is_float128_infinity(b)) {
    322                 if (is_float128_zero(a)) {
    323                         /* FIXME: zero * infinity */
    324                         result.bin.hi = FLOAT128_NAN_HI;
    325                         result.bin.lo = FLOAT128_NAN_LO;
     315
     316        if (isFloat128Infinity(b)) {
     317                if (isFloat128Zero(a)) {
     318                        /* FIXME: zero * infinity */
     319                        result.binary.hi = FLOAT128_NAN_HI;
     320                        result.binary.lo = FLOAT128_NAN_LO;
    326321                        return result;
    327322                }
    … …  
    331326                return result;
    332327        }
    333        
     328
    334329        /* exp is signed so we can easy detect underflow */
    335330        exp = a.parts.exp + b.parts.exp - FLOAT128_BIAS - 1;
    336        
     331
    337332        frac1_hi = a.parts.frac_hi;
    338333        frac1_lo = a.parts.frac_lo;
    339        
     334
    340335        if (a.parts.exp > 0) {
    341336                or128(frac1_hi, frac1_lo,
    342                     FLOAT128_HIDDEN_BIT_MASK_HI, FLOAT128_HIDDEN_BIT_MASK_LO,
    343                     &frac1_hi, &frac1_lo);
    344         } else {
    345                 ++exp;
    346         }
    347        
     337                FLOAT128_HIDDEN_BIT_MASK_HI, FLOAT128_HIDDEN_BIT_MASK_LO,
     338                &frac1_hi, &frac1_lo);
     339        } else {
     340                ++exp;
     341        }
     342
    348343        frac2_hi = b.parts.frac_hi;
    349344        frac2_lo = b.parts.frac_lo;
    350        
     345
    351346        if (b.parts.exp > 0) {
    352347                or128(frac2_hi, frac2_lo,
    … …  
    356351                ++exp;
    357352        }
    358        
     353
    359354        lshift128(frac2_hi, frac2_lo,
    360355            128 - FLOAT128_FRACTION_SIZE, &frac2_hi, &frac2_lo);
    361        
     356
    362357        tmp_hi = frac1_hi;
    363358        tmp_lo = frac1_lo;
    … …  
    366361        add128(frac1_hi, frac1_lo, tmp_hi, tmp_lo, &frac1_hi, &frac1_lo);
    367362        frac2_hi |= (frac2_lo != 0x0ll);
    368        
     363
    369364        if ((FLOAT128_HIDDEN_BIT_MASK_HI << 1) <= frac1_hi) {
    370365                frac2_hi >>= 1;
    … …  
    375370                ++exp;
    376371        }
    377        
    378         result = finish_float128(exp, frac1_hi, frac1_lo, result.parts.sign, frac2_hi);
     372
     373        result = finishFloat128(exp, frac1_hi, frac1_lo, result.parts.sign, frac2_hi);
    379374        return result;
    380375}

  • uspace/lib/softfloat/generic/softfloat.c

    r41455a22 r6bb169b5  
    4848#include <other.h>
    4949
     50#include <functions.h>
     51
    5052/* Arithmetic functions */
    5153
    5254float __addsf3(float a, float b)
    5355{
    54         float_t fa;
    55         float_t fb;
    56         float_t res;
    57        
    58         fa.val = a;
    59         fb.val = b;
    60        
    61         if (fa.data.parts.sign != fb.data.parts.sign) {
    62                 if (fa.data.parts.sign) {
    63                         fa.data.parts.sign = 0;
    64                         res.data = sub_float(fb.data, fa.data);
    65                        
    66                         return res.val;
    67                 }
    68                
    69                 fb.data.parts.sign = 0;
    70                 res.data = sub_float(fa.data, fb.data);
    71                
    72                 return res.val;
    73         }
    74        
    75         res.data = add_float(fa.data, fb.data);
    76         return res.val;
     56        float32 fa, fb;
     57        fa.f = a;
     58        fb.f = b;
     59        if (fa.parts.sign != fb.parts.sign) {
     60                if (fa.parts.sign) {
     61                        fa.parts.sign = 0;
     62                        return subFloat32(fb, fa).f;
     63                };
     64                fb.parts.sign = 0;
     65                return subFloat32(fa, fb).f;
     66        }
     67        return addFloat32(fa, fb).f;
    7768}
    7869
    7970double __adddf3(double a, double b)
    8071{
    81         double_t da;
    82         double_t db;
    83         double_t res;
    84        
    85         da.val = a;
    86         db.val = b;
    87        
    88         if (da.data.parts.sign != db.data.parts.sign) {
    89                 if (da.data.parts.sign) {
    90                         da.data.parts.sign = 0;
    91                         res.data = sub_double(db.data, da.data);
    92                        
    93                         return res.val;
    94                 }
    95                
    96                 db.data.parts.sign = 0;
    97                 res.data = sub_double(da.data, db.data);
    98                
    99                 return res.val;
    100         }
    101        
    102         res.data = add_double(da.data, db.data);
    103         return res.val;
     72        float64 da, db;
     73        da.d = a;
     74        db.d = b;
     75        if (da.parts.sign != db.parts.sign) {
     76                if (da.parts.sign) {
     77                        da.parts.sign = 0;
     78                        return subFloat64(db, da).d;
     79                };
     80                db.parts.sign = 0;
     81                return subFloat64(da, db).d;
     82        }
     83        return addFloat64(da, db).d;
    10484}
    10585
    10686long double __addtf3(long double a, long double b)
    10787{
    108         long_double_t ta;
    109         long_double_t tb;
    110         long_double_t res;
    111        
    112         ta.val = a;
    113         tb.val = b;
    114        
    115         if (ta.data.parts.sign != tb.data.parts.sign) {
    116                 if (ta.data.parts.sign) {
    117                         ta.data.parts.sign = 0;
    118                         res.data = sub_long_double(tb.data, ta.data);
    119                        
    120                         return res.val;
    121                 }
    122                
    123                 tb.data.parts.sign = 0;
    124                 res.data = sub_long_double(ta.data, tb.data);
    125                
    126                 return res.val;
    127         }
    128        
    129         res.data = add_long_double(ta.data, tb.data);
    130         return res.val;
     88        float128 ta, tb;
     89        ta.ld = a;
     90        tb.ld = b;
     91        if (ta.parts.sign != tb.parts.sign) {
     92                if (ta.parts.sign) {
     93                        ta.parts.sign = 0;
     94                        return subFloat128(tb, ta).ld;
     95                };
     96                tb.parts.sign = 0;
     97                return subFloat128(ta, tb).ld;
     98        }
     99        return addFloat128(ta, tb).ld;
    131100}
    132101
    133102float __subsf3(float a, float b)
    134103{
    135         float_t fa;
    136         float_t fb;
    137         float_t res;
    138        
    139         fa.val = a;
    140         fb.val = b;
    141        
    142         if (fa.data.parts.sign != fb.data.parts.sign) {
    143                 fb.data.parts.sign = !fb.data.parts.sign;
    144                 res.data = add_float(fa.data, fb.data);
    145                
    146                 return res.val;
    147         }
    148        
    149         res.data = sub_float(fa.data, fb.data);
    150         return res.val;
     104        float32 fa, fb;
     105        fa.f = a;
     106        fb.f = b;
     107        if (fa.parts.sign != fb.parts.sign) {
     108                fb.parts.sign = !fb.parts.sign;
     109                return addFloat32(fa, fb).f;
     110        }
     111        return subFloat32(fa, fb).f;
    151112}
    152113
    153114double __subdf3(double a, double b)
    154115{
    155         double_t da;
    156         double_t db;
    157         double_t res;
    158        
    159         da.val = a;
    160         db.val = b;
    161        
    162         if (da.data.parts.sign != db.data.parts.sign) {
    163                 db.data.parts.sign = !db.data.parts.sign;
    164                 res.data = add_double(da.data, db.data);
    165                
    166                 return res.val;
    167         }
    168        
    169         res.data = sub_double(da.data, db.data);
    170         return res.val;
     116        float64 da, db;
     117        da.d = a;
     118        db.d = b;
     119        if (da.parts.sign != db.parts.sign) {
     120                db.parts.sign = !db.parts.sign;
     121                return addFloat64(da, db).d;
     122        }
     123        return subFloat64(da, db).d;
    171124}
    172125
    173126long double __subtf3(long double a, long double b)
    174127{
    175         long_double_t ta;
    176         long_double_t tb;
    177         long_double_t res;
    178        
    179         ta.val = a;
    180         tb.val = b;
    181        
    182         if (ta.data.parts.sign != tb.data.parts.sign) {
    183                 tb.data.parts.sign = !tb.data.parts.sign;
    184                 res.data = add_long_double(ta.data, tb.data);
    185                
    186                 return res.val;
    187         }
    188        
    189         res.data = sub_long_double(ta.data, tb.data);
    190         return res.val;
    191 }
    192 
    193 float __mulsf3(float a, float b)
    194 {
    195         float_t fa;
    196         float_t fb;
    197         float_t res;
    198        
    199         fa.val = a;
    200         fb.val = b;
    201        
    202         res.data = mul_float(fa.data, fb.data);
    203         return res.val;
    204 }
    205 
    206 double __muldf3(double a, double b)
    207 {
    208         double_t da;
    209         double_t db;
    210         double_t res;
    211        
    212         da.val = a;
    213         db.val = b;
    214        
    215         res.data = mul_double(da.data, db.data);
    216         return res.val;
     128        float128 ta, tb;
     129        ta.ld = a;
     130        tb.ld = b;
     131        if (ta.parts.sign != tb.parts.sign) {
     132                tb.parts.sign = !tb.parts.sign;
     133                return addFloat128(ta, tb).ld;
     134        }
     135        return subFloat128(ta, tb).ld;
     136}
     137
     138float __mulsf3(float a, float b)
     139{
     140        float32 fa, fb;
     141        fa.f = a;
     142        fb.f = b;
     143        return  mulFloat32(fa, fb).f;
     144}
     145
     146double __muldf3(double a, double b)
     147{
     148        float64 da, db;
     149        da.d = a;
     150        db.d = b;
     151        return  mulFloat64(da, db).d;
    217152}
    218153
    219154long double __multf3(long double a, long double b)
    220155{
    221         long_double_t ta;
    222         long_double_t tb;
    223         long_double_t res;
    224        
    225         ta.val = a;
    226         tb.val = b;
    227        
    228         res.data = mul_long_double(ta.data, tb.data);
    229         return res.val;
    230 }
    231 
    232 float __divsf3(float a, float b)
    233 {
    234         float_t fa;
    235         float_t fb;
    236         float_t res;
    237        
    238         fa.val = a;
    239         fb.val = b;
    240        
    241         res.data = div_float(fa.data, fb.data);
    242         return res.val;
    243 }
    244 
    245 double __divdf3(double a, double b)
    246 {
    247         double_t da;
    248         double_t db;
    249         double_t res;
    250        
    251         da.val = a;
    252         db.val = b;
    253        
    254         res.data = div_double(da.data, db.data);
    255         return res.val;
     156        float128 ta, tb;
     157        ta.ld = a;
     158        tb.ld = b;
     159        return  mulFloat128(ta, tb).ld;
     160}
     161
     162float __divsf3(float a, float b)
     163{
     164        float32 fa, fb;
     165        fa.f = a;
     166        fb.f = b;
     167        return  divFloat32(fa, fb).f;
     168}
     169
     170double __divdf3(double a, double b)
     171{
     172        float64 da, db;
     173        da.d = a;
     174        db.d = b;
     175        return  divFloat64(da, db).d;
    256176}
    257177
    258178long double __divtf3(long double a, long double b)
    259179{
    260         long_double_t ta;
    261         long_double_t tb;
    262         long_double_t res;
    263        
    264         ta.val = a;
    265         tb.val = b;
    266        
    267         res.data = div_long_double(ta.data, tb.data);
    268         return res.val;
     180        float128 ta, tb;
     181        ta.ld = a;
     182        tb.ld = b;
     183        return  divFloat128(ta, tb).ld;
    269184}
    270185
    271186float __negsf2(float a)
    272187{
    273         float_t fa;
    274        
    275         fa.val = a;
    276         fa.data.parts.sign = !fa.data.parts.sign;
    277        
    278         return fa.val;
     188        float32 fa;
     189        fa.f = a;
     190        fa.parts.sign = !fa.parts.sign;
     191        return fa.f;
    279192}
    280193
    281194double __negdf2(double a)
    282195{
    283         double_t da;
    284        
    285         da.val = a;
    286         da.data.parts.sign = !da.data.parts.sign;
    287        
    288         return da.val;
     196        float64 da;
     197        da.d = a;
     198        da.parts.sign = !da.parts.sign;
     199        return da.d;
    289200}
    290201
    291202long double __negtf2(long double a)
    292203{
    293         long_double_t ta;
    294        
    295         ta.val = a;
    296         ta.data.parts.sign = !ta.data.parts.sign;
    297        
    298         return ta.val;
     204        float128 ta;
     205        ta.ld = a;
     206        ta.parts.sign = !ta.parts.sign;
     207        return ta.ld;
    299208}
    300209
    301210/* Conversion functions */
    302211
    303 double __extendsfdf2(float a)
    304 {
    305         float_t fa;
    306         double_t res;
    307        
    308         fa.val = a;
    309         res.data = float_to_double(fa.data);
    310        
    311         return res.val;
     212double __extendsfdf2(float a)
     213{
     214        float32 fa;
     215        fa.f = a;
     216        return convertFloat32ToFloat64(fa).d;
    312217}
    313218
    314219long double __extendsftf2(float a)
    315220{
    316         float_t fa;
    317         long_double_t res;
    318        
    319         fa.val = a;
    320         res.data = float_to_long_double(fa.data);
    321        
    322         return res.val;
     221        float32 fa;
     222        fa.f = a;
     223        return convertFloat32ToFloat128(fa).ld;
    323224}
    324225
    325226long double __extenddftf2(double a)
    326227{
    327         double_t da;
    328         long_double_t res;
    329        
    330         da.val = a;
    331         res.data = double_to_long_double(da.data);
    332        
    333         return res.val;
    334 }
    335 
    336 float __truncdfsf2(double a)
    337 {
    338         double_t da;
    339         float_t res;
    340        
    341         da.val = a;
    342         res.data = double_to_float(da.data);
    343        
    344         return res.val;
     228        float64 da;
     229        da.d = a;
     230        return convertFloat64ToFloat128(da).ld;
     231}
     232
     233float __truncdfsf2(double a)
     234{
     235        float64 da;
     236        da.d = a;
     237        return convertFloat64ToFloat32(da).f;
    345238}
    346239
    347240float __trunctfsf2(long double a)
    348241{
    349         long_double_t ta;
    350         float_t res;
    351        
    352         ta.val = a;
    353         res.data = long_double_to_float(ta.data);
    354        
    355         return res.val;
     242        float128 ta;
     243        ta.ld = a;
     244        return convertFloat128ToFloat32(ta).f;
    356245}
    357246
    358247double __trunctfdf2(long double a)
    359248{
    360         long_double_t ta;
    361         double_t res;
    362        
    363         ta.val = a;
    364         res.data = long_double_to_double(ta.data);
    365        
    366         return res.val;
     249        float128 ta;
     250        ta.ld = a;
     251        return convertFloat128ToFloat64(ta).d;
    367252}
    368253
    369254int __fixsfsi(float a)
    370255{
    371         float_t fa;
    372        
    373         fa.val = a;
    374         return float_to_int(fa.data);
     256        float32 fa;
     257        fa.f = a;
     258       
     259        return float32_to_int(fa);
    375260}
    376261
    377262int __fixdfsi(double a)
    378263{
    379         double_t da;
    380        
    381         da.val = a;
    382         return double_to_int(da.data);
     264        float64 da;
     265        da.d = a;
     266       
     267        return float64_to_int(da);
    383268}
    384269
    385270int __fixtfsi(long double a)
    386271{
    387         long_double_t ta;
    388        
    389         ta.val = a;
    390         return long_double_to_int(ta.data);
     272        float128 ta;
     273        ta.ld = a;
     274
     275        return float128_to_int(ta);
    391276}
    392277 
    393278long __fixsfdi(float a)
    394279{
    395         float_t fa;
    396        
    397         fa.val = a;
    398         return float_to_long(fa.data);
     280        float32 fa;
     281        fa.f = a;
     282       
     283        return float32_to_long(fa);
    399284}
    400285
    401286long __fixdfdi(double a)
    402287{
    403         double_t da;
    404        
    405         da.val = a;
    406         return double_to_long(da.data);
     288        float64 da;
     289        da.d = a;
     290       
     291        return float64_to_long(da);
    407292}
    408293
    409294long __fixtfdi(long double a)
    410295{
    411         long_double_t ta;
    412        
    413         ta.val = a;
    414         return long_double_to_long(ta.data);
     296        float128 ta;
     297        ta.ld = a;
     298
     299        return float128_to_long(ta);
    415300}
    416301 
    417302long long __fixsfti(float a)
    418303{
    419         float_t fa;
    420        
    421         fa.val = a;
    422         return float_to_llong(fa.data);
     304        float32 fa;
     305        fa.f = a;
     306       
     307        return float32_to_longlong(fa);
    423308}
    424309
    425310long long __fixdfti(double a)
    426311{
    427         double_t da;
    428        
    429         da.val = a;
    430         return double_to_llong(da.data);
     312        float64 da;
     313        da.d = a;
     314       
     315        return float64_to_longlong(da);
    431316}
    432317
    433318long long __fixtfti(long double a)
    434319{
    435         long_double_t ta;
    436        
    437         ta.val = a;
    438         return long_double_to_llong(ta.data);
     320        float128 ta;
     321        ta.ld = a;
     322
     323        return float128_to_longlong(ta);
    439324}
    440325
    441326unsigned int __fixunssfsi(float a)
    442327{
    443         float_t fa;
    444        
    445         fa.val = a;
    446         return float_to_uint(fa.data);
     328        float32 fa;
     329        fa.f = a;
     330       
     331        return float32_to_uint(fa);
    447332}
    448333
    449334unsigned int __fixunsdfsi(double a)
    450335{
    451         double_t da;
    452        
    453         da.val = a;
    454         return double_to_uint(da.data);
     336        float64 da;
     337        da.d = a;
     338       
     339        return float64_to_uint(da);
    455340}
    456341
    457342unsigned int __fixunstfsi(long double a)
    458343{
    459         long_double_t ta;
    460        
    461         ta.val = a;
    462         return long_double_to_uint(ta.data);
     344        float128 ta;
     345        ta.ld = a;
     346
     347        return float128_to_uint(ta);
    463348}
    464349 
    465350unsigned long __fixunssfdi(float a)
    466351{
    467         float_t fa;
    468        
    469         fa.val = a;
    470         return float_to_ulong(fa.data);
     352        float32 fa;
     353        fa.f = a;
     354       
     355        return float32_to_ulong(fa);
    471356}
    472357
    473358unsigned long __fixunsdfdi(double a)
    474359{
    475         double_t da;
    476        
    477         da.val = a;
    478         return double_to_ulong(da.data);
     360        float64 da;
     361        da.d = a;
     362       
     363        return float64_to_ulong(da);
    479364}
    480365
    481366unsigned long __fixunstfdi(long double a)
    482367{
    483         long_double_t ta;
    484        
    485         ta.val = a;
    486         return long_double_to_ulong(ta.data);
     368        float128 ta;
     369        ta.ld = a;
     370
     371        return float128_to_ulong(ta);
    487372}
    488373 
    489374unsigned long long __fixunssfti(float a)
    490375{
    491         float_t fa;
    492        
    493         fa.val = a;
    494         return float_to_ullong(fa.data);
     376        float32 fa;
     377        fa.f = a;
     378       
     379        return float32_to_ulonglong(fa);
    495380}
    496381
    497382unsigned long long __fixunsdfti(double a)
    498383{
    499         double_t da;
    500        
    501         da.val = a;
    502         return double_to_ullong(da.data);
     384        float64 da;
     385        da.d = a;
     386       
     387        return float64_to_ulonglong(da);
    503388}
    504389
    505390unsigned long long __fixunstfti(long double a)
    506391{
    507         long_double_t ta;
    508        
    509         ta.val = a;
    510         return long_double_to_ullong(ta.data);
     392        float128 ta;
     393        ta.ld = a;
     394
     395        return float128_to_ulonglong(ta);
    511396}
    512397 
    513398float __floatsisf(int i)
    514399{
    515         float_t res;
    516        
    517         res.data = int_to_float(i);
    518         return res.val;
     400        float32 fa;
     401       
     402        fa = int_to_float32(i);
     403        return fa.f;
    519404}
    520405
    521406double __floatsidf(int i)
    522407{
    523         double_t res;
    524        
    525         res.data = int_to_double(i);
    526         return res.val;
     408        float64 da;
     409       
     410        da = int_to_float64(i);
     411        return da.d;
    527412}
    528413
    529414long double __floatsitf(int i)
    530415{
    531         long_double_t res;
    532        
    533         res.data = int_to_long_double(i);
    534         return res.val;
     416        float128 ta;
     417
     418        ta = int_to_float128(i);
     419        return ta.ld;
    535420}
    536421 
    537422float __floatdisf(long i)
    538423{
    539         float_t res;
    540        
    541         res.data = long_to_float(i);
    542         return res.val;
     424        float32 fa;
     425       
     426        fa = long_to_float32(i);
     427        return fa.f;
    543428}
    544429
    545430double __floatdidf(long i)
    546431{
    547         double_t res;
    548        
    549         res.data = long_to_double(i);
    550         return res.val;
     432        float64 da;
     433       
     434        da = long_to_float64(i);
     435        return da.d;
    551436}
    552437
    553438long double __floatditf(long i)
    554439{
    555         long_double_t res;
    556        
    557         res.data = long_to_long_double(i);
    558         return res.val;
    559 }
    560 
     440        float128 ta;
     441
     442        ta = long_to_float128(i);
     443        return ta.ld;
     444}
     445 
    561446float __floattisf(long long i)
    562447{
    563         float_t res;
    564        
    565         res.data = llong_to_float(i);
    566         return res.val;
     448        float32 fa;
     449       
     450        fa = longlong_to_float32(i);
     451        return fa.f;
    567452}
    568453
    569454double __floattidf(long long i)
    570455{
    571         double_t res;
    572        
    573         res.data = llong_to_double(i);
    574         return res.val;
     456        float64 da;
     457       
     458        da = longlong_to_float64(i);
     459        return da.d;
    575460}
    576461
    577462long double __floattitf(long long i)
    578463{
    579         long_double_t res;
    580        
    581         res.data = llong_to_long_double(i);
    582         return res.val;
     464        float128 ta;
     465
     466        ta = longlong_to_float128(i);
     467        return ta.ld;
    583468}
    584469
    585470float __floatunsisf(unsigned int i)
    586471{
    587         float_t res;
    588        
    589         res.data = uint_to_float(i);
    590         return res.val;
     472        float32 fa;
     473       
     474        fa = uint_to_float32(i);
     475        return fa.f;
    591476}
    592477
    593478double __floatunsidf(unsigned int i)
    594479{
    595         double_t res;
    596        
    597         res.data = uint_to_double(i);
    598         return res.val;
     480        float64 da;
     481       
     482        da = uint_to_float64(i);
     483        return da.d;
    599484}
    600485
    601486long double __floatunsitf(unsigned int i)
    602487{
    603         long_double_t res;
    604        
    605         res.data = uint_to_long_double(i);
    606         return res.val;
     488        float128 ta;
     489
     490        ta = uint_to_float128(i);
     491        return ta.ld;
    607492}
    608493 
    609494float __floatundisf(unsigned long i)
    610495{
    611         float_t res;
    612        
    613         res.data = ulong_to_float(i);
    614         return res.val;
     496        float32 fa;
     497       
     498        fa = ulong_to_float32(i);
     499        return fa.f;
    615500}
    616501
    617502double __floatundidf(unsigned long i)
    618503{
    619         double_t res;
    620        
    621         res.data = ulong_to_double(i);
    622         return res.val;
     504        float64 da;
     505       
     506        da = ulong_to_float64(i);
     507        return da.d;
    623508}
    624509
    625510long double __floatunditf(unsigned long i)
    626511{
    627         long_double_t res;
    628        
    629         res.data = ulong_to_long_double(i);
    630         return res.val;
     512        float128 ta;
     513
     514        ta = ulong_to_float128(i);
     515        return ta.ld;
    631516}
    632517 
    633518float __floatuntisf(unsigned long long i)
    634519{
    635         float_t res;
    636        
    637         res.data = ullong_to_float(i);
    638         return res.val;
     520        float32 fa;
     521       
     522        fa = ulonglong_to_float32(i);
     523        return fa.f;
    639524}
    640525
    641526double __floatuntidf(unsigned long long i)
    642527{
    643         double_t res;
    644        
    645         res.data = ullong_to_double(i);
    646         return res.val;
     528        float64 da;
     529       
     530        da = ulonglong_to_float64(i);
     531        return da.d;
    647532}
    648533
    649534long double __floatuntitf(unsigned long long i)
    650535{
    651         long_double_t res;
    652        
    653         res.data = ullong_to_long_double(i);
    654         return res.val;
     536        float128 ta;
     537
     538        ta = ulonglong_to_float128(i);
     539        return ta.ld;
    655540}
    656541
    … …  
    659544int __cmpsf2(float a, float b)
    660545{
    661         float_t fa;
    662         float_t fb;
    663        
    664         fa.val = a;
    665         fb.val = b;
    666        
    667         if ((is_float_nan(fa.data)) || (is_float_nan(fb.data))) {
    668                 /* no special constant for unordered - maybe signaled? */
    669                 return 1;
    670         }
    671        
    672         if (is_float_eq(fa.data, fb.data))
    673                 return 0;
    674        
    675         if (is_float_lt(fa.data, fb.data))
    676                 return -1;
    677        
     546        float32 fa, fb;
     547        fa.f = a;
     548        fb.f = b;
     549
     550        if ((isFloat32NaN(fa)) || (isFloat32NaN(fb))) {
     551                return 1; /* no special constant for unordered - maybe signaled? */
     552        }
     553       
     554        if (isFloat32eq(fa, fb)) {
     555                return 0;
     556        }
     557       
     558        if (isFloat32lt(fa, fb)) {
     559                return -1;
     560        }
     561
    678562        return 1;
    679563}
    … …  
    681565int __cmpdf2(double a, double b)
    682566{
    683         double_t da;
    684         double_t db;
    685        
    686         da.val = a;
    687         db.val = b;
    688        
    689         if ((is_double_nan(da.data)) || (is_double_nan(db.data))) {
    690                 /* no special constant for unordered - maybe signaled? */
    691                 return 1;
    692         }
    693        
    694         if (is_double_eq(da.data, db.data))
    695                 return 0;
    696        
    697         if (is_double_lt(da.data, db.data))
    698                 return -1;
    699        
     567        float64 da, db;
     568        da.d = a;
     569        db.d = b;
     570
     571        if ((isFloat64NaN(da)) || (isFloat64NaN(db))) {
     572                return 1; /* no special constant for unordered - maybe signaled? */
     573        }
     574
     575        if (isFloat64eq(da, db)) {
     576                return 0;
     577        }
     578
     579        if (isFloat64lt(da, db)) {
     580                return -1;
     581        }
     582
    700583        return 1;
    701584}
    … …  
    703586int __cmptf2(long double a, long double b)
    704587{
    705         long_double_t ta;
    706         long_double_t tb;
    707        
    708         ta.val = a;
    709         tb.val = b;
    710        
    711         if ((is_long_double_nan(ta.data)) || (is_long_double_nan(tb.data))) {
    712                 /* no special constant for unordered - maybe signaled? */
    713                 return 1;
    714         }
    715        
    716         if (is_long_double_eq(ta.data, tb.data))
    717                 return 0;
    718        
    719         if (is_long_double_lt(ta.data, tb.data))
    720                 return -1;
    721        
     588        float128 ta, tb;
     589        ta.ld = a;
     590        tb.ld = b;
     591
     592        if ((isFloat128NaN(ta)) || (isFloat128NaN(tb))) {
     593                return 1; /* no special constant for unordered - maybe signaled? */
     594        }
     595
     596        if (isFloat128eq(ta, tb)) {
     597                return 0;
     598        }
     599
     600        if (isFloat128lt(ta, tb)) {
     601                return -1;
     602        }
     603
    722604        return 1;
    723605}
    724606
    725 int __unordsf2(float a, float b)
    726 {
    727         float_t fa;
    728         float_t fb;
    729        
    730         fa.val = a;
    731         fb.val = b;
    732        
    733         return ((is_float_nan(fa.data)) || (is_float_nan(fb.data)));
     607int __unordsf2(float a, float b)
     608{
     609        float32 fa, fb;
     610        fa.f = a;
     611        fb.f = b;
     612        return ((isFloat32NaN(fa)) || (isFloat32NaN(fb)));
    734613}
    735614
    736615int __unorddf2(double a, double b)
    737616{
    738         double_t da;
    739         double_t db;
    740        
    741         da.val = a;
    742         db.val = b;
    743        
    744         return ((is_double_nan(da.data)) || (is_double_nan(db.data)));
     617        float64 da, db;
     618        da.d = a;
     619        db.d = b;
     620        return ((isFloat64NaN(da)) || (isFloat64NaN(db)));
    745621}
    746622
    747623int __unordtf2(long double a, long double b)
    748624{
    749         long_double_t ta;
    750         long_double_t tb;
    751        
    752         ta.val = a;
    753         tb.val = b;
    754        
    755         return ((is_long_double_nan(ta.data)) || (is_long_double_nan(tb.data)));
    756 }
    757 
    758 int __eqsf2(float a, float b)
    759 {
    760         float_t fa;
    761         float_t fb;
    762        
    763         fa.val = a;
    764         fb.val = b;
    765        
    766         if ((is_float_nan(fa.data)) || (is_float_nan(fb.data))) {
    767                 // TODO: sigNaNs
    768                 return 1;
    769         }
    770        
    771         return is_float_eq(fa.data, fb.data) - 1;
     625        float128 ta, tb;
     626        ta.ld = a;
     627        tb.ld = b;
     628        return ((isFloat128NaN(ta)) || (isFloat128NaN(tb)));
     629}
     630
     631int __eqsf2(float a, float b)
     632{
     633        float32 fa, fb;
     634        fa.f = a;
     635        fb.f = b;
     636        if ((isFloat32NaN(fa)) || (isFloat32NaN(fb))) {
     637                /* TODO: sigNaNs */
     638                return 1;
     639        }
     640        return isFloat32eq(fa, fb) - 1;
    772641}
    773642
    774643int __eqdf2(double a, double b)
    775644{
    776         double_t da;
    777         double_t db;
    778        
    779         da.val = a;
    780         db.val = b;
    781        
    782         if ((is_double_nan(da.data)) || (is_double_nan(db.data))) {
    783                 // TODO: sigNaNs
    784                 return 1;
    785         }
    786        
    787         return is_double_eq(da.data, db.data) - 1;
     645        float64 da, db;
     646        da.d = a;
     647        db.d = b;
     648        if ((isFloat64NaN(da)) || (isFloat64NaN(db))) {
     649                /* TODO: sigNaNs */
     650                return 1;
     651        }
     652        return isFloat64eq(da, db) - 1;
    788653}
    789654
    790655int __eqtf2(long double a, long double b)
    791656{
    792         long_double_t ta;
    793         long_double_t tb;
    794        
    795         ta.val = a;
    796         tb.val = b;
    797        
    798         if ((is_long_double_nan(ta.data)) || (is_long_double_nan(tb.data))) {
    799                 // TODO: sigNaNs
    800                 return 1;
    801         }
    802        
    803         return is_long_double_eq(ta.data, tb.data) - 1;
    804 }
    805 
    806 int __nesf2(float a, float b)
     657        float128 ta, tb;
     658        ta.ld = a;
     659        tb.ld = b;
     660        if ((isFloat128NaN(ta)) || (isFloat128NaN(tb))) {
     661                /* TODO: sigNaNs */
     662                return 1;
     663        }
     664        return isFloat128eq(ta, tb) - 1;
     665}
     666
     667int __nesf2(float a, float b)
    807668{
    808669        /* strange behavior, but it was in gcc documentation */
    … …  
    824685int __gesf2(float a, float b)
    825686{
    826         float_t fa;
    827         float_t fb;
    828        
    829         fa.val = a;
    830         fb.val = b;
    831        
    832         if ((is_float_nan(fa.data)) || (is_float_nan(fb.data))) {
    833                 // TODO: sigNaNs
    834                 return -1;
    835         }
    836        
    837         if (is_float_eq(fa.data, fb.data))
    838                 return 0;
    839        
    840         if (is_float_gt(fa.data, fb.data))
    841                 return 1;
     687        float32 fa, fb;
     688        fa.f = a;
     689        fb.f = b;
     690
     691        if ((isFloat32NaN(fa)) || (isFloat32NaN(fb))) {
     692                /* TODO: sigNaNs */
     693                return -1;
     694        }
     695       
     696        if (isFloat32eq(fa, fb)) {
     697                return 0;
     698        }
     699       
     700        if (isFloat32gt(fa, fb)) {
     701                return 1;
     702        }
    842703       
    843704        return -1;
    … …  
    846707int __gedf2(double a, double b)
    847708{
    848         double_t da;
    849         double_t db;
    850        
    851         da.val = a;
    852         db.val = b;
    853        
    854         if ((is_double_nan(da.data)) || (is_double_nan(db.data))) {
    855                 // TODO: sigNaNs
    856                 return -1;
    857         }
    858        
    859         if (is_double_eq(da.data, db.data))
    860                 return 0;
    861        
    862         if (is_double_gt(da.data, db.data))
    863                 return 1;
    864        
     709        float64 da, db;
     710        da.d = a;
     711        db.d = b;
     712
     713        if ((isFloat64NaN(da)) || (isFloat64NaN(db))) {
     714                /* TODO: sigNaNs */
     715                return -1;
     716        }
     717
     718        if (isFloat64eq(da, db)) {
     719                return 0;
     720        }
     721
     722        if (isFloat64gt(da, db)) {
     723                return 1;
     724        }
     725
    865726        return -1;
    866727}
    … …  
    868729int __getf2(long double a, long double b)
    869730{
    870         long_double_t ta;
    871         long_double_t tb;
    872        
    873         ta.val = a;
    874         tb.val = b;
    875        
    876         if ((is_long_double_nan(ta.data)) || (is_long_double_nan(tb.data))) {
    877                 // TODO: sigNaNs
    878                 return -1;
    879         }
    880        
    881         if (is_long_double_eq(ta.data, tb.data))
    882                 return 0;
    883        
    884         if (is_long_double_gt(ta.data, tb.data))
    885                 return 1;
    886        
     731        float128 ta, tb;
     732        ta.ld = a;
     733        tb.ld = b;
     734
     735        if ((isFloat128NaN(ta)) || (isFloat128NaN(tb))) {
     736                /* TODO: sigNaNs */
     737                return -1;
     738        }
     739
     740        if (isFloat128eq(ta, tb)) {
     741                return 0;
     742        }
     743
     744        if (isFloat128gt(ta, tb)) {
     745                return 1;
     746        }
     747
    887748        return -1;
    888749}
    … …  
    890751int __ltsf2(float a, float b)
    891752{
    892         float_t fa;
    893         float_t fb;
    894        
    895         fa.val = a;
    896         fb.val = b;
    897        
    898         if ((is_float_nan(fa.data)) || (is_float_nan(fb.data))) {
    899                 // TODO: sigNaNs
    900                 return 1;
    901         }
    902        
    903         if (is_float_lt(fa.data, fb.data))
    904                 return -1;
    905        
     753        float32 fa, fb;
     754        fa.f = a;
     755        fb.f = b;
     756
     757        if ((isFloat32NaN(fa)) || (isFloat32NaN(fb))) {
     758                /* TODO: sigNaNs */
     759                return 1;
     760        }
     761
     762        if (isFloat32lt(fa, fb)) {
     763                return -1;
     764        }
     765
    906766        return 0;
    907767}
    … …  
    909769int __ltdf2(double a, double b)
    910770{
    911         double_t da;
    912         double_t db;
    913        
    914         da.val = a;
    915         db.val = b;
    916        
    917         if ((is_double_nan(da.data)) || (is_double_nan(db.data))) {
    918                 // TODO: sigNaNs
    919                 return 1;
    920         }
    921        
    922         if (is_double_lt(da.data, db.data))
    923                 return -1;
    924        
     771        float64 da, db;
     772        da.d = a;
     773        db.d = b;
     774
     775        if ((isFloat64NaN(da)) || (isFloat64NaN(db))) {
     776                /* TODO: sigNaNs */
     777                return 1;
     778        }
     779
     780        if (isFloat64lt(da, db)) {
     781                return -1;
     782        }
     783
    925784        return 0;
    926785}
    … …  
    928787int __lttf2(long double a, long double b)
    929788{
    930         long_double_t ta;
    931         long_double_t tb;
    932        
    933         ta.val = a;
    934         tb.val = b;
    935        
    936         if ((is_long_double_nan(ta.data)) || (is_long_double_nan(tb.data))) {
    937                 // TODO: sigNaNs
    938                 return 1;
    939         }
    940        
    941         if (is_long_double_lt(ta.data, tb.data))
    942                 return -1;
    943        
     789        float128 ta, tb;
     790        ta.ld = a;
     791        tb.ld = b;
     792
     793        if ((isFloat128NaN(ta)) || (isFloat128NaN(tb))) {
     794                /* TODO: sigNaNs */
     795                return 1;
     796        }
     797
     798        if (isFloat128lt(ta, tb)) {
     799                return -1;
     800        }
     801
    944802        return 0;
    945803}
    … …  
    947805int __lesf2(float a, float b)
    948806{
    949         float_t fa;
    950         float_t fb;
    951        
    952         fa.val = a;
    953         fb.val = b;
    954        
    955         if ((is_float_nan(fa.data)) || (is_float_nan(fb.data))) {
    956                 // TODO: sigNaNs
    957                 return 1;
    958         }
    959        
    960         if (is_float_eq(fa.data, fb.data))
    961                 return 0;
    962        
    963         if (is_float_lt(fa.data, fb.data))
    964                 return -1;
     807        float32 fa, fb;
     808        fa.f = a;
     809        fb.f = b;
     810
     811        if ((isFloat32NaN(fa)) || (isFloat32NaN(fb))) {
     812                /* TODO: sigNaNs */
     813                return 1;
     814        }
     815       
     816        if (isFloat32eq(fa, fb)) {
     817                return 0;
     818        }
     819       
     820        if (isFloat32lt(fa, fb)) {
     821                return -1;
     822        }
    965823       
    966824        return 1;
    … …  
    969827int __ledf2(double a, double b)
    970828{
    971         double_t da;
    972         double_t db;
    973        
    974         da.val = a;
    975         db.val = b;
    976        
    977         if ((is_double_nan(da.data)) || (is_double_nan(db.data))) {
    978                 // TODO: sigNaNs
    979                 return 1;
    980         }
    981        
    982         if (is_double_eq(da.data, db.data))
    983                 return 0;
    984        
    985         if (is_double_lt(da.data, db.data))
    986                 return -1;
    987        
     829        float64 da, db;
     830        da.d = a;
     831        db.d = b;
     832
     833        if ((isFloat64NaN(da)) || (isFloat64NaN(db))) {
     834                /* TODO: sigNaNs */
     835                return 1;
     836        }
     837
     838        if (isFloat64eq(da, db)) {
     839                return 0;
     840        }
     841
     842        if (isFloat64lt(da, db)) {
     843                return -1;
     844        }
     845
    988846        return 1;
    989847}
    … …  
    991849int __letf2(long double a, long double b)
    992850{
    993         long_double_t ta;
    994         long_double_t tb;
    995        
    996         ta.val = a;
    997         tb.val = b;
    998        
    999         if ((is_long_double_nan(ta.data)) || (is_long_double_nan(tb.data))) {
    1000                 // TODO: sigNaNs
    1001                 return 1;
    1002         }
    1003        
    1004         if (is_long_double_eq(ta.data, tb.data))
    1005                 return 0;
    1006        
    1007         if (is_long_double_lt(ta.data, tb.data))
    1008                 return -1;
    1009        
     851        float128 ta, tb;
     852        ta.ld = a;
     853        tb.ld = b;
     854
     855        if ((isFloat128NaN(ta)) || (isFloat128NaN(tb))) {
     856                /* TODO: sigNaNs */
     857                return 1;
     858        }
     859
     860        if (isFloat128eq(ta, tb)) {
     861                return 0;
     862        }
     863
     864        if (isFloat128lt(ta, tb)) {
     865                return -1;
     866        }
     867
    1010868        return 1;
    1011869}
    … …  
    1013871int __gtsf2(float a, float b)
    1014872{
    1015         float_t fa;
    1016         float_t fb;
    1017        
    1018         fa.val = a;
    1019         fb.val = b;
    1020        
    1021         if ((is_float_nan(fa.data)) || (is_float_nan(fb.data))) {
    1022                 // TODO: sigNaNs
    1023                 return -1;
    1024         }
    1025        
    1026         if (is_float_gt(fa.data, fb.data))
    1027                 return 1;
    1028        
     873        float32 fa, fb;
     874        fa.f = a;
     875        fb.f = b;
     876
     877        if ((isFloat32NaN(fa)) || (isFloat32NaN(fb))) {
     878                /* TODO: sigNaNs */
     879                return -1;
     880        }
     881
     882        if (isFloat32gt(fa, fb)) {
     883                return 1;
     884        }
     885
    1029886        return 0;
    1030887}
    … …  
    1032889int __gtdf2(double a, double b)
    1033890{
    1034         double_t da;
    1035         double_t db;
    1036        
    1037         da.val = a;
    1038         db.val = b;
    1039        
    1040         if ((is_double_nan(da.data)) || (is_double_nan(db.data))) {
    1041                 // TODO: sigNaNs
    1042                 return -1;
    1043         }
    1044        
    1045         if (is_double_gt(da.data, db.data))
    1046                 return 1;
    1047        
     891        float64 da, db;
     892        da.d = a;
     893        db.d = b;
     894
     895        if ((isFloat64NaN(da)) || (isFloat64NaN(db))) {
     896                /* TODO: sigNaNs */
     897                return -1;
     898        }
     899
     900        if (isFloat64gt(da, db)) {
     901                return 1;
     902        }
     903
    1048904        return 0;
    1049905}
    … …  
    1051907int __gttf2(long double a, long double b)
    1052908{
    1053         long_double_t ta;
    1054         long_double_t tb;
    1055        
    1056         ta.val = a;
    1057         tb.val = b;
    1058        
    1059         if ((is_long_double_nan(ta.data)) || (is_long_double_nan(tb.data))) {
    1060                 // TODO: sigNaNs
    1061                 return -1;
    1062         }
    1063        
    1064         if (is_long_double_gt(ta.data, tb.data))
    1065                 return 1;
    1066        
     909        float128 ta, tb;
     910        ta.ld = a;
     911        tb.ld = b;
     912
     913        if ((isFloat128NaN(ta)) || (isFloat128NaN(tb))) {
     914                /* TODO: sigNaNs */
     915                return -1;
     916        }
     917
     918        if (isFloat128gt(ta, tb)) {
     919                return 1;
     920        }
     921
    1067922        return 0;
    1068923}
    1069924
     925
     926
     927#ifdef SPARC_SOFTFLOAT
     928
    1070929/* SPARC quadruple-precision wrappers */
    1071930
    … …  
    11571016int _Qp_cmp(long double *a, long double *b)
    11581017{
    1159         long_double_t ta;
    1160         long_double_t tb;
    1161        
    1162         ta.val = *a;
    1163         tb.val = *b;
    1164        
    1165         if ((is_long_double_nan(ta.data)) || (is_long_double_nan(tb.data)))
     1018        float128 ta, tb;
     1019        ta.ld = *a;
     1020        tb.ld = *b;
     1021
     1022        if ((isFloat128NaN(ta)) || (isFloat128NaN(tb))) {
    11661023                return 3;
    1167        
    1168         if (is_long_double_eq(ta.data, tb.data))
    1169                 return 0;
    1170        
    1171         if (is_long_double_lt(ta.data, tb.data))
    1172                 return 1;
    1173        
     1024        }
     1025
     1026        if (isFloat128eq(ta, tb)) {
     1027                return 0;
     1028        }
     1029
     1030        if (isFloat128lt(ta, tb)) {
     1031                return 1;
     1032        }
     1033
    11741034        return 2;
    11751035}
    … …  
    11831043int _Qp_feq(long double *a, long double *b)
    11841044{
    1185         long_double_t ta;
    1186         long_double_t tb;
    1187        
    1188         ta.val = *a;
    1189         tb.val = *b;
    1190        
    1191         if ((is_long_double_nan(ta.data)) || (is_long_double_nan(tb.data)))
    1192                 return 0;
    1193        
    1194         return is_long_double_eq(ta.data, tb.data);
     1045        float128 ta, tb;
     1046        ta.ld = *a;
     1047        tb.ld = *b;
     1048
     1049        if ((isFloat128NaN(ta)) || (isFloat128NaN(tb))) {
     1050                return 0;
     1051        }
     1052
     1053        return isFloat128eq(ta, tb);
    11951054}
    11961055
    11971056int _Qp_fge(long double *a, long double *b)
    11981057{
    1199         long_double_t ta;
    1200         long_double_t tb;
    1201        
    1202         ta.val = *a;
    1203         tb.val = *b;
    1204        
    1205         if ((is_long_double_nan(ta.data)) || (is_long_double_nan(tb.data)))
    1206                 return 0;
    1207        
    1208         return is_long_double_eq(ta.data, tb.data) ||
    1209             is_long_double_gt(ta.data, tb.data);
     1058        float128 ta, tb;
     1059        ta.ld = *a;
     1060        tb.ld = *b;
     1061
     1062        if ((isFloat128NaN(ta)) || (isFloat128NaN(tb))) {
     1063                return 0;
     1064        }
     1065
     1066        return isFloat128eq(ta, tb) || isFloat128gt(ta, tb);
    12101067}
    12111068
    12121069int _Qp_fgt(long double *a, long double *b)
    12131070{
    1214         long_double_t ta;
    1215         long_double_t tb;
    1216        
    1217         ta.val = *a;
    1218         tb.val = *b;
    1219        
    1220         if ((is_long_double_nan(ta.data)) || (is_long_double_nan(tb.data)))
    1221                 return 0;
    1222        
    1223         return is_long_double_gt(ta.data, tb.data);
     1071        float128 ta, tb;
     1072        ta.ld = *a;
     1073        tb.ld = *b;
     1074
     1075        if ((isFloat128NaN(ta)) || (isFloat128NaN(tb))) {
     1076                return 0;
     1077        }
     1078
     1079        return isFloat128gt(ta, tb);
    12241080}
    12251081
    12261082int _Qp_fle(long double*a, long double *b)
    12271083{
    1228         long_double_t ta;
    1229         long_double_t tb;
    1230        
    1231         ta.val = *a;
    1232         tb.val = *b;
    1233        
    1234         if ((is_long_double_nan(ta.data)) || (is_long_double_nan(tb.data)))
    1235                 return 0;
    1236        
    1237         return is_long_double_eq(ta.data, tb.data) ||
    1238             is_long_double_lt(ta.data, tb.data);
     1084        float128 ta, tb;
     1085        ta.ld = *a;
     1086        tb.ld = *b;
     1087
     1088        if ((isFloat128NaN(ta)) || (isFloat128NaN(tb))) {
     1089                return 0;
     1090        }
     1091
     1092        return isFloat128eq(ta, tb) || isFloat128lt(ta, tb);
    12391093}
    12401094
    12411095int _Qp_flt(long double *a, long double *b)
    12421096{
    1243         long_double_t ta;
    1244         long_double_t tb;
    1245        
    1246         ta.val = *a;
    1247         tb.val = *b;
    1248        
    1249         if ((is_long_double_nan(ta.data)) || (is_long_double_nan(tb.data)))
    1250                 return 0;
    1251        
    1252         return is_long_double_lt(ta.data, tb.data);
     1097        float128 ta, tb;
     1098        ta.ld = *a;
     1099        tb.ld = *b;
     1100
     1101        if ((isFloat128NaN(ta)) || (isFloat128NaN(tb))) {
     1102                return 0;
     1103        }
     1104
     1105        return isFloat128lt(ta, tb);
    12531106}
    12541107
    12551108int _Qp_fne(long double *a, long double *b)
    12561109{
    1257         long_double_t ta;
    1258         long_double_t tb;
    1259        
    1260         ta.val = *a;
    1261         tb.val = *b;
    1262        
    1263         if ((is_long_double_nan(ta.data)) || (is_long_double_nan(tb.data)))
    1264                 return 0;
    1265        
    1266         return !is_long_double_eq(ta.data, tb.data);
    1267 }
     1110        float128 ta, tb;
     1111        ta.ld = *a;
     1112        tb.ld = *b;
     1113
     1114        if ((isFloat128NaN(ta)) || (isFloat128NaN(tb))) {
     1115                return 1;
     1116        }
     1117
     1118        return !isFloat128eq(ta, tb);
     1119}
     1120
     1121#endif
    12681122
    12691123/** @}

  • uspace/lib/softfloat/generic/sub.c

    r41455a22 r6bb169b5  
    3939#include <common.h>
    4040
    41 /** Subtract two single-precision floats with the same sign.
     41/**
     42 * Subtract two single-precision floats with the same signs.
    4243 *
    4344 * @param a First input operand.
    4445 * @param b Second input operand.
    45  *
    4646 * @return Result of substraction.
    47  *
    48  */
    49 float32 sub_float32(float32 a, float32 b)
     47 */
     48float32 subFloat32(float32 a, float32 b)
    5049{
    5150        int expdiff;
    5251        uint32_t exp1, exp2, frac1, frac2;
    5352        float32 result;
    54        
    55         result.bin = 0;
     53
     54        result.f = 0;
    5655       
    5756        expdiff = a.parts.exp - b.parts.exp;
    58         if ((expdiff < 0 ) || ((expdiff == 0) &&
    59             (a.parts.fraction < b.parts.fraction))) {
    60                 if (is_float32_nan(b)) {
    61                         if (is_float32_signan(b)) {
    62                                 // TODO: fix SigNaN
    63                         }
    64                        
    65                         return b;
    66                 }
    67                
    68                 if (b.parts.exp == FLOAT32_MAX_EXPONENT) {
    69                         /* num -(+-inf) = -+inf */
    70                         b.parts.sign = !b.parts.sign;
    71                         return b;
    72                 }
    73                
    74                 result.parts.sign = !a.parts.sign;
     57        if ((expdiff < 0 ) || ((expdiff == 0) && (a.parts.fraction < b.parts.fraction))) {
     58                if (isFloat32NaN(b)) {
     59                        /* TODO: fix SigNaN */
     60                        if (isFloat32SigNaN(b)) {
     61                        }
     62                        return b;
     63                }
     64               
     65                if (b.parts.exp == FLOAT32_MAX_EXPONENT) {
     66                        b.parts.sign = !b.parts.sign; /* num -(+-inf) = -+inf */
     67                        return b;
     68                }
     69               
     70                result.parts.sign = !a.parts.sign;
    7571               
    7672                frac1 = b.parts.fraction;
    … …  
    8076                expdiff *= -1;
    8177        } else {
    82                 if (is_float32_nan(a)) {
    83                         if ((is_float32_signan(a)) || (is_float32_signan(b))) {
    84                                 // TODO: fix SigNaN
    85                         }
    86                        
    87                         return a;
    88                 }
    89                
    90                 if (a.parts.exp == FLOAT32_MAX_EXPONENT) {
     78                if (isFloat32NaN(a)) {
     79                        /* TODO: fix SigNaN */
     80                        if (isFloat32SigNaN(a) || isFloat32SigNaN(b)) {
     81                        }
     82                        return a;
     83                }
     84               
     85                if (a.parts.exp == FLOAT32_MAX_EXPONENT) {
    9186                        if (b.parts.exp == FLOAT32_MAX_EXPONENT) {
    9287                                /* inf - inf => nan */
    93                                 // TODO: fix exception
    94                                 result.bin = FLOAT32_NAN;
     88                                /* TODO: fix exception */
     89                                result.binary = FLOAT32_NAN;
    9590                                return result;
    9691                        }
    97                        
    9892                        return a;
    9993                }
    … …  
    10498                exp1 = a.parts.exp;
    10599                frac2 = b.parts.fraction;
    106                 exp2 = b.parts.exp;
     100                exp2 = b.parts.exp;     
    107101        }
    108102       
    … …  
    111105                result.parts.fraction = frac1 - frac2;
    112106                if (result.parts.fraction > frac1) {
    113                         // TODO: underflow exception
     107                        /* TODO: underflow exception */
    114108                        return result;
    115109                }
    116                
    117110                result.parts.exp = 0;
    118111                return result;
    119112        }
    120        
     113
    121114        /* add hidden bit */
    122         frac1 |= FLOAT32_HIDDEN_BIT_MASK;
     115        frac1 |= FLOAT32_HIDDEN_BIT_MASK; 
    123116       
    124117        if (exp2 == 0) {
    125118                /* denormalized */
    126                 --expdiff;
     119                --expdiff;     
    127120        } else {
    128121                /* normalized */
    … …  
    134127        frac2 <<= 6;
    135128       
    136         if (expdiff > FLOAT32_FRACTION_SIZE + 1)
     129        if (expdiff > FLOAT32_FRACTION_SIZE + 1) {
    137130                goto done;
     131        }
    138132       
    139133        frac1 = frac1 - (frac2 >> expdiff);
    140        
     134
    141135done:
    142136        /* TODO: find first nonzero digit and shift result and detect possibly underflow */
    … …  
    149143        /* rounding - if first bit after fraction is set then round up */
    150144        frac1 += 0x20;
    151        
     145
    152146        if (frac1 & (FLOAT32_HIDDEN_BIT_MASK << 7)) {
    153147                ++exp1;
    … …  
    156150       
    157151        /* Clear hidden bit and shift */
    158         result.parts.fraction = ((frac1 >> 6) & (~FLOAT32_HIDDEN_BIT_MASK));
     152        result.parts.fraction = ((frac1 >> 6) & (~FLOAT32_HIDDEN_BIT_MASK)); 
    159153        result.parts.exp = exp1;
    160154       
    … …  
    162156}
    163157
    164 /** Subtract two double-precision floats with the same sign.
     158/**
     159 * Subtract two double-precision floats with the same signs.
    165160 *
    166161 * @param a First input operand.
    167162 * @param b Second input operand.
    168  *
    169163 * @return Result of substraction.
    170  *
    171  */
    172 float64 sub_float64(float64 a, float64 b)
     164 */
     165float64 subFloat64(float64 a, float64 b)
    173166{
    174167        int expdiff;
    … …  
    176169        uint64_t frac1, frac2;
    177170        float64 result;
    178        
    179         result.bin = 0;
     171
     172        result.d = 0;
    180173       
    181174        expdiff = a.parts.exp - b.parts.exp;
    182         if ((expdiff < 0 ) ||
    183             ((expdiff == 0) && (a.parts.fraction < b.parts.fraction))) {
    184                 if (is_float64_nan(b)) {
    185                         if (is_float64_signan(b)) {
    186                                 // TODO: fix SigNaN
    187                         }
    188                        
    189                         return b;
    190                 }
    191                
    192                 if (b.parts.exp == FLOAT64_MAX_EXPONENT) {
    193                         /* num -(+-inf) = -+inf */
    194                         b.parts.sign = !b.parts.sign;
    195                         return b;
    196                 }
    197                
    198                 result.parts.sign = !a.parts.sign;
     175        if ((expdiff < 0 ) || ((expdiff == 0) && (a.parts.fraction < b.parts.fraction))) {
     176                if (isFloat64NaN(b)) {
     177                        /* TODO: fix SigNaN */
     178                        if (isFloat64SigNaN(b)) {
     179                        }
     180                        return b;
     181                }
     182               
     183                if (b.parts.exp == FLOAT64_MAX_EXPONENT) {
     184                        b.parts.sign = !b.parts.sign; /* num -(+-inf) = -+inf */
     185                        return b;
     186                }
     187               
     188                result.parts.sign = !a.parts.sign;
    199189               
    200190                frac1 = b.parts.fraction;
    … …  
    204194                expdiff *= -1;
    205195        } else {
    206                 if (is_float64_nan(a)) {
    207                         if (is_float64_signan(a) || is_float64_signan(b)) {
    208                                 // TODO: fix SigNaN
    209                         }
    210                        
    211                         return a;
    212                 }
    213                
    214                 if (a.parts.exp == FLOAT64_MAX_EXPONENT) {
     196                if (isFloat64NaN(a)) {
     197                        /* TODO: fix SigNaN */
     198                        if (isFloat64SigNaN(a) || isFloat64SigNaN(b)) {
     199                        }
     200                        return a;
     201                }
     202               
     203                if (a.parts.exp == FLOAT64_MAX_EXPONENT) {
    215204                        if (b.parts.exp == FLOAT64_MAX_EXPONENT) {
    216205                                /* inf - inf => nan */
    217                                 // TODO: fix exception
    218                                 result.bin = FLOAT64_NAN;
     206                                /* TODO: fix exception */
     207                                result.binary = FLOAT64_NAN;
    219208                                return result;
    220209                        }
    221                        
    222210                        return a;
    223211                }
    … …  
    228216                exp1 = a.parts.exp;
    229217                frac2 = b.parts.fraction;
    230                 exp2 = b.parts.exp;
     218                exp2 = b.parts.exp;     
    231219        }
    232220       
    … …  
    235223                result.parts.fraction = frac1 - frac2;
    236224                if (result.parts.fraction > frac1) {
    237                         // TODO: underflow exception
     225                        /* TODO: underflow exception */
    238226                        return result;
    239227                }
    240                
    241228                result.parts.exp = 0;
    242229                return result;
    243230        }
    244        
     231
    245232        /* add hidden bit */
    246         frac1 |= FLOAT64_HIDDEN_BIT_MASK;
     233        frac1 |= FLOAT64_HIDDEN_BIT_MASK; 
    247234       
    248235        if (exp2 == 0) {
    249236                /* denormalized */
    250                 --expdiff;
     237                --expdiff;     
    251238        } else {
    252239                /* normalized */
    … …  
    258245        frac2 <<= 6;
    259246       
    260         if (expdiff > FLOAT64_FRACTION_SIZE + 1)
     247        if (expdiff > FLOAT64_FRACTION_SIZE + 1) {
    261248                goto done;
     249        }
    262250       
    263251        frac1 = frac1 - (frac2 >> expdiff);
    264        
     252
    265253done:
    266254        /* TODO: find first nonzero digit and shift result and detect possibly underflow */
    … …  
    273261        /* rounding - if first bit after fraction is set then round up */
    274262        frac1 += 0x20;
    275        
     263
    276264        if (frac1 & (FLOAT64_HIDDEN_BIT_MASK << 7)) {
    277265                ++exp1;
    … …  
    280268       
    281269        /* Clear hidden bit and shift */
    282         result.parts.fraction = ((frac1 >> 6) & (~FLOAT64_HIDDEN_BIT_MASK));
     270        result.parts.fraction = ((frac1 >> 6) & (~FLOAT64_HIDDEN_BIT_MASK)); 
    283271        result.parts.exp = exp1;
    284272       
    … …  
    286274}
    287275
    288 /** Subtract two quadruple-precision floats with the same sign.
     276/**
     277 * Subtract two quadruple-precision floats with the same signs.
    289278 *
    290279 * @param a First input operand.
    291280 * @param b Second input operand.
    292  *
    293281 * @return Result of substraction.
    294  *
    295  */
    296 float128 sub_float128(float128 a, float128 b)
     282 */
     283float128 subFloat128(float128 a, float128 b)
    297284{
    298285        int expdiff;
    … …  
    300287        uint64_t frac1_hi, frac1_lo, frac2_hi, frac2_lo, tmp_hi, tmp_lo;
    301288        float128 result;
    302        
    303         result.bin.hi = 0;
    304         result.bin.lo = 0;
    305        
     289
     290        result.binary.hi = 0;
     291        result.binary.lo = 0;
     292
    306293        expdiff = a.parts.exp - b.parts.exp;
    307294        if ((expdiff < 0 ) || ((expdiff == 0) &&
    308295            lt128(a.parts.frac_hi, a.parts.frac_lo, b.parts.frac_hi, b.parts.frac_lo))) {
    309                 if (is_float128_nan(b)) {
    310                         if (is_float128_signan(b)) {
    311                                 // TODO: fix SigNaN
    312                         }
    313                        
    314                         return b;
    315                 }
    316                
     296                if (isFloat128NaN(b)) {
     297                        /* TODO: fix SigNaN */
     298                        if (isFloat128SigNaN(b)) {
     299                        }
     300                        return b;
     301                }
     302
    317303                if (b.parts.exp == FLOAT128_MAX_EXPONENT) {
    318                         /* num -(+-inf) = -+inf */
    319                         b.parts.sign = !b.parts.sign;
    320                         return b;
    321                 }
    322                
     304                        b.parts.sign = !b.parts.sign; /* num -(+-inf) = -+inf */
     305                        return b;
     306                }
     307
    323308                result.parts.sign = !a.parts.sign;
    324                
     309
    325310                frac1_hi = b.parts.frac_hi;
    326311                frac1_lo = b.parts.frac_lo;
    … …  
    331316                expdiff *= -1;
    332317        } else {
    333                 if (is_float128_nan(a)) {
    334                         if (is_float128_signan(a) || is_float128_signan(b)) {
    335                                 // TODO: fix SigNaN
    336                         }
    337                        
    338                         return a;
    339                 }
    340                
     318                if (isFloat128NaN(a)) {
     319                        /* TODO: fix SigNaN */
     320                        if (isFloat128SigNaN(a) || isFloat128SigNaN(b)) {
     321                        }
     322                        return a;
     323                }
     324
    341325                if (a.parts.exp == FLOAT128_MAX_EXPONENT) {
    342326                        if (b.parts.exp == FLOAT128_MAX_EXPONENT) {
    343327                                /* inf - inf => nan */
    344                                 // TODO: fix exception
    345                                 result.bin.hi = FLOAT128_NAN_HI;
    346                                 result.bin.lo = FLOAT128_NAN_LO;
     328                                /* TODO: fix exception */
     329                                result.binary.hi = FLOAT128_NAN_HI;
     330                                result.binary.lo = FLOAT128_NAN_LO;
    347331                                return result;
    348332                        }
    349333                        return a;
    350334                }
    351                
     335
    352336                result.parts.sign = a.parts.sign;
    353                
     337
    354338                frac1_hi = a.parts.frac_hi;
    355339                frac1_lo = a.parts.frac_lo;
    … …  
    359343                exp2 = b.parts.exp;
    360344        }
    361        
     345
    362346        if (exp1 == 0) {
    363347                /* both are denormalized */
    … …  
    366350                result.parts.frac_lo = tmp_lo;
    367351                if (lt128(frac1_hi, frac1_lo, result.parts.frac_hi, result.parts.frac_lo)) {
    368                         // TODO: underflow exception
     352                        /* TODO: underflow exception */
    369353                        return result;
    370354                }
    371                
    372355                result.parts.exp = 0;
    373356                return result;
    374357        }
    375        
     358
    376359        /* add hidden bit */
    377360        or128(frac1_hi, frac1_lo,
    378361            FLOAT128_HIDDEN_BIT_MASK_HI, FLOAT128_HIDDEN_BIT_MASK_LO,
    379362            &frac1_hi, &frac1_lo);
    380        
     363
    381364        if (exp2 == 0) {
    382365                /* denormalized */
    … …  
    388371                    &frac2_hi, &frac2_lo);
    389372        }
    390        
     373
    391374        /* create some space for rounding */
    392375        lshift128(frac1_hi, frac1_lo, 6, &frac1_hi, &frac1_lo);
    393376        lshift128(frac2_hi, frac2_lo, 6, &frac2_hi, &frac2_lo);
    394        
    395         if (expdiff > FLOAT128_FRACTION_SIZE + 1)
     377
     378        if (expdiff > FLOAT128_FRACTION_SIZE + 1) {
    396379                goto done;
    397        
     380        }
     381
    398382        rshift128(frac2_hi, frac2_lo, expdiff, &tmp_hi, &tmp_lo);
    399383        sub128(frac1_hi, frac1_lo, tmp_hi, tmp_lo, &frac1_hi, &frac1_lo);
    400        
     384
    401385done:
    402386        /* TODO: find first nonzero digit and shift result and detect possibly underflow */
    … …  
    408392                lshift128(frac1_hi, frac1_lo, 1, &frac1_hi, &frac1_lo);
    409393                /* TODO: fix underflow - frac1 == 0 does not necessary means underflow... */
    410                
     394
    411395                lshift128(FLOAT128_HIDDEN_BIT_MASK_HI, FLOAT128_HIDDEN_BIT_MASK_LO, 6,
    412396                    &tmp_hi, &tmp_lo);
    413397                and128(frac1_hi, frac1_lo, tmp_hi, tmp_lo, &tmp_hi, &tmp_lo);
    414398        }
    415        
     399
    416400        /* rounding - if first bit after fraction is set then round up */
    417401        add128(frac1_hi, frac1_lo, 0x0ll, 0x20ll, &frac1_hi, &frac1_lo);
    418        
     402
    419403        lshift128(FLOAT128_HIDDEN_BIT_MASK_HI, FLOAT128_HIDDEN_BIT_MASK_LO, 7,
    420404           &tmp_hi, &tmp_lo);
    … …  
    424408                rshift128(frac1_hi, frac1_lo, 1, &frac1_hi, &frac1_lo);
    425409        }
    426        
     410
    427411        /* Clear hidden bit and shift */
    428412        rshift128(frac1_hi, frac1_lo, 6, &frac1_hi, &frac1_lo);
    … …  
    432416        result.parts.frac_hi = tmp_hi;
    433417        result.parts.frac_lo = tmp_lo;
    434        
     418
    435419        result.parts.exp = exp1;
    436        
     420
    437421        return result;
    438422}

  • uspace/lib/softfloat/include/add.h

    r41455a22 r6bb169b5  
    3737#define __ADD_H__
    3838
    39 extern float32 add_float32(float32, float32);
    40 extern float64 add_float64(float64, float64);
    41 extern float96 add_float96(float96, float96);
    42 extern float128 add_float128(float128, float128);
     39extern float32 addFloat32(float32, float32);
     40extern float64 addFloat64(float64, float64);
     41extern float128 addFloat128(float128, float128);
    4342
    4443#endif

  • uspace/lib/softfloat/include/common.h

    r41455a22 r6bb169b5  
    3939#include <sftypes.h>
    4040
    41 extern float64 finish_float64(int32_t, uint64_t, char);
    42 extern float128 finish_float128(int32_t, uint64_t, uint64_t, char, uint64_t);
     41extern float64 finishFloat64(int32_t, uint64_t, char);
     42extern float128 finishFloat128(int32_t, uint64_t, uint64_t, char, uint64_t);
    4343
    44 extern int count_zeroes8(uint8_t);
    45 extern int count_zeroes32(uint32_t);
    46 extern int count_zeroes64(uint64_t);
     44extern int countZeroes8(uint8_t);
     45extern int countZeroes32(uint32_t);
     46extern int countZeroes64(uint64_t);
    4747
    48 extern void round_float32(int32_t *, uint32_t *);
    49 extern void round_float64(int32_t *, uint64_t *);
    50 extern void round_float128(int32_t *, uint64_t *, uint64_t *);
     48extern void roundFloat32(int32_t *, uint32_t *);
     49extern void roundFloat64(int32_t *, uint64_t *);
     50extern void roundFloat128(int32_t *, uint64_t *, uint64_t *);
    5151
    5252extern void lshift128(uint64_t, uint64_t, int, uint64_t *, uint64_t *);

  • uspace/lib/softfloat/include/comparison.h

    r41455a22 r6bb169b5  
    3737#define __COMPARISON_H__
    3838
    39 extern int is_float32_nan(float32);
    40 extern int is_float32_signan(float32);
     39extern int isFloat32NaN(float32);
     40extern int isFloat32SigNaN(float32);
    4141
    42 extern int is_float32_infinity(float32);
    43 extern int is_float32_zero(float32);
     42extern int isFloat32Infinity(float32);
     43extern int isFloat32Zero(float32);
    4444
    45 extern int is_float32_eq(float32, float32);
    46 extern int is_float32_lt(float32, float32);
    47 extern int is_float32_gt(float32, float32);
     45extern int isFloat32eq(float32, float32);
     46extern int isFloat32lt(float32, float32);
     47extern int isFloat32gt(float32, float32);
    4848
    49 extern int is_float64_nan(float64);
    50 extern int is_float64_signan(float64);
     49extern int isFloat64NaN(float64);
     50extern int isFloat64SigNaN(float64);
    5151
    52 extern int is_float64_infinity(float64);
    53 extern int is_float64_zero(float64);
     52extern int isFloat64Infinity(float64);
     53extern int isFloat64Zero(float64);
    5454
    55 extern int is_float64_eq(float64, float64);
    56 extern int is_float64_lt(float64, float64);
    57 extern int is_float64_gt(float64, float64);
     55extern int isFloat64eq(float64, float64);
     56extern int isFloat64lt(float64, float64);
     57extern int isFloat64gt(float64, float64);
    5858
    59 extern int is_float96_nan(float96);
    60 extern int is_float96_signan(float96);
     59extern int isFloat128NaN(float128);
     60extern int isFloat128SigNaN(float128);
    6161
    62 extern int is_float96_infinity(float96);
    63 extern int is_float96_zero(float96);
     62extern int isFloat128Infinity(float128);
     63extern int isFloat128Zero(float128);
    6464
    65 extern int is_float96_eq(float96, float96);
    66 extern int is_float96_lt(float96, float96);
    67 extern int is_float96_gt(float96, float96);
    68 
    69 extern int is_float128_nan(float128);
    70 extern int is_float128_signan(float128);
    71 
    72 extern int is_float128_infinity(float128);
    73 extern int is_float128_zero(float128);
    74 
    75 extern int is_float128_eq(float128, float128);
    76 extern int is_float128_lt(float128, float128);
    77 extern int is_float128_gt(float128, float128);
     65extern int isFloat128eq(float128, float128);
     66extern int isFloat128lt(float128, float128);
     67extern int isFloat128gt(float128, float128);
    7868
    7969#endif

  • uspace/lib/softfloat/include/conversion.h

    r41455a22 r6bb169b5  
    3737#define __CONVERSION_H__
    3838
    39 extern float64 float32_to_float64(float32);
    40 extern float96 float32_to_float96(float32);
    41 extern float128 float32_to_float128(float32);
    42 extern float96 float64_to_float96(float64);
    43 extern float128 float64_to_float128(float64);
    44 extern float128 float96_to_float128(float96);
     39extern float64 convertFloat32ToFloat64(float32);
     40extern float128 convertFloat32ToFloat128(float32);
     41extern float128 convertFloat64ToFloat128(float64);
    4542
    46 extern float32 float64_to_float32(float64);
    47 extern float32 float96_to_float32(float96);
    48 extern float64 float96_to_float64(float96);
    49 extern float32 float128_to_float32(float128);
    50 extern float64 float128_to_float64(float128);
    51 extern float96 float128_to_float96(float128);
     43
     44extern float32 convertFloat64ToFloat32(float64);
     45extern float32 convertFloat128ToFloat32(float128);
     46extern float64 convertFloat128ToFloat64(float128);
     47
    5248
    5349extern uint32_t float32_to_uint32(float32);
    … …  
    6359extern int64_t float64_to_int64(float64);
    6460
    65 extern uint32_t float96_to_uint32(float96);
    66 extern int32_t float96_to_int32(float96);
    67 
    68 extern uint64_t float96_to_uint64(float96);
    69 extern int64_t float96_to_int64(float96);
    70 
    7161extern uint32_t float128_to_uint32(float128);
    7262extern int32_t float128_to_int32(float128);
    … …  
    7464extern uint64_t float128_to_uint64(float128);
    7565extern int64_t float128_to_int64(float128);
     66
    7667
    7768extern float32 uint32_to_float32(uint32_t);
    … …  
    8778extern float64 int64_to_float64(int64_t);
    8879
    89 extern float96 uint32_to_float96(uint32_t);
    90 extern float96 int32_to_float96(int32_t);
    91 
    92 extern float96 uint64_to_float96(uint64_t);
    93 extern float96 int64_to_float96(int64_t);
    94 
    9580extern float128 uint32_to_float128(uint32_t);
    9681extern float128 int32_to_float128(int32_t);

  • uspace/lib/softfloat/include/div.h

    r41455a22 r6bb169b5  
    3737#define __DIV_H__
    3838
    39 extern float32 div_float32(float32, float32);
    40 extern float64 div_float64(float64, float64);
    41 extern float96 div_float96(float96, float96);
    42 extern float128 div_float128(float128, float128);
     39extern float32 divFloat32(float32, float32);
     40extern float64 divFloat64(float64, float64);
     41extern float128 divFloat128(float128, float128);
    4342
    4443#endif

  • uspace/lib/softfloat/include/mul.h

    r41455a22 r6bb169b5  
    3737#define __MUL_H__
    3838
    39 extern float32 mul_float32(float32, float32);
    40 extern float64 mul_float64(float64, float64);
    41 extern float96 mul_float96(float96, float96);
    42 extern float128 mul_float128(float128, float128);
     39extern float32 mulFloat32(float32, float32);
     40extern float64 mulFloat64(float64, float64);
     41extern float128 mulFloat128(float128, float128);
    4342
    4443#endif

  • uspace/lib/softfloat/include/sftypes.h

    r41455a22 r6bb169b5  
    4040#include <stdint.h>
    4141
    42 /*
    43  * For recognizing NaNs or infinity use specialized comparison
    44  * functions, comparing with these constants is not sufficient.
    45  */
    46 
    47 #define FLOAT32_NAN     UINT32_C(0x7FC00001)
    48 #define FLOAT32_SIGNAN  UINT32_C(0x7F800001)
    49 #define FLOAT32_INF     UINT32_C(0x7F800000)
    50 
    51 #define FLOAT64_NAN     UINT64_C(0x7FF8000000000001)
    52 #define FLOAT64_SIGNAN  UINT64_C(0x7FF0000000000001)
    53 #define FLOAT64_INF     UINT64_C(0x7FF0000000000000)
    54 
    55 #define FLOAT96_NAN_HI     UINT64_C(0x7FFF80000000)
    56 #define FLOAT96_NAN_LO     UINT32_C(0x00010000)
    57 #define FLOAT96_SIGNAN_HI  UINT64_C(0x7FFF00000000)
    58 #define FLOAT96_SIGNAN_LO  UINT32_C(0x00010000)
    59 
    60 #define FLOAT128_NAN_HI     UINT64_C(0x7FFF800000000000)
    61 #define FLOAT128_NAN_LO     UINT64_C(0x0000000000000001)
    62 #define FLOAT128_SIGNAN_HI  UINT64_C(0x7FFF000000000000)
    63 #define FLOAT128_SIGNAN_LO  UINT64_C(0x0000000000000001)
    64 #define FLOAT128_INF_HI     UINT64_C(0x7FFF000000000000)
    65 #define FLOAT128_INF_LO     UINT64_C(0x0000000000000000)
    66 
    67 #define FLOAT32_FRACTION_SIZE   23
    68 #define FLOAT64_FRACTION_SIZE   52
    69 #define FLOAT96_FRACTION_SIZE   64
    70 #define FLOAT128_FRACTION_SIZE  112
    71 #define FLOAT128_FRAC_HI_SIZE   48
    72 #define FLOAT128_FRAC_LO_SIZE   64
    73 
    74 #define FLOAT32_HIDDEN_BIT_MASK      UINT32_C(0x800000)
    75 #define FLOAT64_HIDDEN_BIT_MASK      UINT64_C(0x10000000000000)
    76 #define FLOAT128_HIDDEN_BIT_MASK_HI  UINT64_C(0x1000000000000)
    77 #define FLOAT128_HIDDEN_BIT_MASK_LO  UINT64_C(0x0000000000000000)
    78 
    79 #define FLOAT32_MAX_EXPONENT   0xFF
    80 #define FLOAT64_MAX_EXPONENT   0x7FF
    81 #define FLOAT96_MAX_EXPONENT   0x7FFF
    82 #define FLOAT128_MAX_EXPONENT  0x7FFF
    83 
    84 #define FLOAT32_BIAS   0x7F
    85 #define FLOAT64_BIAS   0x3FF
    86 #define FLOAT96_BIAS   0x3FFF
    87 #define FLOAT128_BIAS  0x3FFF
    88 
    89 #if defined(__BE__)
    90 
    9142typedef union {
    92         uint32_t bin;
     43        float f;
     44        uint32_t binary;
    9345       
    9446        struct {
     47#if defined(__BE__)
    9548                uint32_t sign : 1;
    9649                uint32_t exp : 8;
    9750                uint32_t fraction : 23;
    98         } parts __attribute__((packed));
     51#elif defined(__LE__)
     52                uint32_t fraction : 23;
     53                uint32_t exp : 8;
     54                uint32_t sign : 1;
     55#else
     56        #error Unknown endianess
     57#endif
     58        } parts __attribute__ ((packed));
    9959} float32;
    10060
    10161typedef union {
    102         uint64_t bin;
     62        double d;
     63        uint64_t binary;
    10364       
    10465        struct {
     66#if defined(__BE__)
    10567                uint64_t sign : 1;
    10668                uint64_t exp : 11;
    10769                uint64_t fraction : 52;
    108         } parts __attribute__((packed));
     70#elif defined(__LE__)
     71                uint64_t fraction : 52;
     72                uint64_t exp : 11;
     73                uint64_t sign : 1;
     74#else
     75        #error Unknown endianess
     76#endif
     77        } parts __attribute__ ((packed));
    10978} float64;
    11079
    11180typedef union {
     81        long double ld;
    11282        struct {
    113                 uint64_t hi;
    114                 uint32_t lo;
    115         } bin __attribute__((packed));
    116        
    117         struct {
    118                 uint64_t padding : 16;
    119                 uint64_t sign : 1;
    120                 uint64_t exp : 15;
    121                 uint64_t fraction : 64;
    122         } parts __attribute__((packed));
    123 } float96;
    124 
    125 typedef union {
    126         struct {
     83#if defined(__BE__)
    12784                uint64_t hi;
    12885                uint64_t lo;
    129         } bin __attribute__((packed));
    130        
     86#elif defined(__LE__)
     87                uint64_t lo;
     88                uint64_t hi;
     89#else
     90        #error Unknown endianess
     91#endif
     92        } binary;
     93
    13194        struct {
     95#if defined(__BE__)
    13296                uint64_t sign : 1;
    13397                uint64_t exp : 15;
    13498                uint64_t frac_hi : 48;
    13599                uint64_t frac_lo : 64;
    136         } parts __attribute__((packed));
    137 } float128;
    138 
    139100#elif defined(__LE__)
    140 
    141 typedef union {
    142         uint32_t bin;
    143        
    144         struct {
    145                 uint32_t fraction : 23;
    146                 uint32_t exp : 8;
    147                 uint32_t sign : 1;
    148         } parts __attribute__((packed));
    149 } float32;
    150 
    151 typedef union {
    152         uint64_t bin;
    153        
    154         struct {
    155                 uint64_t fraction : 52;
    156                 uint64_t exp : 11;
    157                 uint64_t sign : 1;
    158         } parts __attribute__((packed));
    159 } float64;
    160 
    161 typedef union {
    162         struct {
    163                 uint32_t lo;
    164                 uint64_t hi;
    165         } bin __attribute__((packed));
    166        
    167         struct {
    168                 uint64_t fraction : 64;
    169                 uint64_t exp : 15;
    170                 uint64_t sign : 1;
    171                 uint64_t padding : 16;
    172         } parts __attribute__((packed));
    173 } float96;
    174 
    175 typedef union {
    176         struct {
    177                 uint64_t lo;
    178                 uint64_t hi;
    179         } bin __attribute__((packed));
    180        
    181         struct {
    182101                uint64_t frac_lo : 64;
    183102                uint64_t frac_hi : 48;
    184103                uint64_t exp : 15;
    185104                uint64_t sign : 1;
    186         } parts __attribute__((packed));
    187 } float128;
    188 
    189105#else
    190106        #error Unknown endianess
    191107#endif
     108        } parts __attribute__ ((packed));
     109} float128;
    192110
    193 typedef union {
    194         float val;
    195        
    196 #if defined(FLOAT_SIZE_32)
    197         float32 data;
    198 #elif defined(FLOAT_SIZE_64)
    199         float64 data;
    200 #elif defined(FLOAT_SIZE_96)
    201         float96 data;
    202 #elif defined(FLOAT_SIZE_128)
    203         float128 data;
    204 #else
    205         #error Unsupported float size
    206 #endif
    207 } float_t;
     111/*
     112 * For recognizing NaNs or infinity use specialized comparison functions,
     113 * comparing with these constants is not sufficient.
     114 */
    208115
    209 typedef union {
    210         double val;
    211        
    212 #if defined(DOUBLE_SIZE_32)
    213         float32 data;
    214 #elif defined(DOUBLE_SIZE_64)
    215         float64 data;
    216 #elif defined(DOUBLE_SIZE_96)
    217         float96 data;
    218 #elif defined(DOUBLE_SIZE_128)
    219         float128 data;
    220 #else
    221         #error Unsupported double size
    222 #endif
    223 } double_t;
     116#define FLOAT32_NAN     0x7FC00001
     117#define FLOAT32_SIGNAN  0x7F800001
     118#define FLOAT32_INF     0x7F800000
    224119
    225 typedef union {
    226         long double val;
    227        
    228 #if defined(LONG_DOUBLE_SIZE_32)
    229         float32 data;
    230 #elif defined(LONG_DOUBLE_SIZE_64)
    231         float64 data;
    232 #elif defined(LONG_DOUBLE_SIZE_96)
    233         float96 data;
    234 #elif defined(LONG_DOUBLE_SIZE_128)
    235         float128 data;
    236 #else
    237         #error Unsupported long double size
    238 #endif
    239 } long_double_t;
     120#define FLOAT64_NAN     0x7FF8000000000001ll
     121#define FLOAT64_SIGNAN  0x7FF0000000000001ll
     122#define FLOAT64_INF     0x7FF0000000000000ll
    240123
     124#define FLOAT128_NAN_HI     0x7FFF800000000000ll
     125#define FLOAT128_NAN_LO     0x0000000000000001ll
     126#define FLOAT128_SIGNAN_HI  0x7FFF000000000000ll
     127#define FLOAT128_SIGNAN_LO  0x0000000000000001ll
     128#define FLOAT128_INF_HI     0x7FFF000000000000ll
     129#define FLOAT128_INF_LO     0x0000000000000000ll
    241130
    242 #if defined(INT_SIZE_8)
     131#define FLOAT32_FRACTION_SIZE   23
     132#define FLOAT64_FRACTION_SIZE   52
     133#define FLOAT128_FRACTION_SIZE 112
     134#define FLOAT128_FRAC_HI_SIZE   48
     135#define FLOAT128_FRAC_LO_SIZE   64
    243136
    244 #define _to_int   _to_int8
    245 #define from_int  int8
     137#define FLOAT32_HIDDEN_BIT_MASK      0x800000
     138#define FLOAT64_HIDDEN_BIT_MASK      0x10000000000000ll
     139#define FLOAT128_HIDDEN_BIT_MASK_HI  0x1000000000000ll
     140#define FLOAT128_HIDDEN_BIT_MASK_LO  0x0000000000000000ll
    246141
    247 #elif defined(INT_SIZE_16)
     142#define FLOAT32_MAX_EXPONENT  0xFF
     143#define FLOAT64_MAX_EXPONENT  0x7FF
     144#define FLOAT128_MAX_EXPONENT 0x7FFF
    248145
    249 #define _to_int   _to_int16
    250 #define from_int  int16
    251 
    252 #elif defined(INT_SIZE_32)
    253 
    254 #define _to_int   _to_int32
    255 #define from_int  int32
    256 
    257 #elif defined(INT_SIZE_64)
    258 
    259 #define _to_int   _to_int64
    260 #define from_int  int64
    261 
    262 #endif
    263 
    264 
    265 #if defined(UINT_SIZE_8)
    266 
    267 #define _to_uint   _to_uint8
    268 #define from_uint  uint8
    269 
    270 #elif defined(UINT_SIZE_16)
    271 
    272 #define _to_uint   _to_uint16
    273 #define from_uint  uint16
    274 
    275 #elif defined(UINT_SIZE_32)
    276 
    277 #define _to_uint   _to_uint32
    278 #define from_uint  uint32
    279 
    280 #elif defined(UINT_SIZE_64)
    281 
    282 #define _to_uint   _to_uint64
    283 #define from_uint  uint64
    284 
    285 #endif
    286 
    287 
    288 #if defined(LONG_SIZE_8)
    289 
    290 #define _to_long   _to_int8
    291 #define from_long  int8
    292 
    293 #elif defined(LONG_SIZE_16)
    294 
    295 #define _to_long   _to_int16
    296 #define from_long  int16
    297 
    298 #elif defined(LONG_SIZE_32)
    299 
    300 #define _to_long   _to_int32
    301 #define from_long  int32
    302 
    303 #elif defined(LONG_SIZE_64)
    304 
    305 #define _to_long   _to_int64
    306 #define from_long  int64
    307 
    308 #endif
    309 
    310 
    311 #if defined(ULONG_SIZE_8)
    312 
    313 #define _to_ulong   _to_uint8
    314 #define from_ulong  uint8
    315 
    316 #elif defined(ULONG_SIZE_16)
    317 
    318 #define _to_ulong   _to_uint16
    319 #define from_ulong  uint16
    320 
    321 #elif defined(ULONG_SIZE_32)
    322 
    323 #define _to_ulong   _to_uint32
    324 #define from_ulong  uint32
    325 
    326 #elif defined(ULONG_SIZE_64)
    327 
    328 #define _to_ulong   _to_uint64
    329 #define from_ulong  uint64
    330 
    331 #endif
    332 
    333 
    334 #if defined(LLONG_SIZE_8)
    335 
    336 #define _to_llong   _to_int8
    337 #define from_llong  int8
    338 
    339 #elif defined(LLONG_SIZE_16)
    340 
    341 #define _to_llong   _to_int16
    342 #define from_llong  int16
    343 
    344 #elif defined(LLONG_SIZE_32)
    345 
    346 #define _to_llong   _to_int32
    347 #define from_llong  int32
    348 
    349 #elif defined(LLONG_SIZE_64)
    350 
    351 #define _to_llong   _to_int64
    352 #define from_llong  int64
    353 
    354 #endif
    355 
    356 
    357 #if defined(ULLONG_SIZE_8)
    358 
    359 #define _to_ullong   _to_uint8
    360 #define from_ullong  uint8
    361 
    362 #elif defined(ULLONG_SIZE_16)
    363 
    364 #define _to_ullong   _to_uint16
    365 #define from_ullong  uint16
    366 
    367 #elif defined(ULLONG_SIZE_32)
    368 
    369 #define _to_ullong   _to_uint32
    370 #define from_ullong  uint32
    371 
    372 #elif defined(ULLONG_SIZE_64)
    373 
    374 #define _to_ullong   _to_uint64
    375 #define from_ullong  uint64
    376 
    377 #endif
    378 
    379 
    380 #if defined(FLOAT_SIZE_32)
    381 
    382 #define add_float     add_float32
    383 #define sub_float     sub_float32
    384 #define mul_float     mul_float32
    385 #define div_float     div_float32
    386 #define _to_float     _to_float32
    387 #define from_float    float32
    388 #define is_float_nan  is_float32_nan
    389 #define is_float_eq   is_float32_eq
    390 #define is_float_lt   is_float32_lt
    391 #define is_float_gt   is_float32_gt
    392 
    393 #elif defined(FLOAT_SIZE_64)
    394 
    395 #define add_float     add_float64
    396 #define sub_float     sub_float64
    397 #define mul_float     mul_float64
    398 #define div_float     div_float64
    399 #define _to_float     _to_float64
    400 #define from_float    float64
    401 #define is_float_nan  is_float64_nan
    402 #define is_float_eq   is_float64_eq
    403 #define is_float_lt   is_float64_lt
    404 #define is_float_gt   is_float64_gt
    405 
    406 #elif defined(FLOAT_SIZE_96)
    407 
    408 #define add_float     add_float96
    409 #define sub_float     sub_float96
    410 #define mul_float     mul_float96
    411 #define div_float     div_float96
    412 #define _to_float     _to_float96
    413 #define from_float    float96
    414 #define is_float_nan  is_float96_nan
    415 #define is_float_eq   is_float96_eq
    416 #define is_float_lt   is_float96_lt
    417 #define is_float_gt   is_float96_gt
    418 
    419 #elif defined(FLOAT_SIZE_128)
    420 
    421 #define add_float     add_float128
    422 #define sub_float     sub_float128
    423 #define mul_float     mul_float128
    424 #define div_float     div_float128
    425 #define _to_float     _to_float128
    426 #define from_float    float128
    427 #define is_float_nan  is_float128_nan
    428 #define is_float_eq   is_float128_eq
    429 #define is_float_lt   is_float128_lt
    430 #define is_float_gt   is_float128_gt
    431 
    432 #endif
    433 
    434 
    435 #if defined(DOUBLE_SIZE_32)
    436 
    437 #define add_double     add_float32
    438 #define sub_double     sub_float32
    439 #define mul_double     mul_float32
    440 #define div_double     div_float32
    441 #define _to_double     _to_float32
    442 #define from_double    float32
    443 #define is_double_nan  is_float32_nan
    444 #define is_double_eq   is_float32_eq
    445 #define is_double_lt   is_float32_lt
    446 #define is_double_gt   is_float32_gt
    447 
    448 #elif defined(DOUBLE_SIZE_64)
    449 
    450 #define add_double     add_float64
    451 #define sub_double     sub_float64
    452 #define mul_double     mul_float64
    453 #define div_double     div_float64
    454 #define _to_double     _to_float64
    455 #define from_double    float64
    456 #define is_double_nan  is_float64_nan
    457 #define is_double_eq   is_float64_eq
    458 #define is_double_lt   is_float64_lt
    459 #define is_double_gt   is_float64_gt
    460 
    461 #elif defined(DOUBLE_SIZE_96)
    462 
    463 #define add_double     add_float96
    464 #define sub_double     sub_float96
    465 #define mul_double     mul_float96
    466 #define div_double     div_float96
    467 #define _to_double     _to_float96
    468 #define from_double    float96
    469 #define is_double_nan  is_float96_nan
    470 #define is_double_eq   is_float96_eq
    471 #define is_double_lt   is_float96_lt
    472 #define is_double_gt   is_float96_gt
    473 
    474 #elif defined(DOUBLE_SIZE_128)
    475 
    476 #define add_double     add_float128
    477 #define sub_double     sub_float128
    478 #define mul_double     mul_float128
    479 #define div_double     div_float128
    480 #define _to_double     _to_float128
    481 #define from_double    float128
    482 #define is_double_nan  is_float128_nan
    483 #define is_double_eq   is_float128_eq
    484 #define is_double_lt   is_float128_lt
    485 #define is_double_gt   is_float128_gt
    486 
    487 #endif
    488 
    489 
    490 #if defined(LONG_DOUBLE_SIZE_32)
    491 
    492 #define add_long_double     add_float32
    493 #define sub_long_double     sub_float32
    494 #define mul_long_double     mul_float32
    495 #define div_long_double     div_float32
    496 #define _to_long_double     _to_float32
    497 #define from_long_double    float32
    498 #define is_long_double_nan  is_float32_nan
    499 #define is_long_double_eq   is_float32_eq
    500 #define is_long_double_lt   is_float32_lt
    501 #define is_long_double_gt   is_float32_gt
    502 
    503 #elif defined(LONG_DOUBLE_SIZE_64)
    504 
    505 #define add_long_double     add_float64
    506 #define sub_long_double     sub_float64
    507 #define mul_long_double     mul_float64
    508 #define div_long_double     div_float64
    509 #define _to_long_double     _to_float64
    510 #define from_long_double    float64
    511 #define is_long_double_nan  is_float64_nan
    512 #define is_long_double_eq   is_float64_eq
    513 #define is_long_double_lt   is_float64_lt
    514 #define is_long_double_gt   is_float64_gt
    515 
    516 #elif defined(LONG_DOUBLE_SIZE_96)
    517 
    518 #define add_long_double     add_float96
    519 #define sub_long_double     sub_float96
    520 #define mul_long_double     mul_float96
    521 #define div_long_double     div_float96
    522 #define _to_long_double     _to_float96
    523 #define from_long_double    float96
    524 #define is_long_double_nan  is_float96_nan
    525 #define is_long_double_eq   is_float96_eq
    526 #define is_long_double_lt   is_float96_lt
    527 #define is_long_double_gt   is_float96_gt
    528 
    529 #elif defined(LONG_DOUBLE_SIZE_128)
    530 
    531 #define add_long_double     add_float128
    532 #define sub_long_double     sub_float128
    533 #define mul_long_double     mul_float128
    534 #define div_long_double     div_float128
    535 #define _to_long_double     _to_float128
    536 #define from_long_double    float128
    537 #define is_long_double_nan  is_float128_nan
    538 #define is_long_double_eq   is_float128_eq
    539 #define is_long_double_lt   is_float128_lt
    540 #define is_long_double_gt   is_float128_gt
    541 
    542 #endif
    543 
    544 
    545 #define CONCAT(a, b)       CONCAT_ARGS(a, b)
    546 #define CONCAT_ARGS(a, b)  a ## b
    547 
    548 #define float32_to_float32(arg)    (arg)
    549 #define float64_to_float64(arg)    (arg)
    550 #define float96_to_float96(arg)    (arg)
    551 #define float128_to_float128(arg)  (arg)
    552 
    553 #define float_to_double       CONCAT(from_float, _to_double)
    554 #define float_to_long_double  CONCAT(from_float, _to_long_double)
    555 #define float_to_int          CONCAT(from_float, _to_int)
    556 #define float_to_uint         CONCAT(from_float, _to_uint)
    557 #define float_to_long         CONCAT(from_float, _to_long)
    558 #define float_to_ulong        CONCAT(from_float, _to_ulong)
    559 #define float_to_llong        CONCAT(from_float, _to_llong)
    560 #define float_to_ullong       CONCAT(from_float, _to_ullong)
    561 
    562 #define double_to_float        CONCAT(from_double, _to_float)
    563 #define double_to_long_double  CONCAT(from_double, _to_long_double)
    564 #define double_to_int          CONCAT(from_double, _to_int)
    565 #define double_to_uint         CONCAT(from_double, _to_uint)
    566 #define double_to_long         CONCAT(from_double, _to_long)
    567 #define double_to_ulong        CONCAT(from_double, _to_ulong)
    568 #define double_to_llong        CONCAT(from_double, _to_llong)
    569 #define double_to_ullong       CONCAT(from_double, _to_ullong)
    570 
    571 #define long_double_to_float   CONCAT(from_long_double, _to_float)
    572 #define long_double_to_double  CONCAT(from_long_double, _to_double)
    573 #define long_double_to_int     CONCAT(from_long_double, _to_int)
    574 #define long_double_to_uint    CONCAT(from_long_double, _to_uint)
    575 #define long_double_to_long    CONCAT(from_long_double, _to_long)
    576 #define long_double_to_ulong   CONCAT(from_long_double, _to_ulong)
    577 #define long_double_to_llong   CONCAT(from_long_double, _to_llong)
    578 #define long_double_to_ullong  CONCAT(from_long_double, _to_ullong)
    579 
    580 #define int_to_float        CONCAT(from_int, _to_float)
    581 #define int_to_double       CONCAT(from_int, _to_double)
    582 #define int_to_long_double  CONCAT(from_int, _to_long_double)
    583 
    584 #define uint_to_float        CONCAT(from_uint, _to_float)
    585 #define uint_to_double       CONCAT(from_uint, _to_double)
    586 #define uint_to_long_double  CONCAT(from_uint, _to_long_double)
    587 
    588 #define long_to_float        CONCAT(from_long, _to_float)
    589 #define long_to_double       CONCAT(from_long, _to_double)
    590 #define long_to_long_double  CONCAT(from_long, _to_long_double)
    591 
    592 #define ulong_to_float        CONCAT(from_ulong, _to_float)
    593 #define ulong_to_double       CONCAT(from_ulong, _to_double)
    594 #define ulong_to_long_double  CONCAT(from_ulong, _to_long_double)
    595 
    596 #define llong_to_float        CONCAT(from_llong, _to_float)
    597 #define llong_to_double       CONCAT(from_llong, _to_double)
    598 #define llong_to_long_double  CONCAT(from_llong, _to_long_double)
    599 
    600 #define ullong_to_float        CONCAT(from_ullong, _to_float)
    601 #define ullong_to_double       CONCAT(from_ullong, _to_double)
    602 #define ullong_to_long_double  CONCAT(from_ullong, _to_long_double)
    603 
     146#define FLOAT32_BIAS  0x7F
     147#define FLOAT64_BIAS  0x3FF
     148#define FLOAT80_BIAS  0x3FFF
     149#define FLOAT128_BIAS 0x3FFF
    604150
    605151#endif

  • uspace/lib/softfloat/include/softfloat.h

    r41455a22 r6bb169b5  
    169169extern float __powisf2(float, int);
    170170extern double __powidf2 (double, int);
    171 extern long double __powitf2(long double, int);
    172 extern long double __powixf2(long double, int);
     171extern long double __powitf2 (long double, int);
     172extern long double __powixf2 (long double, int);
     173
     174
    173175
    174176/* SPARC quadruple-precision wrappers */

  • uspace/lib/softfloat/include/sub.h

    r41455a22 r6bb169b5  
    3737#define __SUB_H__
    3838
    39 extern float32 sub_float32(float32, float32);
    40 extern float64 sub_float64(float64, float64);
    41 extern float96 sub_float96(float96, float96);
    42 extern float128 sub_float128(float128, float128);
     39extern float32 subFloat32(float32, float32);
     40extern float64 subFloat64(float64, float64);
     41extern float128 subFloat128(float128, float128);
    4342
    4443#endif

  • uspace/lib/softint/generic/division.c

    r41455a22 r6bb169b5  
    3737#include <division.h>
    3838
    39 #define ABSVAL(x)  ((x) > 0 ? (x) : -(x))
    40 #define SGN(x)     ((x) >= 0 ? 1 : 0)
    41 
    42 static unsigned int divandmod32(unsigned int a, unsigned int b,
    43     unsigned int *remainder)
     39#define ABSVAL(x) ( (x) > 0 ? (x) : -(x))
     40#define SGN(x) ( (x) >= 0 ? 1 : 0 )
     41                                     
     42static unsigned int divandmod32(unsigned int a, unsigned int b, unsigned int *remainder)
    4443{
    4544        unsigned int result;
    … …  
    5453        }
    5554       
    56         if (a < b) {
     55        if ( a < b) {
    5756                *remainder = a;
    5857                return 0;
    5958        }
    60        
    61         for (; steps > 0; steps--) {
     59
     60        for ( ; steps > 0; steps--) {
    6261                /* shift one bit to remainder */
    63                 *remainder = ((*remainder) << 1) | (( a >> 31) & 0x1);
     62                *remainder = ( (*remainder) << 1) | (( a >> 31) & 0x1);
    6463                result <<= 1;
    6564               
    6665                if (*remainder >= b) {
    67                         *remainder -= b;
    68                         result |= 0x1;
     66                                *remainder -= b;
     67                                result |= 0x1;
    6968                }
    7069                a <<= 1;
    7170        }
    72        
     71
    7372        return result;
    7473}
    7574
    76 static unsigned long long divandmod64(unsigned long long a,
    77     unsigned long long b, unsigned long long *remainder)
     75
     76static unsigned long long divandmod64(unsigned long long a, unsigned long long b, unsigned long long *remainder)
    7877{
    7978        unsigned long long result;
    80         int steps = sizeof(unsigned long long) * 8;
     79        int steps = sizeof(unsigned long long) * 8; 
    8180       
    8281        *remainder = 0;
    … …  
    8887        }
    8988       
    90         if (a < b) {
     89        if ( a < b) {
    9190                *remainder = a;
    9291                return 0;
    9392        }
    94        
    95         for (; steps > 0; steps--) {
     93
     94        for ( ; steps > 0; steps--) {
    9695                /* shift one bit to remainder */
    97                 *remainder = ((*remainder) << 1) | ((a >> 63) & 0x1);
     96                *remainder = ( (*remainder) << 1) | ((a >> 63) & 0x1);
    9897                result <<= 1;
    9998               
    10099                if (*remainder >= b) {
    101                         *remainder -= b;
    102                         result |= 0x1;
     100                                *remainder -= b;
     101                                result |= 0x1;
    103102                }
    104103                a <<= 1;
    105104        }
    106        
     105
    107106        return result;
    108107}
    109108
    110109/* 32bit integer division */
    111 int __divsi3(int a, int b)
     110int __divsi3(int a, int b) 
    112111{
    113112        unsigned int rem;
    114         int result = (int) divandmod32(ABSVAL(a), ABSVAL(b), &rem);
     113        int result;
    115114       
    116         if (SGN(a) == SGN(b))
    117                 return result;
    118        
     115        result = (int)divandmod32(ABSVAL(a), ABSVAL(b), &rem);
     116
     117        if ( SGN(a) == SGN(b)) return result;
    119118        return -result;
    120119}
    121120
    122121/* 64bit integer division */
    123 long long __divdi3(long long a, long long b)
     122long long __divdi3(long long a, long long b) 
    124123{
    125124        unsigned long long rem;
    126         long long result = (long long) divandmod64(ABSVAL(a), ABSVAL(b), &rem);
     125        long long result;
    127126       
    128         if (SGN(a) == SGN(b))
    129                 return result;
    130        
     127        result = (long long)divandmod64(ABSVAL(a), ABSVAL(b), &rem);
     128
     129        if ( SGN(a) == SGN(b)) return result;
    131130        return -result;
    132131}
    … …  
    142141unsigned long long __udivdi3(unsigned long long a, unsigned long long b)
    143142{
    144         unsigned long long rem;
     143        unsigned long long  rem;
    145144        return divandmod64(a, b, &rem);
    146145}
    … …  
    153152       
    154153        /* if divident is negative, remainder must be too */
    155         if (!(SGN(a)))
    156                 return -((int) rem);
     154        if (!(SGN(a))) {
     155                return -((int)rem);
     156        }
    157157       
    158         return (int) rem;
     158        return (int)rem;
    159159}
    160160
    161161/* 64bit remainder of the signed division */
    162 long long __moddi3(long long a, long long b)
     162long long __moddi3(long long a,long long b)
    163163{
    164164        unsigned long long rem;
    … …  
    166166       
    167167        /* if divident is negative, remainder must be too */
    168         if (!(SGN(a)))
    169                 return -((long long) rem);
     168        if (!(SGN(a))) {
     169                return -((long long)rem);
     170        }
    170171       
    171         return (long long) rem;
     172        return (long long)rem;
    172173}
    173174
    … …  
    188189}
    189190
    190 int __divmodsi3(int a, int b, int *c)
    191 {
    192         unsigned int rem;
    193         int result = (int) divandmod32(ABSVAL(a), ABSVAL(b), &rem);
    194        
    195         if (SGN(a) == SGN(b)) {
    196                 *c = rem;
    197                 return result;
    198         }
    199        
    200         *c = -rem;
    201         return -result;
    202 }
    203 
    204 unsigned int __udivmodsi3(unsigned int a, unsigned int b,
    205     unsigned int *c)
    206 {
    207         return divandmod32(a, b, c);
    208 }
    209 
    210 long long __divmoddi3(long long a, long long b, long long *c)
    211 {
    212         unsigned long long rem;
    213         long long result = (int) divandmod64(ABSVAL(a), ABSVAL(b), &rem);
    214        
    215         if (SGN(a) == SGN(b)) {
    216                 *c = rem;
    217                 return result;
    218         }
    219        
    220         *c = -rem;
    221         return -result;
    222 }
    223 
    224 unsigned long long __udivmoddi3(unsigned long long a, unsigned long long b,
    225     unsigned long long *c)
     191unsigned long long __udivmoddi3(unsigned long long a, unsigned long long b, unsigned long long *c)
    226192{
    227193        return divandmod64(a, b, c);

  • uspace/lib/softint/include/comparison.h

    r41455a22 r6bb169b5  
    3838
    3939/* Signed comparison (a < b => 0, a == b => 1, a > b => 2). */
    40 extern int __cmpdi2(long long, long long);
     40int __cmpdi2 (long long a, long long b);
    4141
    4242/* Unsigned comparison (a < b => 0, a == b => 1, a > b => 2). */
    43 extern int __ucmpdi2(unsigned long long, unsigned long long);
     43int __ucmpdi2 (unsigned long long a, unsigned long long b);
    4444
    4545#endif

  • uspace/lib/softint/include/division.h

    r41455a22 r6bb169b5  
    2929/** @addtogroup softint
    3030 * @{
    31  */
     31 */ 
    3232/**
    3333 * @file
    … …  
    3737#define __SOFTINT_DIVISION_H__
    3838
    39 extern int __divsi3(int, int);
    40 extern long long __divdi3(long long, long long);
    4139
    42 extern unsigned int __udivsi3(unsigned int, unsigned int);
    43 extern unsigned long long __udivdi3(unsigned long long, unsigned long long);
     40/* 32bit integer division */
     41int __divsi3(int a, int b);
    4442
    45 extern int __modsi3(int, int);
    46 extern long long __moddi3(long long, long long);
     43/* 64bit integer division */
     44long long __divdi3(long long a, long long b);
    4745
    48 extern unsigned int __umodsi3(unsigned int, unsigned int);
    49 extern unsigned long long __umoddi3(unsigned long long, unsigned long long);
     46/* 32bit unsigned integer division */
     47unsigned int __udivsi3(unsigned int a, unsigned int b);
    5048
    51 extern int __divmodsi3(int, int, int *);
    52 extern unsigned int __udivmodsi3(unsigned int, unsigned int, unsigned int *);
     49/* 64bit unsigned integer division */
     50unsigned long long __udivdi3(unsigned long long a, unsigned long long b);
    5351
    54 extern long long __divmoddi3(long long, long long, long long *);
    55 extern unsigned long long __udivmoddi3(unsigned long long, unsigned long long,
    56     unsigned long long *);
     52/* 32bit remainder of the signed division */
     53int __modsi3(int a, int b);
     54
     55/* 64bit remainder of the signed division */
     56long long __moddi3(long long a, long long b);
     57
     58/* 32bit remainder of the unsigned division */
     59unsigned int __umodsi3(unsigned int a, unsigned int b);
     60
     61/* 64bit remainder of the unsigned division */
     62unsigned long long __umoddi3(unsigned long long a, unsigned long long b);
     63
     64unsigned long long __udivmoddi3(unsigned long long a, unsigned long long b, unsigned long long *c);
    5765
    5866#endif
    … …  
    6068/** @}
    6169 */
     70

  • uspace/lib/softint/include/lltype.h

    r41455a22 r6bb169b5  
    3939#include <stdint.h>
    4040
    41 #define HALF_BIT_CNT   (sizeof(int32_t) * sizeof(char))
    42 #define WHOLE_BIT_CNT  (sizeof(int64_t) * sizeof(char))
     41#define HALF_BIT_CNT (sizeof(int32_t) * sizeof(char))
     42#define WHOLE_BIT_CNT (sizeof(int64_t) * sizeof(char))
    4343
    4444#ifdef __BE__

  • uspace/lib/softint/include/multiplication.h

    r41455a22 r6bb169b5  
    2929/** @addtogroup softint
    3030 * @{
    31  */
     31 */ 
    3232/**
    3333 * @file
    … …  
    3838
    3939/* 64 bit multiplication */
    40 extern long long __muldi3(long long, long long);
     40long long __muldi3(long long a, long long b);
    4141
    4242#endif

  • uspace/lib/softint/include/shift.h

    r41455a22 r6bb169b5  
    3838
    3939/* Arithmetic/logical shift left. */
    40 extern long long __ashldi3(long long, int);
     40long long __ashldi3 (long long val, int shift);
    4141
    4242/* Arithmetic shift right. */
    43 extern long long __ashrdi3(long long, int);
     43long long __ashrdi3 (long long val, int shift);
    4444
    4545/* Logical shift right. */
    46 extern long long __lshrdi3(long long, int);
     46long long __lshrdi3 (long long val, int shift);
    4747
    4848#endif

  • uspace/srv/fs/exfat/exfat_fat.c

    r41455a22 r6bb169b5  
    127127{
    128128        exfat_cluster_t firstc = nodep->firstc;
    129         exfat_cluster_t currc = 0;
     129        exfat_cluster_t currc;
    130130        aoff64_t relbn = bn;
    131131        int rc;

  • uspace/srv/hid/fb/port/ega.c

    r41455a22 r6bb169b5  
    117117        uint8_t glyph;
    118118       
    119         if (ascii_check(field->ch))
     119        if ((field->ch >= 0) && (field->ch < 128))
    120120                glyph = field->ch;
    121121        else

  • uspace/srv/hid/fb/port/kchar.c

    r41455a22 r6bb169b5  
    4848static void kchar_putchar(wchar_t ch)
    4949{
    50         if (ascii_check(ch))
     50        if ((ch >= 0) && (ch < 128))
    5151                *kchar.addr = ch;
    5252        else

  • uspace/srv/hid/fb/port/kfb.c

    r41455a22 r6bb169b5  
    409409        charfield_t *field = screenbuffer_field_at(vp->backbuf, col, row);
    410410       
    411         pixel_t bgcolor = 0;
    412         pixel_t fgcolor = 0;
     411        pixel_t bgcolor;
     412        pixel_t fgcolor;
    413413        attrs_rgb(field->attrs, &bgcolor, &fgcolor);
    414414       
    … …  
    525525        }
    526526       
    527         pixel_t bgcolor = 0;
    528         pixel_t fgcolor = 0;
     527        pixel_t bgcolor;
     528        pixel_t fgcolor;
    529529        attrs_rgb(vp->attrs, &bgcolor, &fgcolor);
    530530       

  • uspace/srv/hid/fb/port/niagara.c

    r41455a22 r6bb169b5  
    6868static void niagara_putchar(wchar_t ch)
    6969{
    70         if (ascii_check(ch))
     70        if ((ch >= 0) && (ch < 128))
    7171                niagara_putc(ch);
    7272        else
Note: See TracChangeset for help on using the changeset viewer.