float_from_bits 67 test/generator/float16_t_aottest.cpp float_from_bits(0x387fc000), //0x1.ff8000p-15, float_from_bits 68 test/generator/float16_t_aottest.cpp float_from_bits(0x387f8000), // 0x1.ff0000p-15,