maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity
llvm-project/llvm/test/MC/MachO/darwin-x86_64-diff-relocs.s

318 lines
10 KiB
ArmAsm
Raw Normal View History

[MC] Convert all the remaining tests from macho-dump to llvm-readobj. This sort-of deprecates macho-dump. It may take still a little while to garbage collect it, but at least there's no real usage of it in the tree anymore. New tests should always rely on llvm-readobj or llvm-objdump. llvm-svn: 247235
2015-09-10 09:50:00 +08:00
// 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
MC/Mach-O/x86_64: Add relocation support. - This is "extraordinarily" Darwin 'as' compatible. See the litany of FIXMEs littered about for more information. - There are a few cases which seem to clearly be 'as' bugs which I have left unsupported, and there is one cases where we diverge but should fix if it blocks diffing .o files (Darwin 'as' ends up widening a jump unnecessarily). - 403.gcc build, runs, and diffs equivalently to the 'as' built version now (using llvm-mc). However, it builds so slowly that I wouldn't recommend trying it quite yet. :) llvm-svn: 98974
2010-03-20 02:07:55 +08:00
.text
// FIXME: llvm-mc doesn't handle this in a way we can make compatible with 'as',
// currently, because of how we handle assembler variables.
//
// See <rdar://problem/7763719> improve handling of absolute symbols
// _baz = 4
_foo:
xorl %eax,%eax
_g0:
xorl %eax,%eax
L0:
jmp 4
// jmp _baz
// FIXME: Darwin 'as' for historical reasons widens this jump, but doesn't emit
// a relocation. It seems like 'as' widens any jump that is not to a temporary,
// which is inherited from the x86_32 behavior, even though x86_64 could do
// better.
// jmp _g0
jmp L0
jmp _g1
// FIXME: Darwin 'as' gets this wrong as well, even though it could get it right
// given the other things we do on x86_64. It is using a short jump here. This
// is probably fallout of the hack that exists for x86_32.
// jmp L1
// FIXME: We don't support this, and would currently get it wrong, it should be a jump to an absolute address.
// jmp L0 - _g0
// jmp _g1 - _g0
// FIXME: Darwin 'as' comes up with 'SIGNED' here instead of 'BRANCH'.
// jmp _g1 - L1
// FIXME: Darwin 'as' gets this completely wrong. It ends up with a single
// branch relocation. Fallout from the other delta hack?
// jmp L1 - _g0
jmp _g2
jmp L2
jmp _g3
jmp L3
// FIXME: Darwin 'as' gets this completely wrong. It ends up with a single
// branch relocation. Fallout from the other delta hack?
// jmp L2 - _g3
// jmp _g3 - _g2
// FIXME: Darwin 'as' comes up with 'SIGNED' here instead of 'BRANCH'.
// jmp _g3 - L3
// FIXME: Darwin 'as' gets this completely wrong. It ends up with a single
// branch relocation. Fallout from the other delta hack?
// jmp L3 - _g2
movl %eax,4(%rip)
// movl %eax,_baz(%rip)
movl %eax,_g0(%rip)
movl %eax,L0(%rip)
movl %eax,_g1(%rip)
movl %eax,L1(%rip)
// FIXME: Darwin 'as' gets most of these wrong, and there is an ambiguity in ATT
// syntax in what they should mean in the first place (absolute or
// rip-relative address).
// movl %eax,L0 - _g0(%rip)
// movl %eax,_g1 - _g0(%rip)
// movl %eax,_g1 - L1(%rip)
// movl %eax,L1 - _g0(%rip)
movl %eax,_g2(%rip)
movl %eax,L2(%rip)
movl %eax,_g3(%rip)
movl %eax,L3(%rip)
// FIXME: Darwin 'as' gets most of these wrong, and there is an ambiguity in ATT
// syntax in what they should mean in the first place (absolute or
// rip-relative address).
// movl %eax,L2 - _g2(%rip)
// movl %eax,_g3 - _g2(%rip)
// movl %eax,_g3 - L3(%rip)
// movl %eax,L3 - _g2(%rip)
_g1:
xorl %eax,%eax
L1:
xorl %eax,%eax
.data
_g2:
xorl %eax,%eax
L2:
.quad 4
// .quad _baz
.quad _g2
.quad L2
.quad _g3
.quad L3
.quad L2 - _g2
.quad _g3 - _g2
.quad L3 - _g2
.quad L3 - _g3
.quad _g0
.quad L0
.quad _g1
.quad L1
.quad L0 - _g0
.quad _g1 - _g0
.quad L1 - _g0
.quad L1 - _g1
_g3:
xorl %eax,%eax
L3:
xorl %eax,%eax
// FIXME: Unfortunately, we do not get these relocations in exactly the same
// order as Darwin 'as'. It turns out that 'as' *usually* ends up emitting
// them in reverse address order, but sometimes it allocates some
Fix a ton of comment typos found by codespell. Patch by Luis Felipe Strano Moraes! llvm-svn: 129558
2011-04-15 13:18:47 +08:00
// additional relocations late so these end up precede the other entries. I
MC/Mach-O/x86_64: Add relocation support. - This is "extraordinarily" Darwin 'as' compatible. See the litany of FIXMEs littered about for more information. - There are a few cases which seem to clearly be 'as' bugs which I have left unsupported, and there is one cases where we diverge but should fix if it blocks diffing .o files (Darwin 'as' ends up widening a jump unnecessarily). - 403.gcc build, runs, and diffs equivalently to the 'as' built version now (using llvm-mc). However, it builds so slowly that I wouldn't recommend trying it quite yet. :) llvm-svn: 98974
2010-03-20 02:07:55 +08:00
// haven't figured out the exact criteria for this yet.
[MC] Convert all the remaining tests from macho-dump to llvm-readobj. This sort-of deprecates macho-dump. It may take still a little while to garbage collect it, but at least there's no real usage of it in the tree anymore. New tests should always rely on llvm-readobj or llvm-objdump. llvm-svn: 247235
2015-09-10 09:50:00 +08:00
// 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: 0x5E
// CHECK: Offset: 384
// CHECK: Alignment: 0
// CHECK: RelocationOffset: 0x26C
// CHECK: RelocationCount: 12
// 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: 31C031C0 E9040000 00EBF9E9 00000000 |1.1.............|
// CHECK: 0010: E9000000 00E90200 0000E900 000000E9 |................|
// CHECK: 0020: 02000000 89050400 00008905 D2FFFFFF |................|
// CHECK: 0030: 8905CEFF FFFF8905 00000000 89050200 |................|
// CHECK: 0040: 00008905 00000000 89050200 00008905 |................|
// CHECK: 0050: 00000000 89050200 000031C0 31C0 |..........1.1.|
// 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: 0x5E
// CHECK: Size: 0x8E
// CHECK: Offset: 478
// CHECK: Alignment: 0
// CHECK: RelocationOffset: 0x2CC
// CHECK: RelocationCount: 16
// CHECK: Type: 0x0
// CHECK: Attributes [ (0x4)
// CHECK: SomeInstructions (0x4)
// CHECK: ]
// CHECK: Reserved1: 0x0
// CHECK: Reserved2: 0x0
// CHECK: Reserved3: 0x0
// CHECK: SectionData (
// CHECK: 0000: 31C00400 00000000 00000000 00000000 |1...............|
// CHECK: 0010: 00000200 00000000 00000000 00000000 |................|
// CHECK: 0020: 00000200 00000000 00000200 00000000 |................|
// CHECK: 0030: 00000000 00000000 00000200 00000000 |................|
// CHECK: 0040: 00000200 00000000 00000000 00000000 |................|
// CHECK: 0050: 00000200 00000000 00000000 00000000 |................|
// CHECK: 0060: 00000200 00000000 00000200 00000000 |................|
// CHECK: 0070: 00000000 00000000 00000200 00000000 |................|
// CHECK: 0080: 00000200 00000000 000031C0 31C0 |..........1.1.|
// CHECK: )
// CHECK: }
// CHECK: ]
// CHECK: Relocations [
// CHECK: Section __text {
// CHECK: 0x56 1 2 1 X86_64_RELOC_SIGNED 0 _g3
// CHECK: 0x50 1 2 1 X86_64_RELOC_SIGNED 0 _g3
// CHECK: 0x4A 1 2 1 X86_64_RELOC_SIGNED 0 _g2
// CHECK: 0x44 1 2 1 X86_64_RELOC_SIGNED 0 _g2
// CHECK: 0x3E 1 2 1 X86_64_RELOC_SIGNED 0 _g1
// CHECK: 0x38 1 2 1 X86_64_RELOC_SIGNED 0 _g1
// CHECK: 0x20 1 2 1 X86_64_RELOC_BRANCH 0 _g3
// CHECK: 0x1B 1 2 1 X86_64_RELOC_BRANCH 0 _g3
// CHECK: 0x16 1 2 1 X86_64_RELOC_BRANCH 0 _g2
// CHECK: 0x11 1 2 1 X86_64_RELOC_BRANCH 0 _g2
// CHECK: 0xC 1 2 1 X86_64_RELOC_BRANCH 0 _g1
// CHECK: 0x5 1 2 1 X86_64_RELOC_BRANCH 0 _foo
// CHECK: }
// CHECK: Section __data {
// CHECK: 0x7A 0 3 1 X86_64_RELOC_SUBTRACTOR 0 _g0
// CHECK: 0x7A 0 3 1 X86_64_RELOC_UNSIGNED 0 _g1
// CHECK: 0x72 0 3 1 X86_64_RELOC_SUBTRACTOR 0 _g0
// CHECK: 0x72 0 3 1 X86_64_RELOC_UNSIGNED 0 _g1
// CHECK: 0x62 0 3 1 X86_64_RELOC_UNSIGNED 0 _g1
// CHECK: 0x5A 0 3 1 X86_64_RELOC_UNSIGNED 0 _g1
// CHECK: 0x52 0 3 1 X86_64_RELOC_UNSIGNED 0 _g0
// CHECK: 0x4A 0 3 1 X86_64_RELOC_UNSIGNED 0 _g0
// CHECK: 0x3A 0 3 1 X86_64_RELOC_SUBTRACTOR 0 _g2
// CHECK: 0x3A 0 3 1 X86_64_RELOC_UNSIGNED 0 _g3
// CHECK: 0x32 0 3 1 X86_64_RELOC_SUBTRACTOR 0 _g2
// CHECK: 0x32 0 3 1 X86_64_RELOC_UNSIGNED 0 _g3
// CHECK: 0x22 0 3 1 X86_64_RELOC_UNSIGNED 0 _g3
// CHECK: 0x1A 0 3 1 X86_64_RELOC_UNSIGNED 0 _g3
// CHECK: 0x12 0 3 1 X86_64_RELOC_UNSIGNED 0 _g2
// CHECK: 0xA 0 3 1 X86_64_RELOC_UNSIGNED 0 _g2
// CHECK: }
// CHECK: ]
// CHECK: Symbols [
// CHECK: Symbol {
// CHECK: Name: _foo (1)
// CHECK: Type: Section (0xE)
// CHECK: Section: __text (0x1)
// CHECK: RefType: UndefinedNonLazy (0x0)
// CHECK: Flags [ (0x0)
// CHECK: ]
// CHECK: Value: 0x0
// CHECK: }
// CHECK: Symbol {
// CHECK: Name: _g0 (18)
// CHECK: Type: Section (0xE)
// CHECK: Section: __text (0x1)
// CHECK: RefType: UndefinedNonLazy (0x0)
// CHECK: Flags [ (0x0)
// CHECK: ]
// CHECK: Value: 0x2
// CHECK: }
// CHECK: Symbol {
// CHECK: Name: _g1 (14)
// CHECK: Type: Section (0xE)
// CHECK: Section: __text (0x1)
// CHECK: RefType: UndefinedNonLazy (0x0)
// CHECK: Flags [ (0x0)
// CHECK: ]
// CHECK: Value: 0x5A
// CHECK: }
// CHECK: Symbol {
// CHECK: Name: _g2 (10)
// CHECK: Type: Section (0xE)
// CHECK: Section: __data (0x2)
// CHECK: RefType: UndefinedNonLazy (0x0)
// CHECK: Flags [ (0x0)
// CHECK: ]
// CHECK: Value: 0x5E
// CHECK: }
// CHECK: Symbol {
// CHECK: Name: _g3 (6)
// CHECK: Type: Section (0xE)
// CHECK: Section: __data (0x2)
// CHECK: RefType: UndefinedNonLazy (0x0)
// CHECK: Flags [ (0x0)
// CHECK: ]
// CHECK: Value: 0xE8
// 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: 0xEC
// CHECK: fileoff: 384
// CHECK: filesize: 236
// CHECK: maxprot: rwx
// CHECK: initprot: rwx
// CHECK: nsects: 2
// CHECK: flags: 0x0
// CHECK: }
// CHECK: Dysymtab {
// CHECK: ilocalsym: 0
// CHECK: nlocalsym: 5
// CHECK: iextdefsym: 5
// CHECK: nextdefsym: 0
// CHECK: iundefsym: 5
// 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: }