-; RUN: llvm-upgrade < %s | llvm-as | llc -march=arm &&
-; RUN: llvm-upgrade < %s | llvm-as | llc -march=arm | grep flds | wc -l | grep 2 &&
-; RUN: llvm-upgrade < %s | llvm-as | llc -march=arm | grep "flds.*\[" | wc -l | grep 1 &&
-; RUN: llvm-upgrade < %s | llvm-as | llc -march=arm | grep "fsts.*\[" | wc -l | grep 1
+; RUN: llc -mtriple=arm -float-abi=soft -mattr=+vfp2 %s -o - | FileCheck %s
-float %f1(float %a) {
-entry:
- ret float 0.000000e+00
+define float @f1(float %a) {
+; CHECK-LABEL: f1:
+; CHECK: mov r0, #0
+ ret float 0.000000e+00
}
-float %f2(float* %v) {
-entry:
- %tmp = load float* %v
- ret float %tmp
+define float @f2(float* %v, float %u) {
+; CHECK-LABEL: f2:
+; CHECK: vldr{{.*}}[
+ %tmp = load float, float* %v ; <float> [#uses=1]
+ %tmp1 = fadd float %tmp, %u ; <float> [#uses=1]
+ ret float %tmp1
}
-void %f3(float %a, float* %v) {
-entry:
- store float %a, float* %v
- ret void
+define float @f2offset(float* %v, float %u) {
+; CHECK-LABEL: f2offset:
+; CHECK: vldr{{.*}}, #4]
+ %addr = getelementptr float, float* %v, i32 1
+ %tmp = load float, float* %addr
+ %tmp1 = fadd float %tmp, %u
+ ret float %tmp1
+}
+
+define float @f2noffset(float* %v, float %u) {
+; CHECK-LABEL: f2noffset:
+; CHECK: vldr{{.*}}, #-4]
+ %addr = getelementptr float, float* %v, i32 -1
+ %tmp = load float, float* %addr
+ %tmp1 = fadd float %tmp, %u
+ ret float %tmp1
+}
+
+define void @f3(float %a, float %b, float* %v) {
+; CHECK-LABEL: f3:
+; CHECK: vstr{{.*}}[
+ %tmp = fadd float %a, %b ; <float> [#uses=1]
+ store float %tmp, float* %v
+ ret void
}