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