1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
; RUN: opt < %s -passes=globalopt -S | FileCheck %s
@foo1 = alias void (), void ()* @foo2
;; foo2 is dso_local and non-weak. Resolved.
; CHECK: @foo1 = alias void (), void ()* @bar2
@foo2 = dso_local alias void(), void()* @bar1
;; bar1 is dso_local and non-weak. Resolved.
; CHECK: @foo2 = dso_local alias void (), void ()* @bar2
@bar1 = dso_local alias void (), void ()* @bar2
; CHECK: @bar1 = dso_local alias void (), void ()* @bar2
@weak1 = weak dso_local alias void (), void ()* @bar2
;; weak1 may be replaced with another definition in the linkage unit. Not resolved.
; CHECK: @weak1 = weak dso_local alias void (), void ()* @bar2
@bar4 = private unnamed_addr constant [2 x i8*] zeroinitializer
@foo4 = weak_odr unnamed_addr alias i8*, getelementptr inbounds ([2 x i8*], [2 x i8*]* @bar4, i32 0, i32 1)
; CHECK: @foo4 = weak_odr unnamed_addr alias i8*, getelementptr inbounds ([2 x i8*], [2 x i8*]* @bar4, i32 0, i32 1)
@priva = private alias void (), void ()* @bar5
; CHECK: @priva = private alias void (), void ()* @bar5
define dso_local void @bar2() {
ret void
}
; CHECK: define dso_local void @bar2()
define weak void @bar5() {
ret void
}
; CHECK: define weak void @bar5()
define void @baz() {
entry:
call void @foo1()
;; foo1 is dso_preemptable. Not resolved.
; CHECK: call void @foo1()
call void @foo2()
;; foo2 is dso_local and non-weak. Resolved.
; CHECK: call void @bar2()
call void @bar1()
;; bar1 is dso_local and non-weak. Resolved.
; CHECK: call void @bar2()
call void @weak1()
;; weak1 is weak. Not resolved.
; CHECK: call void @weak1()
call void @priva()
;; priva has a local linkage. Resolved.
; CHECK: call void @priva()
ret void
}
@foo3 = dso_local alias void (), void ()* @bar3
; CHECK-NOT: bar3
define internal void @bar3() {
ret void
}
;CHECK: define dso_local void @foo3
|
