llvm/test/Transforms/GlobalOpt/GSROA-section.ll

   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 -passes=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
  14 define i32 @foo() {
  15   %A = load i32, ptr getelementptr ({ i32, i32 }, ptr @struct, i32 0, i32 0)
  16   %B = load i32, ptr @array
  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.
  24 define void @bar(i32 %R) {
  25   store i32 %R, ptr @array
  26   store i32 %R, ptr getelementptr ({ i32, i32 }, ptr @struct, i32 0, i32 0)
  27   ret void
  28 }
  29
  30