mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-26 06:22:56 +02:00
e2dab65fbb
We were just completely ignoring the types when determining whether we could safely emit a libcall as a tail call. This is clearly wrong. Theoretically, we could dig deeper looking for incidental matches (much like the generic code in Analysis.cpp does), but it's probably not worth it for the few libcalls that exist. llvm-svn: 264084
38 lines
845 B
LLVM
38 lines
845 B
LLVM
; 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
|