halide_float16_bits_to_double 1389 src/runtime/HalideRuntime.h extern double halide_float16_bits_to_double(uint16_t);
halide_float16_bits_to_double   87 src/runtime/printer.h         double value = halide_float16_bits_to_double(arg);
halide_float16_bits_to_double   80 src/runtime/runtime_api.cpp     (void *)&halide_float16_bits_to_double,
halide_float16_bits_to_double  108 test/generator/float16_t_aottest.cpp         outD.asDouble = halide_float16_bits_to_double(in);