mirror of
https://git.savannah.gnu.org/git/guile.git
synced 2025-04-30 20:00:19 +02:00
c11f46afe1
* module/language/glil/compile-assembly.scm (glil->assembly): Check the length when emitting calls to variable-argument stack instructions. Allow two-byte lengths -- allows e.g. calls to `list' with more than 256 arguments. * module/language/tree-il/compile-glil.scm: Add primcall associations for `list' and `vector', with any number of arguments. Necessary because syncase's quasiquote expansions will produce calls to `list' with many arguments. * module/language/tree-il/optimize.scm (*interesting-primitive-names*): Add `list' and `vector' to the set of primitives to resolve.
91 lines
2.9 KiB
Scheme
91 lines
2.9 KiB
Scheme
;;; Tree-il optimizer
|
|
|
|
;; Copyright (C) 2009 Free Software Foundation, Inc.
|
|
|
|
;; This program is free software; you can redistribute it and/or modify
|
|
;; it under the terms of the GNU General Public License as published by
|
|
;; the Free Software Foundation; either version 2, or (at your option)
|
|
;; any later version.
|
|
;;
|
|
;; This program 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 General Public License for more details.
|
|
;;
|
|
;; You should have received a copy of the GNU General Public License
|
|
;; along with this program; see the file COPYING. If not, write to
|
|
;; the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
|
|
;; Boston, MA 02111-1307, USA.
|
|
|
|
;;; Code:
|
|
|
|
(define-module (language tree-il optimize)
|
|
#:use-module (system base syntax)
|
|
#:use-module (language tree-il)
|
|
#:use-module (language tree-il inline)
|
|
#:export (optimize!))
|
|
|
|
(define (env-module e)
|
|
(if e (car e) (current-module)))
|
|
|
|
(define (optimize! x env opts)
|
|
(expand-primitives! (resolve-primitives! x (env-module env))))
|
|
|
|
;; Possible optimizations:
|
|
;; * constant folding, propagation
|
|
;; * procedure inlining
|
|
;; * always when single call site
|
|
;; * always for "trivial" procs
|
|
;; * otherwise who knows
|
|
;; * dead code elimination
|
|
;; * degenerate case optimizations
|
|
;; * "fixing letrec"
|
|
|
|
(define *interesting-primitive-names*
|
|
'(apply @apply
|
|
call-with-values @call-with-values
|
|
call-with-current-continuation @call-with-current-continuation
|
|
values
|
|
;; compile-time-environment
|
|
eq? eqv? equal?
|
|
= < > <= >= zero?
|
|
+ * - / 1- 1+ quotient remainder modulo
|
|
not
|
|
pair? null? list? acons cons cons*
|
|
|
|
list vector
|
|
|
|
car cdr
|
|
set-car! set-cdr!
|
|
|
|
caar cadr cdar cddr
|
|
|
|
caaar caadr cadar caddr cdaar cdadr cddar cdddr
|
|
|
|
caaaar caaadr caadar caaddr cadaar cadadr caddar cadddr
|
|
cdaaar cdaadr cdadar cdaddr cddaar cddadr cdddar cddddr))
|
|
|
|
(define *interesting-primitive-vars*
|
|
(let ((h (make-hash-table)))
|
|
(for-each (lambda (x)
|
|
(hashq-set! h (module-variable the-root-module x) x))
|
|
*interesting-primitive-names*)
|
|
h))
|
|
|
|
(define (resolve-primitives! x mod)
|
|
(post-order!
|
|
(lambda (x)
|
|
(record-case x
|
|
((<toplevel-ref> src name)
|
|
(and (hashq-ref *interesting-primitive-vars*
|
|
(module-variable mod name))
|
|
(make-primitive-ref src name)))
|
|
((<module-ref> src mod name public?)
|
|
;; for the moment, we're disabling primitive resolution for
|
|
;; public refs because resolve-interface can raise errors.
|
|
(let ((m (and (not public?) (resolve-module mod))))
|
|
(and m (hashq-ref *interesting-primitive-vars*
|
|
(module-variable m name))
|
|
(make-primitive-ref src name))))
|
|
(else #f)))
|
|
x))
|