| ; 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 |