4 * Copyright (c) 2019 Linaro
6 * SPDX-License-Identifier: GPL-3.0-or-later
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);
16 /* Accessor helpers, overflows will automatically wrap */
17 uint16_t get_f16(int i
); /* use _Float16 when we can */
19 double get_f64(int i
);
21 /* Return format strings, free after use */
22 char * fmt_f16(uint16_t);
23 char * fmt_f32(float);
24 char * fmt_f64(double);
26 char * fmt_flags(void);