mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-21 03:53:04 +02:00
8681d4c5a2
Summary: If a function needs to allocate both callee-save stack memory and local stack memory, we currently decrement/increment the SP in two steps: first for the callee-save area, and then for the local stack area. This changes the code to allocate them both at once at the very beginning/end of the function. This has two benefits: 1) there is one fewer sub/add micro-op in the prologue/epilogue 2) the stack adjustment instructions act as a scheduling barrier, so moving them to the very beginning/end of the function increases post-RA scheduler's ability to move instructions (that only depend on argument registers) before any of the callee-save stores This change can cause an increase in instructions if the original local stack SP decrement could be folded into the first store to the stack. This occurs when the first local stack store is to stack offset 0. In this case we are trading off one more sub instruction for one fewer sub micro-op (along with benefits (2) and (3) above). Reviewers: t.p.northover Subscribers: aemerson, rengolin, mcrosier, llvm-commits Differential Revision: http://reviews.llvm.org/D18619 llvm-svn: 268746
38 lines
1.1 KiB
LLVM
38 lines
1.1 KiB
LLVM
; RUN: llc < %s -mtriple=arm64-apple-ios7.0 -disable-post-ra -disable-fp-elim | FileCheck %s
|
|
; RUN: llc < %s -mtriple=arm64-linux-gnu -disable-post-ra | FileCheck %s --check-prefix=CHECK-LINUX
|
|
|
|
; CHECK-LABEL: main:
|
|
; CHECK: sub sp, sp, #32
|
|
; CHECK-NEXT: stp x29, x30, [sp, #16]
|
|
; CHECK-NEXT: add x29, sp, #16
|
|
; CHECK-NEXT: stur wzr, [x29, #-4]
|
|
; CHECK: adrp x0, L_.str@PAGE
|
|
; CHECK: add x0, x0, L_.str@PAGEOFF
|
|
; CHECK-NEXT: bl _puts
|
|
; CHECK-NEXT: ldp x29, x30, [sp, #16]
|
|
; CHECK-NEXT: add sp, sp, #32
|
|
; CHECK-NEXT: ret
|
|
|
|
; CHECK-LINUX-LABEL: main:
|
|
; CHECK-LINUX: sub sp, sp, #32
|
|
; CHECK-LINUX-NEXT: str x30, [sp, #16]
|
|
; CHECK-LINUX-NEXT: str wzr, [sp, #12]
|
|
; CHECK-LINUX: adrp x0, .L.str
|
|
; CHECK-LINUX: add x0, x0, :lo12:.L.str
|
|
; CHECK-LINUX-NEXT: bl puts
|
|
; CHECK-LINUX-NEXT: ldr x30, [sp, #16]
|
|
; CHECK-LINUX-NEXT: add sp, sp, #32
|
|
; CHECK-LINUX-NEXT: ret
|
|
|
|
@.str = private unnamed_addr constant [7 x i8] c"hello\0A\00"
|
|
|
|
define i32 @main() nounwind ssp {
|
|
entry:
|
|
%retval = alloca i32, align 4
|
|
store i32 0, i32* %retval
|
|
%call = call i32 @puts(i8* getelementptr inbounds ([7 x i8], [7 x i8]* @.str, i32 0, i32 0))
|
|
ret i32 %call
|
|
}
|
|
|
|
declare i32 @puts(i8*)
|