blob: 35678598032dc6736a555fd46949b23813800cef [file] [log] [blame]
; 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
}