mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-21 00:32:23 +00:00
4b5324ad2c
optimized x86-64 (and x86) calls so that they work (... at least for my test cases). Should fix the following problems: Problem 1: When i introduced the optimized handling of arguments for tail called functions (using a sequence of copyto/copyfrom virtual registers instead of always lowering to top of the stack) i did not handle byval arguments correctly e.g they did not work at all :). Problem 2: On x86-64 after the arguments of the tail called function are moved to their registers (which include ESI/RSI etc), tail call optimization performs byval lowering which causes xSI,xDI, xCX registers to be overwritten. This is handled in this patch by moving the arguments to virtual registers first and after the byval lowering the arguments are moved from those virtual registers back to RSI/RDI/RCX. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@49584 91177308-0d34-0410-b5e6-96231b3b80d8
30 lines
1.4 KiB
LLVM
30 lines
1.4 KiB
LLVM
; RUN: llvm-as < %s | llc -march=x86-64 -tailcallopt | grep TAILCALL
|
|
; Expect 2 rep;movs because of tail call byval lowering.
|
|
; RUN: llvm-as < %s | llc -march=x86-64 -tailcallopt | grep rep | wc -l | grep 2
|
|
; A sequence of copyto/copyfrom virtual registers is used to deal with byval
|
|
; lowering appearing after moving arguments to registers. The following two
|
|
; checks verify that the register allocator changes those sequences to direct
|
|
; moves to argument register where it can (for registers that are not used in
|
|
; byval lowering - not rsi, not rdi, not rcx).
|
|
; Expect argument 4 to be moved directly to register edx.
|
|
; RUN: llvm-as < %s | llc -march=x86-64 -tailcallopt | grep movl | grep {7} | grep edx
|
|
; Expect argument 6 to be moved directly to register r8.
|
|
; RUN: llvm-as < %s | llc -march=x86-64 -tailcallopt | grep movl | grep {17} | grep r8
|
|
|
|
%struct.s = type { i64, i64, i64, i64, i64, i64, i64, i64,
|
|
i64, i64, i64, i64, i64, i64, i64, i64,
|
|
i64, i64, i64, i64, i64, i64, i64, i64 }
|
|
|
|
declare fastcc i64 @tailcallee(%struct.s* byval %a, i64 %val, i64 %val2, i64 %val3, i64 %val4, i64 %val5)
|
|
|
|
|
|
define fastcc i64 @tailcaller(i64 %b, %struct.s* byval %a) {
|
|
entry:
|
|
%tmp2 = getelementptr %struct.s* %a, i32 0, i32 1
|
|
%tmp3 = load i64* %tmp2, align 8
|
|
%tmp4 = tail call fastcc i64 @tailcallee(%struct.s* %a byval, i64 %tmp3, i64 %b, i64 7, i64 13, i64 17)
|
|
ret i64 %tmp4
|
|
}
|
|
|
|
|