RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-02-27 07:45:35 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Teach ValueTracking that aarch64.irg result aliases its input.

Browse Source 
Reviewers: javed.absar, olista01

Subscribers: kristof.beyls, hiraditya, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D64103

llvm-svn: 365079
This commit is contained in:
Evgeniy Stepanov 2019-07-03 20:19:14 +00:00
parent 0394dff601
commit c263f5e880
2 changed files with 20 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
lib/Analysis/ValueTracking.cpp
View File

@ -3697,7 +3697,8 @@ const Value *llvm::getArgumentAliasingToReturnedPointer(const CallBase *Call) {
bool llvm::isIntrinsicReturningPointerAliasingArgumentWithoutCapturing(
const CallBase *Call) {
return Call->getIntrinsicID() == Intrinsic::launder_invariant_group ||
Call->getIntrinsicID() == Intrinsic::strip_invariant_group;
Call->getIntrinsicID() == Intrinsic::strip_invariant_group ||
Call->getIntrinsicID() == Intrinsic::aarch64_irg;
}
/// \p PN defines a loop-variant pointer to an object. Check if the

18
test/Analysis/ValueTracking/aarch64.irg.ll Normal file
View File

@ -0,0 +1,18 @@
; RUN: opt -S -instsimplify -instcombine < %s | FileCheck %s
; CHECK-LABEL: define void @checkNonnullIrg()
define void @checkNonnullIrg() {
; CHECK: %[[p:.*]] = call i8* @llvm.aarch64.irg(i8* nonnull
; CHECK: call void @use(i8* nonnull %[[p]])
entry:
%0 = alloca i8, align 16
%p = call i8* @llvm.aarch64.irg(i8* %0, i64 5)
call void @use(i8* %p)
ret void
}
declare i8* @llvm.aarch64.irg(i8*, i64)
declare void @use(i8*)