diff options
author | Ludovic Courtès <ludo@gnu.org> | 2022-02-06 17:44:51 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2022-02-06 22:59:41 +0100 |
commit | de1ac718503c6864b52813a89257256deae3d768 (patch) | |
tree | 88b69f6007177ff1be214034bb5a30bcec7e4932 /module/language/tree-il.scm | |
parent | d656176f068a93b15cd093fafa193755d169de31 (diff) | |
download | guile-wip-tree-il-sourcev.tar.gz |
psyntax: Pass source vectors to tree-il constructors.wip-tree-il-sourcev
Avoiding systematic conversion from source vectors to property alists
saves 20% on the final heap size of a process doing:
(compile-file FILE #:optimization-level 1)
where FILE is large.
* module/language/tree-il.scm (tree-il-src/ensure-alist): New procedure
with setter. Export as 'tree-il-src'.
* module/ice-9/psyntax.scm (build-void, build-call)
(build-conditional, build-lexical-reference, build-lexical-assignment)
(build-global-reference, build-global-assignment)
(build-global-definition, build-simple-lambda, build-case-lambda)
(build-lambda-case, build-primcall, build-primref)
(build-data, build-sequence, build-let, build-named-let)
(build-letrec, expand-body): Remove (sourcev->alist src) calls.
* module/ice-9/psyntax-pp.scm: Regenerate.
* module/language/tree-il/analyze.scm (shadowed-toplevel-analysis): Use
'tree-il-src' instead of accessing the 'src' slot directly.
* module/system/vm/assembler.scm (link-debug): Adjust so PC can be
followed by a vector or an alist.
Diffstat (limited to 'module/language/tree-il.scm')
-rw-r--r-- | module/language/tree-il.scm | 19 |
1 files changed, 16 insertions, 3 deletions
diff --git a/module/language/tree-il.scm b/module/language/tree-il.scm index 974fce29e..a7dc3c079 100644 --- a/module/language/tree-il.scm +++ b/module/language/tree-il.scm @@ -1,4 +1,4 @@ -;;;; Copyright (C) 2009-2014, 2017-2020 Free Software Foundation, Inc. +;;;; Copyright (C) 2009-2014, 2017-2020, 2022 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 @@ -21,8 +21,7 @@ #:use-module (srfi srfi-11) #:use-module (ice-9 match) #:use-module (system base syntax) - #:export (tree-il-src - + #:export ((tree-il-src/ensure-alist . tree-il-src) <void> void? make-void void-src <const> const? make-const const-src const-exp <primitive-ref> primitive-ref? make-primitive-ref primitive-ref-src primitive-ref-name @@ -136,6 +135,20 @@ (<prompt> escape-only? tag body handler) (<abort> tag args tail)) +(define tree-il-src/ensure-alist + (make-procedure-with-setter + (lambda (tree) + "Return the source location of TREE as a source property alist." + ;; psyntax gives us "source vectors"; convert them lazily to reduce + ;; allocations. + (match (tree-il-src tree) + (#(file line column) + `((filename . ,file) (line . ,line) (column . ,column))) + (src + src))) + (lambda (tree src) + (set! (tree-il-src tree) src)))) + ;; A helper. |