1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-04-29 19:30:36 +02:00
guile/test-suite/tests/linker.test
Ludovic Courtès 3cd64feb2e linker: Do not store entire ELF in memory when writing to a file.
This reduces the amount of memory that needs to be allocated while
writing the ELF file to disk.

Note: We're abusing #:page-aligned? in 'link-elf' to choose whether to
return a bytevector or a procedure.

* module/system/vm/linker.scm (process-reloc): Subtract SECTION-OFFSET
when writing to BV.
(write-linker-object): Pass BV directly to the linker object writer.
(link-elf): When PAGE-ALIGNED? is false, call 'bytevector-slice' from
here.  When it is true, return a procedure that takes a port and writes
to it, without having to allocate a bytevector for the whole ELF
container.
* module/language/bytecode/spec.scm (bytecode->value): Handle X being a
procedure instead of a bytevector.
(bytecode) <#:printer>: Likewise.
* test-suite/tests/linker.test (link-elf-with-one-main-section): Pass
 #:page-aligned? #f.
2023-01-17 17:49:05 +01:00

93 lines
3.9 KiB
Scheme

;;;; linker.test -*- scheme -*-
;;;;
;;;; Copyright 2013, 2019, 2023 Free Software Foundation, Inc.
;;;;
;;;; This library is free software; you can redistribute it and/or
;;;; modify it under the terms of the GNU Lesser General Public
;;;; License as published by the Free Software Foundation; either
;;;; version 3 of the License, or (at your option) any later version.
;;;;
;;;; This library is distributed in the hope that it will be useful,
;;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
;;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
;;;; Lesser General Public License for more details.
;;;;
;;;; You should have received a copy of the GNU Lesser General Public
;;;; License along with this library; if not, write to the Free Software
;;;; Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
(define-module (test-suite test-linker)
#:use-module (test-suite lib)
#:use-module (rnrs bytevectors)
#:use-module (system base target)
#:use-module (system vm elf)
#:use-module (system vm linker))
(define (link-elf-with-one-main-section name bytes)
(let ((strtab (make-string-table)))
(define (make-object index name size writer relocs . kwargs)
(let ((name-idx (string-table-intern! strtab (symbol->string name))))
(make-linker-object (symbol->string name)
(apply make-elf-section
#:index index
#:name name-idx
#:size size
kwargs)
size writer relocs
(list (make-linker-symbol name 0)))))
(define (make-shstrtab)
(string-table-intern! strtab ".shstrtab")
(make-object 2 '.shstrtab
(string-table-size strtab)
(string-table-writer strtab)
'()
#:type SHT_STRTAB #:flags 0))
(let* ((word-size (target-word-size))
(endianness (target-endianness))
(sec (make-object 1 name
(bytevector-length bytes)
(lambda (bv)
(bytevector-copy! bytes 0 bv 0
(bytevector-length
bytes)))
'()))
;; This needs to be linked last, because linking other
;; sections adds entries to the string table.
(shstrtab (make-shstrtab)))
(link-elf (list sec shstrtab)
#:page-aligned? #f ;return a bytevector
#:endianness endianness #:word-size word-size))))
(with-test-prefix "simple"
(define foo-bytes #vu8(0 1 2 3 4 5))
(define bytes #f)
(define elf #f)
(define (bytevectors-equal? bv-a bv-b start-a start-b size)
(or (zero? size)
(and (equal? (bytevector-u8-ref bv-a start-a)
(bytevector-u8-ref bv-b start-b))
(bytevectors-equal? bv-a bv-b (1+ start-a) (1+ start-b)
(1- size)))))
(pass-if "linking succeeds"
(begin
(set! bytes (link-elf-with-one-main-section '.foo foo-bytes))
#t))
(pass-if "parsing succeeds"
(begin
(set! elf (parse-elf bytes))
(elf? elf)))
;; 5 sections: the initial NULL section, .foo, .shstrtab, the initial
;; header with segment table, and the section table.
(pass-if-equal 5 (elf-shnum elf))
(pass-if ".foo section checks out"
(let ((sec (assoc-ref (elf-sections-by-name elf) ".foo")))
(and sec
(= (elf-section-size sec) (bytevector-length foo-bytes))
(bytevectors-equal? bytes foo-bytes
(elf-section-offset sec) 0
(bytevector-length foo-bytes))))))