| ; RUN: opt < %s -passes=globalopt -S | FileCheck %s |
| |
| ; Don't get fooled by the inbounds keyword; it doesn't change |
| ; the computed address. |
| |
| ; CHECK: @H = local_unnamed_addr global i32 2 |
| ; CHECK: @I = local_unnamed_addr global i32 2 |
| |
| @llvm.global_ctors = appending global [1 x { i32, void ()*, i8* }] [ { i32, void ()*, i8* } { i32 65535, void ()* @CTOR, i8* null } ] |
| @addr = external global i32 |
| @G = internal global [6 x [5 x i32]] zeroinitializer |
| @H = global i32 80 |
| @I = global i32 90 |
| |
| define internal void @CTOR() { |
| store i32 1, i32* getelementptr ([6 x [5 x i32]], [6 x [5 x i32]]* @G, i64 0, i64 0, i64 0) |
| store i32 2, i32* getelementptr inbounds ([6 x [5 x i32]], [6 x [5 x i32]]* @G, i64 0, i64 0, i64 0) |
| %t = load i32, i32* getelementptr ([6 x [5 x i32]], [6 x [5 x i32]]* @G, i64 0, i64 0, i64 0) |
| store i32 %t, i32* @H |
| %s = load i32, i32* getelementptr inbounds ([6 x [5 x i32]], [6 x [5 x i32]]* @G, i64 0, i64 0, i64 0) |
| store i32 %s, i32* @I |
| ret void |
| } |