summaryrefslogtreecommitdiff
path: root/module/language/tree-il.scm
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2022-02-06 17:44:51 +0100
committerLudovic Courtès <ludo@gnu.org>2022-02-06 22:59:41 +0100
commitde1ac718503c6864b52813a89257256deae3d768 (patch)
tree88b69f6007177ff1be214034bb5a30bcec7e4932 /module/language/tree-il.scm
parentd656176f068a93b15cd093fafa193755d169de31 (diff)
downloadguile-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.scm19
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.