1; This test lets globalopt split the global struct and array into different
2; values. The pass needs to preserve section attribute.
3
4; RUN: opt < %s -globalopt -S | FileCheck %s
5; Check that the new global values still have their section assignment.
6; CHECK: @struct
7; CHECK: section ".foo"
8; CHECK: @array
9; CHECK-NOT: section ".foo"
10
11@struct = internal global { i32, i32 } zeroinitializer, section ".foo"
12@array = internal global [ 2 x i32 ] zeroinitializer
13
14define i32 @foo() {
15  %A = load i32, i32* getelementptr ({ i32, i32 }, { i32, i32 }* @struct, i32 0, i32 0)
16  %B = load i32, i32* getelementptr ([ 2 x i32 ], [ 2 x i32 ]* @array, i32 0, i32 0)
17  ; Use the loaded values, so they won't get removed completely
18  %R = add i32 %A, %B
19  ret i32 %R
20}
21
22; We put stores in a different function, so that the global variables won't get
23; optimized away completely.
24define void @bar(i32 %R) {
25  store i32 %R, i32* getelementptr ([ 2 x i32 ], [ 2 x i32 ]* @array, i32 0, i32 0)
26  store i32 %R, i32* getelementptr ({ i32, i32 }, { i32, i32 }* @struct, i32 0, i32 0)
27  ret void
28}
29
30
31