; RUN: llc < %s -mtriple=arm-apple-ios -mattr=+vfp2 -disable-post-ra | FileCheck %s
; RUN: llc < %s -mtriple=arm-apple-ios -mattr=+vfp2 -disable-post-ra -regalloc=basic | FileCheck %s

define void @test(ptr %P, ptr %D) {
	%A = load float, ptr %P		; <float> [#uses=1]
	%B = load double, ptr %D		; <double> [#uses=1]
	store float %A, ptr %P
	store double %B, ptr %D
	ret void
}

declare float @fabsf(float)

declare double @fabs(double)

define void @test_abs(ptr %P, ptr %D) {
;CHECK-LABEL: test_abs:
	%a = load float, ptr %P		; <float> [#uses=1]
;CHECK: vabs.f32
	%b = call float @fabsf( float %a ) readnone	; <float> [#uses=1]
	store float %b, ptr %P
	%A = load double, ptr %D		; <double> [#uses=1]
;CHECK: vabs.f64
	%B = call double @fabs( double %A ) readnone	; <double> [#uses=1]
	store double %B, ptr %D
	ret void
}

define void @test_add(ptr %P, ptr %D) {
;CHECK-LABEL: test_add:
	%a = load float, ptr %P		; <float> [#uses=2]
	%b = fadd float %a, %a		; <float> [#uses=1]
	store float %b, ptr %P
	%A = load double, ptr %D		; <double> [#uses=2]
	%B = fadd double %A, %A		; <double> [#uses=1]
	store double %B, ptr %D
	ret void
}

define void @test_ext_round(ptr %P, ptr %D) {
;CHECK-LABEL: test_ext_round:
	%a = load float, ptr %P		; <float> [#uses=1]
;CHECK-DAG: vcvt.f64.f32
;CHECK-DAG: vcvt.f32.f64
	%b = fpext float %a to double		; <double> [#uses=1]
	%A = load double, ptr %D		; <double> [#uses=1]
	%B = fptrunc double %A to float		; <float> [#uses=1]
	store double %b, ptr %D
	store float %B, ptr %P
	ret void
}

define void @test_fma(ptr %P1, ptr %P2, ptr %P3) {
;CHECK-LABEL: test_fma:
	%a1 = load float, ptr %P1		; <float> [#uses=1]
	%a2 = load float, ptr %P2		; <float> [#uses=1]
	%a3 = load float, ptr %P3		; <float> [#uses=1]
;CHECK: vnmls.f32
	%X = fmul float %a1, %a2		; <float> [#uses=1]
	%Y = fsub float %X, %a3		; <float> [#uses=1]
	store float %Y, ptr %P1
	ret void
}

define i32 @test_ftoi(ptr %P1) {
;CHECK-LABEL: test_ftoi:
	%a1 = load float, ptr %P1		; <float> [#uses=1]
;CHECK: vcvt.s32.f32
	%b1 = fptosi float %a1 to i32		; <i32> [#uses=1]
	ret i32 %b1
}

define i32 @test_ftou(ptr %P1) {
;CHECK-LABEL: test_ftou:
	%a1 = load float, ptr %P1		; <float> [#uses=1]
;CHECK: vcvt.u32.f32
	%b1 = fptoui float %a1 to i32		; <i32> [#uses=1]
	ret i32 %b1
}

define i32 @test_dtoi(ptr %P1) {
;CHECK-LABEL: test_dtoi:
	%a1 = load double, ptr %P1		; <double> [#uses=1]
;CHECK: vcvt.s32.f64
	%b1 = fptosi double %a1 to i32		; <i32> [#uses=1]
	ret i32 %b1
}

define i32 @test_dtou(ptr %P1) {
;CHECK-LABEL: test_dtou:
	%a1 = load double, ptr %P1		; <double> [#uses=1]
;CHECK: vcvt.u32.f64
	%b1 = fptoui double %a1 to i32		; <i32> [#uses=1]
	ret i32 %b1
}

define void @test_utod(ptr %P1, i32 %X) {
;CHECK-LABEL: test_utod:
;CHECK: vcvt.f64.u32
	%b1 = uitofp i32 %X to double		; <double> [#uses=1]
	store double %b1, ptr %P1
	ret void
}

define void @test_utod2(ptr %P1, i8 %X) {
;CHECK-LABEL: test_utod2:
;CHECK: vcvt.f64.u32
	%b1 = uitofp i8 %X to double		; <double> [#uses=1]
	store double %b1, ptr %P1
	ret void
}

define void @test_cmp(ptr %glob, i32 %X) {
;CHECK-LABEL: test_cmp:
entry:
	%tmp = load float, ptr %glob		; <float> [#uses=2]
	%tmp3 = getelementptr float, ptr %glob, i32 2		; <ptr> [#uses=1]
	%tmp4 = load float, ptr %tmp3		; <float> [#uses=2]
	%tmp.upgrd.1 = fcmp oeq float %tmp, %tmp4		; <i1> [#uses=1]
	%tmp5 = fcmp uno float %tmp, %tmp4		; <i1> [#uses=1]
	%tmp6 = or i1 %tmp.upgrd.1, %tmp5		; <i1> [#uses=1]
;CHECK: bmi
;CHECK-NEXT: bgt
	br i1 %tmp6, label %cond_true, label %cond_false

cond_true:		; preds = %entry
	%tmp.upgrd.2 = tail call i32 (...) @bar( )		; <i32> [#uses=0]
	ret void

cond_false:		; preds = %entry
	%tmp7 = tail call i32 (...) @baz( )		; <i32> [#uses=0]
	ret void
}

declare i1 @llvm.isunordered.f32(float, float)

declare i32 @bar(...)

declare i32 @baz(...)

define void @test_cmpfp0(ptr %glob, i32 %X) {
;CHECK-LABEL: test_cmpfp0:
entry:
	%tmp = load float, ptr %glob		; <float> [#uses=1]
;CHECK: vcmp.f32
	%tmp.upgrd.3 = fcmp ogt float %tmp, 0.000000e+00		; <i1> [#uses=1]
	br i1 %tmp.upgrd.3, label %cond_true, label %cond_false

cond_true:		; preds = %entry
	%tmp.upgrd.4 = tail call i32 (...) @bar( )		; <i32> [#uses=0]
	ret void

cond_false:		; preds = %entry
	%tmp1 = tail call i32 (...) @baz( )		; <i32> [#uses=0]
	ret void
}