; RUN: llc -mtriple=thumbv7-linux-gnueabihf %s -o - | FileCheck %s

define i64 @test_mismatched_call(double %in) {
; CHECK-LABEL: test_mismatched_call:
; CHECK: bl floor
; CHECK: vmov r0, r1, d0

  %val = tail call double @floor(double %in)
  %res = bitcast double %val to i64
  ret i64 %res
}

define double @test_matched_call(double %in) {
; CHECK-LABEL: test_matched_call:
; CHECK: b floor

  %val = tail call double @floor(double %in)
  ret double %val
}

define void @test_irrelevant_call(double %in) {
; CHECK-LABEL: test_irrelevant_call:
; CHECK-NOT: bl floor

  %val = tail call double @floor(double %in)
  ret void
}

define arm_aapcscc double @test_callingconv(double %in) {
; CHECK: test_callingconv:
; CHECK: bl floor

  %val = tail call double @floor(double %in)
  ret double %val
}

declare double @floor(double) nounwind readonly