; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -gvn -S | FileCheck %s
; RUN: opt < %s -passes=gvn -S | FileCheck %s

define i32 addrspace(1)* @addrspacecast(i32* %ptr) {
; CHECK-LABEL: @addrspacecast(
; CHECK-NEXT:  block1:
; CHECK-NEXT:    [[Z1:%.*]] = addrspacecast i32* [[PTR:%.*]] to i32 addrspace(1)*
; CHECK-NEXT:    store i32 addrspace(1)* [[Z1]], i32 addrspace(1)** undef
; CHECK-NEXT:    ret i32 addrspace(1)* [[Z1]]
;
block1:
  %z1 = addrspacecast i32* %ptr to i32 addrspace(1)*
  store i32 addrspace(1)* %z1, i32 addrspace(1)** undef
  br label %block2

block2:
  %z2 = addrspacecast i32* %ptr to i32 addrspace(1)*
  ret i32 addrspace(1)* %z2
}