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
| ; We should never separate alias from aliasee.
; RUN: llvm-split -j=3 -preserve-locals -o %t %s
; RUN: llvm-dis -o - %t0 | FileCheck --check-prefix=CHECK0 %s
; RUN: llvm-dis -o - %t1 | FileCheck --check-prefix=CHECK1 %s
; RUN: llvm-dis -o - %t2 | FileCheck --check-prefix=CHECK2 %s
; Checks are not critical here - verifier will assert if we fail.
; CHECK0: @funInternal2Alias = alias
; CHECK0: @funExternal2Alias = alias
; CHECK0: define internal i32 @funInternal2
; CHECK0: define i32 @funExternal2
; CHECK1: @funInternalAlias = alias
; CHECK1: define internal i32 @funInternal
; CHECK2: @funExternalAlias = alias
; CHECK2: define i32 @funExternal
@funInternalAlias = alias i32 (), i32 ()* @funInternal
@funExternalAlias = alias i32 (), i32 ()* @funExternal
@funInternal2Alias = alias i32 (), i32 ()* @funInternal2
@funExternal2Alias = alias i32 (), i32 ()* @funExternal2
define internal i32 @funInternal() {
entry:
ret i32 0
}
define i32 @funExternal() {
entry:
%x = call i32 @funInternalAlias()
ret i32 %x
}
define internal i32 @funInternal2() {
entry:
%x = call i32 @funInternalAlias()
ret i32 %x
}
define i32 @funExternal2() {
entry:
%x = call i32 @funInternal2()
%y = call i32 @funExternalAlias()
%z = add nsw i32 %x, %y
ret i32 %z
}
|