llvm/test/Transforms/GlobalOpt/alias-used.ll

   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
  34 define hidden void @f() {
  35   ret void
  36 }
  37
  38 define ptr @g() {
  39   ret ptr @fa;
  40 }
  41
  42 define ptr @g2() {
  43   ret ptr @fa2;
  44 }
  45
  46 define 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
  61 define i32 @foo1() {
  62 entry:
  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 }