65 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=globalopt < %s | FileCheck %s3 4; Make sure we don't try to convert to select if the load/stores don't match5; the global type.6 7@g1 = internal global i64 zeroinitializer8@g2 = internal global i64 zeroinitializer9@g3 = internal global i64 zeroinitializer10 11define void @store1() {12; CHECK-LABEL: @store1(13; CHECK-NEXT: store i32 2, ptr @g1, align 414; CHECK-NEXT: ret void15;16 store i32 2, ptr @g117 ret void18}19 20define i32 @load1() {21; CHECK-LABEL: @load1(22; CHECK-NEXT: [[V:%.*]] = load i32, ptr @g1, align 423; CHECK-NEXT: ret i32 [[V]]24;25 %v = load i32, ptr @g126 ret i32 %v27}28 29define void @store2() {30; CHECK-LABEL: @store2(31; CHECK-NEXT: store i64 2, ptr @g2, align 432; CHECK-NEXT: ret void33;34 store i64 2, ptr @g235 ret void36}37 38define i32 @load2() {39; CHECK-LABEL: @load2(40; CHECK-NEXT: [[V:%.*]] = load i32, ptr @g2, align 441; CHECK-NEXT: ret i32 [[V]]42;43 %v = load i32, ptr @g244 ret i32 %v45}46 47define void @store3() {48; CHECK-LABEL: @store3(49; CHECK-NEXT: store i1 true, ptr @g3, align 150; CHECK-NEXT: ret void51;52 store i64 2, ptr @g353 ret void54}55 56define i64 @load3() {57; CHECK-LABEL: @load3(58; CHECK-NEXT: [[V_B:%.*]] = load i1, ptr @g3, align 159; CHECK-NEXT: [[V:%.*]] = select i1 [[V_B]], i64 2, i64 060; CHECK-NEXT: ret i64 [[V]]61;62 %v = load i64, ptr @g363 ret i64 %v64}65