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
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
|
# REQUIRES: x86
# RUN: rm -rf %t && split-file %s %t && cd %t
# RUN: llvm-mc -filetype=obj -triple=x86_64 a.s -o a.o
# RUN: ld.lld a.o -T a.t -o a
## Here we check that can handle OVERLAY which will produce sections
## .out.big and .out.small with the same starting VAs, but different LMAs.
## Section .big is larger than .small, we check that placing of section
## .text does not cause overlapping error and that
## .text's VA is 0x1000 + max(sizeof(.out.big), sizeof(.out.small)).
# RUN: llvm-readelf --sections -l a | FileCheck %s
# CHECK: Name Type Address Off Size
# CHECK: .big1 PROGBITS 0000000000001000 001000 000008
# CHECK-NEXT: .small1 PROGBITS 0000000000001000 002000 000004
# CHECK-NEXT: .small2 PROGBITS 0000000000001008 002008 000004
# CHECK-NEXT: .big2 PROGBITS 0000000000001008 003008 000008
# CHECK-NEXT: .empty3 PROGBITS 0000000000001010 003010 000000
# CHECK-NEXT: .small3 PROGBITS 0000000000001010 003010 000004
# CHECK-NEXT: .big3 PROGBITS 0000000000001010 004010 000008
# CHECK-NEXT: .text PROGBITS 0000000000001018 004018 000001
# CHECK: Program Headers:
# CHECK: Type Offset VirtAddr PhysAddr FileSiz MemSiz Flg Align
# CHECK-NEXT: LOAD 0x001000 0x0000000000001000 0x0000000000001000 0x000008 0x000008 R 0x1000
# CHECK-NEXT: LOAD 0x002000 0x0000000000001000 0x0000000000001008 0x000004 0x000004 R 0x1000
# CHECK-NEXT: LOAD 0x002008 0x0000000000001008 0x0000000000002008 0x000004 0x000004 R 0x1000
# CHECK-NEXT: LOAD 0x003008 0x0000000000001008 0x000000000000200c 0x000008 0x000008 R 0x1000
# CHECK-NEXT: LOAD 0x003010 0x0000000000001010 0x0000000000002014 0x000004 0x000004 R 0x1000
# CHECK-NEXT: LOAD 0x004010 0x0000000000001010 0x0000000000002018 0x000008 0x000008 R 0x1000
# CHECK-NEXT: LOAD 0x004018 0x0000000000001018 0x0000000000002020 0x000001 0x000001 R E 0x1000
# RUN: not ld.lld a.o -T err1.t 2>&1 | FileCheck %s --check-prefix=ERR1 --match-full-lines --strict-whitespace
# ERR1:{{.*}}error: err1.t:3: { expected, but got 0x3000
# ERR1-NEXT:>>> .out.aaa 0x3000 : { *(.aaa) }
# ERR1-NEXT:>>> ^
# RUN: not ld.lld a.o -T err2.t 2>&1 | FileCheck %s --check-prefix=ERR2 --match-full-lines --strict-whitespace
# ERR2:{{.*}}error: err2.t:{{.*}}: { expected, but got AX
# ERR2-NEXT:>>> .out.aaa { *(.aaa) } > AX AT>FLASH
# ERR2-NEXT:>>> ^
# RUN: ld.lld a.o -T region.t -o region
# RUN: llvm-readelf --sections -l region | FileCheck --check-prefix=REGION %s
# REGION: Name Type Address Off Size
# REGION: .big1 PROGBITS 0000000000001000 001000 000008
# REGION-NEXT: .small1 PROGBITS 0000000000001000 002000 000004
# REGION: .big2 PROGBITS 0000000000001008 002008 000008
# REGION-NEXT: .small2 PROGBITS 0000000000001008 003008 000004
# REGION-NEXT: .text PROGBITS 0000000000001010 003010 000001
# REGION: Program Headers:
# REGION: Type Offset VirtAddr PhysAddr FileSiz MemSiz Flg Align
# REGION-NEXT: LOAD 0x001000 0x0000000000001000 0x0000000000001000 0x000008 0x000008 R 0x1000
# REGION-NEXT: LOAD 0x002000 0x0000000000001000 0x0000000000001008 0x000010 0x000010 R 0x1000
# REGION-NEXT: LOAD 0x003008 0x0000000000001008 0x0000000000001018 0x000004 0x000004 R 0x1000
# REGION-NEXT: LOAD 0x003010 0x0000000000001010 0x0000000000001020 0x000001 0x000001 R E 0x1000
#--- a.s
.globl _start
_start:
nop
.section .small1, "a"; .long 0
.section .big1, "a"; .quad 1
.section .small2, "a"; .long 0
.section .big2, "a"; .quad 1
.section .small3, "a"; .long 0
.section .big3, "a"; .quad 1
#--- a.t
SECTIONS {
## LMA defaults to VMA
OVERLAY 0x1000 : {
".big1" { *(".big1") }
.small1 { *(.small1) }
}
## .big2 starts at ADDR(.small2)
OVERLAY : AT (0x2008) {
.small2 { *(.small2) }
".big2" { *(.big2) }
}
## .empty3 is not discarded. .small3 and .big3 share its address.
OVERLAY . : AT (0x2014) {
.empty3 { *(.empty3) }
.small3 { *(.small3) }
.big3 { *(.big3) }
}
.text : { *(.text) }
}
#--- region.t
MEMORY { region : ORIGIN = 0x1000, LENGTH = 0x1000 }
SECTIONS {
## Memory region instead of explicit address.
OVERLAY : {
.big1 { *(.big1) }
.small1 { *(.small1) }
} >region
OVERLAY : {
.big2 { *(.big2) }
.small2 { *(.small2) }
} >region
.text : { *(.text) } >region
/DISCARD/ : { *(.big* .small*) }
}
#--- err1.t
SECTIONS {
OVERLAY 0x1000 : AT ( 0x2000 ) {
.out.aaa 0x3000 : { *(.aaa) }
}
}
#--- err2.t
MEMORY {
AX (ax) : ORIGIN = 0x3000, LENGTH = 0x4000
}
SECTIONS {
OVERLAY 0x1000 : AT ( 0x2000 ) {
.out.aaa { *(.aaa) } > AX AT>FLASH
}
}
#--- unclosed.lds
SECTIONS {
OVERLAY 0x1000 : AT ( 0x2000 ) {
# RUN: not ld.lld a.o -T unclosed.lds 2>&1 | FileCheck %s --check-prefix=UNCLOSED
# UNCLOSED: error: unclosed.lds:2: unexpected EOF
# UNCLOSED-NOT: {{.}}
#--- at-nocrossrefs-order.lds
SECTIONS { OVERLAY 0x1000 : AT(0x1234) NOCROSSREFS {} }
# RUN: not ld.lld a.o -T at-nocrossrefs-order.lds 2>&1 | FileCheck %s --check-prefix=AT-NOCROSSREFS-ORDER --strict-whitespace
# AT-NOCROSSREFS-ORDER:{{.*}}error: at-nocrossrefs-order.lds:1: { expected, but got NOCROSSREFS
# AT-NOCROSSREFS-ORDER-NEXT:>>> SECTIONS { OVERLAY 0x1000 : AT(0x1234) NOCROSSREFS {} }
# AT-NOCROSSREFS-ORDER-NEXT:>>> ^
|
