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) : "w" (input));  in convert_single_to_half()
131         print_half_number(i, output);  in convert_single_to_half()
143         /* uint64_t output; */  in convert_single_to_double()
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) : "w" (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
172         /* asm("vcvt.s32.f32 %s0, %s1" : "=t" (output) : "t" (input)); */  in convert_single_to_integer()
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
244         /* asm("vcvtb.f16.f64 %0, %P1" : "=t" (output) : "x" (input)); */  in convert_double_to_half()
245         output = input;  in convert_double_to_half()
247         asm("fcvt %h0, %d1" : "=w" (output) : "w" (input));  in convert_double_to_half()
249         print_half_number(i, output);  in convert_double_to_half()
261         float 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) : "w" (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
291         /* asm("vcvt.s32.f32 %s0, %s1" : "=t" (output) : "t" (input)); */  in convert_double_to_integer()
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
335         /* asm("vcvtb.f64.f16 %P0, %1" : "=w" (output) : "t" (input)); */  in convert_half_to_double()
336         output = input;  in convert_half_to_double()
338         asm("fcvt %d0, %h1" : "=w" (output) : "w" (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
363             "vcvtb.f32.f16 %0, %0" : "=w" (output) : "r" (input));  in convert_half_to_single()
365         asm("fcvt %s0, %h1" : "=w" (output) : "w" (input));  in convert_half_to_single()
367         print_single_number(i, output);  in convert_half_to_single()
379         int64_t output;  in convert_half_to_integer()  local
385         /* asm("vcvt.s32.f16 %0, %1" : "=t" (output) : "t" (input)); v8.2*/  in convert_half_to_integer()
386         output = input;  in convert_half_to_integer()
388         asm("fcvt %s0, %h1" : "=w" (output) : "w" (input));  in convert_half_to_integer()
390         print_int64(i, output);  in convert_half_to_integer()
433         : /* no output */ : [flags] "n" (1 << 26) : "r1" );  in main()
438         : /* no output */ : [flags] "n" (1 << 26) : "x1" );  in main()