Changeset 25eec4e in mainline for uspace/app/tester/float/softfloat1.c
- Timestamp:
- 2013-04-19T18:38:18Z (12 years ago)
- Branches:
- lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export
- Children:
- 6d717a4
- Parents:
- a1e2df13 (diff), 289cb7dd (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)
links above to see all the changes relative to each parent. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
uspace/app/tester/float/softfloat1.c
ra1e2df13 r25eec4e 35 35 #include <div.h> 36 36 #include <comparison.h> 37 #include <bool.h> 37 #include <conversion.h> 38 #include <stdbool.h> 38 39 #include "../tester.h" 39 40 40 #define OPERANDS 641 #define OPERANDS 10 41 42 #define PRECISION 10000 42 43 … … 44 45 45 46 typedef int32_t cmptype_t; 46 typedef void (* float_op_t)(float, float, float *, float_t *); 47 typedef void (* double_op_t)(double, double, double *, double_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 *); 48 52 typedef void (* double_cmp_op_t)(double, double, cmptype_t *, cmptype_t *); 49 typedef void (* template_t)(void *, unsigned, unsigned, 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 *, 50 56 cmptype_t *); 51 57 52 static float fop_a[OPERANDS] = 53 {3.5, -2.1, 100.0, 50.0, -1024.0, 0.0}; 54 55 static float fop_b[OPERANDS] = 56 {-2.1, 100.0, 50.0, -1024.0, 3.5, 0.0}; 57 58 static double dop_a[OPERANDS] = 59 {3.5, -2.1, 100.0, 50.0, -1024.0, 0.0}; 60 61 static double dop_b[OPERANDS] = 62 {-2.1, 100.0, 50.0, -1024.0, 3.5, 0.0}; 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 }; 63 72 64 73 static cmptype_t cmpabs(cmptype_t a) … … 81 90 82 91 static void 83 float_template(void *f, unsigned i, unsigned j, cmptype_t *pic, 92 uint_to_double_template(void *f, unsigned i, cmptype_t *pic, cmptype_t *pisc) 93 { 94 double c; 95 double_t sc; 96 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, 84 122 cmptype_t *pisc) 85 123 { … … 87 125 float_t sc; 88 126 89 float_ op_t op = (float_op_t) f;90 91 op(fop_a[i], fop_ b[j], &c, &sc);127 float_binary_op_t op = (float_binary_op_t) f; 128 129 op(fop_a[i], fop_a[j], &c, &sc); 92 130 93 131 *pic = (cmptype_t) (c * PRECISION); … … 96 134 97 135 static void 98 double_template (void *f, unsigned i, unsigned j, cmptype_t *pic,136 double_template_binary(void *f, unsigned i, unsigned j, cmptype_t *pic, 99 137 cmptype_t *pisc) 100 138 { … … 102 140 double_t sc; 103 141 104 double_ op_t op = (double_op_t) f;105 106 op(dop_a[i], dop_ b[j], &c, &sc);142 double_binary_op_t op = (double_binary_op_t) f; 143 144 op(dop_a[i], dop_a[j], &c, &sc); 107 145 108 146 *pic = (cmptype_t) (c * PRECISION); … … 116 154 double_cmp_op_t op = (double_cmp_op_t) f; 117 155 118 op(dop_a[i], dop_b[j], pis, piss); 119 } 120 121 static bool test_template(template_t template, void *f) 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) 122 180 { 123 181 bool correct = true; … … 142 200 } 143 201 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 144 230 static void float_add_operator(float a, float b, float *pc, float_t *psc) 145 231 { … … 267 353 const char *err = NULL; 268 354 269 if (!test_template (float_template, float_add_operator)) {355 if (!test_template_binary(float_template_binary, float_add_operator)) { 270 356 err = "Float addition failed"; 271 357 TPRINTF("%s\n", err); 272 358 } 273 if (!test_template (float_template, float_mul_operator)) {359 if (!test_template_binary(float_template_binary, float_mul_operator)) { 274 360 err = "Float multiplication failed"; 275 361 TPRINTF("%s\n", err); 276 362 } 277 if (!test_template (float_template, float_div_operator)) {363 if (!test_template_binary(float_template_binary, float_div_operator)) { 278 364 err = "Float division failed"; 279 365 TPRINTF("%s\n", err); 280 366 } 281 if (!test_template (double_template, double_add_operator)) {367 if (!test_template_binary(double_template_binary, double_add_operator)) { 282 368 err = "Double addition failed"; 283 369 TPRINTF("%s\n", err); 284 370 } 285 if (!test_template (double_template, double_mul_operator)) {371 if (!test_template_binary(double_template_binary, double_mul_operator)) { 286 372 err = "Double multiplication failed"; 287 373 TPRINTF("%s\n", err); 288 374 } 289 if (!test_template (double_template, double_div_operator)) {375 if (!test_template_binary(double_template_binary, double_div_operator)) { 290 376 err = "Double division failed"; 291 377 TPRINTF("%s\n", err); 292 378 } 293 if (!test_template (double_compare_template, double_cmp_operator)) {379 if (!test_template_binary(double_compare_template, double_cmp_operator)) { 294 380 err = "Double comparison failed"; 295 381 TPRINTF("%s\n", err); 296 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 } 297 398 298 399 return err;
Note:
See TracChangeset
for help on using the changeset viewer.