forked from OSchip/llvm-project
327 lines
12 KiB
YAML
327 lines
12 KiB
YAML
|
|
# RUN: lld -flavor darwin -arch x86_64 -r %s -o %t -print_atoms | FileCheck %s \
|
|
# RUN: && lld -flavor darwin -arch x86_64 %t -r -print_atoms -o %t2 | FileCheck %s
|
|
#
|
|
# Test parsing and writing of x86_64 data relocations.
|
|
#
|
|
# The first step tests if the supplied mach-o file is parsed into the correct
|
|
# set of references. The second step verifies relocations can be round-tripped
|
|
# by writing to a new .o file, then parsing that file which should result in
|
|
# the same references.
|
|
#
|
|
#_foo:
|
|
# ret
|
|
#
|
|
#_bar:
|
|
# ret
|
|
#
|
|
# .section __DATA,__custom
|
|
#L1:
|
|
# .quad 0
|
|
#
|
|
# .data
|
|
#_d:
|
|
# .quad _foo
|
|
# .quad _foo+4
|
|
# .quad _foo - .
|
|
# .quad L1
|
|
# .quad L1 + 2
|
|
# .quad _foo - .
|
|
# .quad _foo + 4 - .
|
|
# .quad L1 - .
|
|
# .long _foo - .
|
|
# .long _foo + 4 - .
|
|
# .long L1 - .
|
|
#
|
|
|
|
--- !mach-o
|
|
arch: x86_64
|
|
file-type: MH_OBJECT
|
|
flags: [ ]
|
|
compat-version: 0.0
|
|
current-version: 0.0
|
|
has-UUID: false
|
|
OS: unknown
|
|
sections:
|
|
- segment: __TEXT
|
|
section: __text
|
|
type: S_REGULAR
|
|
attributes: [ S_ATTR_PURE_INSTRUCTIONS, S_ATTR_SOME_INSTRUCTIONS ]
|
|
address: 0x0000000000000000
|
|
content: [ 0xC3, 0xC3 ]
|
|
- segment: __DATA
|
|
section: __custom
|
|
type: S_REGULAR
|
|
attributes: [ ]
|
|
address: 0x0000000000000002
|
|
content: [ 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00 ]
|
|
- segment: __DATA
|
|
section: __data
|
|
type: S_REGULAR
|
|
attributes: [ ]
|
|
address: 0x000000000000000A
|
|
content: [
|
|
# .quad _foo
|
|
# No addend is needed here as we are referencing _foo directly and that is
|
|
# encoded entirely in the X86_64_RELOC_UNSIGNED
|
|
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
|
|
# .quad _foo+4
|
|
# Addend of 4 is needed here as we are referencing _foo from the
|
|
# X86_64_RELOC_UNSIGNED, then the addend gives us 4 more.
|
|
0x04, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
|
|
# .quad _foo - .
|
|
# This is the pair X86_64_RELOC_SUBTRACTOR and X86_64_RELOC_UNSIGNED.
|
|
# The subtractor references _d which is the first nonlocal label in this
|
|
# section. The unsigned references _foo.
|
|
# Note the addend here is -16 because that is the offset from here back
|
|
# to _d.
|
|
0xF0, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
|
|
# .quad L1
|
|
# This is a X86_64_RELOC_UNSIGNED without extern set.
|
|
# In this case, we encode the section number for L1 in the relocation, and
|
|
# the addend here is the absolute address of the location in that section
|
|
# we want to reference.
|
|
0x02, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
|
|
# .quad L1 + 2
|
|
# This is a X86_64_RELOC_UNSIGNED without extern set.
|
|
# In this case, we encode the section number for L1 in the relocation, and
|
|
# the addend here is the absolute address of the location in that section
|
|
# we want to reference. We have a 4 because the section is at address 2
|
|
# and we want an offset of 2 from there.
|
|
0x04, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
|
|
# .quad _foo - .
|
|
# This is the pair X86_64_RELOC_SUBTRACTOR and X86_64_RELOC_UNSIGNED.
|
|
# The subtractor references _d which is the first nonlocal label in this
|
|
# section. The unsigned references _foo.
|
|
# Note the addend here is -40 because that is the offset from here back
|
|
# to _d.
|
|
0xD8, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
|
|
# .quad _foo + 4 - .
|
|
# This is the pair X86_64_RELOC_SUBTRACTOR and X86_64_RELOC_UNSIGNED.
|
|
# The subtractor references _d which is the first nonlocal label in this
|
|
# section. The unsigned references _foo.
|
|
# Note the addend here is -44. It would have been -48 because that
|
|
# would take us from the address of this relocation back to _d. But as
|
|
# we also add 4 for the offset, we get -44.
|
|
0xD4, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
|
|
# .quad L1 - .
|
|
# This is the pair X86_64_RELOC_SUBTRACTOR and X86_64_RELOC_UNSIGNED.
|
|
# The subtractor references _d which is the first nonlocal label in this
|
|
# section. The unsigned does not have extern set, so the relocation
|
|
# number is the section number for L1.
|
|
# Note the addend here is -54. Of that, -56 would be the offset from
|
|
# this location from _d. The remaining 2 is the absolute address
|
|
# of L1.
|
|
0xCA, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF, 0xFF,
|
|
# .long _foo - .
|
|
# This is the pair X86_64_RELOC_SUBTRACTOR and X86_64_RELOC_UNSIGNED.
|
|
# The subtractor references _d which is the first nonlocal label in this
|
|
# section. The unsigned references _foo.
|
|
# Note the addend here is -64 because that is the offset from here back
|
|
# to _d.
|
|
0xC0, 0xFF, 0xFF, 0xFF,
|
|
# .long _foo + 4 - .
|
|
# This is the pair X86_64_RELOC_SUBTRACTOR and X86_64_RELOC_UNSIGNED.
|
|
# The subtractor references _d which is the first nonlocal label in this
|
|
# section. The unsigned references _foo.
|
|
# Note the addend here is -64. It would have been -68 because that
|
|
# would take us from the address of this relocation back to _d. But as
|
|
# we also add 4 for the offset, we get -64.
|
|
0xC0, 0xFF, 0xFF, 0xFF,
|
|
# .long L1 - .
|
|
# This is the pair X86_64_RELOC_SUBTRACTOR and X86_64_RELOC_UNSIGNED.
|
|
# The subtractor references _d which is the first nonlocal label in this
|
|
# section. The unsigned does not have extern set, so the relocation
|
|
# number is the section number for L1.
|
|
# Note the addend here is -70. Of that, -72 would be the offset from
|
|
# this location from _d. The remaining 2 is the absolute address
|
|
# of L1.
|
|
0xBA, 0xFF, 0xFF, 0xFF ]
|
|
relocations:
|
|
- offset: 0x00000048
|
|
type: X86_64_RELOC_SUBTRACTOR
|
|
length: 2
|
|
pc-rel: false
|
|
extern: true
|
|
symbol: 2
|
|
- offset: 0x00000048
|
|
type: X86_64_RELOC_UNSIGNED
|
|
length: 2
|
|
pc-rel: false
|
|
extern: false
|
|
symbol: 2
|
|
- offset: 0x00000044
|
|
type: X86_64_RELOC_SUBTRACTOR
|
|
length: 2
|
|
pc-rel: false
|
|
extern: true
|
|
symbol: 2
|
|
- offset: 0x00000044
|
|
type: X86_64_RELOC_UNSIGNED
|
|
length: 2
|
|
pc-rel: false
|
|
extern: true
|
|
symbol: 0
|
|
- offset: 0x00000040
|
|
type: X86_64_RELOC_SUBTRACTOR
|
|
length: 2
|
|
pc-rel: false
|
|
extern: true
|
|
symbol: 2
|
|
- offset: 0x00000040
|
|
type: X86_64_RELOC_UNSIGNED
|
|
length: 2
|
|
pc-rel: false
|
|
extern: true
|
|
symbol: 0
|
|
- offset: 0x00000038
|
|
type: X86_64_RELOC_SUBTRACTOR
|
|
length: 3
|
|
pc-rel: false
|
|
extern: true
|
|
symbol: 2
|
|
- offset: 0x00000038
|
|
type: X86_64_RELOC_UNSIGNED
|
|
length: 3
|
|
pc-rel: false
|
|
extern: false
|
|
symbol: 2
|
|
- offset: 0x00000030
|
|
type: X86_64_RELOC_SUBTRACTOR
|
|
length: 3
|
|
pc-rel: false
|
|
extern: true
|
|
symbol: 2
|
|
- offset: 0x00000030
|
|
type: X86_64_RELOC_UNSIGNED
|
|
length: 3
|
|
pc-rel: false
|
|
extern: true
|
|
symbol: 0
|
|
- offset: 0x00000028
|
|
type: X86_64_RELOC_SUBTRACTOR
|
|
length: 3
|
|
pc-rel: false
|
|
extern: true
|
|
symbol: 2
|
|
- offset: 0x00000028
|
|
type: X86_64_RELOC_UNSIGNED
|
|
length: 3
|
|
pc-rel: false
|
|
extern: true
|
|
symbol: 0
|
|
- offset: 0x00000020
|
|
type: X86_64_RELOC_UNSIGNED
|
|
length: 3
|
|
pc-rel: false
|
|
extern: false
|
|
symbol: 2
|
|
- offset: 0x00000018
|
|
type: X86_64_RELOC_UNSIGNED
|
|
length: 3
|
|
pc-rel: false
|
|
extern: false
|
|
symbol: 2
|
|
- offset: 0x00000010
|
|
type: X86_64_RELOC_SUBTRACTOR
|
|
length: 3
|
|
pc-rel: false
|
|
extern: true
|
|
symbol: 2
|
|
- offset: 0x00000010
|
|
type: X86_64_RELOC_UNSIGNED
|
|
length: 3
|
|
pc-rel: false
|
|
extern: true
|
|
symbol: 0
|
|
- offset: 0x00000008
|
|
type: X86_64_RELOC_UNSIGNED
|
|
length: 3
|
|
pc-rel: false
|
|
extern: true
|
|
symbol: 0
|
|
- offset: 0x00000000
|
|
type: X86_64_RELOC_UNSIGNED
|
|
length: 3
|
|
pc-rel: false
|
|
extern: true
|
|
symbol: 0
|
|
local-symbols:
|
|
- name: _foo
|
|
type: N_SECT
|
|
sect: 1
|
|
value: 0x0000000000000000
|
|
- name: _bar
|
|
type: N_SECT
|
|
sect: 1
|
|
value: 0x0000000000000001
|
|
- name: _d
|
|
type: N_SECT
|
|
sect: 3
|
|
value: 0x000000000000000A
|
|
page-size: 0x00000000
|
|
...
|
|
|
|
|
|
# CHECK:defined-atoms:
|
|
# CHECK: - name: _d
|
|
# CHECK: type: data
|
|
# CHECK: content: [ 00, 00, 00, 00, 00, 00, 00, 00, 04, 00, 00, 00,
|
|
# CHECK: 00, 00, 00, 00, F0, FF, FF, FF, FF, FF, FF, FF,
|
|
# CHECK: {{..}}, {{..}}, 00, 00, 00, 00, 00, 00, {{..}}, {{..}}, 00, 00,
|
|
# CHECK: 00, 00, 00, 00, D8, FF, FF, FF, FF, FF, FF, FF,
|
|
# CHECK: D4, FF, FF, FF, FF, FF, FF, FF, {{..}}, {{..}}, {{..}}, {{..}},
|
|
# CHECK: {{..}}, {{..}}, {{..}}, {{..}}, C0, FF, FF, FF, C0, FF, FF, FF,
|
|
# CHECK: {{..}}, {{..}}, {{..}}, {{..}} ]
|
|
# CHECK: dead-strip: never
|
|
# CHECK: references:
|
|
# CHECK: - kind: pointer64
|
|
# CHECK: offset: 0
|
|
# CHECK: target: _foo
|
|
# CHECK: - kind: pointer64
|
|
# CHECK: offset: 8
|
|
# CHECK: target: _foo
|
|
# CHECK: addend: 4
|
|
# CHECK: - kind: delta64
|
|
# CHECK: offset: 16
|
|
# CHECK: target: _foo
|
|
# CHECK: - kind: pointer64Anon
|
|
# CHECK: offset: 24
|
|
# CHECK: target: L003
|
|
# CHECK: - kind: pointer64Anon
|
|
# CHECK: offset: 32
|
|
# CHECK: target: L003
|
|
# CHECK: addend: 2
|
|
# CHECK: - kind: delta64
|
|
# CHECK: offset: 40
|
|
# CHECK: target: _foo
|
|
# CHECK: - kind: delta64
|
|
# CHECK: offset: 48
|
|
# CHECK: target: _foo
|
|
# CHECK: addend: 4
|
|
# CHECK: - kind: delta64Anon
|
|
# CHECK: offset: 56
|
|
# CHECK: target: L003
|
|
# CHECK: - kind: delta32
|
|
# CHECK: offset: 64
|
|
# CHECK: target: _foo
|
|
# CHECK: - kind: delta32
|
|
# CHECK: offset: 68
|
|
# CHECK: target: _foo
|
|
# CHECK: addend: 4
|
|
# CHECK: - kind: delta32Anon
|
|
# CHECK: offset: 72
|
|
# CHECK: target: L003
|
|
# CHECK: - name: _foo
|
|
# CHECK: content: [ C3 ]
|
|
# CHECK: dead-strip: never
|
|
# CHECK: - name: _bar
|
|
# CHECK: content: [ C3 ]
|
|
# CHECK: dead-strip: never
|
|
# CHECK: - ref-name: L003
|
|
# CHECK: type: unknown
|
|
# CHECK: content: [ 00, 00, 00, 00, 00, 00, 00, 00 ]
|
|
# CHECK: section-choice: custom-required
|
|
# CHECK: section-name: __DATA/__custom
|
|
|