43 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals2; RUN: opt -passes=globalopt < %s -S | FileCheck %s3 4; Test that we do not fold away addresscasts when optimizing once-stored5; globals, as these may be runtime operations.6 7@g1 = internal global ptr null8@g2 = addrspace(1) global i32 09 10;.11; CHECK: @g1 = internal unnamed_addr global ptr null12; CHECK: @g2 = addrspace(1) global i32 013; CHECK: @g4 = local_unnamed_addr addrspace(1) global i32 014;.15define i64 @test1() {16; CHECK-LABEL: @test1(17; CHECK-NEXT: [[TMP1:%.*]] = addrspacecast ptr addrspace(1) @g2 to ptr18; CHECK-NEXT: store ptr [[TMP1]], ptr @g1, align 819; CHECK-NEXT: [[TMP2:%.*]] = load ptr, ptr @g1, align 820; CHECK-NEXT: [[TMP3:%.*]] = load i64, ptr [[TMP2]], align 821; CHECK-NEXT: ret i64 [[TMP3]]22;23 %l1 = addrspacecast ptr addrspace(1) @g2 to ptr24 store ptr %l1, ptr @g1, align 825 %l2 = load ptr, ptr @g1, align 826 %l3 = load i64, ptr %l2, align 827 ret i64 %l328}29 30@g3 = internal global ptr null31@g4 = addrspace(1) global i32 032 33define i64 @test2() {34; CHECK-LABEL: @test2(35; CHECK-NEXT: [[TMP1:%.*]] = load i64, ptr addrspacecast (ptr addrspace(1) @g4 to ptr), align 836; CHECK-NEXT: ret i64 [[TMP1]]37;38 store ptr addrspacecast (ptr addrspace(1) @g4 to ptr), ptr @g3, align 839 %l1 = load ptr, ptr @g3, align 840 %l2 = load i64, ptr %l1, align 841 ret i64 %l242}43