xref: /llvm-project/llvm/test/Analysis/ValueTracking/dereferenceable-and-aligned.ll (revision 7fbbbfd63899331a47a0265c45f1a2a2ae6918d4)
1; RUN: opt < %s -passes=licm -S | FileCheck %s
2
3target datalayout = "e-p:32:32-p1:64:64-p4:64:64"
4
5; Make sure isDereferenceableAndAlignePointer() doesn't crash when looking
6; walking pointer defs with an addrspacecast that changes pointer size.
7; CHECK-LABEL: @addrspacecast_crash
8define void @addrspacecast_crash() {
9bb:
10  %tmp = alloca [256 x i32]
11  br label %bb1
12
13bb1:
14  %tmp2 = getelementptr inbounds [256 x i32], ptr %tmp, i32 0, i32 36
15  %tmp4 = addrspacecast ptr %tmp2 to ptr addrspace(4)
16  %tmp5 = load <4 x i32>, ptr addrspace(4) %tmp4
17  %tmp6 = xor <4 x i32> %tmp5, undef
18  store <4 x i32> %tmp6, ptr addrspace(1) undef
19  br label %bb1
20}
21