| # RUN: llc -run-pass=prologepilog %s -o - | FileCheck %s |
| |
| # Make sure we use the correct offset for stack accesses using the base pointer |
| # within call frame blocks. Key points of test: |
| # + A large SP in ADJCALLSTACKDOWN forces each call to get its own adjustment. |
| # + An over-aligned stack variable means that we must use r6 rather than fp |
| # to access this variables. |
| # |
| # Under these circumstances, the ADJCALLSTACKDOWN must not apply to r6 offsets. |
| |
| --- | |
| ; ModuleID = 'simple.ll' |
| source_filename = "simple.ll" |
| target datalayout = "e-m:o-p:32:32-i64:64-a:0:32-n32-S128" |
| target triple = "thumbv7k-apple-ios" |
| |
| declare void @bar([4 x i32], i32) |
| |
| define void @foo(i32 %n) { |
| ret void |
| } |
| |
| ... |
| --- |
| name: foo |
| liveins: |
| - { reg: '$r0', virtual-reg: '' } |
| frameInfo: |
| adjustsStack: true |
| hasCalls: true |
| maxCallFrameSize: 2276 |
| stack: |
| - { id: 0, name: '', type: spill-slot, offset: 0, alignment: 32, size: 4 } |
| constants: [] |
| body: | |
| bb.0 (%ir-block.0): |
| liveins: $r0 |
| |
| ; CHECK: t2STRi12 killed $r0, $r6, [[OFFSET:[0-9]+]] |
| t2STRi12 killed $r0, %stack.0, 0, 14, $noreg :: (store 4 into %stack.0) |
| |
| ADJCALLSTACKDOWN 2276, 0, 14, $noreg, implicit-def dead $sp, implicit $sp |
| |
| ; CHECK: renamable $r0 = t2LDRi12 $r6, [[OFFSET]] |
| renamable $r0 = t2LDRi12 %stack.0, 0, 14, $noreg, :: (load 4 from %stack.0) |
| renamable $r1 = IMPLICIT_DEF |
| renamable $r2 = IMPLICIT_DEF |
| renamable $r3 = IMPLICIT_DEF |
| tBL 14, $noreg, @bar, csr_ios, implicit-def dead $lr, implicit $sp, implicit killed $r0, implicit killed $r1, implicit killed $r2, implicit killed $r3, implicit-def $sp |
| |
| ADJCALLSTACKUP 2276, 0, 14, $noreg, implicit-def dead $sp, implicit $sp |
| tBX_RET 14, $noreg |
| |
| ... |