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 | grep {@G.0 = internal unnamed_addr global .*align 16} 6 ; RUN: opt < %s -globalopt -S | grep {@G.1 = internal unnamed_addr global .*align 8} 7 ; RUN: opt < %s -globalopt -S | grep {@G.2 = internal unnamed_addr global .*align 16} 8 ; rdar://5891920 9 10 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" 11 target triple = "x86_64-apple-darwin8" 12 13 %T = type { double, double, double } 14 15 @G = internal global %T zeroinitializer, align 16 16 17 18 define void @test() { 19 store double 1.0, double* getelementptr (%T* @G, i32 0, i32 0), align 16 20 store double 2.0, double* getelementptr (%T* @G, i32 0, i32 1), align 8 21 store double 3.0, double* getelementptr (%T* @G, i32 0, i32 2), align 16 22 ret void 23 } 24 25 define double @test2() { 26 %V1 = load double* getelementptr (%T* @G, i32 0, i32 0), align 16 27 %V2 = load double* getelementptr (%T* @G, i32 0, i32 1), align 8 28 %V3 = load double* getelementptr (%T* @G, i32 0, i32 2), align 16 29 %R = fadd double %V1, %V2 30 %R2 = fadd double %R, %V3 31 ret double %R2 32 } 33
