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