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