| 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376 |
- #!/usr/bin/env python
- #
- # esp-idf alternative to "size" to print ELF file sizes, also analyzes
- # the linker map file to dump higher resolution details.
- #
- # Includes information which is not shown in "xtensa-esp32-elf-size",
- # or easy to parse from "xtensa-esp32-elf-objdump" or raw map files.
- #
- # Copyright 2017-2018 Espressif Systems (Shanghai) PTE LTD
- #
- # Licensed under the Apache License, Version 2.0 (the "License");
- # you may not use this file except in compliance with the License.
- # You may obtain a copy of the License at
- #
- # http://www.apache.org/licenses/LICENSE-2.0
- #
- # Unless required by applicable law or agreed to in writing, software
- # distributed under the License is distributed on an "AS IS" BASIS,
- # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
- # See the License for the specific language governing permissions and
- # limitations under the License.
- #
- from __future__ import print_function
- from __future__ import unicode_literals
- from __future__ import division
- import argparse
- import collections
- import json
- import os.path
- import re
- import sys
- DEFAULT_TOOLCHAIN_PREFIX = "xtensa-esp32-elf-"
- GLOBAL_JSON_INDENT = 4
- GLOBAL_JSON_SEPARATORS = (',', ': ')
- def scan_to_header(f, header_line):
- """ Scan forward in a file until you reach 'header_line', then return """
- for line in f:
- if line.strip() == header_line:
- return
- raise RuntimeError("Didn't find line '%s' in file" % header_line)
- def format_json(json_object):
- return json.dumps(json_object, indent=GLOBAL_JSON_INDENT, separators=GLOBAL_JSON_SEPARATORS) + "\n"
- def load_map_data(map_file):
- memory_config = load_memory_config(map_file)
- sections = load_sections(map_file)
- return memory_config, sections
- def load_memory_config(map_file):
- """ Memory Configuration section is the total size of each output section """
- result = {}
- scan_to_header(map_file, "Memory Configuration")
- RE_MEMORY_SECTION = re.compile(r"(?P<name>[^ ]+) +0x(?P<origin>[\da-f]+) +0x(?P<length>[\da-f]+)")
- for line in map_file:
- m = RE_MEMORY_SECTION.match(line)
- if m is None:
- if len(result) == 0:
- continue # whitespace or a header, before the content we want
- else:
- return result # we're at the end of the Memory Configuration
- section = {
- "name": m.group("name"),
- "origin": int(m.group("origin"), 16),
- "length": int(m.group("length"), 16),
- }
- if section["name"] != "*default*":
- result[section["name"]] = section
- raise RuntimeError("End of file while scanning memory configuration?")
- def load_sections(map_file):
- """ Load section size information from the MAP file.
- Returns a dict of 'sections', where each key is a section name and the value
- is a dict with details about this section, including a "sources" key which holds a list of source file line
- information for each symbol linked into the section.
- """
- scan_to_header(map_file, "Linker script and memory map")
- # output section header, ie '.iram0.text 0x0000000040080400 0x129a5'
- RE_SECTION_HEADER = re.compile(r"(?P<name>[^ ]+) +0x(?P<address>[\da-f]+) +0x(?P<size>[\da-f]+)$")
- # source file line, ie
- # 0x0000000040080400 0xa4 /home/gus/esp/32/idf/examples/get-started/hello_world/build/esp32/libesp32.a(cpu_start.o)
- # cmake build system links some object files directly, not part of any archive, so make that part optional
- # .xtensa.info 0x0000000000000000 0x38 CMakeFiles/hello-world.elf.dir/project_elf_src.c.obj
- RE_SOURCE_LINE = re.compile(r"\s*(?P<sym_name>\S*) +0x(?P<address>[\da-f]+) +0x(?P<size>[\da-f]+) (?P<archive>.+\.a)?\(?(?P<object_file>.+\.(o|obj))\)?")
- # Fast check to see if line is a potential source line before running the slower full regex against it
- RE_PRE_FILTER = re.compile(r".*\.(o|obj)\)?")
- # Check for lines which only contain the sym name (and rest is on following lines)
- RE_SYMBOL_ONLY_LINE = re.compile(r"^ (?P<sym_name>\S*)$")
- sections = {}
- section = None
- sym_backup = None
- for line in map_file:
- if line.strip() == "Cross Reference Table":
- # stop processing lines because we are at the next section in the map file
- break
- m = RE_SECTION_HEADER.match(line)
- if m is not None: # start of a new section
- section = {
- "name": m.group("name"),
- "address": int(m.group("address"), 16),
- "size": int(m.group("size"), 16),
- "sources": [],
- }
- sections[section["name"]] = section
- continue
- if section is not None:
- m = RE_SYMBOL_ONLY_LINE.match(line)
- if m is not None:
- # In some cases the section name appears on the previous line, back it up in here
- sym_backup = m.group("sym_name")
- continue
- if not RE_PRE_FILTER.match(line):
- # line does not match our quick check, so skip to next line
- continue
- m = RE_SOURCE_LINE.match(line)
- if m is not None: # input source file details=ma,e
- sym_name = m.group("sym_name") if len(m.group("sym_name")) > 0 else sym_backup
- archive = m.group("archive")
- if archive is None:
- # optional named group "archive" was not matched, so assign a value to it
- archive = "(exe)"
- source = {
- "size": int(m.group("size"), 16),
- "address": int(m.group("address"), 16),
- "archive": os.path.basename(archive),
- "object_file": os.path.basename(m.group("object_file")),
- "sym_name": sym_name,
- }
- source["file"] = "%s:%s" % (source["archive"], source["object_file"])
- section["sources"] += [source]
- return sections
- def sizes_by_key(sections, key):
- """ Takes a dict of sections (from load_sections) and returns
- a dict keyed by 'key' with aggregate output size information.
- Key can be either "archive" (for per-archive data) or "file" (for per-file data) in the result.
- """
- result = {}
- for section in sections.values():
- for s in section["sources"]:
- if not s[key] in result:
- result[s[key]] = {}
- archive = result[s[key]]
- if not section["name"] in archive:
- archive[section["name"]] = 0
- archive[section["name"]] += s["size"]
- return result
- def main():
- parser = argparse.ArgumentParser("idf_size - a tool to print IDF elf file sizes")
- parser.add_argument(
- '--toolchain-prefix',
- help="Triplet prefix to add before objdump executable",
- default=DEFAULT_TOOLCHAIN_PREFIX)
- parser.add_argument(
- '--json',
- help="Output results as JSON",
- action="store_true")
- parser.add_argument(
- 'map_file', help='MAP file produced by linker',
- type=argparse.FileType('r'))
- parser.add_argument(
- '--archives', help='Print per-archive sizes', action='store_true')
- parser.add_argument(
- '--archive_details', help='Print detailed symbols per archive')
- parser.add_argument(
- '--files', help='Print per-file sizes', action='store_true')
- parser.add_argument(
- '-o',
- '--output-file',
- type=argparse.FileType('w'),
- default=sys.stdout,
- help="Print output to the specified file instead of stdout")
- args = parser.parse_args()
- output = ""
- memory_config, sections = load_map_data(args.map_file)
- if not args.json or not (args.archives or args.files or args.archive_details):
- output += get_summary(memory_config, sections, args.json)
- if args.archives:
- output += get_detailed_sizes(sections, "archive", "Archive File", args.json)
- if args.files:
- output += get_detailed_sizes(sections, "file", "Object File", args.json)
- if args.archive_details:
- output += get_archive_symbols(sections, args.archive_details, args.json)
- args.output_file.write(output)
- def get_summary(memory_config, sections, as_json=False):
- def get_size(section):
- try:
- return sections[section]["size"]
- except KeyError:
- return 0
- # if linker script changes, these need to change
- total_iram = memory_config["iram0_0_seg"]["length"]
- total_dram = memory_config["dram0_0_seg"]["length"]
- used_data = get_size(".dram0.data")
- used_bss = get_size(".dram0.bss")
- used_dram = used_data + used_bss
- try:
- used_dram_ratio = used_dram / total_dram
- except ZeroDivisionError:
- used_dram_ratio = float('nan')
- used_iram = sum(get_size(s) for s in sections if s.startswith(".iram0"))
- try:
- used_iram_ratio = used_iram / total_iram
- except ZeroDivisionError:
- used_iram_ratio = float('nan')
- flash_code = get_size(".flash.text")
- flash_rodata = get_size(".flash.rodata")
- total_size = used_data + used_iram + flash_code + flash_rodata
- output = ""
- if as_json:
- output = format_json(collections.OrderedDict([
- ("dram_data", used_data),
- ("dram_bss", used_bss),
- ("used_dram", used_dram),
- ("available_dram", total_dram - used_dram),
- ("used_dram_ratio", used_dram_ratio),
- ("used_iram", used_iram),
- ("available_iram", total_iram - used_iram),
- ("used_iram_ratio", used_iram_ratio),
- ("flash_code", flash_code),
- ("flash_rodata", flash_rodata),
- ("total_size", total_size)
- ]))
- else:
- output += "Total sizes:\n"
- output += " DRAM .data size: {:>7} bytes\n".format(used_data)
- output += " DRAM .bss size: {:>7} bytes\n".format(used_bss)
- output += "Used static DRAM: {:>7} bytes ({:>7} available, {:.1%} used)\n".format(
- used_dram, total_dram - used_dram, used_dram_ratio)
- output += "Used static IRAM: {:>7} bytes ({:>7} available, {:.1%} used)\n".format(
- used_iram, total_iram - used_iram, used_iram_ratio)
- output += " Flash code: {:>7} bytes\n".format(flash_code)
- output += " Flash rodata: {:>7} bytes\n".format(flash_rodata)
- output += "Total image size:~{:>7} bytes (.bin may be padded larger)\n".format(total_size)
- return output
- def get_detailed_sizes(sections, key, header, as_json=False):
- sizes = sizes_by_key(sections, key)
- result = {}
- for k in sizes:
- v = sizes[k]
- result[k] = collections.OrderedDict()
- result[k]["data"] = v.get(".dram0.data", 0)
- result[k]["bss"] = v.get(".dram0.bss", 0)
- result[k]["iram"] = sum(t for (s,t) in v.items() if s.startswith(".iram0"))
- result[k]["flash_text"] = v.get(".flash.text", 0)
- result[k]["flash_rodata"] = v.get(".flash.rodata", 0)
- result[k]["total"] = sum(result[k].values())
- def return_total_size(elem):
- val = elem[1]
- return val["total"]
- def return_header(elem):
- return elem[0]
- s = sorted(list(result.items()), key=return_header)
- # do a secondary sort in order to have consistent order (for diff-ing the output)
- s = sorted(s, key=return_total_size, reverse=True)
- output = ""
- if as_json:
- output = format_json(collections.OrderedDict(s))
- else:
- header_format = "{:>24} {:>10} {:>6} {:>6} {:>10} {:>8} {:>7}\n"
- output += "Per-{} contributions to ELF file:\n".format(key)
- output += header_format.format(header,
- "DRAM .data",
- "& .bss",
- "IRAM",
- "Flash code",
- "& rodata",
- "Total")
- for k,v in s:
- if ":" in k: # print subheadings for key of format archive:file
- sh,k = k.split(":")
- output += header_format.format(k[:24],
- v["data"],
- v["bss"],
- v["iram"],
- v["flash_text"],
- v["flash_rodata"],
- v["total"])
- return output
- def get_archive_symbols(sections, archive, as_json=False):
- interested_sections = [".dram0.data", ".dram0.bss", ".iram0.text", ".iram0.vectors", ".flash.text", ".flash.rodata"]
- result = {}
- for t in interested_sections:
- result[t] = {}
- for section in sections.values():
- section_name = section["name"]
- if section_name not in interested_sections:
- continue
- for s in section["sources"]:
- if archive != s["archive"]:
- continue
- s["sym_name"] = re.sub("(.text.|.literal.|.data.|.bss.|.rodata.)", "", s["sym_name"])
- result[section_name][s["sym_name"]] = result[section_name].get(s["sym_name"], 0) + s["size"]
- # build a new ordered dict of each section, where each entry is an ordereddict of symbols to sizes
- section_symbols = collections.OrderedDict()
- for t in interested_sections:
- s = sorted(list(result[t].items()), key=lambda k_v: k_v[0])
- # do a secondary sort in order to have consistent order (for diff-ing the output)
- s = sorted(s, key=lambda k_v: k_v[1], reverse=True)
- section_symbols[t] = collections.OrderedDict(s)
- output = ""
- if as_json:
- output = format_json(section_symbols)
- else:
- output += "Symbols within the archive: {} (Not all symbols may be reported)\n".format(archive)
- for t,s in section_symbols.items():
- section_total = 0
- output += "\nSymbols from section: {}\n".format(t)
- for key, val in s.items():
- output += "{}({}) ".format(key.replace(t + ".", ""), val)
- section_total += val
- output += "\nSection total: {}\n".format(section_total)
- return output
- if __name__ == "__main__":
- main()
|