1; RUN: opt < %s -passes=globalopt -S | FileCheck %s 2 3@c = dso_local global i8 42 4 5; CHECK: @i = internal global i8 42 6@i = internal global i8 42 7; CHECK-DAG: @ia = internal alias i8, ptr @i 8@ia = internal alias i8, ptr @i 9 10@llvm.used = appending global [3 x ptr] [ptr @fa, ptr @f, ptr @ca], section "llvm.metadata" 11; CHECK-DAG: @llvm.used = appending global [3 x ptr] [ptr @ca, ptr @f, ptr @fa], section "llvm.metadata" 12 13@llvm.compiler.used = appending global [4 x ptr] [ptr @fa3, ptr @fa, ptr @ia, ptr @i], section "llvm.metadata" 14; CHECK-DAG: @llvm.compiler.used = appending global [3 x ptr] [ptr @fa3, ptr @i, ptr @ia], section "llvm.metadata" 15 16@sameAsUsed = global [3 x ptr] [ptr @fa, ptr @f, ptr @ca] 17; CHECK-DAG: @sameAsUsed = local_unnamed_addr global [3 x ptr] [ptr @f, ptr @f, ptr @c] 18 19@other = global ptr @fa 20; CHECK-DAG: @other = local_unnamed_addr global ptr @f 21 22@fa = internal alias void (), ptr @f 23; CHECK: @fa = internal alias void (), ptr @f 24 25@fa2 = internal alias void (), ptr @f 26; CHECK-NOT: @fa2 27 28@fa3 = internal alias void (), ptr @f 29; CHECK: @fa3 30 31@ca = internal alias i8, ptr @c 32; CHECK: @ca = internal alias i8, ptr @c 33 34define hidden void @f() { 35 ret void 36} 37 38define ptr @g() { 39 ret ptr @fa; 40} 41 42define ptr @g2() { 43 ret ptr @fa2; 44} 45 46define ptr @h() { 47 ret ptr @ca 48} 49 50; Check that GlobalOpt doesn't try to resolve aliases with GEP operands. 51 52%struct.S = type { i32, i32, i32 } 53@s = global %struct.S { i32 1, i32 2, i32 3 }, align 4 54 55@alias1 = alias i32, ptr getelementptr inbounds (%struct.S, ptr @s, i64 0, i32 1) 56@alias2 = alias i32, ptr getelementptr inbounds (%struct.S, ptr @s, i64 0, i32 2) 57 58; CHECK: load i32, ptr @alias1, align 4 59; CHECK: load i32, ptr @alias2, align 4 60 61define i32 @foo1() { 62entry: 63 %0 = load i32, ptr @alias1, align 4 64 %1 = load i32, ptr @alias2, align 4 65 %add = add nsw i32 %1, %0 66 ret i32 %add 67} 68