mirror of
https://github.com/RPCSX/llvm.git
synced 2025-01-09 13:41:35 +00:00
a1a323c637
TwoAddressInstructionPass stops after a successful commuting but 3 Addr
conversion might be good for some cases.
Consider:
int foo(int a, int b) {
return a + b;
}
Before this commit, we emit:
addl %esi, %edi
movl %edi, %eax
ret
After this commit, we try 3 Addr conversion:
leal (%rsi,%rdi), %eax
ret
Patch by Volkan Keles <vkeles@apple.com>!
Differential Revision: http://reviews.llvm.org/D10851
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@241206 91177308-0d34-0410-b5e6-96231b3b80d8
34 lines
1.1 KiB
LLVM
34 lines
1.1 KiB
LLVM
; RUN: llc < %s -mtriple=x86_64-pc-win32 | FileCheck %s
|
|
; RUN: llc < %s -mtriple=x86_64-pc-linux | FileCheck %s -check-prefix=LINUX
|
|
|
|
; Verify that the 5th and 6th parameters are coming from the correct location
|
|
; on the stack.
|
|
define i32 @f6(i32 %p1, i32 %p2, i32 %p3, i32 %p4, i32 %p5, i32 %p6) nounwind readnone optsize {
|
|
entry:
|
|
; CHECK: movl 48(%rsp), %eax
|
|
; CHECK: addl 40(%rsp), %eax
|
|
; LINUX: leal (%r8,%r9), %eax
|
|
%add = add nsw i32 %p6, %p5
|
|
ret i32 %add
|
|
}
|
|
|
|
define x86_64_win64cc i32 @f7(i32 %p1, i32 %p2, i32 %p3, i32 %p4, i32 %p5, i32 %p6) nounwind readnone optsize {
|
|
entry:
|
|
; CHECK: movl 48(%rsp), %eax
|
|
; CHECK: addl 40(%rsp), %eax
|
|
; LINUX: movl 48(%rsp), %eax
|
|
; LINUX: addl 40(%rsp), %eax
|
|
%add = add nsw i32 %p6, %p5
|
|
ret i32 %add
|
|
}
|
|
|
|
; Verify that even though we're compiling for Windows, parameters behave as
|
|
; on other platforms here (note the x86_64_sysvcc calling convention).
|
|
define x86_64_sysvcc i32 @f8(i32 %p1, i32 %p2, i32 %p3, i32 %p4, i32 %p5, i32 %p6) nounwind readnone optsize {
|
|
entry:
|
|
; CHECK: leal (%r8,%r9), %eax
|
|
; LINUX: leal (%r8,%r9), %eax
|
|
%add = add nsw i32 %p6, %p5
|
|
ret i32 %add
|
|
}
|