53 lines
1.4 KiB
LLVM
53 lines
1.4 KiB
LLVM
; RUN: llc -mtriple x86_64-unknown-windows-msvc %s -o - | FileCheck %s
|
|
|
|
declare swifttailcc void @callee()
|
|
|
|
define swifttailcc void @swift_tail() {
|
|
call void asm "","~{r14}"()
|
|
tail call swifttailcc void @callee()
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: swift_tail:
|
|
; CHECK-NOT: popq %r14
|
|
|
|
define void @has_swift_async(ptr swiftasync %contet) {
|
|
call void asm "","~{r14}"()
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: has_swift_async:
|
|
; CHECK: popq %r14
|
|
|
|
; It's impossible to get a tail call from a function without a swiftasync
|
|
; parameter to one with unless the CC is swifttailcc. So it doesn't matter
|
|
; whether r14 is callee-saved in this case.
|
|
define void @calls_swift_async() {
|
|
call void asm "","~{r14}"()
|
|
tail call void @has_swift_async(ptr swiftasync null)
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: calls_swift_async:
|
|
; CHECK-NOT: jmpq has_swift_async
|
|
|
|
define swifttailcc void @no_preserve_swiftself() {
|
|
call void asm "","~{r13}"()
|
|
ret void
|
|
}
|
|
|
|
; CHECK-LABEL: no_preserve_swiftself:
|
|
; CHECK-NOT: popq %r13
|
|
|
|
declare swifttailcc ptr @swift_self(ptr swiftasync %context, ptr swiftself %self)
|
|
|
|
define swiftcc ptr @call_swift_self(ptr swiftself %self, ptr %context) {
|
|
; call void asm "","~{r13}"()
|
|
; We get a push r13 but why not with the call below?
|
|
%res = call swifttailcc ptr @swift_self(ptr swiftasync %context, ptr swiftself %self)
|
|
ret ptr %res
|
|
}
|
|
|
|
; CHECK-LABEL: call_swift_self:
|
|
; CHECK: pushq %r13
|