1; RUN: llc < %s -mtriple=armv7-apple-ios -mattr=+vfp2 | FileCheck %s
2
3define fastcc double @t1(double %d0, double %d1, double %d2, double %d3, double %d4, double %d5, double %d6, double %d7, float %a, float %b) {
4entry:
5; CHECK-LABEL: t1:
6; CHECK-NOT: vmov
7; CHECK: vldr
8  %add = fadd float %a, %b
9  %conv = fpext float %add to double
10  ret double %conv
11}
12
13define fastcc double @t2(double %d0, double %d1, double %d2, double %d3, double %d4, double %d5, double %a, float %b, double %c) {
14entry:
15; CHECK-LABEL: t2:
16; CHECK-NOT: vmov
17; CHECK: vldr
18  %add = fadd double %a, %c
19  ret double %add
20}
21
22define fastcc float @t3(double %d0, double %d1, double %d2, double %d3, double %d4, double %d5, double %d6, float %a, double %b, float %c) {
23entry:
24; CHECK-LABEL: t3:
25; CHECK: vldr
26  %add = fadd float %a, %c
27  ret float %add
28}
29
30define fastcc double @t4(double %a, double %b) #0 {
31entry:
32; CHECK-LABEL: t4:
33; CHECK: vstr
34  %add = fadd double %a, %b
35  %sub = fsub double %a, %b
36  %call = tail call fastcc double @x(double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double 0.000000e+00, double %add, float 0.000000e+00, double %sub) #2
37  ret double %call
38}
39
40declare fastcc double @x(double, double, double, double, double, double, double, float, double)
41