llvm-project/llvm/test/MC/MachO/darwin-x86_64-reloc-offsets.s

292 lines
9.3 KiB
ArmAsm

// RUN: llvm-mc -triple x86_64-apple-darwin10 %s -filetype=obj -o - | llvm-readobj -file-headers -s -sd -r -t -macho-segment -macho-dysymtab -macho-indirect-symbols | FileCheck %s
.data
.org 0x10
L0:
.long 0
.long 0
.long 0
.long 0
_d:
.long 0
L1:
.long 0
.text
// These generate normal x86_64 (external) relocations. They could all use
// SIGNED, but don't for pedantic compatibility with Darwin 'as'.
// SIGNED1
movb $0x12, _d(%rip)
// SIGNED
movb $0x12, _d + 1(%rip)
// SIGNED4
movl $0x12345678, _d(%rip)
// SIGNED
movl $0x12345678, _d + 1(%rip)
// SIGNED2
movl $0x12345678, _d + 2(%rip)
// SIGNED1
movl $0x12345678, _d + 3(%rip)
// SIGNED
movl $0x12345678, _d + 4(%rip)
movb %al, _d(%rip)
movb %al, _d + 1(%rip)
movl %eax, _d(%rip)
movl %eax, _d + 1(%rip)
movl %eax, _d + 2(%rip)
movl %eax, _d + 3(%rip)
movl %eax, _d + 4(%rip)
// These have to use local relocations. Since that uses an offset into the
// section in x86_64 (as opposed to a scattered relocation), and since the
// linker can only decode this to an atom + offset by scanning the section,
// it is not possible to correctly encode these without SIGNED<N>. This is
// ultimately due to a design flaw in the x86_64 relocation format, it is
// not possible to encode an address (L<foo> + <constant>) which is outside the
// atom containing L<foo>.
// SIGNED1
movb $0x12, L0(%rip)
// SIGNED
movb $0x12, L0 + 1(%rip)
// SIGNED4
movl $0x12345678, L0(%rip)
// SIGNED
movl $0x12345678, L0 + 1(%rip)
// SIGNED2
movl $0x12345678, L0 + 2(%rip)
// SIGNED1
movl $0x12345678, L0 + 3(%rip)
// SIGNED
movl $0x12345678, L0 + 4(%rip)
movb %al, L0(%rip)
movb %al, L0 + 1(%rip)
movl %eax, L0(%rip)
movl %eax, L0 + 1(%rip)
movl %eax, L0 + 2(%rip)
movl %eax, L0 + 3(%rip)
movl %eax, L0 + 4(%rip)
// SIGNED1
movb $0x12, L1(%rip)
// SIGNED
movb $0x12, L1 + 1(%rip)
// SIGNED4
movl $0x12345678, L1(%rip)
// SIGNED
movl $0x12345678, L1 + 1(%rip)
// SIGNED2
movl $0x12345678, L1 + 2(%rip)
// SIGNED1
movl $0x12345678, L1 + 3(%rip)
// SIGNED
movl $0x12345678, L1 + 4(%rip)
movb %al, L1(%rip)
movb %al, L1 + 1(%rip)
movl %eax, L1(%rip)
movl %eax, L1 + 1(%rip)
movl %eax, L1 + 2(%rip)
movl %eax, L1 + 3(%rip)
movl %eax, L1 + 4(%rip)
// CHECK: File: <stdin>
// CHECK: Format: Mach-O 64-bit x86-64
// CHECK: Arch: x86_64
// CHECK: AddressSize: 64bit
// CHECK: MachHeader {
// CHECK: Magic: Magic64 (0xFEEDFACF)
// CHECK: CpuType: X86-64 (0x1000007)
// CHECK: CpuSubType: CPU_SUBTYPE_X86_64_ALL (0x3)
// CHECK: FileType: Relocatable (0x1)
// CHECK: NumOfLoadCommands: 4
// CHECK: SizeOfLoadCommands: 352
// CHECK: Flags [ (0x0)
// CHECK: ]
// CHECK: Reserved: 0x0
// CHECK: }
// CHECK: Sections [
// CHECK: Section {
// CHECK: Index: 0
// CHECK: Name: __text (5F 5F 74 65 78 74 00 00 00 00 00 00 00 00 00 00)
// CHECK: Segment: __TEXT (5F 5F 54 45 58 54 00 00 00 00 00 00 00 00 00 00)
// CHECK: Address: 0x0
// CHECK: Size: 0x13E
// CHECK: Offset: 384
// CHECK: Alignment: 0
// CHECK: RelocationOffset: 0x2E8
// CHECK: RelocationCount: 42
// CHECK: Type: 0x0
// CHECK: Attributes [ (0x800004)
// CHECK: PureInstructions (0x800000)
// CHECK: SomeInstructions (0x4)
// CHECK: ]
// CHECK: Reserved1: 0x0
// CHECK: Reserved2: 0x0
// CHECK: Reserved3: 0x0
// CHECK: SectionData (
// CHECK: 0000: C605FFFF FFFF12C6 05000000 0012C705 |................|
// CHECK: 0010: FCFFFFFF 78563412 C705FDFF FFFF7856 |....xV4.......xV|
// CHECK: 0020: 3412C705 FEFFFFFF 78563412 C705FFFF |4.......xV4.....|
// CHECK: 0030: FFFF7856 3412C705 00000000 78563412 |..xV4.......xV4.|
// CHECK: 0040: 88050000 00008805 01000000 89050000 |................|
// CHECK: 0050: 00008905 01000000 89050200 00008905 |................|
// CHECK: 0060: 03000000 89050400 0000C605 DD000000 |................|
// CHECK: 0070: 12C605D7 00000012 C705CC00 00007856 |..............xV|
// CHECK: 0080: 3412C705 C3000000 78563412 C705BA00 |4.......xV4.....|
// CHECK: 0090: 00007856 3412C705 B1000000 78563412 |..xV4.......xV4.|
// CHECK: 00A0: C705A800 00007856 34128805 9E000000 |......xV4.......|
// CHECK: 00B0: 88059900 00008905 92000000 89058D00 |................|
// CHECK: 00C0: 00008905 88000000 89058300 00008905 |................|
// CHECK: 00D0: 7E000000 C6050300 000012C6 05040000 |~...............|
// CHECK: 00E0: 0012C705 00000000 78563412 C7050100 |........xV4.....|
// CHECK: 00F0: 00007856 3412C705 02000000 78563412 |..xV4.......xV4.|
// CHECK: 0100: C7050300 00007856 3412C705 04000000 |......xV4.......|
// CHECK: 0110: 78563412 88050400 00008805 05000000 |xV4.............|
// CHECK: 0120: 89050400 00008905 05000000 89050600 |................|
// CHECK: 0130: 00008905 07000000 89050800 0000 |..............|
// CHECK: )
// CHECK: }
// CHECK: Section {
// CHECK: Index: 1
// CHECK: Name: __data (5F 5F 64 61 74 61 00 00 00 00 00 00 00 00 00 00)
// CHECK: Segment: __DATA (5F 5F 44 41 54 41 00 00 00 00 00 00 00 00 00 00)
// CHECK: Address: 0x13E
// CHECK: Size: 0x28
// CHECK: Offset: 702
// CHECK: Alignment: 0
// CHECK: RelocationOffset: 0x0
// CHECK: RelocationCount: 0
// CHECK: Type: 0x0
// CHECK: Attributes [ (0x0)
// CHECK: ]
// CHECK: Reserved1: 0x0
// CHECK: Reserved2: 0x0
// CHECK: Reserved3: 0x0
// CHECK: SectionData (
// CHECK: 0000: 00000000 00000000 00000000 00000000 |................|
// CHECK: 0010: 00000000 00000000 00000000 00000000 |................|
// CHECK: 0020: 00000000 00000000 |........|
// CHECK: )
// CHECK: }
// CHECK: ]
// CHECK: Relocations [
// CHECK: Section __text {
// CHECK: 0x13A 1 2 1 X86_64_RELOC_SIGNED 0 _d
// CHECK: 0x134 1 2 1 X86_64_RELOC_SIGNED 0 _d
// CHECK: 0x12E 1 2 1 X86_64_RELOC_SIGNED 0 _d
// CHECK: 0x128 1 2 1 X86_64_RELOC_SIGNED 0 _d
// CHECK: 0x122 1 2 1 X86_64_RELOC_SIGNED 0 _d
// CHECK: 0x11C 1 2 1 X86_64_RELOC_SIGNED 0 _d
// CHECK: 0x116 1 2 1 X86_64_RELOC_SIGNED 0 _d
// CHECK: 0x10C 1 2 1 X86_64_RELOC_SIGNED 0 _d
// CHECK: 0x102 1 2 1 X86_64_RELOC_SIGNED_1 0 _d
// CHECK: 0xF8 1 2 1 X86_64_RELOC_SIGNED_2 0 _d
// CHECK: 0xEE 1 2 1 X86_64_RELOC_SIGNED 0 _d
// CHECK: 0xE4 1 2 1 X86_64_RELOC_SIGNED_4 0 _d
// CHECK: 0xDD 1 2 1 X86_64_RELOC_SIGNED 0 _d
// CHECK: 0xD6 1 2 1 X86_64_RELOC_SIGNED_1 0 _d
// CHECK: 0xD0 1 2 0 X86_64_RELOC_SIGNED 0 __data
// CHECK: 0xCA 1 2 0 X86_64_RELOC_SIGNED 0 __data
// CHECK: 0xC4 1 2 0 X86_64_RELOC_SIGNED 0 __data
// CHECK: 0xBE 1 2 0 X86_64_RELOC_SIGNED 0 __data
// CHECK: 0xB8 1 2 0 X86_64_RELOC_SIGNED 0 __data
// CHECK: 0xB2 1 2 0 X86_64_RELOC_SIGNED 0 __data
// CHECK: 0xAC 1 2 0 X86_64_RELOC_SIGNED 0 __data
// CHECK: 0xA2 1 2 0 X86_64_RELOC_SIGNED 0 __data
// CHECK: 0x98 1 2 0 X86_64_RELOC_SIGNED_1 0 __data
// CHECK: 0x8E 1 2 0 X86_64_RELOC_SIGNED_2 0 __data
// CHECK: 0x84 1 2 0 X86_64_RELOC_SIGNED 0 __data
// CHECK: 0x7A 1 2 0 X86_64_RELOC_SIGNED_4 0 __data
// CHECK: 0x73 1 2 0 X86_64_RELOC_SIGNED 0 __data
// CHECK: 0x6C 1 2 0 X86_64_RELOC_SIGNED_1 0 __data
// CHECK: 0x66 1 2 1 X86_64_RELOC_SIGNED 0 _d
// CHECK: 0x60 1 2 1 X86_64_RELOC_SIGNED 0 _d
// CHECK: 0x5A 1 2 1 X86_64_RELOC_SIGNED 0 _d
// CHECK: 0x54 1 2 1 X86_64_RELOC_SIGNED 0 _d
// CHECK: 0x4E 1 2 1 X86_64_RELOC_SIGNED 0 _d
// CHECK: 0x48 1 2 1 X86_64_RELOC_SIGNED 0 _d
// CHECK: 0x42 1 2 1 X86_64_RELOC_SIGNED 0 _d
// CHECK: 0x38 1 2 1 X86_64_RELOC_SIGNED 0 _d
// CHECK: 0x2E 1 2 1 X86_64_RELOC_SIGNED_1 0 _d
// CHECK: 0x24 1 2 1 X86_64_RELOC_SIGNED_2 0 _d
// CHECK: 0x1A 1 2 1 X86_64_RELOC_SIGNED 0 _d
// CHECK: 0x10 1 2 1 X86_64_RELOC_SIGNED_4 0 _d
// CHECK: 0x9 1 2 1 X86_64_RELOC_SIGNED 0 _d
// CHECK: 0x2 1 2 1 X86_64_RELOC_SIGNED_1 0 _d
// CHECK: }
// CHECK: ]
// CHECK: Symbols [
// CHECK: Symbol {
// CHECK: Name: _d (1)
// CHECK: Type: Section (0xE)
// CHECK: Section: __data (0x2)
// CHECK: RefType: UndefinedNonLazy (0x0)
// CHECK: Flags [ (0x0)
// CHECK: ]
// CHECK: Value: 0x15E
// CHECK: }
// CHECK: ]
// CHECK: Indirect Symbols {
// CHECK: Number: 0
// CHECK: Symbols [
// CHECK: ]
// CHECK: }
// CHECK: Segment {
// CHECK: Cmd: LC_SEGMENT_64
// CHECK: Name:
// CHECK: Size: 232
// CHECK: vmaddr: 0x0
// CHECK: vmsize: 0x166
// CHECK: fileoff: 384
// CHECK: filesize: 358
// CHECK: maxprot: rwx
// CHECK: initprot: rwx
// CHECK: nsects: 2
// CHECK: flags: 0x0
// CHECK: }
// CHECK: Dysymtab {
// CHECK: ilocalsym: 0
// CHECK: nlocalsym: 1
// CHECK: iextdefsym: 1
// CHECK: nextdefsym: 0
// CHECK: iundefsym: 1
// CHECK: nundefsym: 0
// CHECK: tocoff: 0
// CHECK: ntoc: 0
// CHECK: modtaboff: 0
// CHECK: nmodtab: 0
// CHECK: extrefsymoff: 0
// CHECK: nextrefsyms: 0
// CHECK: indirectsymoff: 0
// CHECK: nindirectsyms: 0
// CHECK: extreloff: 0
// CHECK: nextrel: 0
// CHECK: locreloff: 0
// CHECK: nlocrel: 0
// CHECK: }