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

   1 ; RUN: opt < %s -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], [256 x i32]* %tmp, i32 0, i32 36
  15   %tmp3 = bitcast i32* %tmp2 to <4 x i32>*
  16   %tmp4 = addrspacecast <4 x i32>* %tmp3 to <4 x i32> addrspace(4)*
  17   %tmp5 = load <4 x i32>, <4 x i32> addrspace(4)* %tmp4
  18   %tmp6 = xor <4 x i32> %tmp5, undef
  19   store <4 x i32> %tmp6, <4 x i32> addrspace(1)* undef
  20   br label %bb1
  21 }