749384c08e
PR #75527 fixed ARMFrameLowering to set the IsRestored flag for LR based on all of the return instructions in the function, not just one. However, there is also code in ARMLoadStoreOptimizer which changes return instructions, but it set IsRestored based on the one instruction it changed, not the whole function. The fix is to factor out the code added in #75527, and also call it from ARMLoadStoreOptimizer if it made a change to return instructions. Fixes #80287.
57 lines
1.8 KiB
LLVM
57 lines
1.8 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 4
|
|
; RUN: llc -mtriple thumbv7a-none-eabi < %s | FileCheck %s
|
|
|
|
@val0 = global i32 0, align 4
|
|
@val1 = global i32 0, align 4
|
|
@val2 = global i32 0, align 4
|
|
|
|
define i32 @foo(ptr %ctx) {
|
|
; CHECK-LABEL: foo:
|
|
; CHECK: @ %bb.0: @ %entry
|
|
; CHECK-NEXT: cbz r0, .LBB0_2
|
|
; CHECK-NEXT: @ %bb.1: @ %if.end
|
|
; CHECK-NEXT: movw r12, :lower16:val2
|
|
; CHECK-NEXT: movw r3, :lower16:val1
|
|
; CHECK-NEXT: movw r2, :lower16:val0
|
|
; CHECK-NEXT: mov r1, r0
|
|
; CHECK-NEXT: movs r0, #0
|
|
; CHECK-NEXT: movt r12, :upper16:val2
|
|
; CHECK-NEXT: movt r3, :upper16:val1
|
|
; CHECK-NEXT: movt r2, :upper16:val0
|
|
; CHECK-NEXT: str r2, [r1, #4]
|
|
; CHECK-NEXT: str r3, [r1, #8]
|
|
; CHECK-NEXT: str.w r12, [r1, #12]
|
|
; CHECK-NEXT: str r0, [r1, #16]
|
|
; CHECK-NEXT: bx lr
|
|
; CHECK-NEXT: .LBB0_2: @ %if.then
|
|
; CHECK-NEXT: .save {r7, lr}
|
|
; CHECK-NEXT: push {r7, lr}
|
|
; CHECK-NEXT: bl bar
|
|
; CHECK-NEXT: mov.w r0, #-1
|
|
; CHECK-NEXT: pop {r7, pc}
|
|
entry:
|
|
%tobool.not = icmp eq ptr %ctx, null
|
|
br i1 %tobool.not, label %if.then, label %if.end
|
|
|
|
if.then: ; preds = %entry
|
|
tail call void @bar() #2
|
|
br label %return
|
|
|
|
if.end: ; preds = %entry
|
|
%cmd_a = getelementptr inbounds i8, ptr %ctx, i32 4
|
|
store ptr @val0, ptr %cmd_a, align 4
|
|
%cmd_b = getelementptr inbounds i8, ptr %ctx, i32 8
|
|
store ptr @val1, ptr %cmd_b, align 4
|
|
%cmd_c = getelementptr inbounds i8, ptr %ctx, i32 12
|
|
store ptr @val2, ptr %cmd_c, align 4
|
|
%cmd_d = getelementptr inbounds i8, ptr %ctx, i32 16
|
|
store ptr null, ptr %cmd_d, align 4
|
|
br label %return
|
|
|
|
return: ; preds = %if.end, %if.then
|
|
%retval.0 = phi i32 [ 0, %if.end ], [ -1, %if.then ]
|
|
ret i32 %retval.0
|
|
}
|
|
|
|
declare void @bar()
|