| ; 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 |
| } |