Generate FMINNAN/FMINNUM/FMAXNAN/FMAXNUM from SDAGBuilder.
[oota-llvm.git] / test / CodeGen / ARM / vfp.ll
index 2acb33f9aebf431193f6eed96a865a93256bb699..03c0354aa1df929b34b2f4f662ae89894d87e95d 100644 (file)
@@ -1,23 +1,9 @@
-; RUN: llvm-as < %s | llc -march=arm -mattr=+vfp2 | \
-; RUN:   grep fabs | count 2
-; RUN: llvm-as < %s | llc -march=arm -mattr=+vfp2 | \
-; RUN:   grep fmscs | count 1
-; RUN: llvm-as < %s | llc -march=arm -mattr=+vfp2 | \
-; RUN:   grep fcvt | count 2
-; RUN: llvm-as < %s | llc -march=arm -mattr=+vfp2 | \
-; RUN:   grep fuito | count 2
-; RUN: llvm-as < %s | llc -march=arm -mattr=+vfp2 | \
-; RUN:   grep fto.i | count 4
-; RUN: llvm-as < %s | llc -march=arm -mattr=+vfp2 | \
-; RUN:   grep bmi | count 1
-; RUN: llvm-as < %s | llc -march=arm -mattr=+vfp2 | \
-; RUN:   grep bgt | count 1
-; RUN: llvm-as < %s | llc -march=arm -mattr=+vfp2 | \
-; RUN:   grep fcmpezs | count 1
+; 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(float* %P, double* %D) {
-       %A = load float* %P             ; <float> [#uses=1]
-       %B = load double* %D            ; <double> [#uses=1]
+       %A = load float, float* %P              ; <float> [#uses=1]
+       %B = load double, double* %D            ; <double> [#uses=1]
        store float %A, float* %P
        store double %B, double* %D
        ret void
@@ -28,29 +14,36 @@ declare float @fabsf(float)
 declare double @fabs(double)
 
 define void @test_abs(float* %P, double* %D) {
-       %a = load float* %P             ; <float> [#uses=1]
-       %b = call float @fabsf( float %a )              ; <float> [#uses=1]
+;CHECK-LABEL: test_abs:
+       %a = load float, float* %P              ; <float> [#uses=1]
+;CHECK: vabs.f32
+       %b = call float @fabsf( float %a ) readnone     ; <float> [#uses=1]
        store float %b, float* %P
-       %A = load double* %D            ; <double> [#uses=1]
-       %B = call double @fabs( double %A )             ; <double> [#uses=1]
+       %A = load double, double* %D            ; <double> [#uses=1]
+;CHECK: vabs.f64
+       %B = call double @fabs( double %A ) readnone    ; <double> [#uses=1]
        store double %B, double* %D
        ret void
 }
 
 define void @test_add(float* %P, double* %D) {
-       %a = load float* %P             ; <float> [#uses=2]
-       %b = add float %a, %a           ; <float> [#uses=1]
+;CHECK-LABEL: test_add:
+       %a = load float, float* %P              ; <float> [#uses=2]
+       %b = fadd float %a, %a          ; <float> [#uses=1]
        store float %b, float* %P
-       %A = load double* %D            ; <double> [#uses=2]
-       %B = add double %A, %A          ; <double> [#uses=1]
+       %A = load double, double* %D            ; <double> [#uses=2]
+       %B = fadd double %A, %A         ; <double> [#uses=1]
        store double %B, double* %D
        ret void
 }
 
 define void @test_ext_round(float* %P, double* %D) {
-       %a = load float* %P             ; <float> [#uses=1]
+;CHECK-LABEL: test_ext_round:
+       %a = load float, float* %P              ; <float> [#uses=1]
+;CHECK: vcvt.f64.f32
+;CHECK: vcvt.f32.f64
        %b = fpext float %a to double           ; <double> [#uses=1]
-       %A = load double* %D            ; <double> [#uses=1]
+       %A = load double, double* %D            ; <double> [#uses=1]
        %B = fptrunc double %A to float         ; <float> [#uses=1]
        store double %b, double* %D
        store float %B, float* %P
@@ -58,67 +51,84 @@ define void @test_ext_round(float* %P, double* %D) {
 }
 
 define void @test_fma(float* %P1, float* %P2, float* %P3) {
-       %a1 = load float* %P1           ; <float> [#uses=1]
-       %a2 = load float* %P2           ; <float> [#uses=1]
-       %a3 = load float* %P3           ; <float> [#uses=1]
-       %X = mul float %a1, %a2         ; <float> [#uses=1]
-       %Y = sub float %X, %a3          ; <float> [#uses=1]
+;CHECK-LABEL: test_fma:
+       %a1 = load float, float* %P1            ; <float> [#uses=1]
+       %a2 = load float, float* %P2            ; <float> [#uses=1]
+       %a3 = load float, float* %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, float* %P1
        ret void
 }
 
 define i32 @test_ftoi(float* %P1) {
-       %a1 = load float* %P1           ; <float> [#uses=1]
+;CHECK-LABEL: test_ftoi:
+       %a1 = load float, float* %P1            ; <float> [#uses=1]
+;CHECK: vcvt.s32.f32
        %b1 = fptosi float %a1 to i32           ; <i32> [#uses=1]
        ret i32 %b1
 }
 
 define i32 @test_ftou(float* %P1) {
-       %a1 = load float* %P1           ; <float> [#uses=1]
+;CHECK-LABEL: test_ftou:
+       %a1 = load float, float* %P1            ; <float> [#uses=1]
+;CHECK: vcvt.u32.f32
        %b1 = fptoui float %a1 to i32           ; <i32> [#uses=1]
        ret i32 %b1
 }
 
 define i32 @test_dtoi(double* %P1) {
-       %a1 = load double* %P1          ; <double> [#uses=1]
+;CHECK-LABEL: test_dtoi:
+       %a1 = load double, double* %P1          ; <double> [#uses=1]
+;CHECK: vcvt.s32.f64
        %b1 = fptosi double %a1 to i32          ; <i32> [#uses=1]
        ret i32 %b1
 }
 
 define i32 @test_dtou(double* %P1) {
-       %a1 = load double* %P1          ; <double> [#uses=1]
+;CHECK-LABEL: test_dtou:
+       %a1 = load double, double* %P1          ; <double> [#uses=1]
+;CHECK: vcvt.u32.f64
        %b1 = fptoui double %a1 to i32          ; <i32> [#uses=1]
        ret i32 %b1
 }
 
 define void @test_utod(double* %P1, i32 %X) {
+;CHECK-LABEL: test_utod:
+;CHECK: vcvt.f64.u32
        %b1 = uitofp i32 %X to double           ; <double> [#uses=1]
        store double %b1, double* %P1
        ret void
 }
 
 define void @test_utod2(double* %P1, i8 %X) {
+;CHECK-LABEL: test_utod2:
+;CHECK: vcvt.f64.u32
        %b1 = uitofp i8 %X to double            ; <double> [#uses=1]
        store double %b1, double* %P1
        ret void
 }
 
 define void @test_cmp(float* %glob, i32 %X) {
+;CHECK-LABEL: test_cmp:
 entry:
-       %tmp = load float* %glob                ; <float> [#uses=2]
-       %tmp3 = getelementptr float* %glob, i32 2               ; <float*> [#uses=1]
-       %tmp4 = load float* %tmp3               ; <float> [#uses=2]
+       %tmp = load float, float* %glob         ; <float> [#uses=2]
+       %tmp3 = getelementptr float, float* %glob, i32 2                ; <float*> [#uses=1]
+       %tmp4 = load float, float* %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]
+       %tmp.upgrd.2 = tail call i32 (...) @bar( )              ; <i32> [#uses=0]
        ret void
 
 cond_false:            ; preds = %entry
-       %tmp7 = tail call i32 (...)* @baz( )            ; <i32> [#uses=0]
+       %tmp7 = tail call i32 (...) @baz( )             ; <i32> [#uses=0]
        ret void
 }
 
@@ -129,16 +139,18 @@ declare i32 @bar(...)
 declare i32 @baz(...)
 
 define void @test_cmpfp0(float* %glob, i32 %X) {
+;CHECK-LABEL: test_cmpfp0:
 entry:
-       %tmp = load float* %glob                ; <float> [#uses=1]
+       %tmp = load float, float* %glob         ; <float> [#uses=1]
+;CHECK: vcmpe.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]
+       %tmp.upgrd.4 = tail call i32 (...) @bar( )              ; <i32> [#uses=0]
        ret void
 
 cond_false:            ; preds = %entry
-       %tmp1 = tail call i32 (...)* @baz( )            ; <i32> [#uses=0]
+       %tmp1 = tail call i32 (...) @baz( )             ; <i32> [#uses=0]
        ret void
 }