| ; Verify that section assignment is copied during SROA | 
 | ; RUN: opt < %s -passes=globalopt -S | FileCheck %s | 
 | ; CHECK: @G.0 | 
 | ; CHECK: section ".foo" | 
 | ; CHECK: @G.1 | 
 | ; CHECK: section ".foo" | 
 | ; CHECK: @G.2 | 
 | ; CHECK: section ".foo" | 
 |  | 
 | %T = type { double, double, double } | 
 | @G = internal global %T zeroinitializer, align 16, section ".foo" | 
 |  | 
 | define void @test() { | 
 |   store double 1.0, ptr @G, align 16 | 
 |   store double 2.0, ptr getelementptr (%T, ptr @G, i32 0, i32 1), align 8 | 
 |   store double 3.0, ptr getelementptr (%T, ptr @G, i32 0, i32 2), align 16 | 
 |   ret void | 
 | } | 
 |  | 
 | define double @test2() { | 
 |   %V1 = load double, ptr @G, align 16 | 
 |   %V2 = load double, ptr getelementptr (%T, ptr @G, i32 0, i32 1), align 8 | 
 |   %V3 = load double, ptr getelementptr (%T, ptr @G, i32 0, i32 2), align 16 | 
 |   %R = fadd double %V1, %V2 | 
 |   %R2 = fadd double %R, %V3 | 
 |   ret double %R2 | 
 | } |