| ; RUN: llvm-as < %s | llvm-dis | FileCheck %s | 
 | ; CHECK-NOT: bitcast | 
 |  | 
 | define i60 @test1() { | 
 |    ret i60 fptoui(float 0x400D9999A0000000 to i60) | 
 | } | 
 |  | 
 | define float @test2() { | 
 |   ret float uitofp(i60 17 to float) | 
 | } | 
 |  | 
 | define i64 @test3() { | 
 |   ret i64 bitcast (double 0x400921FB4D12D84A to i64) | 
 | } | 
 |  | 
 | define double @test4() { | 
 |   ret double bitcast (i64 42 to double) | 
 | } | 
 |  | 
 | define i30 @test5() { | 
 |   ret i30 fptoui(float 0x400D9999A0000000 to i30) | 
 | } | 
 |  | 
 | define float @test6() { | 
 |   ret float uitofp(i30 17 to float) | 
 | } | 
 |  | 
 | define i64 @test7() { | 
 |   ret i64 bitcast (double 0x400921FB4D12D84A to i64) | 
 | } | 
 |  | 
 | define double @test8() { | 
 |   ret double bitcast (i64 42 to double) | 
 | } |