mirror of
https://github.com/RPCS3/llvm.git
synced 2025-01-08 04:51:23 +00:00
508c39393a
This function can, for some offsets from the SP, split one instruction into two. Since it re-uses the original instruction as the first instruction of the result, we need ensure its result register is not marked as dead before we use it in the second instruction. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@220194 91177308-0d34-0410-b5e6-96231b3b80d8
55 lines
1.3 KiB
LLVM
55 lines
1.3 KiB
LLVM
; RUN: llc < %s -mtriple=thumb-apple-ios | FileCheck %s
|
|
|
|
define void @test1() {
|
|
; CHECK-LABEL: test1:
|
|
; CHECK: sub sp, #256
|
|
; CHECK: add sp, #256
|
|
%tmp = alloca [ 64 x i32 ] , align 4
|
|
ret void
|
|
}
|
|
|
|
define void @test2() {
|
|
; CHECK-LABEL: test2:
|
|
; CHECK: ldr r0, LCPI
|
|
; CHECK: add sp, r0
|
|
; CHECK: subs r4, r7, #4
|
|
; CHECK: mov sp, r4
|
|
%tmp = alloca [ 4168 x i8 ] , align 4
|
|
ret void
|
|
}
|
|
|
|
define i32 @test3() {
|
|
; CHECK-LABEL: test3:
|
|
; CHECK: ldr r1, LCPI
|
|
; CHECK: add sp, r1
|
|
; CHECK: ldr r1, LCPI
|
|
; CHECK: add r1, sp
|
|
; CHECK: subs r4, r7, #4
|
|
; CHECK: mov sp, r4
|
|
%retval = alloca i32, align 4
|
|
%tmp = alloca i32, align 4
|
|
%a = alloca [805306369 x i8], align 16
|
|
store i32 0, i32* %tmp
|
|
%tmp1 = load i32* %tmp
|
|
ret i32 %tmp1
|
|
}
|
|
|
|
; Here, the adds get optimized out because they are dead, but the calculation
|
|
; of the address of stack_a is dead but not optimized out. When the address
|
|
; calculation gets expanded to two instructions, we need to avoid reading a
|
|
; dead register.
|
|
; No CHECK lines (just test for crashes), as we hope this will be optimised
|
|
; better in future.
|
|
define i32 @test4() {
|
|
entry:
|
|
%stack_a = alloca i8, align 1
|
|
%stack_b = alloca [256 x i32*], align 4
|
|
%int = ptrtoint i8* %stack_a to i32
|
|
%add = add i32 %int, 1
|
|
br label %block2
|
|
|
|
block2:
|
|
%add2 = add i32 %add, 1
|
|
ret i32 0
|
|
}
|