1; RUN: llc < %s -mtriple=x86_64-linux-gnu -tailcallopt -code-model=large -enable-misched=false | FileCheck %s 2 3declare fastcc i32 @callee(i32 %arg) 4define fastcc i32 @directcall(i32 %arg) { 5entry: 6; This is the large code model, so &callee may not fit into the jmp 7; instruction. Instead, stick it into a register. 8; CHECK: movabsq $callee, [[REGISTER:%r[a-z0-9]+]] 9; CHECK: jmpq *[[REGISTER]] # TAILCALL 10 %res = tail call fastcc i32 @callee(i32 %arg) 11 ret i32 %res 12} 13 14; Check that the register used for an indirect tail call doesn't 15; clobber any of the arguments. 16define fastcc i32 @indirect_manyargs(i32(i32,i32,i32,i32,i32,i32,i32)* %target) { 17; Adjust the stack to enter the function. (The amount of the 18; adjustment may change in the future, in which case the location of 19; the stack argument and the return adjustment will change too.) 20; CHECK: pushq 21; Put the call target into R11, which won't be clobbered while restoring 22; callee-saved registers and won't be used for passing arguments. 23; CHECK: movq %rdi, %rax 24; Pass the stack argument. 25; CHECK: movl $7, 16(%rsp) 26; Pass the register arguments, in the right registers. 27; CHECK: movl $1, %edi 28; CHECK: movl $2, %esi 29; CHECK: movl $3, %edx 30; CHECK: movl $4, %ecx 31; CHECK: movl $5, %r8d 32; CHECK: movl $6, %r9d 33; Adjust the stack to "return". 34; CHECK: popq 35; And tail-call to the target. 36; CHECK: jmpq *%rax # TAILCALL 37 %res = tail call fastcc i32 %target(i32 1, i32 2, i32 3, i32 4, i32 5, 38 i32 6, i32 7) 39 ret i32 %res 40} 41 42; Check that the register used for a direct tail call doesn't clobber 43; any of the arguments. 44declare fastcc i32 @manyargs_callee(i32,i32,i32,i32,i32,i32,i32) 45define fastcc i32 @direct_manyargs() { 46; Adjust the stack to enter the function. (The amount of the 47; adjustment may change in the future, in which case the location of 48; the stack argument and the return adjustment will change too.) 49; CHECK: pushq 50; Pass the stack argument. 51; CHECK: movl $7, 16(%rsp) 52; This is the large code model, so &manyargs_callee may not fit into 53; the jmp instruction. Put it into a register which won't be clobbered 54; while restoring callee-saved registers and won't be used for passing 55; arguments. 56; CHECK: movabsq $manyargs_callee, %rax 57; Pass the register arguments, in the right registers. 58; CHECK: movl $1, %edi 59; CHECK: movl $2, %esi 60; CHECK: movl $3, %edx 61; CHECK: movl $4, %ecx 62; CHECK: movl $5, %r8d 63; CHECK: movl $6, %r9d 64; Adjust the stack to "return". 65; CHECK: popq 66; And tail-call to the target. 67; CHECK: jmpq *%rax # TAILCALL 68 %res = tail call fastcc i32 @manyargs_callee(i32 1, i32 2, i32 3, i32 4, 69 i32 5, i32 6, i32 7) 70 ret i32 %res 71} 72