test/Transforms/GlobalOpt/2008-04-26-SROA-Global-Align.ll

   1 ; Verify that when @G is SROA'd that the new globals have correct
   2 ; alignments.  Elements 0 and 2 must be 16-byte aligned, and element
   3 ; 1 must be at least 8 byte aligned (but could be more).
   4
   5 ; RUN: opt < %s -globalopt -S | FileCheck %s
   6 ; CHECK: @G.0 = internal unnamed_addr global {{.*}}align 16
   7 ; CHECK: @G.1 = internal unnamed_addr global {{.*}}align 8
   8 ; CHECK: @G.2 = internal unnamed_addr global {{.*}}align 16
   9
  10 ; rdar://5891920
  11
  12 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:32:32-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
  13 target triple = "x86_64-apple-darwin8"
  14
  15 %T = type { double, double, double }
  16
  17 @G = internal global %T zeroinitializer, align 16
  18
  19
  20 define void @test() {
  21   store double 1.0, double* getelementptr (%T, %T* @G, i32 0, i32 0), align 16
  22   store double 2.0, double* getelementptr (%T, %T* @G, i32 0, i32 1), align 8
  23   store double 3.0, double* getelementptr (%T, %T* @G, i32 0, i32 2), align 16
  24   ret void
  25 }
  26
  27 define double @test2() {
  28   %V1 = load double, double* getelementptr (%T, %T* @G, i32 0, i32 0), align 16
  29   %V2 = load double, double* getelementptr (%T, %T* @G, i32 0, i32 1), align 8
  30   %V3 = load double, double* getelementptr (%T, %T* @G, i32 0, i32 2), align 16
  31   %R = fadd double %V1, %V2
  32   %R2 = fadd double %R, %V3
  33   ret double %R2
  34 }