; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -passes=gvn -S | FileCheck %s
define ptr addrspace(1) @addrspacecast(ptr %ptr) {
; CHECK-LABEL: @addrspacecast(
; CHECK-NEXT: block1:
; CHECK-NEXT: [[Z1:%.*]] = addrspacecast ptr [[PTR:%.*]] to ptr addrspace(1)
; CHECK-NEXT: store ptr addrspace(1) [[Z1]], ptr undef
; CHECK-NEXT: ret ptr addrspace(1) [[Z1]]
;
block1:
%z1 = addrspacecast ptr %ptr to ptr addrspace(1)
store ptr addrspace(1) %z1, ptr undef
br label %block2
block2:
%z2 = addrspacecast ptr %ptr to ptr addrspace(1)
ret ptr addrspace(1) %z2
}