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