Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed
  • uspace/app/tester/float/softfloat1.c

    r3e6a98c5 rc0f8909  
    3535#include <div.h>
    3636#include <comparison.h>
    37 #include <conversion.h>
    38 #include <stdbool.h>
     37#include <bool.h>
    3938#include "../tester.h"
    4039
    41 #define OPERANDS  10
     40#define OPERANDS  6
    4241#define PRECISION  10000
    4342
     
    4544
    4645typedef int32_t cmptype_t;
    47 
    48 typedef void (* uint_to_double_op_t)(unsigned int, double *, double_t *);
    49 typedef void (* double_to_uint_op_t)(double, unsigned int *, unsigned int *);
    50 typedef void (* float_binary_op_t)(float, float, float *, float_t *);
    51 typedef void (* double_binary_op_t)(double, double, double *, double_t *);
     46typedef void (* float_op_t)(float, float, float *, float_t *);
     47typedef void (* double_op_t)(double, double, double *, double_t *);
    5248typedef void (* double_cmp_op_t)(double, double, cmptype_t *, cmptype_t *);
    53 
    54 typedef void (* template_unary_t)(void *, unsigned, cmptype_t *, cmptype_t *);
    55 typedef void (* template_binary_t)(void *, unsigned, unsigned, cmptype_t *,
     49typedef void (* template_t)(void *, unsigned, unsigned, cmptype_t *,
    5650    cmptype_t *);
    5751
    58 #define NUMBERS \
    59         3.5, -2.1, 100.0, 50.0, -1024.0, 0.0, 768.3156, 1080.499999, -600.0, 1.0
    60 
    61 static float fop_a[OPERANDS] = {
    62         NUMBERS
    63 };
    64 
    65 static double dop_a[OPERANDS] = {
    66         NUMBERS
    67 };
    68 
    69 static unsigned int uop_a[OPERANDS] = {
    70         4, -100, 100, 50, 1024, 0, 1000000, -1U, 0x80000000U, 500
    71 };
     52static float fop_a[OPERANDS] =
     53        {3.5, -2.1, 100.0, 50.0, -1024.0, 0.0};
     54
     55static float fop_b[OPERANDS] =
     56        {-2.1, 100.0, 50.0, -1024.0, 3.5, 0.0};
     57
     58static double dop_a[OPERANDS] =
     59        {3.5, -2.1, 100.0, 50.0, -1024.0, 0.0};
     60
     61static double dop_b[OPERANDS] =
     62        {-2.1, 100.0, 50.0, -1024.0, 3.5, 0.0};
    7263
    7364static cmptype_t cmpabs(cmptype_t a)
     
    9081
    9182static void
    92 uint_to_double_template(void *f, unsigned i, cmptype_t *pic, cmptype_t *pisc)
     83float_template(void *f, unsigned i, unsigned j, cmptype_t *pic,
     84    cmptype_t *pisc)
     85{
     86        float c;
     87        float_t sc;
     88
     89        float_op_t op = (float_op_t) f;
     90       
     91        op(fop_a[i], fop_b[j], &c, &sc);
     92
     93        *pic = (cmptype_t) (c * PRECISION);
     94        *pisc = (cmptype_t) (sc.val * PRECISION);
     95}
     96
     97static void
     98double_template(void *f, unsigned i, unsigned j, cmptype_t *pic,
     99    cmptype_t *pisc)
    93100{
    94101        double c;
    95102        double_t sc;
    96103
    97         uint_to_double_op_t op = (uint_to_double_op_t) f;
    98        
    99         op(uop_a[i], &c, &sc);
    100 
    101         *pic = (cmptype_t) (c * PRECISION);
    102         *pisc = (cmptype_t) (sc.val * PRECISION);
    103 }
    104 
    105 static void
    106 double_to_uint_template(void *f, unsigned i, cmptype_t *pic, cmptype_t *pisc)
    107 {
    108         unsigned int c;
    109         unsigned int sc;
    110 
    111         double_to_uint_op_t op = (double_to_uint_op_t) f;
    112        
    113         op(dop_a[i], &c, &sc);
    114 
    115         *pic = (cmptype_t) c;
    116         *pisc = (cmptype_t) sc;
    117 }
    118 
    119 
    120 static void
    121 float_template_binary(void *f, unsigned i, unsigned j, cmptype_t *pic,
    122     cmptype_t *pisc)
    123 {
    124         float c;
    125         float_t sc;
    126 
    127         float_binary_op_t op = (float_binary_op_t) f;
    128        
    129         op(fop_a[i], fop_a[j], &c, &sc);
    130 
    131         *pic = (cmptype_t) (c * PRECISION);
    132         *pisc = (cmptype_t) (sc.val * PRECISION);
    133 }
    134 
    135 static void
    136 double_template_binary(void *f, unsigned i, unsigned j, cmptype_t *pic,
    137     cmptype_t *pisc)
    138 {
    139         double c;
    140         double_t sc;
    141 
    142         double_binary_op_t op = (double_binary_op_t) f;
    143        
    144         op(dop_a[i], dop_a[j], &c, &sc);
     104        double_op_t op = (double_op_t) f;
     105       
     106        op(dop_a[i], dop_b[j], &c, &sc);
    145107
    146108        *pic = (cmptype_t) (c * PRECISION);
     
    154116        double_cmp_op_t op = (double_cmp_op_t) f;
    155117       
    156         op(dop_a[i], dop_a[j], pis, piss);
    157 }
    158 
    159 static bool test_template_unary(template_unary_t template, void *f)
    160 {
    161         bool correct = true;
    162        
    163         for (unsigned int i = 0; i < OPERANDS; i++) {
    164                 cmptype_t ic;
    165                 cmptype_t isc;
    166 
    167                 template(f, i, &ic, &isc);     
    168                 cmptype_t diff = cmpabs(ic - isc);
    169                        
    170                 if (diff != 0) {
    171                         TPRINTF("i=%u diff=%" PRIdCMPTYPE "\n", i, diff);
    172                         correct = false;
    173                 }
    174         }
    175        
    176         return correct;
    177 }
    178 
    179 static bool test_template_binary(template_binary_t template, void *f)
     118        op(dop_a[i], dop_b[j], pis, piss);
     119}
     120
     121static bool test_template(template_t template, void *f)
    180122{
    181123        bool correct = true;
     
    200142}
    201143
    202 static void uint_to_double_operator(unsigned int a, double *pc, double_t *psc)
    203 {
    204         *pc = (double) a;
    205         psc->data = uint_to_double(a);
    206 }
    207 
    208 static void
    209 double_to_uint_operator(double a, unsigned int *pc, unsigned int *psc)
    210 {
    211         double_t sa;
    212 
    213         sa.val = a;
    214 
    215         *pc = (unsigned int) a;
    216         *psc = double_to_uint(sa.data);
    217 }
    218 
    219 static void
    220 double_to_int_operator(double a, unsigned int *pc, unsigned int *psc)
    221 {
    222         double_t sa;
    223 
    224         sa.val = a;
    225 
    226         *pc = (int) a;
    227         *psc = double_to_int(sa.data);
    228 }
    229 
    230144static void float_add_operator(float a, float b, float *pc, float_t *psc)
    231145{
     
    353267        const char *err = NULL;
    354268
    355         if (!test_template_binary(float_template_binary, float_add_operator)) {
     269        if (!test_template(float_template, float_add_operator)) {
    356270                err = "Float addition failed";
    357271                TPRINTF("%s\n", err);
    358272        }
    359         if (!test_template_binary(float_template_binary, float_mul_operator)) {
     273        if (!test_template(float_template, float_mul_operator)) {
    360274                err = "Float multiplication failed";
    361275                TPRINTF("%s\n", err);
    362276        }
    363         if (!test_template_binary(float_template_binary, float_div_operator)) {
     277        if (!test_template(float_template, float_div_operator)) {
    364278                err = "Float division failed";
    365279                TPRINTF("%s\n", err);
    366280        }
    367         if (!test_template_binary(double_template_binary, double_add_operator)) {
     281        if (!test_template(double_template, double_add_operator)) {
    368282                err = "Double addition failed";
    369283                TPRINTF("%s\n", err);
    370284        }
    371         if (!test_template_binary(double_template_binary, double_mul_operator)) {
     285        if (!test_template(double_template, double_mul_operator)) {
    372286                err = "Double multiplication failed";
    373287                TPRINTF("%s\n", err);
    374288        }
    375         if (!test_template_binary(double_template_binary, double_div_operator)) {
     289        if (!test_template(double_template, double_div_operator)) {
    376290                err = "Double division failed";
    377291                TPRINTF("%s\n", err);
    378292        }
    379         if (!test_template_binary(double_compare_template, double_cmp_operator)) {
     293        if (!test_template(double_compare_template, double_cmp_operator)) {
    380294                err = "Double comparison failed";
    381295                TPRINTF("%s\n", err);
    382296        }
    383         if (!test_template_unary(uint_to_double_template,
    384             uint_to_double_operator)) {
    385                 err = "Conversion from unsigned int to double failed";
    386                 TPRINTF("%s\n", err);
    387         }
    388         if (!test_template_unary(double_to_uint_template,
    389             double_to_uint_operator)) {
    390                 err = "Conversion from double to unsigned int failed";
    391                 TPRINTF("%s\n", err);
    392         }
    393         if (!test_template_unary(double_to_uint_template,
    394             double_to_int_operator)) {
    395                 err = "Conversion from double to signed int failed";
    396                 TPRINTF("%s\n", err);
    397         }
    398297       
    399298        return err;
Note: See TracChangeset for help on using the changeset viewer.