Searched refs:get_num_f32 (Results 1 – 4 of 4) sorted by relevance
30 int get_num_f32(void);
86 nums = get_num_f32(); in CONVERT_SINGLE_TO_INT()
80 int i, j, k, nums = get_num_f32(); in main()
122 int get_num_f32(void) in get_num_f32() function