125         uint32_t output;  in convert_single_to_half()  local
126         asm("vcvtb.f16.f32 %0, %1" : "=t" (output) : "x" (input));  in convert_single_to_half()
128         uint16_t output;  in convert_single_to_half()  local
129         asm("fcvt %h0, %s1" : "=w" (output) : "x" (input));  in convert_single_to_half()
131         print_half_number(i, output);  in convert_single_to_half()
144         double output;  in convert_single_to_double()  local
150         asm("vcvt.f64.f32 %P0, %1" : "=w" (output) : "t" (input));  in convert_single_to_double()
152         asm("fcvt %d0, %s1" : "=w" (output) : "x" (input));  in convert_single_to_double()
154         print_double_number(i, output);  in convert_single_to_double()
166         int64_t output;  in convert_single_to_integer()  local
173         output = input;  in convert_single_to_integer()
175         asm("fcvtzs %0, %s1" : "=r" (output) : "w" (input));  in convert_single_to_integer()
177         print_int64(i, output);  in convert_single_to_integer()
236         uint16_t output;  in convert_double_to_half()  local
245         output = input;  in convert_double_to_half()
247         asm("fcvt %h0, %d1" : "=w" (output) : "x" (input));  in convert_double_to_half()
249         print_half_number(i, output);  in convert_double_to_half()
261         uint32_t output;  in convert_double_to_single()  local
268         asm("vcvt.f32.f64 %0, %P1" : "=w" (output) : "x" (input));  in convert_double_to_single()
270         asm("fcvt %s0, %d1" : "=w" (output) : "x" (input));  in convert_double_to_single()
273         print_single_number(i, output);  in convert_double_to_single()
285         int64_t output;  in convert_double_to_integer()  local
292         output = input;  in convert_double_to_integer()
294         asm("fcvtzs %0, %d1" : "=r" (output) : "w" (input));  in convert_double_to_integer()
296         print_int64(i, output);  in convert_double_to_integer()
329         double output;  in convert_half_to_double()  local
336         output = input;  in convert_half_to_double()
338         asm("fcvt %d0, %h1" : "=w" (output) : "x" (input));  in convert_half_to_double()
340         print_double_number(i, output);  in convert_half_to_double()
352         float output;  in convert_half_to_single()  local
358         asm("vcvtb.f32.f16 %0, %1" : "=w" (output) : "x" ((uint32_t)input));  in convert_half_to_single()
360         asm("fcvt %s0, %h1" : "=w" (output) : "x" (input));  in convert_half_to_single()
362         print_single_number(i, output);  in convert_half_to_single()
374         int64_t output;  in convert_half_to_integer()  local
381         output = input;  in convert_half_to_integer()
383         asm("fcvt %s0, %h1" : "=w" (output) : "x" (input));  in convert_half_to_integer()
385         print_int64(i, output);  in convert_half_to_integer()