ARM: add intrinsics for the v8 ldaex/stlex
[oota-llvm.git] / test / CodeGen / ARM / fparith.ll
index 0328cb35baa51e61f803c3ff27dcfafcc001f311..cc880148da85a298433eaa3befee3068f008a8ef 100644 (file)
-; RUN: llvm-upgrade < %s | llvm-as | llc -march=arm &&
-; RUN: llvm-upgrade < %s | llvm-as | llc -march=arm | grep fadds &&
-; RUN: llvm-upgrade < %s | llvm-as | llc -march=arm | grep faddd &&
-; RUN: llvm-upgrade < %s | llvm-as | llc -march=arm | grep fmuls &&
-; RUN: llvm-upgrade < %s | llvm-as | llc -march=arm | grep fmuld &&
-; RUN: llvm-upgrade < %s | llvm-as | llc -march=arm | grep fnegs &&
-; RUN: llvm-upgrade < %s | llvm-as | llc -march=arm | grep fnegd &&
-; RUN: llvm-upgrade < %s | llvm-as | llc -march=arm | grep fdivs &&
-; RUN: llvm-upgrade < %s | llvm-as | llc -march=arm | grep fdivd
+; RUN: llc < %s -mtriple=arm-apple-ios -mattr=+vfp2 | FileCheck %s
 
-float %f1(float %a, float %b) {
+define float @f1(float %a, float %b) {
+;CHECK-LABEL: f1:
+;CHECK: vadd.f32
 entry:
-       %tmp = add float %a, %b
+       %tmp = fadd float %a, %b                ; <float> [#uses=1]
        ret float %tmp
 }
 
-double %f2(double %a, double %b) {
+define double @f2(double %a, double %b) {
+;CHECK-LABEL: f2:
+;CHECK: vadd.f64
 entry:
-       %tmp = add double %a, %b
+       %tmp = fadd double %a, %b               ; <double> [#uses=1]
        ret double %tmp
 }
 
-float %f3(float %a, float %b) {
+define float @f3(float %a, float %b) {
+;CHECK-LABEL: f3:
+;CHECK: vmul.f32
 entry:
-       %tmp = mul float %a, %b
+       %tmp = fmul float %a, %b                ; <float> [#uses=1]
        ret float %tmp
 }
 
-double %f4(double %a, double %b) {
+define double @f4(double %a, double %b) {
+;CHECK-LABEL: f4:
+;CHECK: vmul.f64
 entry:
-       %tmp = mul double %a, %b
+       %tmp = fmul double %a, %b               ; <double> [#uses=1]
        ret double %tmp
 }
 
-float %f5(float %a, float %b) {
+define float @f5(float %a, float %b) {
+;CHECK-LABEL: f5:
+;CHECK: vsub.f32
 entry:
-       %tmp = sub float %a, %b
+       %tmp = fsub float %a, %b                ; <float> [#uses=1]
        ret float %tmp
 }
 
-double %f6(double %a, double %b) {
+define double @f6(double %a, double %b) {
+;CHECK-LABEL: f6:
+;CHECK: vsub.f64
 entry:
-       %tmp = sub double %a, %b
+       %tmp = fsub double %a, %b               ; <double> [#uses=1]
        ret double %tmp
 }
 
-float %f7(float %a) {
+define float @f7(float %a) {
+;CHECK-LABEL: f7:
+;CHECK: eor
 entry:
-       %tmp1 = sub float -0.000000e+00, %a
+       %tmp1 = fsub float -0.000000e+00, %a            ; <float> [#uses=1]
        ret float %tmp1
 }
 
-double %f8(double %a) {
+define double @f8(double %a) {
+;CHECK-LABEL: f8:
+;CHECK: vneg.f64
 entry:
-       %tmp1 = sub double -0.000000e+00, %a
+       %tmp1 = fsub double -0.000000e+00, %a           ; <double> [#uses=1]
        ret double %tmp1
 }
 
-float %f9(float %a, float %b) {
+define float @f9(float %a, float %b) {
+;CHECK-LABEL: f9:
+;CHECK: vdiv.f32
 entry:
-       %tmp1 = div float %a, %b
+       %tmp1 = fdiv float %a, %b               ; <float> [#uses=1]
        ret float %tmp1
 }
 
-double %f10(double %a, double %b) {
+define double @f10(double %a, double %b) {
+;CHECK-LABEL: f10:
+;CHECK: vdiv.f64
 entry:
-       %tmp1 = div double %a, %b
+       %tmp1 = fdiv double %a, %b              ; <double> [#uses=1]
        ret double %tmp1
 }
 
-float %f11(float %a) {
+define float @f11(float %a) {
+;CHECK-LABEL: f11:
+;CHECK: bic
 entry:
-       %tmp1 = call float %fabsf(float %a)
+       %tmp1 = call float @fabsf( float %a ) readnone  ; <float> [#uses=1]
        ret float %tmp1
 }
 
-declare float %fabsf(float)
+declare float @fabsf(float)
 
-double %f12(double %a) {
+define double @f12(double %a) {
+;CHECK-LABEL: f12:
+;CHECK: vabs.f64
 entry:
-       %tmp1 = call double %fabs(double %a)
+       %tmp1 = call double @fabs( double %a ) readnone ; <double> [#uses=1]
        ret double %tmp1
 }
 
-declare double %fabs(double)
+declare double @fabs(double)