1 ; RUN: llc < %s -mtriple=arm-apple-ios -mattr=+vfp2 -disable-post-ra | FileCheck %s 2 ; RUN: llc < %s -mtriple=arm-apple-ios -mattr=+vfp2 -disable-post-ra -regalloc=basic | FileCheck %s 3 4 define void @test(float* %P, double* %D) { 5 %A = load float* %P ; <float> [#uses=1] 6 %B = load double* %D ; <double> [#uses=1] 7 store float %A, float* %P 8 store double %B, double* %D 9 ret void 10 } 11 12 declare float @fabsf(float) 13 14 declare double @fabs(double) 15 16 define void @test_abs(float* %P, double* %D) { 17 ;CHECK-LABEL: test_abs: 18 %a = load float* %P ; <float> [#uses=1] 19 ;CHECK: vabs.f32 20 %b = call float @fabsf( float %a ) readnone ; <float> [#uses=1] 21 store float %b, float* %P 22 %A = load double* %D ; <double> [#uses=1] 23 ;CHECK: vabs.f64 24 %B = call double @fabs( double %A ) readnone ; <double> [#uses=1] 25 store double %B, double* %D 26 ret void 27 } 28 29 define void @test_add(float* %P, double* %D) { 30 ;CHECK-LABEL: test_add: 31 %a = load float* %P ; <float> [#uses=2] 32 %b = fadd float %a, %a ; <float> [#uses=1] 33 store float %b, float* %P 34 %A = load double* %D ; <double> [#uses=2] 35 %B = fadd double %A, %A ; <double> [#uses=1] 36 store double %B, double* %D 37 ret void 38 } 39 40 define void @test_ext_round(float* %P, double* %D) { 41 ;CHECK-LABEL: test_ext_round: 42 %a = load float* %P ; <float> [#uses=1] 43 ;CHECK: vcvt.f64.f32 44 ;CHECK: vcvt.f32.f64 45 %b = fpext float %a to double ; <double> [#uses=1] 46 %A = load double* %D ; <double> [#uses=1] 47 %B = fptrunc double %A to float ; <float> [#uses=1] 48 store double %b, double* %D 49 store float %B, float* %P 50 ret void 51 } 52 53 define void @test_fma(float* %P1, float* %P2, float* %P3) { 54 ;CHECK-LABEL: test_fma: 55 %a1 = load float* %P1 ; <float> [#uses=1] 56 %a2 = load float* %P2 ; <float> [#uses=1] 57 %a3 = load float* %P3 ; <float> [#uses=1] 58 ;CHECK: vnmls.f32 59 %X = fmul float %a1, %a2 ; <float> [#uses=1] 60 %Y = fsub float %X, %a3 ; <float> [#uses=1] 61 store float %Y, float* %P1 62 ret void 63 } 64 65 define i32 @test_ftoi(float* %P1) { 66 ;CHECK-LABEL: test_ftoi: 67 %a1 = load float* %P1 ; <float> [#uses=1] 68 ;CHECK: vcvt.s32.f32 69 %b1 = fptosi float %a1 to i32 ; <i32> [#uses=1] 70 ret i32 %b1 71 } 72 73 define i32 @test_ftou(float* %P1) { 74 ;CHECK-LABEL: test_ftou: 75 %a1 = load float* %P1 ; <float> [#uses=1] 76 ;CHECK: vcvt.u32.f32 77 %b1 = fptoui float %a1 to i32 ; <i32> [#uses=1] 78 ret i32 %b1 79 } 80 81 define i32 @test_dtoi(double* %P1) { 82 ;CHECK-LABEL: test_dtoi: 83 %a1 = load double* %P1 ; <double> [#uses=1] 84 ;CHECK: vcvt.s32.f64 85 %b1 = fptosi double %a1 to i32 ; <i32> [#uses=1] 86 ret i32 %b1 87 } 88 89 define i32 @test_dtou(double* %P1) { 90 ;CHECK-LABEL: test_dtou: 91 %a1 = load double* %P1 ; <double> [#uses=1] 92 ;CHECK: vcvt.u32.f64 93 %b1 = fptoui double %a1 to i32 ; <i32> [#uses=1] 94 ret i32 %b1 95 } 96 97 define void @test_utod(double* %P1, i32 %X) { 98 ;CHECK-LABEL: test_utod: 99 ;CHECK: vcvt.f64.u32 100 %b1 = uitofp i32 %X to double ; <double> [#uses=1] 101 store double %b1, double* %P1 102 ret void 103 } 104 105 define void @test_utod2(double* %P1, i8 %X) { 106 ;CHECK-LABEL: test_utod2: 107 ;CHECK: vcvt.f64.u32 108 %b1 = uitofp i8 %X to double ; <double> [#uses=1] 109 store double %b1, double* %P1 110 ret void 111 } 112 113 define void @test_cmp(float* %glob, i32 %X) { 114 ;CHECK-LABEL: test_cmp: 115 entry: 116 %tmp = load float* %glob ; <float> [#uses=2] 117 %tmp3 = getelementptr float* %glob, i32 2 ; <float*> [#uses=1] 118 %tmp4 = load float* %tmp3 ; <float> [#uses=2] 119 %tmp.upgrd.1 = fcmp oeq float %tmp, %tmp4 ; <i1> [#uses=1] 120 %tmp5 = fcmp uno float %tmp, %tmp4 ; <i1> [#uses=1] 121 %tmp6 = or i1 %tmp.upgrd.1, %tmp5 ; <i1> [#uses=1] 122 ;CHECK: bmi 123 ;CHECK-NEXT: bgt 124 br i1 %tmp6, label %cond_true, label %cond_false 125 126 cond_true: ; preds = %entry 127 %tmp.upgrd.2 = tail call i32 (...)* @bar( ) ; <i32> [#uses=0] 128 ret void 129 130 cond_false: ; preds = %entry 131 %tmp7 = tail call i32 (...)* @baz( ) ; <i32> [#uses=0] 132 ret void 133 } 134 135 declare i1 @llvm.isunordered.f32(float, float) 136 137 declare i32 @bar(...) 138 139 declare i32 @baz(...) 140 141 define void @test_cmpfp0(float* %glob, i32 %X) { 142 ;CHECK-LABEL: test_cmpfp0: 143 entry: 144 %tmp = load float* %glob ; <float> [#uses=1] 145 ;CHECK: vcmpe.f32 146 %tmp.upgrd.3 = fcmp ogt float %tmp, 0.000000e+00 ; <i1> [#uses=1] 147 br i1 %tmp.upgrd.3, label %cond_true, label %cond_false 148 149 cond_true: ; preds = %entry 150 %tmp.upgrd.4 = tail call i32 (...)* @bar( ) ; <i32> [#uses=0] 151 ret void 152 153 cond_false: ; preds = %entry 154 %tmp1 = tail call i32 (...)* @baz( ) ; <i32> [#uses=0] 155 ret void 156 } 157
