Searched refs:do_ucvtf_s_w_imm32 (Results 1 – 1 of 1) sorted by relevance
215 __attribute__((noinline)) double do_ucvtf_s_w_imm32 ( Int x ) in do_ucvtf_s_w_imm32() function425 printf("%18.12e\n", do_ucvtf_s_w_imm32(0xFFFFFFFF)); in main()426 printf("%18.12e\n", do_ucvtf_s_w_imm32(0)); in main()427 printf("%18.12e\n", do_ucvtf_s_w_imm32(0x7FFFFFFF)); in main()428 printf("%18.12e\n", do_ucvtf_s_w_imm32(1234)); in main()429 printf("%18.12e\n", do_ucvtf_s_w_imm32(-1234)); in main()431 printf("%18.12e\n", do_ucvtf_s_w_imm32(0x80000000)); in main()