Kevin O'Connor | 202024a | 2009-01-17 10:41:28 -0500 | [diff] [blame] | 1 | #!/usr/bin/env python |
Kevin O'Connor | 5b8f809 | 2009-09-20 19:47:45 -0400 | [diff] [blame] | 2 | # Script to analyze code and arrange ld sections. |
Kevin O'Connor | 202024a | 2009-01-17 10:41:28 -0500 | [diff] [blame] | 3 | # |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 4 | # Copyright (C) 2008-2010 Kevin O'Connor <kevin@koconnor.net> |
Kevin O'Connor | 202024a | 2009-01-17 10:41:28 -0500 | [diff] [blame] | 5 | # |
| 6 | # This file may be distributed under the terms of the GNU GPLv3 license. |
| 7 | |
| 8 | import sys |
| 9 | |
Kevin O'Connor | 5b8f809 | 2009-09-20 19:47:45 -0400 | [diff] [blame] | 10 | # LD script headers/trailers |
| 11 | COMMONHEADER = """ |
| 12 | /* DO NOT EDIT! This is an autogenerated file. See tools/layoutrom.py. */ |
| 13 | OUTPUT_FORMAT("elf32-i386") |
| 14 | OUTPUT_ARCH("i386") |
| 15 | SECTIONS |
| 16 | { |
| 17 | """ |
| 18 | COMMONTRAILER = """ |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 19 | |
| 20 | /* Discard regular data sections to force a link error if |
| 21 | * code attempts to access data not marked with VAR16 (or other |
| 22 | * appropriate macro) |
| 23 | */ |
| 24 | /DISCARD/ : { |
| 25 | *(.text*) *(.data*) *(.bss*) *(.rodata*) |
| 26 | *(COMMON) *(.discard*) *(.eh_frame) |
| 27 | } |
Kevin O'Connor | 5b8f809 | 2009-09-20 19:47:45 -0400 | [diff] [blame] | 28 | } |
| 29 | """ |
| 30 | |
Kevin O'Connor | c069394 | 2009-06-10 21:56:01 -0400 | [diff] [blame] | 31 | |
| 32 | ###################################################################### |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 33 | # Determine section locations |
Kevin O'Connor | c069394 | 2009-06-10 21:56:01 -0400 | [diff] [blame] | 34 | ###################################################################### |
| 35 | |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 36 | # Align 'pos' to 'alignbytes' offset |
| 37 | def alignpos(pos, alignbytes): |
| 38 | mask = alignbytes - 1 |
| 39 | return (pos + mask) & ~mask |
| 40 | |
| 41 | # Determine the final addresses for a list of sections that end at an |
Kevin O'Connor | 5b8f809 | 2009-09-20 19:47:45 -0400 | [diff] [blame] | 42 | # address. |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 43 | def setSectionsStart(sections, endaddr, minalign=1): |
Kevin O'Connor | 5b8f809 | 2009-09-20 19:47:45 -0400 | [diff] [blame] | 44 | totspace = 0 |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 45 | for section in sections: |
| 46 | if section.align > minalign: |
| 47 | minalign = section.align |
| 48 | totspace = alignpos(totspace, section.align) + section.size |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 49 | startaddr = (endaddr - totspace) / minalign * minalign |
| 50 | curaddr = startaddr |
| 51 | # out = [(addr, sectioninfo), ...] |
| 52 | out = [] |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 53 | for section in sections: |
| 54 | curaddr = alignpos(curaddr, section.align) |
| 55 | section.finalloc = curaddr |
| 56 | curaddr += section.size |
| 57 | return startaddr |
Kevin O'Connor | c069394 | 2009-06-10 21:56:01 -0400 | [diff] [blame] | 58 | |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 59 | # The 16bit code can't exceed 64K of space. |
| 60 | BUILD_BIOS_ADDR = 0xf0000 |
| 61 | BUILD_BIOS_SIZE = 0x10000 |
| 62 | |
| 63 | # Layout the 16bit code. This ensures sections with fixed offset |
| 64 | # requirements are placed in the correct location. It also places the |
| 65 | # 16bit code as high as possible in the f-segment. |
| 66 | def fitSections(sections, fillsections): |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 67 | # fixedsections = [(addr, section), ...] |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 68 | fixedsections = [] |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 69 | for section in sections: |
| 70 | if section.name.startswith('.fixedaddr.'): |
| 71 | addr = int(section.name[11:], 16) |
| 72 | section.finalloc = addr |
| 73 | fixedsections.append((addr, section)) |
| 74 | if section.align != 1: |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 75 | print "Error: Fixed section %s has non-zero alignment (%d)" % ( |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 76 | section.name, section.align) |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 77 | sys.exit(1) |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 78 | fixedsections.sort() |
| 79 | firstfixed = fixedsections[0][0] |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 80 | |
| 81 | # Find freespace in fixed address area |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 82 | # fixedAddr = [(freespace, section), ...] |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 83 | fixedAddr = [] |
| 84 | for i in range(len(fixedsections)): |
| 85 | fixedsectioninfo = fixedsections[i] |
| 86 | addr, section = fixedsectioninfo |
| 87 | if i == len(fixedsections) - 1: |
| 88 | nextaddr = BUILD_BIOS_SIZE |
| 89 | else: |
| 90 | nextaddr = fixedsections[i+1][0] |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 91 | avail = nextaddr - addr - section.size |
| 92 | fixedAddr.append((avail, section)) |
| 93 | fixedAddr.sort() |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 94 | |
| 95 | # Attempt to fit other sections into fixed area |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 96 | canrelocate = [(section.size, section.align, section.name, section) |
| 97 | for section in fillsections] |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 98 | canrelocate.sort() |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 99 | canrelocate = [section for size, align, name, section in canrelocate] |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 100 | totalused = 0 |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 101 | for freespace, fixedsection in fixedAddr: |
| 102 | addpos = fixedsection.finalloc + fixedsection.size |
| 103 | totalused += fixedsection.size |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 104 | nextfixedaddr = addpos + freespace |
| 105 | # print "Filling section %x uses %d, next=%x, available=%d" % ( |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 106 | # fixedsection.finalloc, fixedsection.size, nextfixedaddr, freespace) |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 107 | while 1: |
| 108 | canfit = None |
| 109 | for fitsection in canrelocate: |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 110 | if addpos + fitsection.size > nextfixedaddr: |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 111 | # Can't fit and nothing else will fit. |
| 112 | break |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 113 | fitnextaddr = alignpos(addpos, fitsection.align) + fitsection.size |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 114 | # print "Test %s - %x vs %x" % ( |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 115 | # fitsection.name, fitnextaddr, nextfixedaddr) |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 116 | if fitnextaddr > nextfixedaddr: |
| 117 | # This item can't fit. |
| 118 | continue |
| 119 | canfit = (fitnextaddr, fitsection) |
| 120 | if canfit is None: |
| 121 | break |
| 122 | # Found a section that can fit. |
| 123 | fitnextaddr, fitsection = canfit |
| 124 | canrelocate.remove(fitsection) |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 125 | fitsection.finalloc = addpos |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 126 | addpos = fitnextaddr |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 127 | totalused += fitsection.size |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 128 | # print " Adding %s (size %d align %d) pos=%x avail=%d" % ( |
| 129 | # fitsection[2], fitsection[0], fitsection[1] |
| 130 | # , fitnextaddr, nextfixedaddr - fitnextaddr) |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 131 | |
| 132 | # Report stats |
| 133 | total = BUILD_BIOS_SIZE-firstfixed |
| 134 | slack = total - totalused |
| 135 | print ("Fixed space: 0x%x-0x%x total: %d slack: %d" |
| 136 | " Percent slack: %.1f%%" % ( |
| 137 | firstfixed, BUILD_BIOS_SIZE, total, slack, |
| 138 | (float(slack) / total) * 100.0)) |
| 139 | |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 140 | return firstfixed |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 141 | |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 142 | # Return the subset of sections with a given name prefix |
Kevin O'Connor | d1b4f96 | 2010-09-15 21:38:16 -0400 | [diff] [blame] | 143 | def getSectionsPrefix(sections, category, prefix): |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 144 | return [section for section in sections |
Kevin O'Connor | d1b4f96 | 2010-09-15 21:38:16 -0400 | [diff] [blame] | 145 | if section.category == category and section.name.startswith(prefix)] |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 146 | |
| 147 | def doLayout(sections): |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 148 | # Determine 16bit positions |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 149 | textsections = getSectionsPrefix(sections, '16', '.text.') |
| 150 | rodatasections = (getSectionsPrefix(sections, '16', '.rodata.str1.1') |
| 151 | + getSectionsPrefix(sections, '16', '.rodata.__func__.')) |
| 152 | datasections = getSectionsPrefix(sections, '16', '.data16.') |
| 153 | fixedsections = getSectionsPrefix(sections, '16', '.fixedaddr.') |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 154 | |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 155 | firstfixed = fitSections(fixedsections, textsections) |
| 156 | remsections = [s for s in textsections+rodatasections+datasections |
| 157 | if s.finalloc is None] |
| 158 | code16_start = setSectionsStart(remsections, firstfixed) |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 159 | |
| 160 | # Determine 32seg positions |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 161 | textsections = getSectionsPrefix(sections, '32seg', '.text.') |
| 162 | rodatasections = (getSectionsPrefix(sections, '32seg', '.rodata.str1.1') |
| 163 | +getSectionsPrefix(sections, '32seg', '.rodata.__func__.')) |
| 164 | datasections = getSectionsPrefix(sections, '32seg', '.data32seg.') |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 165 | |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 166 | code32seg_start = setSectionsStart( |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 167 | textsections + rodatasections + datasections, code16_start) |
| 168 | |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 169 | # Determine 32flat runtime positions |
| 170 | textsections = getSectionsPrefix(sections, '32flat', '.text.') |
| 171 | rodatasections = getSectionsPrefix(sections, '32flat', '.rodata') |
| 172 | datasections = getSectionsPrefix(sections, '32flat', '.data.') |
| 173 | bsssections = getSectionsPrefix(sections, '32flat', '.bss.') |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 174 | |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 175 | code32flat_start = setSectionsStart( |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 176 | textsections + rodatasections + datasections + bsssections |
| 177 | , code32seg_start + BUILD_BIOS_ADDR, 16) |
| 178 | |
Kevin O'Connor | d1b4f96 | 2010-09-15 21:38:16 -0400 | [diff] [blame] | 179 | # Determine 32flat init positions |
| 180 | textsections = getSectionsPrefix(sections, '32init', '.text.') |
| 181 | rodatasections = getSectionsPrefix(sections, '32init', '.rodata') |
| 182 | datasections = getSectionsPrefix(sections, '32init', '.data.') |
| 183 | bsssections = getSectionsPrefix(sections, '32init', '.bss.') |
| 184 | |
| 185 | code32init_start = setSectionsStart( |
| 186 | textsections + rodatasections + datasections + bsssections |
| 187 | , code32flat_start, 16) |
| 188 | |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 189 | # Print statistics |
| 190 | size16 = BUILD_BIOS_SIZE - code16_start |
| 191 | size32seg = code16_start - code32seg_start |
| 192 | size32flat = code32seg_start + BUILD_BIOS_ADDR - code32flat_start |
Kevin O'Connor | d1b4f96 | 2010-09-15 21:38:16 -0400 | [diff] [blame] | 193 | size32init = code32flat_start - code32init_start |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 194 | print "16bit size: %d" % size16 |
| 195 | print "32bit segmented size: %d" % size32seg |
| 196 | print "32bit flat size: %d" % size32flat |
Kevin O'Connor | d1b4f96 | 2010-09-15 21:38:16 -0400 | [diff] [blame] | 197 | print "32bit flat init size: %d" % size32init |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 198 | |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 199 | |
| 200 | ###################################################################### |
| 201 | # Linker script output |
| 202 | ###################################################################### |
| 203 | |
| 204 | # Write LD script includes for the given cross references |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 205 | def outXRefs(sections): |
| 206 | xrefs = {} |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 207 | out = "" |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 208 | for section in sections: |
| 209 | for reloc in section.relocs: |
| 210 | symbol = reloc.symbol |
| 211 | if (symbol.section is None |
Kevin O'Connor | f3fe3aa | 2010-12-05 12:38:33 -0500 | [diff] [blame] | 212 | or (symbol.section.fileid == section.fileid |
| 213 | and symbol.name == reloc.symbolname) |
| 214 | or reloc.symbolname in xrefs): |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 215 | continue |
Kevin O'Connor | f3fe3aa | 2010-12-05 12:38:33 -0500 | [diff] [blame] | 216 | xrefs[reloc.symbolname] = 1 |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 217 | addr = symbol.section.finalloc + symbol.offset |
| 218 | if (section.fileid == '32flat' |
| 219 | and symbol.section.fileid in ('16', '32seg')): |
| 220 | addr += BUILD_BIOS_ADDR |
Kevin O'Connor | f3fe3aa | 2010-12-05 12:38:33 -0500 | [diff] [blame] | 221 | out += "%s = 0x%x ;\n" % (reloc.symbolname, addr) |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 222 | return out |
| 223 | |
| 224 | # Write LD script includes for the given sections using relative offsets |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 225 | def outRelSections(sections, startsym): |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 226 | out = "" |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 227 | for section in sections: |
| 228 | out += ". = ( 0x%x - %s ) ;\n" % (section.finalloc, startsym) |
| 229 | if section.name == '.rodata.str1.1': |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 230 | out += "_rodata = . ;\n" |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 231 | out += "*(%s)\n" % (section.name,) |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 232 | return out |
| 233 | |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 234 | def getSectionsFile(sections, fileid, defaddr=0): |
| 235 | sections = [(section.finalloc, section) |
| 236 | for section in sections if section.fileid == fileid] |
| 237 | sections.sort() |
| 238 | sections = [section for addr, section in sections] |
| 239 | pos = defaddr |
| 240 | if sections: |
| 241 | pos = sections[0].finalloc |
| 242 | return sections, pos |
Kevin O'Connor | 871e0a0 | 2009-12-30 12:14:53 -0500 | [diff] [blame] | 243 | |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 244 | # Layout the 32bit segmented code. This places the code as high as possible. |
Kevin O'Connor | 402fd9c | 2010-09-15 00:26:19 -0400 | [diff] [blame] | 245 | def writeLinkerScripts(sections, entrysym, genreloc, out16, out32seg, out32flat): |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 246 | # Write 16bit linker script |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 247 | sections16, code16_start = getSectionsFile(sections, '16') |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 248 | output = open(out16, 'wb') |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 249 | output.write(COMMONHEADER + outXRefs(sections16) + """ |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 250 | code16_start = 0x%x ; |
| 251 | .text16 code16_start : { |
| 252 | """ % (code16_start) |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 253 | + outRelSections(sections16, 'code16_start') |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 254 | + """ |
| 255 | } |
| 256 | """ |
| 257 | + COMMONTRAILER) |
| 258 | output.close() |
Kevin O'Connor | 871e0a0 | 2009-12-30 12:14:53 -0500 | [diff] [blame] | 259 | |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 260 | # Write 32seg linker script |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 261 | sections32seg, code32seg_start = getSectionsFile( |
| 262 | sections, '32seg', code16_start) |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 263 | output = open(out32seg, 'wb') |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 264 | output.write(COMMONHEADER + outXRefs(sections32seg) + """ |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 265 | code32seg_start = 0x%x ; |
| 266 | .text32seg code32seg_start : { |
| 267 | """ % (code32seg_start) |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 268 | + outRelSections(sections32seg, 'code32seg_start') |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 269 | + """ |
| 270 | } |
| 271 | """ |
| 272 | + COMMONTRAILER) |
| 273 | output.close() |
Kevin O'Connor | 871e0a0 | 2009-12-30 12:14:53 -0500 | [diff] [blame] | 274 | |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 275 | # Write 32flat linker script |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 276 | sections32flat, code32flat_start = getSectionsFile( |
| 277 | sections, '32flat', code32seg_start) |
Kevin O'Connor | 402fd9c | 2010-09-15 00:26:19 -0400 | [diff] [blame] | 278 | relocstr = "" |
| 279 | relocminalign = 0 |
| 280 | if genreloc: |
| 281 | # Generate relocations |
| 282 | relocstr, size, relocminalign = genRelocs(sections) |
| 283 | code32flat_start -= size |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 284 | output = open(out32flat, 'wb') |
| 285 | output.write(COMMONHEADER |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 286 | + outXRefs(sections32flat) + """ |
| 287 | %s = 0x%x ; |
Kevin O'Connor | 402fd9c | 2010-09-15 00:26:19 -0400 | [diff] [blame] | 288 | _reloc_min_align = 0x%x ; |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 289 | code32flat_start = 0x%x ; |
| 290 | .text code32flat_start : { |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 291 | """ % (entrysym.name, |
| 292 | entrysym.section.finalloc + entrysym.offset + BUILD_BIOS_ADDR, |
Kevin O'Connor | 402fd9c | 2010-09-15 00:26:19 -0400 | [diff] [blame] | 293 | relocminalign, code32flat_start) |
| 294 | + relocstr |
| 295 | + """ |
| 296 | code32init_start = ABSOLUTE(.) ; |
| 297 | """ |
Kevin O'Connor | d1b4f96 | 2010-09-15 21:38:16 -0400 | [diff] [blame] | 298 | + outRelSections(getSectionsPrefix(sections32flat, '32init', '') |
| 299 | , 'code32flat_start') |
| 300 | + """ |
| 301 | code32init_end = ABSOLUTE(.) ; |
| 302 | """ |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 303 | + outRelSections(getSectionsPrefix(sections32flat, '32flat', '') |
| 304 | , 'code32flat_start') |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 305 | + """ |
| 306 | . = ( 0x%x - code32flat_start ) ; |
| 307 | *(.text32seg) |
| 308 | . = ( 0x%x - code32flat_start ) ; |
| 309 | *(.text16) |
| 310 | code32flat_end = ABSOLUTE(.) ; |
| 311 | } :text |
| 312 | """ % (code32seg_start + BUILD_BIOS_ADDR, code16_start + BUILD_BIOS_ADDR) |
| 313 | + COMMONTRAILER |
| 314 | + """ |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 315 | ENTRY(%s) |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 316 | PHDRS |
| 317 | { |
| 318 | text PT_LOAD AT ( code32flat_start ) ; |
| 319 | } |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 320 | """ % (entrysym.name,)) |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 321 | output.close() |
Kevin O'Connor | c069394 | 2009-06-10 21:56:01 -0400 | [diff] [blame] | 322 | |
| 323 | |
| 324 | ###################################################################### |
Kevin O'Connor | d1b4f96 | 2010-09-15 21:38:16 -0400 | [diff] [blame] | 325 | # Detection of init code |
| 326 | ###################################################################### |
| 327 | |
Kevin O'Connor | 402fd9c | 2010-09-15 00:26:19 -0400 | [diff] [blame] | 328 | # Determine init section relocations |
| 329 | def genRelocs(sections): |
| 330 | absrelocs = [] |
| 331 | relrelocs = [] |
| 332 | initrelocs = [] |
| 333 | minalign = 16 |
| 334 | for section in sections: |
| 335 | if section.category == '32init' and section.align > minalign: |
| 336 | minalign = section.align |
| 337 | for reloc in section.relocs: |
| 338 | symbol = reloc.symbol |
| 339 | if symbol.section is None: |
| 340 | continue |
| 341 | relocpos = section.finalloc + reloc.offset |
| 342 | if (reloc.type == 'R_386_32' and section.category == '32init' |
| 343 | and symbol.section.category == '32init'): |
| 344 | # Absolute relocation |
| 345 | absrelocs.append(relocpos) |
| 346 | elif (reloc.type == 'R_386_PC32' and section.category == '32init' |
| 347 | and symbol.section.category != '32init'): |
| 348 | # Relative relocation |
| 349 | relrelocs.append(relocpos) |
| 350 | elif (section.category != '32init' |
| 351 | and symbol.section.category == '32init'): |
| 352 | # Relocation to the init section |
| 353 | if section.fileid in ('16', '32seg'): |
| 354 | relocpos += BUILD_BIOS_ADDR |
| 355 | initrelocs.append(relocpos) |
| 356 | absrelocs.sort() |
| 357 | relrelocs.sort() |
| 358 | initrelocs.sort() |
| 359 | out = (" _reloc_abs_start = ABSOLUTE(.) ;\n" |
| 360 | + "".join(["LONG(0x%x - code32init_start)\n" % (pos,) |
| 361 | for pos in absrelocs]) |
| 362 | + " _reloc_abs_end = ABSOLUTE(.) ;\n" |
| 363 | + " _reloc_rel_start = ABSOLUTE(.) ;\n" |
| 364 | + "".join(["LONG(0x%x - code32init_start)\n" % (pos,) |
| 365 | for pos in relrelocs]) |
| 366 | + " _reloc_rel_end = ABSOLUTE(.) ;\n" |
| 367 | + " _reloc_init_start = ABSOLUTE(.) ;\n" |
| 368 | + "".join(["LONG(0x%x - code32flat_start)\n" % (pos,) |
| 369 | for pos in initrelocs]) |
| 370 | + " _reloc_init_end = ABSOLUTE(.) ;\n") |
| 371 | return out, len(absrelocs + relrelocs + initrelocs) * 4, minalign |
| 372 | |
Kevin O'Connor | d1b4f96 | 2010-09-15 21:38:16 -0400 | [diff] [blame] | 373 | def markRuntime(section, sections): |
| 374 | if (section is None or not section.keep or section.category is not None |
| 375 | or '.init.' in section.name or section.fileid != '32flat'): |
| 376 | return |
| 377 | section.category = '32flat' |
| 378 | # Recursively mark all sections this section points to |
| 379 | for reloc in section.relocs: |
| 380 | markRuntime(reloc.symbol.section, sections) |
| 381 | |
| 382 | def findInit(sections): |
| 383 | # Recursively find and mark all "runtime" sections. |
| 384 | for section in sections: |
| 385 | if '.runtime.' in section.name or '.export.' in section.name: |
| 386 | markRuntime(section, sections) |
| 387 | for section in sections: |
| 388 | if section.category is not None: |
| 389 | continue |
| 390 | if section.fileid == '32flat': |
| 391 | section.category = '32init' |
| 392 | else: |
| 393 | section.category = section.fileid |
| 394 | |
| 395 | |
| 396 | ###################################################################### |
Kevin O'Connor | c069394 | 2009-06-10 21:56:01 -0400 | [diff] [blame] | 397 | # Section garbage collection |
| 398 | ###################################################################### |
| 399 | |
Kevin O'Connor | f3fe3aa | 2010-12-05 12:38:33 -0500 | [diff] [blame] | 400 | CFUNCPREFIX = [('_cfunc16_', 0), ('_cfunc32seg_', 1), ('_cfunc32flat_', 2)] |
| 401 | |
Kevin O'Connor | fdca418 | 2010-01-01 12:46:54 -0500 | [diff] [blame] | 402 | # Find and keep the section associated with a symbol (if available). |
Kevin O'Connor | f3fe3aa | 2010-12-05 12:38:33 -0500 | [diff] [blame] | 403 | def keepsymbol(reloc, infos, pos, isxref): |
| 404 | symbolname = reloc.symbolname |
| 405 | mustbecfunc = 0 |
| 406 | for symprefix, needpos in CFUNCPREFIX: |
| 407 | if symbolname.startswith(symprefix): |
| 408 | if needpos != pos: |
| 409 | return -1 |
| 410 | symbolname = symbolname[len(symprefix):] |
| 411 | mustbecfunc = 1 |
| 412 | break |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 413 | symbol = infos[pos][1].get(symbolname) |
| 414 | if (symbol is None or symbol.section is None |
| 415 | or symbol.section.name.startswith('.discard.')): |
Kevin O'Connor | fdca418 | 2010-01-01 12:46:54 -0500 | [diff] [blame] | 416 | return -1 |
Kevin O'Connor | f3fe3aa | 2010-12-05 12:38:33 -0500 | [diff] [blame] | 417 | isdestcfunc = (symbol.section.name.startswith('.text.') |
| 418 | and not symbol.section.name.startswith('.text.asm.')) |
| 419 | if ((mustbecfunc and not isdestcfunc) |
| 420 | or (not mustbecfunc and isdestcfunc and isxref)): |
| 421 | return -1 |
| 422 | |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 423 | reloc.symbol = symbol |
| 424 | keepsection(symbol.section, infos, pos) |
Kevin O'Connor | fdca418 | 2010-01-01 12:46:54 -0500 | [diff] [blame] | 425 | return 0 |
| 426 | |
Kevin O'Connor | 5b8f809 | 2009-09-20 19:47:45 -0400 | [diff] [blame] | 427 | # Note required section, and recursively set all referenced sections |
| 428 | # as required. |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 429 | def keepsection(section, infos, pos=0): |
| 430 | if section.keep: |
Kevin O'Connor | c069394 | 2009-06-10 21:56:01 -0400 | [diff] [blame] | 431 | # Already kept - nothing to do. |
| 432 | return |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 433 | section.keep = 1 |
Kevin O'Connor | c069394 | 2009-06-10 21:56:01 -0400 | [diff] [blame] | 434 | # Keep all sections that this section points to |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 435 | for reloc in section.relocs: |
Kevin O'Connor | f3fe3aa | 2010-12-05 12:38:33 -0500 | [diff] [blame] | 436 | ret = keepsymbol(reloc, infos, pos, 0) |
Kevin O'Connor | fdca418 | 2010-01-01 12:46:54 -0500 | [diff] [blame] | 437 | if not ret: |
Kevin O'Connor | c069394 | 2009-06-10 21:56:01 -0400 | [diff] [blame] | 438 | continue |
| 439 | # Not in primary sections - it may be a cross 16/32 reference |
Kevin O'Connor | f3fe3aa | 2010-12-05 12:38:33 -0500 | [diff] [blame] | 440 | ret = keepsymbol(reloc, infos, (pos+1)%3, 1) |
Kevin O'Connor | fdca418 | 2010-01-01 12:46:54 -0500 | [diff] [blame] | 441 | if not ret: |
Kevin O'Connor | 871e0a0 | 2009-12-30 12:14:53 -0500 | [diff] [blame] | 442 | continue |
Kevin O'Connor | f3fe3aa | 2010-12-05 12:38:33 -0500 | [diff] [blame] | 443 | ret = keepsymbol(reloc, infos, (pos+2)%3, 1) |
Kevin O'Connor | fdca418 | 2010-01-01 12:46:54 -0500 | [diff] [blame] | 444 | if not ret: |
| 445 | continue |
Kevin O'Connor | c069394 | 2009-06-10 21:56:01 -0400 | [diff] [blame] | 446 | |
Kevin O'Connor | 5b8f809 | 2009-09-20 19:47:45 -0400 | [diff] [blame] | 447 | # Determine which sections are actually referenced and need to be |
| 448 | # placed into the output file. |
Kevin O'Connor | 871e0a0 | 2009-12-30 12:14:53 -0500 | [diff] [blame] | 449 | def gc(info16, info32seg, info32flat): |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 450 | # infos = ((sections16, symbols16), (sect32seg, sym32seg) |
| 451 | # , (sect32flat, sym32flat)) |
| 452 | infos = (info16, info32seg, info32flat) |
Kevin O'Connor | c069394 | 2009-06-10 21:56:01 -0400 | [diff] [blame] | 453 | # Start by keeping sections that are globally visible. |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 454 | for section in info16[0]: |
| 455 | if section.name.startswith('.fixedaddr.') or '.export.' in section.name: |
Kevin O'Connor | 871e0a0 | 2009-12-30 12:14:53 -0500 | [diff] [blame] | 456 | keepsection(section, infos) |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 457 | return [section for section in info16[0]+info32seg[0]+info32flat[0] |
| 458 | if section.keep] |
Kevin O'Connor | c069394 | 2009-06-10 21:56:01 -0400 | [diff] [blame] | 459 | |
| 460 | |
| 461 | ###################################################################### |
| 462 | # Startup and input parsing |
| 463 | ###################################################################### |
| 464 | |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 465 | class Section: |
| 466 | name = size = alignment = fileid = relocs = None |
Kevin O'Connor | d1b4f96 | 2010-09-15 21:38:16 -0400 | [diff] [blame] | 467 | finalloc = category = keep = None |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 468 | class Reloc: |
Kevin O'Connor | f3fe3aa | 2010-12-05 12:38:33 -0500 | [diff] [blame] | 469 | offset = type = symbolname = symbol = None |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 470 | class Symbol: |
| 471 | name = offset = section = None |
| 472 | |
Kevin O'Connor | c069394 | 2009-06-10 21:56:01 -0400 | [diff] [blame] | 473 | # Read in output from objdump |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 474 | def parseObjDump(file, fileid): |
| 475 | # sections = [section, ...] |
Kevin O'Connor | c069394 | 2009-06-10 21:56:01 -0400 | [diff] [blame] | 476 | sections = [] |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 477 | sectionmap = {} |
| 478 | # symbols[symbolname] = symbol |
Kevin O'Connor | c069394 | 2009-06-10 21:56:01 -0400 | [diff] [blame] | 479 | symbols = {} |
Kevin O'Connor | c069394 | 2009-06-10 21:56:01 -0400 | [diff] [blame] | 480 | |
| 481 | state = None |
| 482 | for line in file.readlines(): |
| 483 | line = line.rstrip() |
| 484 | if line == 'Sections:': |
| 485 | state = 'section' |
| 486 | continue |
| 487 | if line == 'SYMBOL TABLE:': |
| 488 | state = 'symbol' |
| 489 | continue |
Kevin O'Connor | 6c2e781 | 2010-09-13 18:04:02 -0400 | [diff] [blame] | 490 | if line.startswith('RELOCATION RECORDS FOR ['): |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 491 | sectionname = line[24:-2] |
| 492 | if sectionname.startswith('.debug_'): |
| 493 | # Skip debugging sections (to reduce parsing time) |
| 494 | state = None |
| 495 | continue |
Kevin O'Connor | c069394 | 2009-06-10 21:56:01 -0400 | [diff] [blame] | 496 | state = 'reloc' |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 497 | relocsection = sectionmap[sectionname] |
Kevin O'Connor | c069394 | 2009-06-10 21:56:01 -0400 | [diff] [blame] | 498 | continue |
| 499 | |
| 500 | if state == 'section': |
| 501 | try: |
| 502 | idx, name, size, vma, lma, fileoff, align = line.split() |
| 503 | if align[:3] != '2**': |
| 504 | continue |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 505 | section = Section() |
| 506 | section.name = name |
| 507 | section.size = int(size, 16) |
| 508 | section.align = 2**int(align[3:]) |
| 509 | section.fileid = fileid |
| 510 | section.relocs = [] |
| 511 | sections.append(section) |
| 512 | sectionmap[name] = section |
| 513 | except ValueError: |
Kevin O'Connor | c069394 | 2009-06-10 21:56:01 -0400 | [diff] [blame] | 514 | pass |
| 515 | continue |
| 516 | if state == 'symbol': |
| 517 | try: |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 518 | sectionname, size, name = line[17:].split() |
| 519 | symbol = Symbol() |
| 520 | symbol.size = int(size, 16) |
| 521 | symbol.offset = int(line[:8], 16) |
| 522 | symbol.name = name |
| 523 | symbol.section = sectionmap.get(sectionname) |
| 524 | symbols[name] = symbol |
| 525 | except ValueError: |
Kevin O'Connor | c069394 | 2009-06-10 21:56:01 -0400 | [diff] [blame] | 526 | pass |
| 527 | continue |
| 528 | if state == 'reloc': |
| 529 | try: |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 530 | off, type, symbolname = line.split() |
| 531 | reloc = Reloc() |
| 532 | reloc.offset = int(off, 16) |
| 533 | reloc.type = type |
Kevin O'Connor | f3fe3aa | 2010-12-05 12:38:33 -0500 | [diff] [blame] | 534 | reloc.symbolname = symbolname |
Kevin O'Connor | 67863be | 2010-12-24 10:23:10 -0500 | [diff] [blame] | 535 | reloc.symbol = symbols.get(symbolname) |
| 536 | if reloc.symbol is None: |
| 537 | # Some binutils (2.20.1) give section name instead |
| 538 | # of a symbol - create a dummy symbol. |
| 539 | reloc.symbol = symbol = Symbol() |
| 540 | symbol.size = 0 |
| 541 | symbol.offset = 0 |
| 542 | symbol.name = symbolname |
| 543 | symbol.section = sectionmap.get(symbolname) |
| 544 | symbols[symbolname] = symbol |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 545 | relocsection.relocs.append(reloc) |
| 546 | except ValueError: |
Kevin O'Connor | c069394 | 2009-06-10 21:56:01 -0400 | [diff] [blame] | 547 | pass |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 548 | return sections, symbols |
Kevin O'Connor | c069394 | 2009-06-10 21:56:01 -0400 | [diff] [blame] | 549 | |
| 550 | def main(): |
| 551 | # Get output name |
Kevin O'Connor | 871e0a0 | 2009-12-30 12:14:53 -0500 | [diff] [blame] | 552 | in16, in32seg, in32flat, out16, out32seg, out32flat = sys.argv[1:] |
Kevin O'Connor | c069394 | 2009-06-10 21:56:01 -0400 | [diff] [blame] | 553 | |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 554 | # Read in the objdump information |
Kevin O'Connor | c069394 | 2009-06-10 21:56:01 -0400 | [diff] [blame] | 555 | infile16 = open(in16, 'rb') |
Kevin O'Connor | 871e0a0 | 2009-12-30 12:14:53 -0500 | [diff] [blame] | 556 | infile32seg = open(in32seg, 'rb') |
| 557 | infile32flat = open(in32flat, 'rb') |
Kevin O'Connor | c069394 | 2009-06-10 21:56:01 -0400 | [diff] [blame] | 558 | |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 559 | # infoX = (sections, symbols) |
| 560 | info16 = parseObjDump(infile16, '16') |
| 561 | info32seg = parseObjDump(infile32seg, '32seg') |
| 562 | info32flat = parseObjDump(infile32flat, '32flat') |
Kevin O'Connor | c069394 | 2009-06-10 21:56:01 -0400 | [diff] [blame] | 563 | |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 564 | # Figure out which sections to keep. |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 565 | sections = gc(info16, info32seg, info32flat) |
Kevin O'Connor | c069394 | 2009-06-10 21:56:01 -0400 | [diff] [blame] | 566 | |
Kevin O'Connor | d1b4f96 | 2010-09-15 21:38:16 -0400 | [diff] [blame] | 567 | # Separate 32bit flat into runtime and init parts |
| 568 | findInit(sections) |
| 569 | |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 570 | # Determine the final memory locations of each kept section. |
Kevin O'Connor | 1a4885e | 2010-09-15 21:28:31 -0400 | [diff] [blame] | 571 | doLayout(sections) |
Kevin O'Connor | 9ba1dea | 2010-05-01 09:50:13 -0400 | [diff] [blame] | 572 | |
| 573 | # Write out linker script files. |
Kevin O'Connor | 47c8e31 | 2011-07-10 22:57:32 -0400 | [diff] [blame] | 574 | entrysym = info16[1]['entry_elf'] |
Kevin O'Connor | 402fd9c | 2010-09-15 00:26:19 -0400 | [diff] [blame] | 575 | genreloc = '_reloc_abs_start' in info32flat[1] |
| 576 | writeLinkerScripts(sections, entrysym, genreloc, out16, out32seg, out32flat) |
Kevin O'Connor | c069394 | 2009-06-10 21:56:01 -0400 | [diff] [blame] | 577 | |
Kevin O'Connor | 202024a | 2009-01-17 10:41:28 -0500 | [diff] [blame] | 578 | if __name__ == '__main__': |
| 579 | main() |