test/Analysis/ValueTracking/knownzero-addrspacecast.ll

   1 ; RUN: opt -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(i8* %p) {
  11   %g = addrspacecast i8* %p to i8 addrspace(4)*
  12   %i = ptrtoint i8 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 i8* null to i8 addrspace(3)*
  22   %i = ptrtoint i8 addrspace(3)* %g to i32
  23   ret i32 %i
  24 }