35 lines · plain
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 -passes=globalopt -S | FileCheck %s6; CHECK: @G.0 = internal unnamed_addr global {{.*}}align 167; CHECK: @G.1 = internal unnamed_addr global {{.*}}align 88; CHECK: @G.2 = internal unnamed_addr global {{.*}}align 169 10; rdar://589192011 12target 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"13target triple = "x86_64-apple-darwin8"14 15%T = type { double, double, double }16 17@G = internal global %T zeroinitializer, align 1618 19 20define void @test() {21 store double 1.0, ptr @G, align 1622 store double 2.0, ptr getelementptr (%T, ptr @G, i32 0, i32 1), align 823 store double 3.0, ptr getelementptr (%T, ptr @G, i32 0, i32 2), align 1624 ret void25}26 27define double @test2() {28 %V1 = load double, ptr @G, align 1629 %V2 = load double, ptr getelementptr (%T, ptr @G, i32 0, i32 1), align 830 %V3 = load double, ptr getelementptr (%T, ptr @G, i32 0, i32 2), align 1631 %R = fadd double %V1, %V232 %R2 = fadd double %R, %V333 ret double %R234}35