blob: d58becd530787906abe7ecd80e14c7777bbb2e4d [file] [log] [blame]
; Verify that when @G is SROA'd that the new globals have correct
; alignments. Elements 0 and 2 must be 16-byte aligned, and element
; 1 must be at least 8 byte aligned (but could be more).
; RUN: opt < %s -globalopt -S | grep "@G.0 = internal unnamed_addr global .*align 16"
; RUN: opt < %s -globalopt -S | grep "@G.1 = internal unnamed_addr global .*align 8"
; RUN: opt < %s -globalopt -S | grep "@G.2 = internal unnamed_addr global .*align 16"
; rdar://5891920
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"
target triple = "x86_64-apple-darwin8"
%T = type { double, double, double }
@G = internal global %T zeroinitializer, align 16
define void @test() {
store double 1.0, double* getelementptr (%T* @G, i32 0, i32 0), align 16
store double 2.0, double* getelementptr (%T* @G, i32 0, i32 1), align 8
store double 3.0, double* getelementptr (%T* @G, i32 0, i32 2), align 16
ret void
}
define double @test2() {
%V1 = load double* getelementptr (%T* @G, i32 0, i32 0), align 16
%V2 = load double* getelementptr (%T* @G, i32 0, i32 1), align 8
%V3 = load double* getelementptr (%T* @G, i32 0, i32 2), align 16
%R = fadd double %V1, %V2
%R2 = fadd double %R, %V3
ret double %R2
}