-; RUN: llvm-as < %s | llvm-dis | not grep bitcast
+; RUN: llvm-as < %s | llvm-dis | FileCheck %s
+; CHECK-NOT: bitcast
-define i60 %test1() {
- ret i60 fptoui(float 3.7 to i60)
+define i60 @test1() {
+ ret i60 fptoui(float 0x400D9999A0000000 to i60)
}
-define float %test2() {
+define float @test2() {
ret float uitofp(i60 17 to float)
}
-define i64 %test3() {
- ret i64 bitcast (double 3.1415926 to i64)
+define i64 @test3() {
+ ret i64 bitcast (double 0x400921FB4D12D84A to i64)
}
-define double %test4() {
+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)
+}