llvm/test/Analysis/ValueTracking/knownzero-addrspacecast.ll

   1 ; RUN: opt -passes=instcombine -S < %s | FileCheck %s
   2
   3 ; When a pointer is addrspacecasted to a another addr space, we cannot assume
   4 ; anything about the new bits.
   5
   6 target datalayout = "p:32:32-p3:32:32-p4:64:64"
   7
   8 ; CHECK-LABEL: @test_shift
   9 ; CHECK-NOT: ret i64 0
  10 define i64 @test_shift(ptr %p) {
  11   %g = addrspacecast ptr %p to ptr addrspace(4)
  12   %i = ptrtoint ptr addrspace(4) %g to i64
  13   %shift = lshr i64 %i, 32
  14   ret i64 %shift
  15 }
  16
  17 ; CHECK-LABEL: @test_null
  18 ; A null pointer casted to another addr space may no longer have null value.
  19 ; CHECK-NOT: ret i32 0
  20 define i32 @test_null() {
  21   %g = addrspacecast ptr null to ptr addrspace(3)
  22   %i = ptrtoint ptr addrspace(3) %g to i32
  23   ret i32 %i
  24 }