llvm/test/Analysis/ValueTracking/dereferenceable-and-aligned.ll

   1 ; RUN: opt < %s -passes=licm -S | FileCheck %s
   2
   3 target 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
   8 define void @addrspacecast_crash() {
   9 bb:
  10   %tmp = alloca [256 x i32]
  11   br label %bb1
  12
  13 bb1:
  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 }