Guard fabs to bfc convert with V6T2 flag
[oota-llvm.git] / test / CodeGen / ARM / fp.ll
index 510adc3ebf81fd3f433fc9dbfbecfa7224707b84..cc47e3baddad7f14da1a77f821fa983fa9272660 100644 (file)
@@ -1,76 +1,78 @@
-; RUN: llvm-as < %s | llc -march=arm &&
-; RUN: llvm-as < %s | llc -march=arm | grep fmsr  | wc -l | grep 5 &&
-; RUN: llvm-as < %s | llc -march=arm | grep fsitos &&
-; RUN: llvm-as < %s | llc -march=arm | grep fmrs &&
-; RUN: llvm-as < %s | llc -march=arm | grep fsitod &&
-; RUN: llvm-as < %s | llc -march=arm | grep fmrrd | wc -l | grep 5 &&
-; RUN: llvm-as < %s | llc -march=arm | grep fmdrr | wc -l | grep 3 &&
-; RUN: llvm-as < %s | llc -march=arm | grep fldd &&
-; RUN: llvm-as < %s | llc -march=arm | grep flds &&
-; RUN: llvm-as < %s | llc -march=arm | grep fstd &&
-; RUN: llvm-as < %s | llc -march=arm | grep fsts &&
-; RUN: llvm-as < %s | llc -march=arm | grep fuitod &&
-; RUN: llvm-as < %s | llc -march=arm | grep fuitos &&
-; RUN: llvm-as < %s | llc -march=arm | grep ".word.*1065353216"
+; RUN: llc -mtriple=arm-eabi -float-abi=soft -mattr=+vfp2 %s -o - | FileCheck %s
 
-float %f(int %a) {
+define float @f(i32 %a) {
+;CHECK-LABEL: f:
+;CHECK: vmov
+;CHECK-NEXT: vcvt.f32.s32
+;CHECK-NEXT: vmov
 entry:
-       %tmp = cast int %a to float             ; <float> [#uses=1]
-       ret float %tmp
+        %tmp = sitofp i32 %a to float           ; <float> [#uses=1]
+        ret float %tmp
 }
 
-double %g(int %a) {
+define double @g(i32 %a) {
+;CHECK-LABEL: g:
+;CHECK: vmov
+;CHECK-NEXT: vcvt.f64.s32
+;CHECK-NEXT: vmov
 entry:
-        %tmp = cast int %a to double            ; <double> [#uses=1]
+        %tmp = sitofp i32 %a to double          ; <double> [#uses=1]
         ret double %tmp
 }
 
-double %uint_to_double(uint %a) {
+define double @uint_to_double(i32 %a) {
+;CHECK-LABEL: uint_to_double:
+;CHECK: vmov
+;CHECK-NEXT: vcvt.f64.u32
+;CHECK-NEXT: vmov
 entry:
-       %tmp = cast uint %a to double
-       ret double %tmp
+        %tmp = uitofp i32 %a to double          ; <double> [#uses=1]
+        ret double %tmp
 }
 
-float %uint_to_float(uint %a) {
+define float @uint_to_float(i32 %a) {
+;CHECK-LABEL: uint_to_float:
+;CHECK: vmov
+;CHECK-NEXT: vcvt.f32.u32
+;CHECK-NEXT: vmov
 entry:
-       %tmp = cast uint %a to float
-       ret float %tmp
+        %tmp = uitofp i32 %a to float           ; <float> [#uses=1]
+        ret float %tmp
 }
 
-
-double %h(double* %v) {
+define double @h(double* %v) {
+;CHECK-LABEL: h:
+;CHECK: vldr
+;CHECK-NEXT: vmov
 entry:
-       %tmp = load double* %v          ; <double> [#uses=1]
-       ret double %tmp
+        %tmp = load double, double* %v          ; <double> [#uses=1]
+        ret double %tmp
 }
 
-float %h() {
+define float @h2() {
+;CHECK-LABEL: h2:
+;CHECK: mov r0, #1065353216
 entry:
         ret float 1.000000e+00
 }
 
-double %f2(double %a) {
+define double @f2(double %a) {
+;CHECK-LABEL: f2:
+;CHECK-NOT: vmov
         ret double %a
 }
 
-void %f3() {
+define void @f3() {
+;CHECK-LABEL: f3:
+;CHECK-NOT: vmov
+;CHECK: f4
 entry:
-       %tmp = call double %f5()                ; <double> [#uses=1]
-       call void %f4(double %tmp )
-       ret void
+        %tmp = call double @f5( )               ; <double> [#uses=1]
+        call void @f4( double %tmp )
+        ret void
 }
 
-declare void %f4(double)
-declare double %f5()
+declare void @f4(double)
 
-void %f6(float %a, float* %b) {
-entry:
-       store float %a, float* %b
-       ret void
-}
+declare double @f5()
 
-void %f7(double %a, double* %b) {
-entry:
-       store double %a, double* %b
-       ret void
-}