1; RUN: llvm-as < %s | llvm-dis | FileCheck %s
2; CHECK-NOT: bitcast
3
4define i60 @test1() {
5   ret i60 fptoui(float 0x400D9999A0000000 to i60)
6}
7
8define float @test2() {
9  ret float uitofp(i60 17 to float)
10}
11
12define i64 @test3() {
13  ret i64 bitcast (double 0x400921FB4D12D84A to i64)
14}
15
16define double @test4() {
17  ret double bitcast (i64 42 to double)
18}
19
20define i30 @test5() {
21  ret i30 fptoui(float 0x400D9999A0000000 to i30)
22}
23
24define float @test6() {
25  ret float uitofp(i30 17 to float)
26}
27
28define i64 @test7() {
29  ret i64 bitcast (double 0x400921FB4D12D84A to i64)
30}
31
32define double @test8() {
33  ret double bitcast (i64 42 to double)
34}
35