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

; Test that we do not fold away addresscasts when optimizing once-stored
; globals, as these may be runtime operations.

@g1 = internal global ptr null
@g2 = addrspace(1) global i32 0

;.
; CHECK: @g1 = internal unnamed_addr global ptr null
; CHECK: @g2 = addrspace(1) global i32 0
; CHECK: @g4 = local_unnamed_addr addrspace(1) global i32 0
;.
define i64 @test1() {
; CHECK-LABEL: @test1(
; CHECK-NEXT:    [[TMP1:%.*]] = addrspacecast ptr addrspace(1) @g2 to ptr
; CHECK-NEXT:    store ptr [[TMP1]], ptr @g1, align 8
; CHECK-NEXT:    [[TMP2:%.*]] = load ptr, ptr @g1, align 8
; CHECK-NEXT:    [[TMP3:%.*]] = load i64, ptr [[TMP2]], align 8
; CHECK-NEXT:    ret i64 [[TMP3]]
;
  %l1 = addrspacecast ptr addrspace(1) @g2 to ptr
  store ptr %l1, ptr @g1, align 8
  %l2 = load ptr, ptr @g1, align 8
  %l3 = load i64, ptr %l2, align 8
  ret i64 %l3
}

@g3 = internal global ptr null
@g4 = addrspace(1) global i32 0

define i64 @test2() {
; CHECK-LABEL: @test2(
; CHECK-NEXT:    [[TMP1:%.*]] = load i64, ptr addrspacecast (ptr addrspace(1) @g4 to ptr), align 8
; CHECK-NEXT:    ret i64 [[TMP1]]
;
  store ptr addrspacecast (ptr addrspace(1) @g4 to ptr), ptr @g3, align 8
  %l1 = load ptr, ptr @g3, align 8
  %l2 = load i64, ptr %l1, align 8
  ret i64 %l2
}