4e2b4f97a0
Allow shrink-wrapping past memory accesses that only access globals or function arguments. This patch uses getUnderlyingObject to try to identify the accessed object by a given memory operand. If it is a global or an argument, it does not access the stack of the current function and should not block shrink wrapping. Note that the caller's stack may get accessed when passing an argument via the stack, but not the stack of the current function. This addresses part of the TODO from D63152. Reviewed By: thegameg Differential Revision: https://reviews.llvm.org/D149668
210 lines
6.5 KiB
LLVM
210 lines
6.5 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
|
|
; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu \
|
|
; RUN: -mcpu=pwr8 < %s | FileCheck %s --check-prefix=CHECK
|
|
; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-aix \
|
|
; RUN: -mcpu=pwr8 < %s | FileCheck %s --check-prefix=CHECK-AIX
|
|
|
|
define dso_local zeroext i8 @test1(ptr noundef %addr, i8 noundef zeroext %newval) local_unnamed_addr #0 {
|
|
; CHECK-LABEL: test1:
|
|
; CHECK: # %bb.0: # %entry
|
|
; CHECK-NEXT: stbcx. 4, 0, 3
|
|
; CHECK-NEXT: bne 0, .LBB0_2
|
|
; CHECK-NEXT: # %bb.1: # %if.then
|
|
; CHECK-NEXT: mflr 0
|
|
; CHECK-NEXT: stdu 1, -32(1)
|
|
; CHECK-NEXT: std 0, 48(1)
|
|
; CHECK-NEXT: .cfi_def_cfa_offset 32
|
|
; CHECK-NEXT: .cfi_offset lr, 16
|
|
; CHECK-NEXT: bl dummy
|
|
; CHECK-NEXT: nop
|
|
; CHECK-NEXT: addi 1, 1, 32
|
|
; CHECK-NEXT: ld 0, 16(1)
|
|
; CHECK-NEXT: mtlr 0
|
|
; CHECK-NEXT: .LBB0_2: # %if.end
|
|
; CHECK-NEXT: li 3, 55
|
|
; CHECK-NEXT: blr
|
|
;
|
|
; CHECK-AIX-LABEL: test1:
|
|
; CHECK-AIX: # %bb.0: # %entry
|
|
; CHECK-AIX-NEXT: stbcx. 4, 0, 3
|
|
; CHECK-AIX-NEXT: bne 0, L..BB0_2
|
|
; CHECK-AIX-NEXT: # %bb.1: # %if.then
|
|
; CHECK-AIX-NEXT: mflr 0
|
|
; CHECK-AIX-NEXT: stdu 1, -112(1)
|
|
; CHECK-AIX-NEXT: std 0, 128(1)
|
|
; CHECK-AIX-NEXT: bl .dummy[PR]
|
|
; CHECK-AIX-NEXT: nop
|
|
; CHECK-AIX-NEXT: addi 1, 1, 112
|
|
; CHECK-AIX-NEXT: ld 0, 16(1)
|
|
; CHECK-AIX-NEXT: mtlr 0
|
|
; CHECK-AIX-NEXT: L..BB0_2: # %if.end
|
|
; CHECK-AIX-NEXT: li 3, 55
|
|
; CHECK-AIX-NEXT: blr
|
|
entry:
|
|
%conv = zext i8 %newval to i32
|
|
%0 = tail call i32 @llvm.ppc.stbcx(ptr %addr, i32 %conv)
|
|
%tobool.not = icmp eq i32 %0, 0
|
|
br i1 %tobool.not, label %if.end, label %if.then
|
|
|
|
if.then: ; preds = %entry
|
|
tail call void @dummy() #3
|
|
br label %if.end
|
|
|
|
if.end: ; preds = %if.then, %entry
|
|
ret i8 55
|
|
}
|
|
|
|
define dso_local signext i16 @test2(ptr noundef %addr, i16 noundef signext %newval) local_unnamed_addr #0 {
|
|
; CHECK-LABEL: test2:
|
|
; CHECK: # %bb.0: # %entry
|
|
; CHECK-NEXT: sthcx. 4, 0, 3
|
|
; CHECK-NEXT: bne 0, .LBB1_2
|
|
; CHECK-NEXT: # %bb.1: # %if.then
|
|
; CHECK-NEXT: mflr 0
|
|
; CHECK-NEXT: stdu 1, -32(1)
|
|
; CHECK-NEXT: std 0, 48(1)
|
|
; CHECK-NEXT: .cfi_def_cfa_offset 32
|
|
; CHECK-NEXT: .cfi_offset lr, 16
|
|
; CHECK-NEXT: bl dummy
|
|
; CHECK-NEXT: nop
|
|
; CHECK-NEXT: addi 1, 1, 32
|
|
; CHECK-NEXT: ld 0, 16(1)
|
|
; CHECK-NEXT: mtlr 0
|
|
; CHECK-NEXT: .LBB1_2: # %if.end
|
|
; CHECK-NEXT: li 3, 55
|
|
; CHECK-NEXT: blr
|
|
;
|
|
; CHECK-AIX-LABEL: test2:
|
|
; CHECK-AIX: # %bb.0: # %entry
|
|
; CHECK-AIX-NEXT: sthcx. 4, 0, 3
|
|
; CHECK-AIX-NEXT: bne 0, L..BB1_2
|
|
; CHECK-AIX-NEXT: # %bb.1: # %if.then
|
|
; CHECK-AIX-NEXT: mflr 0
|
|
; CHECK-AIX-NEXT: stdu 1, -112(1)
|
|
; CHECK-AIX-NEXT: std 0, 128(1)
|
|
; CHECK-AIX-NEXT: bl .dummy[PR]
|
|
; CHECK-AIX-NEXT: nop
|
|
; CHECK-AIX-NEXT: addi 1, 1, 112
|
|
; CHECK-AIX-NEXT: ld 0, 16(1)
|
|
; CHECK-AIX-NEXT: mtlr 0
|
|
; CHECK-AIX-NEXT: L..BB1_2: # %if.end
|
|
; CHECK-AIX-NEXT: li 3, 55
|
|
; CHECK-AIX-NEXT: blr
|
|
entry:
|
|
%0 = sext i16 %newval to i32
|
|
%1 = tail call i32 @llvm.ppc.sthcx(ptr %addr, i32 %0)
|
|
%tobool.not = icmp eq i32 %1, 0
|
|
br i1 %tobool.not, label %if.end, label %if.then
|
|
|
|
if.then: ; preds = %entry
|
|
tail call void @dummy() #3
|
|
br label %if.end
|
|
|
|
if.end: ; preds = %if.then, %entry
|
|
ret i16 55
|
|
}
|
|
|
|
define dso_local signext i32 @test3(ptr noundef %addr, i32 noundef signext %newval) local_unnamed_addr #0 {
|
|
; CHECK-LABEL: test3:
|
|
; CHECK: # %bb.0: # %entry
|
|
; CHECK-NEXT: stwcx. 4, 0, 3
|
|
; CHECK-NEXT: bne 0, .LBB2_2
|
|
; CHECK-NEXT: # %bb.1: # %if.then
|
|
; CHECK-NEXT: mflr 0
|
|
; CHECK-NEXT: stdu 1, -32(1)
|
|
; CHECK-NEXT: std 0, 48(1)
|
|
; CHECK-NEXT: .cfi_def_cfa_offset 32
|
|
; CHECK-NEXT: .cfi_offset lr, 16
|
|
; CHECK-NEXT: bl dummy
|
|
; CHECK-NEXT: nop
|
|
; CHECK-NEXT: addi 1, 1, 32
|
|
; CHECK-NEXT: ld 0, 16(1)
|
|
; CHECK-NEXT: mtlr 0
|
|
; CHECK-NEXT: .LBB2_2: # %if.end
|
|
; CHECK-NEXT: li 3, 55
|
|
; CHECK-NEXT: blr
|
|
;
|
|
; CHECK-AIX-LABEL: test3:
|
|
; CHECK-AIX: # %bb.0: # %entry
|
|
; CHECK-AIX-NEXT: stwcx. 4, 0, 3
|
|
; CHECK-AIX-NEXT: bne 0, L..BB2_2
|
|
; CHECK-AIX-NEXT: # %bb.1: # %if.then
|
|
; CHECK-AIX-NEXT: mflr 0
|
|
; CHECK-AIX-NEXT: stdu 1, -112(1)
|
|
; CHECK-AIX-NEXT: std 0, 128(1)
|
|
; CHECK-AIX-NEXT: bl .dummy[PR]
|
|
; CHECK-AIX-NEXT: nop
|
|
; CHECK-AIX-NEXT: addi 1, 1, 112
|
|
; CHECK-AIX-NEXT: ld 0, 16(1)
|
|
; CHECK-AIX-NEXT: mtlr 0
|
|
; CHECK-AIX-NEXT: L..BB2_2: # %if.end
|
|
; CHECK-AIX-NEXT: li 3, 55
|
|
; CHECK-AIX-NEXT: blr
|
|
entry:
|
|
%0 = tail call i32 @llvm.ppc.stwcx(ptr %addr, i32 %newval)
|
|
%tobool.not = icmp eq i32 %0, 0
|
|
br i1 %tobool.not, label %if.end, label %if.then
|
|
|
|
if.then: ; preds = %entry
|
|
tail call void @dummy() #3
|
|
br label %if.end
|
|
|
|
if.end: ; preds = %if.then, %entry
|
|
ret i32 55
|
|
}
|
|
|
|
define dso_local i64 @test4(ptr noundef %addr, i64 noundef %newval) local_unnamed_addr #0 {
|
|
; CHECK-LABEL: test4:
|
|
; CHECK: # %bb.0: # %entry
|
|
; CHECK-NEXT: stdcx. 4, 0, 3
|
|
; CHECK-NEXT: bne 0, .LBB3_2
|
|
; CHECK-NEXT: # %bb.1: # %if.then
|
|
; CHECK-NEXT: mflr 0
|
|
; CHECK-NEXT: stdu 1, -32(1)
|
|
; CHECK-NEXT: std 0, 48(1)
|
|
; CHECK-NEXT: .cfi_def_cfa_offset 32
|
|
; CHECK-NEXT: .cfi_offset lr, 16
|
|
; CHECK-NEXT: bl dummy
|
|
; CHECK-NEXT: nop
|
|
; CHECK-NEXT: addi 1, 1, 32
|
|
; CHECK-NEXT: ld 0, 16(1)
|
|
; CHECK-NEXT: mtlr 0
|
|
; CHECK-NEXT: .LBB3_2: # %if.end
|
|
; CHECK-NEXT: li 3, 55
|
|
; CHECK-NEXT: blr
|
|
;
|
|
; CHECK-AIX-LABEL: test4:
|
|
; CHECK-AIX: # %bb.0: # %entry
|
|
; CHECK-AIX-NEXT: stdcx. 4, 0, 3
|
|
; CHECK-AIX-NEXT: bne 0, L..BB3_2
|
|
; CHECK-AIX-NEXT: # %bb.1: # %if.then
|
|
; CHECK-AIX-NEXT: mflr 0
|
|
; CHECK-AIX-NEXT: stdu 1, -112(1)
|
|
; CHECK-AIX-NEXT: std 0, 128(1)
|
|
; CHECK-AIX-NEXT: bl .dummy[PR]
|
|
; CHECK-AIX-NEXT: nop
|
|
; CHECK-AIX-NEXT: addi 1, 1, 112
|
|
; CHECK-AIX-NEXT: ld 0, 16(1)
|
|
; CHECK-AIX-NEXT: mtlr 0
|
|
; CHECK-AIX-NEXT: L..BB3_2: # %if.end
|
|
; CHECK-AIX-NEXT: li 3, 55
|
|
; CHECK-AIX-NEXT: blr
|
|
entry:
|
|
%0 = tail call i32 @llvm.ppc.stdcx(ptr %addr, i64 %newval)
|
|
%tobool.not = icmp eq i32 %0, 0
|
|
br i1 %tobool.not, label %if.end, label %if.then
|
|
|
|
if.then: ; preds = %entry
|
|
tail call void @dummy() #3
|
|
br label %if.end
|
|
|
|
if.end: ; preds = %if.then, %entry
|
|
ret i64 55
|
|
}
|
|
|
|
declare i32 @llvm.ppc.stbcx(ptr, i32) #1
|
|
declare i32 @llvm.ppc.sthcx(ptr, i32) #1
|
|
declare i32 @llvm.ppc.stwcx(ptr, i32) #1
|
|
declare i32 @llvm.ppc.stdcx(ptr, i64) #1
|
|
declare void @dummy(...) local_unnamed_addr #2
|