RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-24 03:33:20 +01:00
Code Issues Projects Releases Wiki Activity

Don't look through addrspacecast in GetPointerBaseWithConstantOffset

Browse Source 
Pointers in different addrspaces can have different sizes, so it's not valid to look through addrspace cast calculating base and offset for a value.

This is similar to D13008.

Reviewed By: reames

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

llvm-svn: 282612
This commit is contained in:
Artur Pilipenko 2016-09-28 17:57:16 +00:00
parent 47833cff03
commit e07af89244
4 changed files with 42 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
lib/Analysis/ValueTracking.cpp
View File

@ -2848,9 +2848,14 @@ Value *llvm::GetPointerBaseWithConstantOffset(Value *Ptr, int64_t &Offset,
ByteOffset += GEPOffset;
Ptr = GEP->getPointerOperand();
} else if (Operator::getOpcode(Ptr) == Instruction::BitCast ||
Operator::getOpcode(Ptr) == Instruction::AddrSpaceCast) {
} else if (Operator::getOpcode(Ptr) == Instruction::BitCast) {
Ptr = cast<Operator>(Ptr)->getOperand(0);
} else if (AddrSpaceCastInst *ASCI = dyn_cast<AddrSpaceCastInst>(Ptr)) {
Value *SourcePtr = ASCI->getPointerOperand();
// Don't look through addrspace cast which changes pointer size
if (BitWidth != DL.getPointerTypeSizeInBits(SourcePtr->getType()))
break;
Ptr = SourcePtr;
} else if (GlobalAlias *GA = dyn_cast<GlobalAlias>(Ptr)) {
if (GA->isInterposable())
break;

14
test/Transforms/GVN/PRE/rle-addrspace-cast.ll Normal file
View File

@ -0,0 +1,14 @@
; RUN: opt < %s -default-data-layout="e-p:32:32:32-p1:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-n8:16:32" -basicaa -gvn -S -die | FileCheck %s
define i8 @coerce_offset0_addrspacecast(i32 %V, i32* %P) {
store i32 %V, i32* %P
%P2 = addrspacecast i32* %P to i8 addrspace(1)*
%P3 = getelementptr i8, i8 addrspace(1)* %P2, i32 2
%A = load i8, i8 addrspace(1)* %P3
ret i8 %A
; CHECK-LABEL: @coerce_offset0_addrspacecast(
; CHECK-NOT: load
; CHECK: ret i8
}

13
test/Transforms/GVN/PRE/rle.ll
View File

@ -318,19 +318,6 @@ define i8 @coerce_offset0(i32 %V, i32* %P) {
; CHECK: ret i8
}
define i8 @coerce_offset0_addrspacecast(i32 %V, i32* %P) {
store i32 %V, i32* %P
%P2 = addrspacecast i32* %P to i8 addrspace(1)*
%P3 = getelementptr i8, i8 addrspace(1)* %P2, i32 2
%A = load i8, i8 addrspace(1)* %P3
ret i8 %A
; CHECK-LABEL: @coerce_offset0_addrspacecast(
; CHECK-NOT: load
; CHECK: ret i8
}
;; non-local i32/float -> i8 load forwarding.
define i8 @coerce_offset_nonlocal0(i32* %P, i1 %cond) {
%P2 = bitcast i32* %P to float*

21
test/Transforms/GVN/addrspace-cast.ll Normal file
View File

@ -0,0 +1,21 @@
; RUN: opt < %s -gvn -S | FileCheck %s
target datalayout = "e-m:e-p:16:16-p1:32:16-i32:16-i64:16-n8:16"
; In cases where two address spaces do not have the same size pointer, the
; input for the addrspacecast should not be used as a substitute for itself
; when manipulating the pointer.
; Check that we don't hit the assert in this scenario
define i8 @test(i32 %V, i32* %P) {
; CHECK-LABEL: @test(
; CHECK: load
%P1 = getelementptr inbounds i32, i32* %P, i16 16
store i32 %V, i32* %P1
%P2 = addrspacecast i32* %P1 to i8 addrspace(1)*
%P3 = getelementptr i8, i8 addrspace(1)* %P2, i32 2
%A = load i8, i8 addrspace(1)* %P3
ret i8 %A
}