1; RUN: llc -mtriple=thumbv7-linux-gnueabihf %s -o - | FileCheck %s
2
3define i64 @test_mismatched_call(double %in) {
4; CHECK-LABEL: test_mismatched_call:
5; CHECK: bl floor
6; CHECK: vmov r0, r1, d0
7
8  %val = tail call double @floor(double %in)
9  %res = bitcast double %val to i64
10  ret i64 %res
11}
12
13define double @test_matched_call(double %in) {
14; CHECK-LABEL: test_matched_call:
15; CHECK: b floor
16
17  %val = tail call double @floor(double %in)
18  ret double %val
19}
20
21define void @test_irrelevant_call(double %in) {
22; CHECK-LABEL: test_irrelevant_call:
23; CHECK-NOT: bl floor
24
25  %val = tail call double @floor(double %in)
26  ret void
27}
28
29define arm_aapcscc double @test_callingconv(double %in) {
30; CHECK: test_callingconv:
31; CHECK: bl floor
32
33  %val = tail call double @floor(double %in)
34  ret double %val
35}
36
37declare double @floor(double) nounwind readonly
38