1*20d8f8caSBruno De Fraine; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals all --version 5 2*20d8f8caSBruno De Fraine; RUN: opt < %s -passes=globalopt -S | FileCheck %s 3*20d8f8caSBruno De Fraine 4*20d8f8caSBruno De Fraine@params = internal global [4 x i32] zeroinitializer, align 32 5*20d8f8caSBruno De Fraine 6*20d8f8caSBruno De Fraine;. 7*20d8f8caSBruno De Fraine; CHECK: @params.0 = internal unnamed_addr global i32 0, align 32 8*20d8f8caSBruno De Fraine; CHECK: @params.1 = internal unnamed_addr global i32 0, align 4 9*20d8f8caSBruno De Fraine; CHECK: @params.2 = internal unnamed_addr global i32 0, align 8 10*20d8f8caSBruno De Fraine; CHECK: @params.3 = internal unnamed_addr global i32 0, align 4 11*20d8f8caSBruno De Fraine;. 12*20d8f8caSBruno De Frainedefine void @set(i32 %a, i32 %b, i32 %c, i32 %d) { 13*20d8f8caSBruno De Fraine; CHECK-LABEL: define void @set( 14*20d8f8caSBruno De Fraine; CHECK-SAME: i32 [[A:%.*]], i32 [[B:%.*]], i32 [[C:%.*]], i32 [[D:%.*]]) local_unnamed_addr { 15*20d8f8caSBruno De Fraine; CHECK-NEXT: store i32 [[A]], ptr @params.0, align 32 16*20d8f8caSBruno De Fraine; CHECK-NEXT: store i32 [[B]], ptr @params.1, align 4 17*20d8f8caSBruno De Fraine; CHECK-NEXT: store i32 [[C]], ptr @params.2, align 8 18*20d8f8caSBruno De Fraine; CHECK-NEXT: store i32 [[D]], ptr @params.3, align 4 19*20d8f8caSBruno De Fraine; CHECK-NEXT: ret void 20*20d8f8caSBruno De Fraine; 21*20d8f8caSBruno De Fraine store i32 %a, ptr @params 22*20d8f8caSBruno De Fraine store i32 %b, ptr getelementptr ([4 x i32], ptr @params, i32 0, i32 1) 23*20d8f8caSBruno De Fraine store i32 %c, ptr getelementptr ([4 x i32], ptr @params, i32 0, i32 2) 24*20d8f8caSBruno De Fraine store i32 %d, ptr getelementptr ([4 x i32], ptr @params, i32 0, i32 3) 25*20d8f8caSBruno De Fraine ret void 26*20d8f8caSBruno De Fraine} 27*20d8f8caSBruno De Fraine 28*20d8f8caSBruno De Fraine%S = type { i32, i32, i32, i32 } 29*20d8f8caSBruno De Fraine 30*20d8f8caSBruno De Frainedefine %S @get() { 31*20d8f8caSBruno De Fraine; CHECK-LABEL: define %S @get() local_unnamed_addr { 32*20d8f8caSBruno De Fraine; CHECK-NEXT: [[A:%.*]] = load i32, ptr @params.0, align 32 33*20d8f8caSBruno De Fraine; CHECK-NEXT: [[SA:%.*]] = insertvalue [[S:%.*]] undef, i32 [[A]], 0 34*20d8f8caSBruno De Fraine; CHECK-NEXT: [[B:%.*]] = load i32, ptr @params.1, align 4 35*20d8f8caSBruno De Fraine; CHECK-NEXT: [[SB:%.*]] = insertvalue [[S]] [[SA]], i32 [[B]], 1 36*20d8f8caSBruno De Fraine; CHECK-NEXT: [[C:%.*]] = load i32, ptr @params.2, align 8 37*20d8f8caSBruno De Fraine; CHECK-NEXT: [[SC:%.*]] = insertvalue [[S]] [[SB]], i32 [[C]], 2 38*20d8f8caSBruno De Fraine; CHECK-NEXT: [[D:%.*]] = load i32, ptr @params.3, align 4 39*20d8f8caSBruno De Fraine; CHECK-NEXT: [[SD:%.*]] = insertvalue [[S]] [[SC]], i32 [[D]], 3 40*20d8f8caSBruno De Fraine; CHECK-NEXT: ret [[S]] [[SD]] 41*20d8f8caSBruno De Fraine; 42*20d8f8caSBruno De Fraine %a = load i32, ptr @params 43*20d8f8caSBruno De Fraine %sa = insertvalue %S undef, i32 %a, 0 44*20d8f8caSBruno De Fraine %b = load i32, ptr getelementptr ([4 x i32], ptr @params, i32 0, i32 1) 45*20d8f8caSBruno De Fraine %sb = insertvalue %S %sa, i32 %b, 1 46*20d8f8caSBruno De Fraine %c = load i32, ptr getelementptr ([4 x i32], ptr @params, i32 0, i32 2) 47*20d8f8caSBruno De Fraine %sc = insertvalue %S %sb, i32 %c, 2 48*20d8f8caSBruno De Fraine %d = load i32, ptr getelementptr ([4 x i32], ptr @params, i32 0, i32 3) 49*20d8f8caSBruno De Fraine %sd = insertvalue %S %sc, i32 %d, 3 50*20d8f8caSBruno De Fraine ret %S %sd 51*20d8f8caSBruno De Fraine} 52