xref: /llvm-project/lld/test/ELF/linkerscript/symbolreferenced.s (revision 30ec2bf58d1559b161254118e39271b829fd0867)
1# REQUIRES: x86
2# RUN: rm -rf %t && split-file %s %t && cd %t
3# RUN: llvm-mc -filetype=obj -triple=x86_64 a.s -o a.o
4
5# Provide new symbol. The value should be 1, like set in PROVIDE()
6# RUN: echo "SECTIONS { PROVIDE(newsym = 1);}" > a1.t
7# RUN: ld.lld -o a1 -T a1.t a.o
8# RUN: llvm-objdump -t a1 | FileCheck --check-prefix=PROVIDE1 %s
9# PROVIDE1: 0000000000000001 g       *ABS*  0000000000000000 newsym
10
11# Provide new symbol (hidden). The value should be 1
12# RUN: echo "SECTIONS { PROVIDE_HIDDEN(newsym = 1);}" > a2.t
13# RUN: ld.lld -o a2 -T a2.t a.o
14# RUN: llvm-objdump -t a2 | FileCheck --check-prefix=HIDDEN1 %s
15# HIDDEN1: 0000000000000001 l       *ABS*  0000000000000000 .hidden newsym
16
17# RUN: echo 'SECTIONS { PROVIDE_HIDDEN("newsym" = 1);}' > a2.t
18# RUN: ld.lld -o a2 -T a2.t a.o
19# RUN: llvm-objdump -t a2 | FileCheck --check-prefix=HIDDEN1 %s
20
21# RUN: ld.lld -o chain -T chain.t a.o
22# RUN: llvm-nm chain | FileCheck %s
23
24# CHECK-NOT: another_unused
25# CHECK:      0000000000007000 a f1
26# CHECK-NEXT: 0000000000007000 A f2
27# CHECK-NEXT: 0000000000007000 A f3
28# CHECK-NEXT: 0000000000007000 A f4
29# CHECK-NEXT: 0000000000006000 A f5
30# CHECK-NEXT: 0000000000003000 A f6
31# CHECK-NEXT: 0000000000001000 A f7
32# CHECK-NOT: g1
33# CHECK-NOT: g2
34# CHECK-NEXT: 0000000000007500 A newsym
35# CHECK: 0000000000002000 A u
36# CHECK-NOT: unused
37# CHECK-NEXT: 0000000000002000 A v
38# CHECK-NEXT: 0000000000002000 A w
39
40
41# RUN: ld.lld -o chain_with_cycle -T chain_with_cycle.t a.o
42# RUN: llvm-nm chain_with_cycle | FileCheck %s --check-prefix=CHAIN_WITH_CYCLE
43
44# CHAIN_WITH_CYCLE: 000 A f1
45# CHAIN_WITH_CYCLE: 000 A f2
46# CHAIN_WITH_CYCLE: 000 A f3
47# CHAIN_WITH_CYCLE: 000 A f4
48# CHAIN_WITH_CYCLE: 000 A newsym
49
50# RUN: not ld.lld -T chain2.t a.o 2>&1 | FileCheck %s --check-prefix=ERR --implicit-check-not=error:
51# ERR-COUNT-3: error: chain2.t:1: symbol not found: undef
52
53## _start in a lazy object file references PROVIDE symbols. We extract _start
54## earlier to avoid spurious "symbol not found" errors.
55# RUN: llvm-mc -filetype=obj -triple=x86_64 undef.s -o undef.o
56# RUN: llvm-mc -filetype=obj -triple=x86_64 start.s -o start.o
57# RUN: ld.lld -T chain2.t undef.o --start-lib start.o --end-lib -o lazy
58# RUN: llvm-nm lazy | FileCheck %s --check-prefix=LAZY
59# RUN: ld.lld -e 0 -T chain2.t --undefined-glob '_start*' undef.o --start-lib start.o --end-lib -o lazy
60# RUN: llvm-nm lazy | FileCheck %s --check-prefix=LAZY
61
62# LAZY:      T _start
63# LAZY-NEXT: t f1
64# LAZY-NEXT: T f2
65# LAZY-NEXT: T newsym
66# LAZY-NEXT: T unde
67
68#--- a.s
69.global _start
70_start:
71 nop
72
73.globl patatino
74patatino:
75  movl newsym, %eax
76
77#--- chain.t
78PROVIDE(f7 = 0x1000);
79PROVIDE(f5 = f6 + 0x3000);
80PROVIDE(f6 = f7 + 0x2000);
81PROVIDE(f4 = f5 + 0x1000);
82PROVIDE(f3 = f4);
83PROVIDE(f2 = f3);
84PROVIDE_HIDDEN(f1 = f2);
85PROVIDE(newsym = f1 + 0x500);
86
87u = v;
88PROVIDE(w = 0x2000);
89PROVIDE(v = w);
90
91PROVIDE(g2 = 0x1000);
92PROVIDE_HIDDEN(g1 = g2);
93PROVIDE(unused = g1);
94PROVIDE_HIDDEN(another_unused = g1);
95
96#--- chain_with_cycle.t
97PROVIDE("f1" = f2 + f3);
98PROVIDE(f2 = f3 + f4);
99PROVIDE(f3 = f4);
100PROVIDE(f4 = f1);
101PROVIDE(newsym = f1);
102
103#--- chain2.t
104PROVIDE(f2 = undef);
105PROVIDE_HIDDEN(f1 = f2);
106PROVIDE(newsym = f1);
107
108#--- undef.s
109.globl undef
110undef: ret
111
112#--- start.s
113.globl _start
114_start: ret
115.data
116.quad newsym
117