Allow alias to point to an arbitrary ConstantExpr.
[oota-llvm.git] / test / Transforms / GlobalOpt / alias-resolve.ll
1 ; RUN: opt < %s -globalopt -S | FileCheck %s
2
3 @foo1 = alias void ()* @foo2
4 ; CHECK: @foo1 = alias void ()* @bar2
5
6 @foo2 = alias void()* @bar1
7 ; CHECK: @foo2 = alias void ()* @bar2
8
9 @bar1  = alias void ()* @bar2
10 ; CHECK: @bar1 = alias void ()* @bar2
11
12 @weak1 = alias weak void ()* @bar2
13 ; CHECK: @weak1 = alias weak void ()* @bar2
14
15 define void @bar2() {
16   ret void
17 }
18 ; CHECK: define void @bar2()
19
20 define void @baz() {
21 entry:
22          call void @foo1()
23 ; CHECK: call void @bar2()
24
25          call void @foo2()
26 ; CHECK: call void @bar2()
27
28          call void @bar1()
29 ; CHECK: call void @bar2()
30
31          call void @weak1()
32 ; CHECK: call void @weak1()
33          ret void
34 }
35
36 @foo3 = alias void ()* @bar3
37 ; CHECK-NOT: bar3
38
39 define internal void @bar3() {
40   ret void
41 }
42 ;CHECK: define void @foo3