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
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
|
# REQUIRES: x86
# RUN: rm -rf %t*
# RUN: llvm-mc -filetype=obj -triple=x86_64-apple-darwin %s -o %t.o
# RUN: %lld -lSystem --icf=all -o %t %t.o
# RUN: llvm-objdump -d --syms %t | FileCheck %s
## When ICF has fewer than 1 Ki functions to segregate into equivalence classes,
## it uses a sequential algorithm to avoid the overhead of threading.
## At 1 Ki functions or more, when threading begins to pay-off, ICF employs its
## parallel segregation algorithm. Here we generate 4 Ki functions to exercise
## the parallel algorithm. There are 4 unique function bodies, each replicated
## 1 Ki times. The resulting folded program should retain one instance for each
## of the four unique functions.
## The symtab does not have a particular order. And even though we can expect
## some partial order, it is not possible to express that in FileCheck syntax.
## So just use -DAG
# CHECK-LABEL: SYMBOL TABLE:
# CHECK-DAG: [[#%x,G0:]] g F __TEXT,__text _g000000
# CHECK-DAG: [[#%x,G0]] g F __TEXT,__text _g033333
# CHECK-DAG: [[#%x,G1:]] g F __TEXT,__text _g100000
# CHECK-DAG: [[#%x,G1]] g F __TEXT,__text _g133333
# CHECK-DAG: [[#%x,G2:]] g F __TEXT,__text _g200000
# CHECK-DAG: [[#%x,G2]] g F __TEXT,__text _g233333
# CHECK-DAG: [[#%x,G3:]] g F __TEXT,__text _g300000
# CHECK-DAG: [[#%x,G3]] g F __TEXT,__text _g333333
## . . . many intervening _gXXXXXX symbols
# CHECK-LABEL: Disassembly of section __TEXT,__text:
# CHECK-DAG: [[#%x,G0]] <_g033333>:
# CHECK-DAG: [[#%x,G1]] <_g133333>:
# CHECK-DAG: [[#%x,G2]] <_g233333>:
# CHECK-DAG: [[#%x,G3]] <_g333333>:
# CHECK-NOT: [[#]] <_g{{.*}}>:
.subsections_via_symbols
.text
.p2align 2
.macro gen_4 c
.globl _g0\c, _g1\c, _g2\c, _g3\c
_g0\c:; movl $0, %eax; ret
_g1\c:; movl $1, %eax; ret
_g2\c:; movl $2, %eax; ret
_g3\c:; movl $3, %eax; ret
.endm
.macro gen_16 c
gen_4 0\c
gen_4 1\c
gen_4 2\c
gen_4 3\c
.endm
.macro gen_64 c
gen_16 0\c
gen_16 1\c
gen_16 2\c
gen_16 3\c
.endm
.macro gen_256 c
gen_64 0\c
gen_64 1\c
gen_64 2\c
gen_64 3\c
.endm
.macro gen_1024 c
gen_256 0\c
gen_256 1\c
gen_256 2\c
gen_256 3\c
.endm
gen_1024 0
gen_1024 1
gen_1024 2
gen_1024 3
.globl _main
_main:
ret
|
