[PATCH] D24774: [Loads] Fix crash in is isDereferenceableAndAlignedPointer()
Phabricator via llvm-commits
llvm-commits at lists.llvm.org
Fri Oct 28 08:42:03 PDT 2016
This revision was automatically updated to reflect the committed changes.
Closed by commit rL285407: [Loads] Fix crash in is isDereferenceableAndAlignedPointer() (authored by tstellar).
Changed prior to commit:
https://reviews.llvm.org/D24774?vs=71962&id=76203#toc
Repository:
rL LLVM
https://reviews.llvm.org/D24774
Files:
llvm/trunk/lib/Analysis/Loads.cpp
llvm/trunk/test/Analysis/ValueTracking/dereferenceable-and-aligned.ll
Index: llvm/trunk/test/Analysis/ValueTracking/dereferenceable-and-aligned.ll
===================================================================
--- llvm/trunk/test/Analysis/ValueTracking/dereferenceable-and-aligned.ll
+++ llvm/trunk/test/Analysis/ValueTracking/dereferenceable-and-aligned.ll
@@ -0,0 +1,21 @@
+; RUN: opt < %s -licm -S | FileCheck %s
+
+target datalayout = "e-p:32:32-p1:64:64-p4:64:64"
+
+; Make sure isDereferenceableAndAlignePointer() doesn't crash when looking
+; walking pointer defs with an addrspacecast that changes pointer size.
+; CHECK-LABEL: @addrspacecast_crash
+define void @addrspacecast_crash() {
+bb:
+ %tmp = alloca [256 x i32]
+ br label %bb1
+
+bb1:
+ %tmp2 = getelementptr inbounds [256 x i32], [256 x i32]* %tmp, i32 0, i32 36
+ %tmp3 = bitcast i32* %tmp2 to <4 x i32>*
+ %tmp4 = addrspacecast <4 x i32>* %tmp3 to <4 x i32> addrspace(4)*
+ %tmp5 = load <4 x i32>, <4 x i32> addrspace(4)* %tmp4
+ %tmp6 = xor <4 x i32> %tmp5, undef
+ store <4 x i32> %tmp6, <4 x i32> addrspace(1)* undef
+ br label %bb1
+}
Index: llvm/trunk/lib/Analysis/Loads.cpp
===================================================================
--- llvm/trunk/lib/Analysis/Loads.cpp
+++ llvm/trunk/lib/Analysis/Loads.cpp
@@ -91,8 +91,11 @@
// then the GEP (== Base + Offset == k_0 * Align + k_1 * Align) is also
// aligned to Align bytes.
- return isDereferenceableAndAlignedPointer(Base, Align, Offset + Size, DL,
- CtxI, DT, Visited);
+ // Offset and Size may have different bit widths if we have visited an
+ // addrspacecast, so we can't do arithmetic directly on the APInt values.
+ return isDereferenceableAndAlignedPointer(
+ Base, Align, Offset + Size.sextOrTrunc(Offset.getBitWidth()),
+ DL, CtxI, DT, Visited);
}
// For gc.relocate, look through relocations
-------------- next part --------------
A non-text attachment was scrubbed...
Name: D24774.76203.patch
Type: text/x-patch
Size: 1876 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20161028/80a909f5/attachment.bin>
More information about the llvm-commits
mailing list