; 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)
}