Searched refs:do_ucvtf_d_w_imm16 (Results 1 – 1 of 1) sorted by relevance
101 __attribute__((noinline)) double do_ucvtf_d_w_imm16 ( Int x ) in do_ucvtf_d_w_imm16() function317 printf("%18.12e\n", do_ucvtf_d_w_imm16(0xFFFFFFFF)); in main()318 printf("%18.12e\n", do_ucvtf_d_w_imm16(0)); in main()319 printf("%18.12e\n", do_ucvtf_d_w_imm16(0x7FFFFFFF)); in main()320 printf("%18.12e\n", do_ucvtf_d_w_imm16(1234)); in main()321 printf("%18.12e\n", do_ucvtf_d_w_imm16(-1234)); in main()322 printf("%18.12e\n", do_ucvtf_d_w_imm16(0x80000000)); in main()