2 * Floating Point Convert Single to Various
4 * Copyright (c) 2019 Linaro
6 * SPDX-License-Identifier: GPL-3.0-or-later
16 #include "float_helpers.h"
18 #define ARRAY_SIZE(x) (sizeof(x) / sizeof((x)[0]))
25 float_mapping round_flags
[] = {
26 { FE_TONEAREST
, "to nearest" },
28 { FE_UPWARD
, "upwards" },
31 { FE_DOWNWARD
, "downwards" },
33 { FE_TOWARDZERO
, "to zero" }
36 static void print_input(float input
)
38 char *in_fmt
= fmt_f32(input
);
39 printf("from single: %s\n", in_fmt
);
43 static void convert_single_to_double(float input
)
46 char *out_fmt
, *flag_fmt
;
48 feclearexcept(FE_ALL_EXCEPT
);
52 out_fmt
= fmt_f64(output
);
53 flag_fmt
= fmt_flags();
54 printf(" to double: %s (%s)\n", out_fmt
, flag_fmt
);
59 #define xstr(a) str(a)
62 #define CONVERT_SINGLE_TO_INT(TYPE, FMT) \
63 static void convert_single_to_ ## TYPE(float input) \
67 const char to[] = "to " xstr(TYPE); \
68 feclearexcept(FE_ALL_EXCEPT); \
70 flag_fmt = fmt_flags(); \
71 printf("%11s: %" FMT " (%s)\n", to, output, flag_fmt); \
75 CONVERT_SINGLE_TO_INT( int32
, PRId32
)
76 CONVERT_SINGLE_TO_INT(uint32
, PRId32
)
77 CONVERT_SINGLE_TO_INT( int64
, PRId64
)
78 CONVERT_SINGLE_TO_INT(uint64
, PRId64
)
80 int main(int argc
, char *argv
[argc
])
86 for (i
= 0; i
< ARRAY_SIZE(round_flags
); ++i
) {
87 if (fesetround(round_flags
[i
].flag
) != 0) {
88 printf("### Rounding %s skipped\n", round_flags
[i
].desc
);
91 printf("### Rounding %s\n", round_flags
[i
].desc
);
92 for (j
= 0; j
< nums
; j
++) {
93 float input
= get_f32(j
);
95 /* convert_single_to_half(input); */
96 convert_single_to_double(input
);
97 convert_single_to_int32(input
);
98 convert_single_to_int64(input
);
99 convert_single_to_uint32(input
);
100 convert_single_to_uint64(input
);