Searched refs:do_ucvtf_d_w_imm32 (Results 1 – 1 of 1) sorted by relevance
109 __attribute__((noinline)) double do_ucvtf_d_w_imm32 ( Int x ) in do_ucvtf_d_w_imm32() function325 printf("%18.12e\n", do_ucvtf_d_w_imm32(0xFFFFFFFF)); in main()326 printf("%18.12e\n", do_ucvtf_d_w_imm32(0)); in main()327 printf("%18.12e\n", do_ucvtf_d_w_imm32(0x7FFFFFFF)); in main()328 printf("%18.12e\n", do_ucvtf_d_w_imm32(1234)); in main()329 printf("%18.12e\n", do_ucvtf_d_w_imm32(-1234)); in main()330 printf("%18.12e\n", do_ucvtf_d_w_imm32(0x80000000)); in main()