test/Transforms/GlobalOpt/2008-07-17-addrspace.ll

   1 ; This test lets globalopt split the global struct and array into different
   2 ; values. This used to crash, because globalopt forgot to put the new var in the
   3 ; same address space as the old one.
   4
   5 ; RUN: opt < %s -globalopt -S | FileCheck %s
   6
   7 ; Check that the new global values still have their address space
   8 ; CHECK: addrspace(1) global
   9 ; CHECK: addrspace(1) global
  10
  11 @struct = internal addrspace(1) global { i32, i32 } zeroinitializer
  12 @array = internal addrspace(1) global [ 2 x i32 ] zeroinitializer
  13
  14 define i32 @foo() {
  15   %A = load i32, i32 addrspace(1) * getelementptr ({ i32, i32 }, { i32, i32 } addrspace(1) * @struct, i32 0, i32 0)
  16   %B = load i32, i32 addrspace(1) * getelementptr ([ 2 x i32 ], [ 2 x i32 ] addrspace(1) * @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.
  24 define void @bar(i32 %R) {
  25   store i32 %R, i32 addrspace(1) * getelementptr ([ 2 x i32 ], [ 2 x i32 ] addrspace(1) * @array, i32 0, i32 0)
  26   store i32 %R, i32 addrspace(1) * getelementptr ({ i32, i32 }, { i32, i32 } addrspace(1) * @struct, i32 0, i32 0)
  27   ret void
  28 }