1// 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 2 3 .data 4 5 .org 0x10 6L0: 7 .long 0 8 .long 0 9 .long 0 10 .long 0 11 12_d: 13 .long 0 14L1: 15 .long 0 16 17 .text 18 19// These generate normal x86_64 (external) relocations. They could all use 20// SIGNED, but don't for pedantic compatibility with Darwin 'as'. 21 22 // SIGNED1 23 movb $0x12, _d(%rip) 24 25 // SIGNED 26 movb $0x12, _d + 1(%rip) 27 28 // SIGNED4 29 movl $0x12345678, _d(%rip) 30 31 // SIGNED 32 movl $0x12345678, _d + 1(%rip) 33 34 // SIGNED2 35 movl $0x12345678, _d + 2(%rip) 36 37 // SIGNED1 38 movl $0x12345678, _d + 3(%rip) 39 40 // SIGNED 41 movl $0x12345678, _d + 4(%rip) 42 43 movb %al, _d(%rip) 44 movb %al, _d + 1(%rip) 45 movl %eax, _d(%rip) 46 movl %eax, _d + 1(%rip) 47 movl %eax, _d + 2(%rip) 48 movl %eax, _d + 3(%rip) 49 movl %eax, _d + 4(%rip) 50 51// These have to use local relocations. Since that uses an offset into the 52// section in x86_64 (as opposed to a scattered relocation), and since the 53// linker can only decode this to an atom + offset by scanning the section, 54// it is not possible to correctly encode these without SIGNED<N>. This is 55// ultimately due to a design flaw in the x86_64 relocation format, it is 56// not possible to encode an address (L<foo> + <constant>) which is outside the 57// atom containing L<foo>. 58 59 // SIGNED1 60 movb $0x12, L0(%rip) 61 62 // SIGNED 63 movb $0x12, L0 + 1(%rip) 64 65 // SIGNED4 66 movl $0x12345678, L0(%rip) 67 68 // SIGNED 69 movl $0x12345678, L0 + 1(%rip) 70 71 // SIGNED2 72 movl $0x12345678, L0 + 2(%rip) 73 74 // SIGNED1 75 movl $0x12345678, L0 + 3(%rip) 76 77 // SIGNED 78 movl $0x12345678, L0 + 4(%rip) 79 80 movb %al, L0(%rip) 81 movb %al, L0 + 1(%rip) 82 movl %eax, L0(%rip) 83 movl %eax, L0 + 1(%rip) 84 movl %eax, L0 + 2(%rip) 85 movl %eax, L0 + 3(%rip) 86 movl %eax, L0 + 4(%rip) 87 88 // SIGNED1 89 movb $0x12, L1(%rip) 90 91 // SIGNED 92 movb $0x12, L1 + 1(%rip) 93 94 // SIGNED4 95 movl $0x12345678, L1(%rip) 96 97 // SIGNED 98 movl $0x12345678, L1 + 1(%rip) 99 100 // SIGNED2 101 movl $0x12345678, L1 + 2(%rip) 102 103 // SIGNED1 104 movl $0x12345678, L1 + 3(%rip) 105 106 // SIGNED 107 movl $0x12345678, L1 + 4(%rip) 108 109 movb %al, L1(%rip) 110 movb %al, L1 + 1(%rip) 111 movl %eax, L1(%rip) 112 movl %eax, L1 + 1(%rip) 113 movl %eax, L1 + 2(%rip) 114 movl %eax, L1 + 3(%rip) 115 movl %eax, L1 + 4(%rip) 116 117// CHECK: File: <stdin> 118// CHECK: Format: Mach-O 64-bit x86-64 119// CHECK: Arch: x86_64 120// CHECK: AddressSize: 64bit 121// CHECK: MachHeader { 122// CHECK: Magic: Magic64 (0xFEEDFACF) 123// CHECK: CpuType: X86-64 (0x1000007) 124// CHECK: CpuSubType: CPU_SUBTYPE_X86_64_ALL (0x3) 125// CHECK: FileType: Relocatable (0x1) 126// CHECK: NumOfLoadCommands: 4 127// CHECK: SizeOfLoadCommands: 352 128// CHECK: Flags [ (0x0) 129// CHECK: ] 130// CHECK: Reserved: 0x0 131// CHECK: } 132// CHECK: Sections [ 133// CHECK: Section { 134// CHECK: Index: 0 135// CHECK: Name: __text (5F 5F 74 65 78 74 00 00 00 00 00 00 00 00 00 00) 136// CHECK: Segment: __TEXT (5F 5F 54 45 58 54 00 00 00 00 00 00 00 00 00 00) 137// CHECK: Address: 0x0 138// CHECK: Size: 0x13E 139// CHECK: Offset: 384 140// CHECK: Alignment: 0 141// CHECK: RelocationOffset: 0x2E8 142// CHECK: RelocationCount: 42 143// CHECK: Type: 0x0 144// CHECK: Attributes [ (0x800004) 145// CHECK: PureInstructions (0x800000) 146// CHECK: SomeInstructions (0x4) 147// CHECK: ] 148// CHECK: Reserved1: 0x0 149// CHECK: Reserved2: 0x0 150// CHECK: Reserved3: 0x0 151// CHECK: SectionData ( 152// CHECK: 0000: C605FFFF FFFF12C6 05000000 0012C705 |................| 153// CHECK: 0010: FCFFFFFF 78563412 C705FDFF FFFF7856 |....xV4.......xV| 154// CHECK: 0020: 3412C705 FEFFFFFF 78563412 C705FFFF |4.......xV4.....| 155// CHECK: 0030: FFFF7856 3412C705 00000000 78563412 |..xV4.......xV4.| 156// CHECK: 0040: 88050000 00008805 01000000 89050000 |................| 157// CHECK: 0050: 00008905 01000000 89050200 00008905 |................| 158// CHECK: 0060: 03000000 89050400 0000C605 DD000000 |................| 159// CHECK: 0070: 12C605D7 00000012 C705CC00 00007856 |..............xV| 160// CHECK: 0080: 3412C705 C3000000 78563412 C705BA00 |4.......xV4.....| 161// CHECK: 0090: 00007856 3412C705 B1000000 78563412 |..xV4.......xV4.| 162// CHECK: 00A0: C705A800 00007856 34128805 9E000000 |......xV4.......| 163// CHECK: 00B0: 88059900 00008905 92000000 89058D00 |................| 164// CHECK: 00C0: 00008905 88000000 89058300 00008905 |................| 165// CHECK: 00D0: 7E000000 C6050300 000012C6 05040000 |~...............| 166// CHECK: 00E0: 0012C705 00000000 78563412 C7050100 |........xV4.....| 167// CHECK: 00F0: 00007856 3412C705 02000000 78563412 |..xV4.......xV4.| 168// CHECK: 0100: C7050300 00007856 3412C705 04000000 |......xV4.......| 169// CHECK: 0110: 78563412 88050400 00008805 05000000 |xV4.............| 170// CHECK: 0120: 89050400 00008905 05000000 89050600 |................| 171// CHECK: 0130: 00008905 07000000 89050800 0000 |..............| 172// CHECK: ) 173// CHECK: } 174// CHECK: Section { 175// CHECK: Index: 1 176// CHECK: Name: __data (5F 5F 64 61 74 61 00 00 00 00 00 00 00 00 00 00) 177// CHECK: Segment: __DATA (5F 5F 44 41 54 41 00 00 00 00 00 00 00 00 00 00) 178// CHECK: Address: 0x13E 179// CHECK: Size: 0x28 180// CHECK: Offset: 702 181// CHECK: Alignment: 0 182// CHECK: RelocationOffset: 0x0 183// CHECK: RelocationCount: 0 184// CHECK: Type: 0x0 185// CHECK: Attributes [ (0x0) 186// CHECK: ] 187// CHECK: Reserved1: 0x0 188// CHECK: Reserved2: 0x0 189// CHECK: Reserved3: 0x0 190// CHECK: SectionData ( 191// CHECK: 0000: 00000000 00000000 00000000 00000000 |................| 192// CHECK: 0010: 00000000 00000000 00000000 00000000 |................| 193// CHECK: 0020: 00000000 00000000 |........| 194// CHECK: ) 195// CHECK: } 196// CHECK: ] 197// CHECK: Relocations [ 198// CHECK: Section __text { 199// CHECK: 0x13A 1 2 1 X86_64_RELOC_SIGNED 0 _d 200// CHECK: 0x134 1 2 1 X86_64_RELOC_SIGNED 0 _d 201// CHECK: 0x12E 1 2 1 X86_64_RELOC_SIGNED 0 _d 202// CHECK: 0x128 1 2 1 X86_64_RELOC_SIGNED 0 _d 203// CHECK: 0x122 1 2 1 X86_64_RELOC_SIGNED 0 _d 204// CHECK: 0x11C 1 2 1 X86_64_RELOC_SIGNED 0 _d 205// CHECK: 0x116 1 2 1 X86_64_RELOC_SIGNED 0 _d 206// CHECK: 0x10C 1 2 1 X86_64_RELOC_SIGNED 0 _d 207// CHECK: 0x102 1 2 1 X86_64_RELOC_SIGNED_1 0 _d 208// CHECK: 0xF8 1 2 1 X86_64_RELOC_SIGNED_2 0 _d 209// CHECK: 0xEE 1 2 1 X86_64_RELOC_SIGNED 0 _d 210// CHECK: 0xE4 1 2 1 X86_64_RELOC_SIGNED_4 0 _d 211// CHECK: 0xDD 1 2 1 X86_64_RELOC_SIGNED 0 _d 212// CHECK: 0xD6 1 2 1 X86_64_RELOC_SIGNED_1 0 _d 213// CHECK: 0xD0 1 2 0 X86_64_RELOC_SIGNED 0 __data 214// CHECK: 0xCA 1 2 0 X86_64_RELOC_SIGNED 0 __data 215// CHECK: 0xC4 1 2 0 X86_64_RELOC_SIGNED 0 __data 216// CHECK: 0xBE 1 2 0 X86_64_RELOC_SIGNED 0 __data 217// CHECK: 0xB8 1 2 0 X86_64_RELOC_SIGNED 0 __data 218// CHECK: 0xB2 1 2 0 X86_64_RELOC_SIGNED 0 __data 219// CHECK: 0xAC 1 2 0 X86_64_RELOC_SIGNED 0 __data 220// CHECK: 0xA2 1 2 0 X86_64_RELOC_SIGNED 0 __data 221// CHECK: 0x98 1 2 0 X86_64_RELOC_SIGNED_1 0 __data 222// CHECK: 0x8E 1 2 0 X86_64_RELOC_SIGNED_2 0 __data 223// CHECK: 0x84 1 2 0 X86_64_RELOC_SIGNED 0 __data 224// CHECK: 0x7A 1 2 0 X86_64_RELOC_SIGNED_4 0 __data 225// CHECK: 0x73 1 2 0 X86_64_RELOC_SIGNED 0 __data 226// CHECK: 0x6C 1 2 0 X86_64_RELOC_SIGNED_1 0 __data 227// CHECK: 0x66 1 2 1 X86_64_RELOC_SIGNED 0 _d 228// CHECK: 0x60 1 2 1 X86_64_RELOC_SIGNED 0 _d 229// CHECK: 0x5A 1 2 1 X86_64_RELOC_SIGNED 0 _d 230// CHECK: 0x54 1 2 1 X86_64_RELOC_SIGNED 0 _d 231// CHECK: 0x4E 1 2 1 X86_64_RELOC_SIGNED 0 _d 232// CHECK: 0x48 1 2 1 X86_64_RELOC_SIGNED 0 _d 233// CHECK: 0x42 1 2 1 X86_64_RELOC_SIGNED 0 _d 234// CHECK: 0x38 1 2 1 X86_64_RELOC_SIGNED 0 _d 235// CHECK: 0x2E 1 2 1 X86_64_RELOC_SIGNED_1 0 _d 236// CHECK: 0x24 1 2 1 X86_64_RELOC_SIGNED_2 0 _d 237// CHECK: 0x1A 1 2 1 X86_64_RELOC_SIGNED 0 _d 238// CHECK: 0x10 1 2 1 X86_64_RELOC_SIGNED_4 0 _d 239// CHECK: 0x9 1 2 1 X86_64_RELOC_SIGNED 0 _d 240// CHECK: 0x2 1 2 1 X86_64_RELOC_SIGNED_1 0 _d 241// CHECK: } 242// CHECK: ] 243// CHECK: Symbols [ 244// CHECK: Symbol { 245// CHECK: Name: _d (1) 246// CHECK: Type: Section (0xE) 247// CHECK: Section: __data (0x2) 248// CHECK: RefType: UndefinedNonLazy (0x0) 249// CHECK: Flags [ (0x0) 250// CHECK: ] 251// CHECK: Value: 0x15E 252// CHECK: } 253// CHECK: ] 254// CHECK: Indirect Symbols { 255// CHECK: Number: 0 256// CHECK: Symbols [ 257// CHECK: ] 258// CHECK: } 259// CHECK: Segment { 260// CHECK: Cmd: LC_SEGMENT_64 261// CHECK: Name: 262// CHECK: Size: 232 263// CHECK: vmaddr: 0x0 264// CHECK: vmsize: 0x166 265// CHECK: fileoff: 384 266// CHECK: filesize: 358 267// CHECK: maxprot: rwx 268// CHECK: initprot: rwx 269// CHECK: nsects: 2 270// CHECK: flags: 0x0 271// CHECK: } 272// CHECK: Dysymtab { 273// CHECK: ilocalsym: 0 274// CHECK: nlocalsym: 1 275// CHECK: iextdefsym: 1 276// CHECK: nextdefsym: 0 277// CHECK: iundefsym: 1 278// CHECK: nundefsym: 0 279// CHECK: tocoff: 0 280// CHECK: ntoc: 0 281// CHECK: modtaboff: 0 282// CHECK: nmodtab: 0 283// CHECK: extrefsymoff: 0 284// CHECK: nextrefsyms: 0 285// CHECK: indirectsymoff: 0 286// CHECK: nindirectsyms: 0 287// CHECK: extreloff: 0 288// CHECK: nextrel: 0 289// CHECK: locreloff: 0 290// CHECK: nlocrel: 0 291// CHECK: } 292