; RUN: llvm-as < %s | llvm-dis | not grep bitcast

define i32 @test1() {
   ret i32 bitcast(float 0x400D9999A0000000 to i32)
}

define float @test2() {
  ret float bitcast(i32 17 to float)
}

define i64 @test3() {
  ret i64 bitcast (double 0x400921FB4D12D84A to i64)
}

define double @test4() {
  ret double bitcast (i64 42 to double)
}