Function writeFile

deps/v8/tools/include-file-as-bytes.py:34–54

(src_path, dst_path, name)

def writeFile(src_path, dst_path, name):
  assert os.path.exists(src_path)

  with open(dst_path, 'w') as dst:
    dst.write(HEADER.format(name))
    with open(src_path, 'rb') as src:
      # We wish to read unsigned ints
      s = struct.Struct('@I')
      assert s.size == 4
      mm = mmap.mmap(src.fileno(), 0, access=mmap.ACCESS_READ)
      assert len(mm) % s.size == 0

      # We want to have 16 values per line
      for offset in range(0, len(mm), s.size):
        u32 = s.unpack_from(mm, offset)[0]
        if offset % 16 == 0:
          dst.write("\n   ")
        dst.write(" 0x{:08x},".format(u32))

      dst.write(FOOTER.format(name, int(len(mm) / s.size)))
      mm.close()


if __name__ == '__main__':