Changes in uspace/app/tester/float/softfloat1.c [3e6a98c5:000494d] in mainline
- File:
-
- 1 edited
-
uspace/app/tester/float/softfloat1.c (modified) (6 diffs)
Legend:
- Unmodified
- Added
- Removed
-
uspace/app/tester/float/softfloat1.c
r3e6a98c5 r000494d 34 34 #include <mul.h> 35 35 #include <div.h> 36 #include <comparison.h> 37 #include <conversion.h> 38 #include <stdbool.h> 36 #include <bool.h> 39 37 #include "../tester.h" 40 38 41 #define OPERANDS 1039 #define OPERANDS 6 42 40 #define PRECISION 10000 43 41 … … 45 43 46 44 typedef 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 *); 52 typedef 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 *, 45 typedef void (* float_op_t)(float, float, float *, float_t *); 46 typedef void (* double_op_t)(double, double, double *, double_t *); 47 typedef void (* template_t)(void *, unsigned, unsigned, cmptype_t *, 56 48 cmptype_t *); 57 49 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 }; 50 static float fop_a[OPERANDS] = 51 {3.5, -2.1, 100.0, 50.0, -1024.0, 0.0}; 52 53 static float fop_b[OPERANDS] = 54 {-2.1, 100.0, 50.0, -1024.0, 3.5, 0.0}; 55 56 static double dop_a[OPERANDS] = 57 {3.5, -2.1, 100.0, 50.0, -1024.0, 0.0}; 58 59 static double dop_b[OPERANDS] = 60 {-2.1, 100.0, 50.0, -1024.0, 3.5, 0.0}; 72 61 73 62 static cmptype_t cmpabs(cmptype_t a) … … 79 68 } 80 69 81 static int dcmp(double a, double b)82 {83 if (a < b)84 return -1;85 else if (a > b)86 return 1;87 88 return 0;89 }90 91 70 static void 92 uint_to_double_template(void *f, unsigned i, cmptype_t *pic, cmptype_t *pisc) 71 float_template(void *f, unsigned i, unsigned j, cmptype_t *pic, 72 cmptype_t *pisc) 73 { 74 float c; 75 float_t sc; 76 77 float_op_t op = (float_op_t) f; 78 79 op(fop_a[i], fop_b[j], &c, &sc); 80 81 *pic = (cmptype_t) (c * PRECISION); 82 *pisc = (cmptype_t) (sc.val * PRECISION); 83 } 84 85 static void 86 double_template(void *f, unsigned i, unsigned j, cmptype_t *pic, 87 cmptype_t *pisc) 93 88 { 94 89 double c; 95 90 double_t sc; 96 91 97 uint_to_double_op_t op = (uint_to_double_op_t) f;98 99 op( uop_a[i], &c, &sc);92 double_op_t op = (double_op_t) f; 93 94 op(dop_a[i], dop_b[j], &c, &sc); 100 95 101 96 *pic = (cmptype_t) (c * PRECISION); … … 103 98 } 104 99 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); 145 146 *pic = (cmptype_t) (c * PRECISION); 147 *pisc = (cmptype_t) (sc.val * PRECISION); 148 } 149 150 static void 151 double_compare_template(void *f, unsigned i, unsigned j, cmptype_t *pis, 152 cmptype_t *piss) 153 { 154 double_cmp_op_t op = (double_cmp_op_t) f; 155 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) 100 static bool test_template(template_t template, void *f) 180 101 { 181 102 bool correct = true; … … 200 121 } 201 122 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 void209 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 void220 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 230 123 static void float_add_operator(float a, float b, float *pc, float_t *psc) 231 124 { … … 328 221 } 329 222 330 static void331 double_cmp_operator(double a, double b, cmptype_t *pis, cmptype_t *piss)332 {333 *pis = dcmp(a, b);334 335 double_t sa;336 double_t sb;337 338 sa.val = a;339 sb.val = b;340 341 if (is_double_lt(sa.data, sb.data))342 *piss = -1;343 else if (is_double_gt(sa.data, sb.data))344 *piss = 1;345 else if (is_double_eq(sa.data, sb.data))346 *piss = 0;347 else348 *piss = 42;349 }350 351 223 const char *test_softfloat1(void) 352 224 { 353 225 const char *err = NULL; 354 226 355 if (!test_template _binary(float_template_binary, float_add_operator)) {227 if (!test_template(float_template, float_add_operator)) { 356 228 err = "Float addition failed"; 357 229 TPRINTF("%s\n", err); 358 230 } 359 if (!test_template _binary(float_template_binary, float_mul_operator)) {231 if (!test_template(float_template, float_mul_operator)) { 360 232 err = "Float multiplication failed"; 361 233 TPRINTF("%s\n", err); 362 234 } 363 if (!test_template _binary(float_template_binary, float_div_operator)) {235 if (!test_template(float_template, float_div_operator)) { 364 236 err = "Float division failed"; 365 237 TPRINTF("%s\n", err); 366 238 } 367 if (!test_template _binary(double_template_binary, double_add_operator)) {239 if (!test_template(double_template, double_add_operator)) { 368 240 err = "Double addition failed"; 369 241 TPRINTF("%s\n", err); 370 242 } 371 if (!test_template _binary(double_template_binary, double_mul_operator)) {243 if (!test_template(double_template, double_mul_operator)) { 372 244 err = "Double multiplication failed"; 373 245 TPRINTF("%s\n", err); 374 246 } 375 if (!test_template _binary(double_template_binary, double_div_operator)) {247 if (!test_template(double_template, double_div_operator)) { 376 248 err = "Double division failed"; 377 249 TPRINTF("%s\n", err); 378 250 } 379 if (!test_template_binary(double_compare_template, double_cmp_operator)) {380 err = "Double comparison failed";381 TPRINTF("%s\n", err);382 }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 }398 251 399 252 return err;
Note:
See TracChangeset
for help on using the changeset viewer.
