1 /*
2  * Common Float Helpers
3  *
4  * Copyright (c) 2019 Linaro
5  *
6  * SPDX-License-Identifier: GPL-3.0-or-later
7  */
8 
9 #include <inttypes.h>
10 
11 /* Number of constants in each table */
12 int get_num_f16(void);
13 int get_num_f32(void);
14 int get_num_f64(void);
15 
16 /* Accessor helpers, overflows will automatically wrap */
17 uint16_t get_f16(int i); /* use _Float16 when we can */
18 float    get_f32(int i);
19 double   get_f64(int i);
20 
21 /* Return format strings, free after use */
22 char * fmt_f16(uint16_t);
23 char * fmt_f32(float);
24 char * fmt_f64(double);
25 /* exception flags */
26 char * fmt_flags(void);
27