From: Chris Hanson Date: Sun, 7 Sep 2008 04:33:13 +0000 (+0000) Subject: Rewrite of LIST-PARSER to be more general. Now there are three X-Git-Tag: 20090517-FFI~178 X-Git-Url: https://birchwood-abbey.net/git?a=commitdiff_plain;h=254840692a5cc26104288fbaaef7c85ee13aa689;p=mit-scheme.git Rewrite of LIST-PARSER to be more general. Now there are three variants: OBJECT-PARSER, LIST-PARSER, and VECTOR-PARSER. There are corresponding OBJECT, LIST, and VECTOR keywords for switching between the different modes. And the optimizer is considerably smarter. --- diff --git a/v7/src/runtime/ed-ffi.scm b/v7/src/runtime/ed-ffi.scm index a29cb58fc..74ef16774 100644 --- a/v7/src/runtime/ed-ffi.scm +++ b/v7/src/runtime/ed-ffi.scm @@ -1,6 +1,6 @@ #| -*- Scheme -*- -$Id: ed-ffi.scm,v 1.43 2008/09/03 02:49:03 cph Exp $ +$Id: ed-ffi.scm,v 1.44 2008/09/07 04:33:12 cph Exp $ Copyright (C) 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, @@ -95,7 +95,6 @@ USA. ("lambda" (runtime lambda-abstraction)) ("lambdx" (runtime alternative-lambda)) ("list" (runtime list)) - ("list-parser" (runtime list-parser)) ("load" (runtime load)) ("mime-codec" (runtime mime-codec)) ("mit-syntax" (runtime syntactic-closures)) @@ -147,6 +146,7 @@ USA. ("stream" (runtime stream)) ("string" (runtime string)) ("stringio" (runtime string-i/o-port)) + ("structure-parser" (runtime structure-parser)) ("symbol" (runtime symbol)) ("syncproc" (runtime synchronous-subprocess)) ("syntactic-closures" (runtime syntactic-closures)) diff --git a/v7/src/runtime/list-parser.scm b/v7/src/runtime/list-parser.scm deleted file mode 100644 index b82b9b5a7..000000000 --- a/v7/src/runtime/list-parser.scm +++ /dev/null @@ -1,600 +0,0 @@ -#| -*-Scheme-*- - -$Id: list-parser.scm,v 1.6 2008/09/03 15:33:08 cph Exp $ - -Copyright (C) 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994, - 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, - 2006, 2007, 2008 Massachusetts Institute of Technology - -This file is part of MIT/GNU Scheme. - -MIT/GNU Scheme 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 of the License, or (at -your option) any later version. - -MIT/GNU Scheme 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 MIT/GNU Scheme; if not, write to the Free Software -Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, -USA. - -|# - -;;;; Parsing language for flat lists -;;; package: (runtime list-parser) - -(declare (usual-integrations)) - -(define-syntax list-parser - (sc-macro-transformer - (lambda (form env) - (if (syntax-match? '(FORM) (cdr form)) - (compile-top-level (cadr form) env) - (ill-formed-syntax form))))) - -(define (compile-top-level pattern env) - (fluid-let ((name-counters (make-strong-eq-hash-table))) - (make-lambda '(ITEMS WIN LOSE) - (lambda (items win lose) - (optimize-result (compile-pattern pattern env items win lose)))))) - -(define (compile-pattern pattern env items win lose) - (cond ((rewrite-pattern pattern) - => (lambda (pattern) - (compile-pattern pattern env items win lose))) - ((and (pair? pattern) - (interned-symbol? (car pattern)) - (let ((c (get-pattern-compiler (car pattern)))) - (and (syntax-match? (car c) (cdr pattern)) - (cdr c)))) - => (lambda (compiler) - (compiler pattern env items win lose))) - (else - (error "Unrecognized list pattern:" pattern)))) - -(define (rewrite-pattern pattern) - (cond ((identifier? pattern) - `(SEXP ,pattern)) - ((or (char? pattern) - (string? pattern) - (number? pattern) - (boolean? pattern) - (null? pattern)) - `(QUOTE ,pattern)) - ((syntax-match? '('+ * FORM) pattern) - `(SEQ ,@(cdr pattern) (* ,@(cdr pattern)))) - (else #f))) - -(define (get-pattern-compiler name) - (let ((p (assq name pattern-compilers))) - (and p - (cdr p)))) - -(define (define-pattern-compiler template compiler) - (let ((name (car template)) - (value (cons (cdr template) compiler))) - (let ((p (assq name pattern-compilers))) - (if p - (set-cdr! p value) - (begin - (set! pattern-compilers - (cons (cons name value) - pattern-compilers)) - unspecific))))) - -(define pattern-compilers '()) - -(define (terminal items lose make-test make-body) - (make-let '(ITEMS LOSE) - (list items lose) - (lambda (items lose) - `(IF ,(make-test items) - ,(make-body items lose) - (,lose))))) - -(define (wrap-list-parser parser) - (lambda (items) - (parser items - (lambda (items vals lose) - (if (null? items) - (list-parser-vals->list vals) - (lose))) - (lambda () - #f)))) - -(define-pattern-compiler '(MATCH-NULL) - (lambda (pattern env items win lose) - pattern env - (terminal items lose - (lambda (items) - `(NULL? ,items)) - (lambda (items lose) - `(,win ,items ,(null-vals) ,lose))))) - -(define-pattern-compiler '(MATCH-ANY) - (lambda (pattern env items win lose) - pattern env - (terminal items lose - (lambda (items) - `(PAIR? ,items)) - (lambda (items lose) - `(,win (CDR ,items) ,(single-val `(CAR ,items)) ,lose))))) - -(define-pattern-compiler '(MATCH-IF EXPRESSION) - (lambda (pattern env items win lose) - (terminal items lose - (lambda (items) - `(AND (PAIR? ,items) - (,(close-syntax (cadr pattern) env) (CAR ,items)))) - (lambda (items lose) - `(,win (CDR ,items) ,(single-val `(CAR ,items)) ,lose))))) - -(define-pattern-compiler '(NOISE-IF EXPRESSION) - (lambda (pattern env items win lose) - (terminal items lose - (lambda (items) - `(AND (PAIR? ,items) - (,(close-syntax (cadr pattern) env) (CAR ,items)))) - (lambda (items lose) - `(,win (CDR ,items) ,(null-vals) ,lose))))) - -(define-pattern-compiler '(QUOTE DATUM) - (lambda (pattern env items win lose) - env - (terminal items lose - (let ((datum (cadr pattern))) - (lambda (items) - `(AND (PAIR? ,items) - (,(cond ((or (symbol? datum) - (char? datum) - (boolean? datum) - (null? datum)) - 'EQ?) - ((number? datum) 'EQV?) - (else 'EQUAL?)) - (CAR ,items) - ',datum)))) - (lambda (items lose) - `(,win (CDR ,items) ,(null-vals) ,lose))))) - -(define-pattern-compiler '(VALUES * EXPRESSION) - (lambda (pattern env items win lose) - `(,win ,items - ,(let ((vals - (map (lambda (expr) - (single-val (close-syntax expr env))) - (cdr pattern)))) - (if (pair? vals) - (let loop ((vals vals)) - (if (pair? (cdr vals)) - (join-vals (car vals) (loop (cdr vals))) - (car vals))) - (null-vals))) - ,lose))) - -(define-pattern-compiler '(LIST * FORM) - (lambda (pattern env items win lose) - (terminal items lose - (lambda (items) - `(PAIR? ,items)) - (lambda (items lose) - (compile-pattern `(SEQ ,@(cdr pattern)) - env - `(CAR ,items) - (make-winner - (lambda (items* vals lose) - (fork-loser lose - (lambda (lose) - `(IF (NULL? ,items*) - (,win (CDR ,items) ,vals ,lose) - (,lose)))))) - lose))))) - -(define-pattern-compiler '(SEXP EXPRESSION) - (lambda (pattern env items win lose) - `(,(close-syntax (cadr pattern) env) ,items ,win ,lose))) - -(define-pattern-compiler '(NOISE FORM) - (lambda (pattern env items win lose) - (compile-pattern (cadr pattern) - env - items - (make-winner - (lambda (items vals lose) - vals - `(,win ,items ,(null-vals) ,lose))) - lose))) - -(define-pattern-compiler '(? * FORM) - (lambda (pattern env items win lose) - (compile-pattern `(SEQ ,@(cdr pattern)) - env - items - win - (make-loser - `(,win ,items ,(null-vals) ,lose))))) - -(define-pattern-compiler '(* * FORM) - (lambda (pattern env items win lose) - (make-loop '(ITEMS VALS LOSE) - (list items (null-vals) lose) - (lambda (loop items* vals lose*) - (compile-pattern `(SEQ ,@(cdr pattern)) - env - items* - (make-winner - (lambda (items vals* lose) - `(,loop ,items - ,(join-vals vals vals*) - ,lose))) - (make-loser - `(,win ,items* ,vals ,lose*))))))) - -(define-pattern-compiler '(SEQ * FORM) - (lambda (pattern env items win lose) - (let ((patterns (cdr pattern))) - (if (pair? patterns) - (if (pair? (cdr patterns)) - (let loop - ((patterns patterns) - (items items) - (vals (null-vals)) - (lose lose)) - (if (pair? patterns) - (compile-pattern (car patterns) - env - items - (make-winner - (lambda (items vals* lose) - (loop (cdr patterns) - items - (join-vals vals vals*) - lose))) - lose) - `(,win ,items ,vals ,lose))) - (compile-pattern (car patterns) env items win lose)) - `(,win ,items ,(null-vals) ,lose))))) - -(define-pattern-compiler '(ALT * FORM) - (lambda (pattern env items win lose) - (let ((patterns (cdr pattern))) - (if (pair? patterns) - (fork-winner win - (lambda (win) - (let loop ((patterns patterns)) - (let ((k - (lambda (lose) - (compile-pattern (car patterns) env items win lose)))) - (if (pair? (cdr patterns)) - (fork-loser (make-loser (loop (cdr patterns))) - k) - (k lose)))))) - `(,lose))))) - -(define-pattern-compiler '(MAP EXPRESSION FORM) - (lambda (pattern env items win lose) - (compile-pattern (caddr pattern) - env - items - (make-winner - (lambda (items vals lose) - `(,win ,items - (MAP-LIST-PARSER-VALS - ,(close-syntax (cadr pattern) env) - ,vals) - ,lose))) - lose))) - -(define-pattern-compiler '(ENCAPSULATE EXPRESSION FORM) - (lambda (pattern env items win lose) - (compile-pattern (caddr pattern) - env - items - (make-winner - (lambda (items vals lose) - `(,win ,items - ,(single-val (call-out (cadr pattern) env vals)) - ,lose))) - lose))) - -(define-pattern-compiler '(TRANSFORM EXPRESSION FORM) - (lambda (pattern env items win lose) - (compile-pattern (caddr pattern) - env - items - (make-winner - (lambda (items vals lose) - (make-let '(VALS LOSE) - (list (call-out (cadr pattern) env vals) - lose) - (lambda (vals lose) - `(IF ,vals - (,win ,items - (LIST->LIST-PARSER-VALS ,vals) - ,lose) - (,lose)))))) - lose))) - -(define-pattern-compiler '(QUALIFY EXPRESSION FORM) - (lambda (pattern env items win lose) - (compile-pattern (caddr pattern) - env - items - (make-winner - (lambda (items vals lose) - (make-let '(VALS LOSE) - (list vals lose) - (lambda (vals lose) - `(IF ,(call-out (cadr pattern) env vals) - (,win ,items ,vals ,lose) - (,lose)))))) - lose))) - -(define (call-out procedure env vals) - `(APPLY ,(close-syntax procedure env) - (LIST-PARSER-VALS->LIST ,vals))) - -(define (make-winner procedure) - (make-lambda '(ITEMS VALS LOSE) procedure)) - -(define (make-loser body) - (make-lambda '() (lambda () body))) - -(define (fork-winner win procedure) - (make-let '(WIN) (list win) procedure)) - -(define (fork-loser lose procedure) - (make-let '(LOSE) (list lose) procedure)) - -(define (make-lambda names make-body) - (call-with-new-names names - (lambda names - `(LAMBDA ,names - ,(apply make-body names))))) - -(define (make-let names args make-body) - (call-with-new-names names - (lambda names - `((LAMBDA ,names - ,(apply make-body names)) - ,@args)))) - -(define (make-loop names inits make-body) - (call-with-new-names (cons 'LOOP names) - (lambda names - `(LET ,(car names) - ,(map (lambda (name init) - `(,name ,init)) - (cdr names) - inits) - ,(apply make-body names))))) - -(define (call-with-new-names names procedure) - (apply procedure - (map (lambda (name) - (let ((n (hash-table-ref/default name-counters name 0))) - (hash-table-set! name-counters name (+ n 1)) - (symbol name '. n))) - names))) - -(define name-counters) - -(define (join-vals vals1 vals2) - `(CONS ,vals1 ,vals2)) - -(define (single-val val) - `(CONS ',single-val-marker ,val)) - -(define (null-vals) - ''()) - -;; Needed at runtime by parsers: -(define (list-parser-vals->list vals) - (if (pair? vals) - (let loop ((vals vals) (tail '())) - (if (eq? (car vals) single-val-marker) - (cons (cdr vals) tail) - (loop (car vals) - (loop (cdr vals) - tail)))) - '())) - -;; Needed at runtime by parsers: -(define (list->list-parser-vals items) - (if (pair? items) - (let loop ((items items)) - (if (pair? (cdr items)) - (cons (cons single-val-marker (car items)) - (loop (cdr items))) - (cons single-val-marker (car items)))) - '())) - -;; Needed at runtime by parsers: -(define (map-list-parser-vals procedure vals) - (if (pair? vals) - (let loop ((vals vals)) - (if (eq? (car vals) single-val-marker) - (cons single-val-marker - (procedure (cdr vals))) - (cons (loop (car vals)) - (loop (cdr vals))))) - vals)) - -(define (list-parser-vals-length vals) - (if (pair? vals) - (let loop ((vals vals)) - (if (eq? (car vals) single-val-marker) - 1 - (+ (loop (car vals)) - (loop (cdr vals))))) - 0)) - -(define (list-parser-vals-ref vals index) - (if (not (pair? vals)) - (error:bad-range-argument index 'LIST-PARSER-VALS-REF)) - (let loop ((vals vals) (i 0) (stack '())) - (if (eq? (car vals) single-val-marker) - (if (< i index) - (begin - (if (not (pair? stack)) - (error:bad-range-argument index 'LIST-PARSER-VALS-REF)) - (loop (car stack) - (+ i 1) - (cdr stack))) - (cdr vals)) - (loop (car vals) - i - (cons (cdr vals) stack))))) - -(define single-val-marker - '|#[(runtime list-parser)single-val-marker]|) - -;;;; Optimization - -;;; Made easier by two facts: each bound name is unique, and we never -;;; copy expressions. - -(define (optimize-result expr) - (if enable-optimizer? - (optimize-cons (optimize-lets expr)) - expr)) - -(define enable-optimizer? #t) - -(define (optimize-lets expr) - (walk-expr expr - rewrite-constant - rewrite-quote - rewrite-reference - rewrite-lambda - rewrite-loop - (lambda (expr loop) - (let ((expr (rewrite-combination expr loop))) - (if (syntax-match? '('LAMBDA (* SYMBOL) EXPRESSION) - (car expr)) - (optimize-let (cadar expr) - (cdr expr) - (caddar expr) - loop) - expr))))) - -(define (optimize-let names vals body loop) - (let ((vals (map loop vals)) - (body (loop body))) - (let ((bindings - (remove (lambda (b*) (= (car b*) 0)) - (map (lambda (name value) - (cons (count-refs-in name body) - (cons name value))) - names - vals)))) - (receive (to-substitute to-keep) - (partition (lambda (b*) - (or (= (car b*) 1) - (symbol? (cddr b*)))) - bindings) - (let ((new-body - (optimize-lets - (if (pair? to-substitute) - (substitute (map cdr to-substitute) body) - body)))) - (if (pair? to-keep) - `((LAMBDA ,(map cadr to-keep) ,new-body) - ,@(map cddr to-keep)) - new-body)))))) - -(define (optimize-cons expr) - (walk-expr expr - rewrite-constant - rewrite-quote - rewrite-reference - rewrite-lambda - rewrite-loop - (lambda (expr loop) - (let ((expr (rewrite-combination expr loop))) - (if (and (eq? (car expr) 'CONS) - (not (equal? (cadr expr) `',single-val-marker))) - (optimize-cons-1 (cadr expr) (caddr expr)) - expr))))) - -(define (optimize-cons-1 car-expr cdr-expr) - (let ((car-expr (optimize-cons car-expr)) - (cdr-expr (optimize-cons cdr-expr))) - (cond ((equal? car-expr (null-vals)) cdr-expr) - ((equal? cdr-expr (null-vals)) car-expr) - (else `(CONS ,car-expr ,cdr-expr))))) - -(define (count-refs-in name expr) - (walk-expr expr - (lambda (expr) expr 0) - (lambda (expr) expr 0) - (lambda (expr) (if (eq? expr name) 1 0)) - (lambda (expr loop) (loop (caddr expr))) - (lambda (expr loop) - (+ (apply + - (map (lambda (binding) - (loop (cadr binding))) - (caddr expr))) - (loop (cadddr expr)))) - (lambda (expr loop) (apply + (map loop expr))))) - -(define (substitute bindings expr) - (walk-expr expr - rewrite-constant - rewrite-quote - (lambda (expr) - (let ((expr (rewrite-reference expr))) - (let ((p (assq expr bindings))) - (if p - (cdr p) - expr)))) - rewrite-lambda - rewrite-loop - rewrite-combination)) - -(define (walk-expr expr - if-constant if-quote if-reference - if-lambda if-loop if-combination) - (let loop ((expr expr)) - (cond ((syntax-match? '('LAMBDA (* SYMBOL) EXPRESSION) expr) - (if-lambda expr loop)) - ((syntax-match? '('LET SYMBOL (* (SYMBOL EXPRESSION)) EXPRESSION) - expr) - (if-loop expr loop)) - ((syntax-match? '('QUOTE EXPRESSION) expr) - (if-quote expr)) - ((syntax-match? '(+ EXPRESSION) expr) - (if-combination expr loop)) - ((syntax-match? 'IDENTIFIER expr) - (if-reference expr)) - (else - (if-constant expr))))) - -(define (rewrite-constant expr) - expr) - -(define (rewrite-quote expr) - expr) - -(define (rewrite-reference expr) - expr) - -(define (rewrite-lambda expr loop) - `(LAMBDA ,(cadr expr) - ,(loop (caddr expr)))) - -(define (rewrite-loop expr loop) - `(LET ,(cadr expr) - ,(map (lambda (binding) - (list (car binding) - (loop (cadr binding)))) - (caddr expr)) - ,(loop (cadddr expr)))) - -(define (rewrite-combination expr loop) - (map loop expr)) \ No newline at end of file diff --git a/v7/src/runtime/runtime.pkg b/v7/src/runtime/runtime.pkg index e6a578376..64ef41d3b 100644 --- a/v7/src/runtime/runtime.pkg +++ b/v7/src/runtime/runtime.pkg @@ -1,6 +1,6 @@ #| -*-Scheme-*- -$Id: runtime.pkg,v 14.673 2008/09/03 07:00:25 cph Exp $ +$Id: runtime.pkg,v 14.674 2008/09/07 04:33:13 cph Exp $ Copyright (C) 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, @@ -5276,17 +5276,24 @@ USA. encode-www-form-urlencoded) (initialization (initialize-package!))) -(define-package (runtime list-parser) - (files "list-parser") +(define-package (runtime structure-parser) + (files "structure-parser") (parent (runtime)) (export () - list->list-parser-vals + apply-list-parser + apply-object-parser + apply-vector-parser + error:not-structure-parser-values + guarantee-structure-parser-values + list->structure-parser-values list-parser - list-parser-vals->list - list-parser-vals-length - list-parser-vals-ref - map-list-parser-vals - wrap-list-parser)) + map-structure-parser-values + object-parser + structure-parser-values->list + structure-parser-values-length + structure-parser-values-ref + structure-parser-values? + vector-parser)) (define-package (runtime postgresql) (file-case options diff --git a/v7/src/runtime/structure-parser.scm b/v7/src/runtime/structure-parser.scm new file mode 100644 index 000000000..232d94ac9 --- /dev/null +++ b/v7/src/runtime/structure-parser.scm @@ -0,0 +1,1064 @@ +#| -*-Scheme-*- + +$Id: structure-parser.scm,v 14.1 2008/09/07 04:33:13 cph Exp $ + +Copyright (C) 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994, + 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, + 2006, 2007, 2008 Massachusetts Institute of Technology + +This file is part of MIT/GNU Scheme. + +MIT/GNU Scheme 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 of the License, or (at +your option) any later version. + +MIT/GNU Scheme 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 MIT/GNU Scheme; if not, write to the Free Software +Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, +USA. + +|# + +;;;; Parsing language for structured objects +;;; package: (runtime structure-parser) + +(declare (usual-integrations)) + +(define-syntax object-parser + (sc-macro-transformer + (lambda (form env) + (if (syntax-match? '(FORM) (cdr form)) + (compile-top-level (cadr form) 'OBJECT env) + (ill-formed-syntax form))))) + +(define (apply-object-parser parser object) + (parser object + (lambda (vals lose) + lose + (structure-parser-values->list vals)) + (lambda () + #f))) + +(define-syntax list-parser + (sc-macro-transformer + (lambda (form env) + (if (syntax-match? '(* FORM) (cdr form)) + (compile-top-level `(SEQ ,@(cdr form)) 'LIST env) + (ill-formed-syntax form))))) + +(define (apply-list-parser parser items) + (parser items + (lambda (items vals lose) + (if (null? items) + (structure-parser-values->list vals) + (lose))) + (lambda () + #f))) + +(define-syntax vector-parser + (sc-macro-transformer + (lambda (form env) + (if (syntax-match? '(* FORM) (cdr form)) + (compile-top-level `(SEQ ,@(cdr form)) 'VECTOR env) + (ill-formed-syntax form))))) + +(define (apply-vector-parser parser vector #!optional start end) + (let ((end (if (default-object? end) (vector-length vector) end))) + (parser vector + (if (default-object? start) 0 start) + end + (lambda (start vals lose) + (if (fix:= start end) + (structure-parser-values->list vals) + (lose))) + (lambda () + #f)))) + +;;;; Compiler + +(define (compile-top-level pattern caller-context env) + (fluid-let ((name-counters (make-strong-eq-hash-table))) + (optimize-result + (compile-pattern pattern caller-context env)))) + +(define (compile-pattern pattern caller-context env) + (let ((pattern* (rewrite-pattern pattern))) + (let ((pc + (and (pair? pattern*) + (get-pattern-compiler (car pattern*) caller-context)))) + (if (not pc) + (error "Unrecognized pattern:" pattern)) + (if (not (syntax-match? (pc-syntax pc) (cdr pattern*))) + (error "Ill-formed pattern:" pattern)) + (let ((callee-context (pc-context pc)) + (call-generic + (lambda () + ((pc-compiler pc) pattern* caller-context env))) + (call-specific + (lambda () + ((pc-compiler pc) pattern* env)))) + (cond ((list? callee-context) + (if (not (memq caller-context callee-context)) + (error "Pattern used in wrong context:" pattern)) + (call-generic)) + ((eq? callee-context caller-context) + (call-specific)) + ((eq? callee-context 'OBJECT) + ((get-context-method 'CALL-OBJECT-METHOD caller-context) + (call-specific))) + (else + (call-generic))))))) + +(define (rewrite-pattern pattern) + (cond ((identifier? pattern) + (rewrite-pattern `(SEXP ,pattern))) + ((or (char? pattern) + (string? pattern) + (number? pattern) + (boolean? pattern) + (null? pattern)) + (rewrite-pattern `(QUOTE ,pattern))) + ((syntax-match? '('+ * FORM) pattern) + (rewrite-pattern `(SEQ ,@(cdr pattern) (* ,@(cdr pattern))))) + ((syntax-match? '('? * FORM) pattern) + (rewrite-pattern `(ALT (SEQ ,@(cdr pattern)) (VALUES)))) + (else pattern))) + +(define (get-pattern-compiler name caller-context) + (find (lambda (pc) + (and (eq? (pc-name pc) name) + (let ((callee-context (pc-context pc))) + (or (list? callee-context) + (eq? callee-context caller-context) + (eq? callee-context 'OBJECT) + (eq? callee-context 'ANY))))) + pattern-compilers)) + +(define (define-pattern-compiler template context compiler) + (set! pattern-compilers + (let ((name (car template))) + (cons (make-pc name (cdr template) context compiler) + (let ((listify + (lambda (item) + (if (list? item) item (list item))))) + (remove! (let ((c1 (listify context))) + (lambda (pc) + (and (eq? (pc-name pc) name) + (any (lambda (c) + (memq c c1)) + (listify (pc-context pc)))))) + pattern-compilers))))) + unspecific) + +(define pattern-compilers '()) + +(define-record-type + (make-pc name syntax context compiler) + pc? + (name pc-name) + (syntax pc-syntax) + (context pc-context) + (compiler pc-compiler)) + +(define (get-context-method name context) + (let ((v + (find (lambda (v) + (and (eq? (vector-ref v 0) name) + (eq? (vector-ref v 1) context))) + context-methods))) + (if (not v) + (error "Missing context method:" name context)) + (vector-ref v 2))) + +(define (define-context-method name context procedure) + (let ((v + (find (lambda (v) + (and (eq? (vector-ref v 0) name) + (eq? (vector-ref v 1) context))) + context-methods))) + (if v + (vector-set! v 2 procedure) + (begin + (set! context-methods + (cons (vector name context procedure) + context-methods)) + unspecific)))) + +(define context-methods '()) + +;;;; Object context + +(define-pattern-compiler '(MATCH-ANY) 'OBJECT + (lambda (pattern env) + pattern env + (make-object-parser + (lambda (item win lose) + `(,win ,(single-val item) ,lose))))) + +(define-pattern-compiler '(MATCH-IF EXPRESSION) 'OBJECT + (lambda (pattern env) + (make-object-parser + (lambda (item win lose) + `(IF (,(close-syntax (cadr pattern) env) ,item) + (,win ,(single-val item) ,lose) + (,lose)))))) + +(define-pattern-compiler '(NOISE-IF EXPRESSION) 'OBJECT + (lambda (pattern env) + (make-object-parser + (lambda (item win lose) + `(IF (,(close-syntax (cadr pattern) env) ,item) + (,win ,(null-vals) ,lose) + (,lose)))))) + +(define-pattern-compiler '(QUOTE DATUM) 'OBJECT + (lambda (pattern env) + env + (let ((datum (cadr pattern))) + (make-object-parser + (lambda (item win lose) + `(IF (,(cond ((or (symbol? datum) + (char? datum) + (boolean? datum) + (null? datum)) + 'EQ?) + ((number? datum) 'EQV?) + (else 'EQUAL?)) + ,item + ',datum) + (,win ,(null-vals) ,lose) + (,lose))))))) + +(define-context-method 'VALUES 'OBJECT + (lambda (vals) + (make-object-parser + (lambda (item win lose) + item + `(,win ,vals ,lose))))) + +(define-context-method 'ALT 'OBJECT + (lambda (make-body) + (make-object-parser + (lambda (item win lose) + (make-body (lambda (callee lose) + `(,callee ,item ,win ,lose)) + lose))))) + +(define-context-method 'TRANSFORM-VALS 'OBJECT + (lambda (callee transform) + (make-object-parser + (lambda (item win lose) + `(,callee ,item + ,(make-object-winner + (lambda (vals lose) + (transform vals + lose + (lambda (vals lose) + `(,win ,vals ,lose))))) + ,lose))))) + +(define-pattern-compiler '(CONS FORM FORM) 'OBJECT + (lambda (pattern env) + (make-object-parser + (lambda (item win lose) + `(IF (PAIR? ,item) + (,(compile-pattern (cadr pattern) 'OBJECT env) + (CAR ,item) + ,(make-object-winner + (lambda (vals lose) + `(,(compile-pattern (caddr pattern) 'OBJECT env) + (CDR ,item) + ,(make-object-winner + (lambda (vals* lose) + `(,win ,(join-vals vals vals*) + ,lose))) + ,lose))) + ,lose) + (,lose)))))) + +(define-pattern-compiler '(LIST * FORM) 'OBJECT + (lambda (pattern env) + (make-object-parser + (lambda (item win lose) + `(,(compile-pattern `(SEQ ,@(cdr pattern) (END)) 'LIST env) + ,item + ,(make-list-winner + (lambda (items vals lose) + items + `(,win ,vals ,lose))) + ,lose))))) + +(define-pattern-compiler '(VECTOR * FORM) 'OBJECT + (lambda (pattern env) + (make-object-parser + (lambda (item win lose) + `(IF (VECTOR? ,item) + (,(compile-pattern `(SEQ ,@(cdr pattern) (END)) 'VECTOR env) + ,item + 0 + (VECTOR-LENGTH ,item) + ,(make-vector-winner + (lambda (start vals lose) + start + `(,win ,vals ,lose))) + ,lose) + (,lose)))))) + +;;;; Generic patterns + +(define-pattern-compiler '(SEXP EXPRESSION) 'ANY + (lambda (pattern context env) + context + (close-syntax (cadr pattern) env))) + +(define-pattern-compiler '(VALUES * EXPRESSION) 'ANY + (lambda (pattern context env) + ((get-context-method 'VALUES context) + (apply join-vals + (map (lambda (expr) + (single-val (close-syntax expr env))) + (cdr pattern)))))) + +(define-pattern-compiler '(ALT * FORM) 'ANY + (lambda (pattern context env) + ((get-context-method 'ALT context) + (lambda (make-call lose) + (let loop ((patterns (cdr pattern))) + (if (pair? patterns) + (make-call (compile-pattern (car patterns) context env) + (make-loser (loop (cdr patterns)))) + `(,lose))))))) + +(define-pattern-compiler '(* * FORM) '(LIST VECTOR) + (lambda (pattern context env) + ((get-context-method '* context) + (lambda (location lose make-call make-termination) + (make-loop `((LOCATION ,location) + (VALS ,(null-vals)) + (LOSE ,lose)) + (lambda (loop location vals lose) + (make-call (compile-pattern `(SEQ ,@(cdr pattern)) context env) + location + (lambda (location vals* lose) + `(,loop ,location + ,(join-vals vals vals*) + ,lose)) + (make-termination location vals lose)))))))) + +(define-pattern-compiler '(SEQ * FORM) '(LIST VECTOR) + (lambda (pattern context env) + (let ((callees + (map (lambda (pattern) + (compile-pattern pattern context env)) + (cdr pattern)))) + (if (and (pair? callees) + (null? (cdr callees))) + (car callees) + ((get-context-method 'SEQ context) + (lambda (location lose make-recursion make-termination) + (if (pair? callees) + (let loop + ((callees callees) + (location location) + (vals (null-vals)) + (lose lose)) + (if (pair? callees) + (make-recursion (car callees) + location + (lambda (location vals* lose) + (loop (cdr callees) + location + (join-vals vals vals*) + lose)) + lose) + (make-termination location vals lose))) + (make-termination location (null-vals) lose)))))))) + +(define-pattern-compiler '(NOISE FORM) 'ANY + (lambda (pattern context env) + ((get-context-method 'TRANSFORM-VALS context) + (compile-pattern (cadr pattern) context env) + (lambda (make-win vals lose) + vals + (make-win (null-vals) lose))))) + +(define-pattern-compiler '(MAP EXPRESSION FORM) 'ANY + (lambda (pattern context env) + ((get-context-method 'TRANSFORM-VALS context) + (compile-pattern (caddr pattern) context env) + (lambda (make-win vals lose) + (make-win `(MAP-STRUCTURE-PARSER-VALUES + ,(close-syntax (cadr pattern) env) + ,vals) + lose))))) + +(define-pattern-compiler '(ENCAPSULATE EXPRESSION FORM) 'ANY + (lambda (pattern context env) + ((get-context-method 'TRANSFORM-VALS context) + (compile-pattern (caddr pattern) context env) + (lambda (make-win vals lose) + (make-win (single-val + (call-out (close-syntax (cadr pattern) env) + vals)) + lose))))) + +(define-pattern-compiler '(QUALIFY EXPRESSION FORM) 'ANY + (lambda (pattern context env) + ((get-context-method 'TRANSFORM-VALS context) + (compile-pattern (caddr pattern) context env) + (lambda (make-win vals lose) + `(IF ,(call-out (close-syntax (cadr pattern) env) + vals) + ,(make-win vals lose) + (,lose)))))) + +(define-pattern-compiler '(TRANSFORM EXPRESSION FORM) 'ANY + (lambda (pattern context env) + ((get-context-method 'TRANSFORM-VALS context) + (compile-pattern (caddr pattern) context env) + (lambda (make-win vals lose) + (make-let `((VALS + ,(call-out (close-syntax (cadr pattern) env) + vals))) + (lambda (vals) + `(IF ,vals + ,(make-win `(LIST->STRUCTURE-PARSER-VALUES ,vals) + lose) + (,lose)))))))) + +(define-pattern-compiler '(OBJECT FORM) '(LIST VECTOR) + (lambda (pattern context env) + ((get-context-method 'CALL-OBJECT-METHOD context) + (compile-pattern (cadr pattern) 'OBJECT env)))) + +;;;; List context + +(define-pattern-compiler '(END) 'LIST + (lambda (pattern env) + pattern env + (make-list-parser + (lambda (items win lose) + `(IF (NULL? ,items) + (,win ,items ,(null-vals) ,lose) + (,lose)))))) + +(define-context-method 'CALL-OBJECT-METHOD 'LIST + (lambda (callee) + (make-list-parser + (lambda (items win lose) + `(IF (PAIR? ,items) + (,callee (CAR ,items) + ,(make-object-winner + (lambda (vals lose) + `(,win (CDR ,items) ,vals ,lose))) + ,lose) + (,lose)))))) + +(define-context-method 'SEQ 'LIST + (lambda (make-body) + (make-list-parser + (lambda (items win lose) + (make-body items + lose + (lambda (callee items recurse lose) + `(,callee ,items + ,(make-list-winner recurse) + ,lose)) + (lambda (items vals lose) + `(,win ,items ,vals ,lose))))))) + +(define-context-method 'VALUES 'LIST + (lambda (vals) + (make-list-parser + (lambda (items win lose) + `(,win ,items ,vals ,lose))))) + +(define-context-method 'ALT 'LIST + (lambda (make-body) + (make-list-parser + (lambda (items win lose) + (make-body (lambda (callee lose) + `(,callee ,items ,win ,lose)) + lose))))) + +(define-context-method '* 'LIST + (lambda (make-body) + (make-list-parser + (lambda (items win lose) + (make-body items + lose + (lambda (callee items recurse lose) + `(,callee ,items + ,(make-list-winner recurse) + ,lose)) + (lambda (items vals lose) + `(,win ,items ,vals ,lose))))))) + +(define-context-method 'TRANSFORM-VALS 'LIST + (lambda (callee transform) + (make-list-parser + (lambda (items win lose) + `(,callee ,items + ,(make-list-winner + (lambda (items vals lose) + (transform vals + lose + (lambda (vals lose) + `(,win ,items ,vals ,lose))))) + ,lose))))) + +;;;; Vector context + +(define-pattern-compiler '(END) 'VECTOR + (lambda (pattern env) + pattern env + (make-vector-parser + (lambda (vector start end win lose) + vector + `(IF (FIX:= ,start ,end) + (,win ,end ,(null-vals) ,lose) + (,lose)))))) + +(define-context-method 'CALL-OBJECT-METHOD 'VECTOR + (lambda (callee) + (make-vector-parser + (lambda (vector start end win lose) + `(IF (FIX:< ,start ,end) + (,callee (VECTOR-REF ,vector ,start) + ,(make-object-winner + (lambda (vals lose) + `(,win (FIX:+ ,start 1) ,vals ,lose))) + ,lose) + (,lose)))))) + +(define-context-method 'SEQ 'VECTOR + (lambda (make-body) + (make-vector-parser + (lambda (vector start end win lose) + (make-body start + lose + (lambda (callee start recurse lose) + `(,callee ,vector ,start ,end + ,(make-vector-winner recurse) + ,lose)) + (lambda (start vals lose) + `(,win ,start ,vals ,lose))))))) + +(define-context-method 'VALUES 'VECTOR + (lambda (vals) + (make-vector-parser + (lambda (vector start end win lose) + vector end + `(,win ,start ,vals ,lose))))) + +(define-context-method 'ALT 'VECTOR + (lambda (make-body) + (make-vector-parser + (lambda (vector start end win lose) + (make-body (lambda (callee lose) + `(,callee ,vector ,start ,end ,win ,lose)) + lose))))) + +(define-context-method '* 'VECTOR + (lambda (make-body) + (make-vector-parser + (lambda (vector start end win lose) + (make-body start + lose + (lambda (callee start recurse lose) + `(,callee ,vector + ,start + ,end + ,(make-vector-winner recurse) + ,lose)) + (lambda (start vals lose) + `(,win ,start ,vals ,lose))))))) + +(define-context-method 'TRANSFORM-VALS 'VECTOR + (lambda (callee transform) + (make-vector-parser + (lambda (vector start end win lose) + `(,callee ,vector ,start ,end + ,(make-vector-winner + (lambda (start vals lose) + (transform vals + lose + (lambda (vals lose) + `(,win ,start ,vals ,lose))))) + ,lose))))) + +;;;; Values abstraction + +(define (join-vals . valss) + (reduce (lambda (vals1 vals2) + `(CONS ,vals1 ,vals2)) + (null-vals) + valss)) + +(define (single-val val) + `(CONS ',single-val-marker ,val)) + +(define (null-vals) + ''()) + +(define single-val-marker + '|#[(runtime object-parser)single-val-marker]|) + +;;; The next three procedures are used by object parsers at runtime. + +(define (structure-parser-values->list vals) + (if (null? vals) + '() + (let loop ((vals* vals) (tail '())) + (if (not (pair? vals*)) + (error:not-structure-parser-values vals + 'STRUCTURE-PARSER-VALUES->LIST)) + (if (eq? (car vals*) single-val-marker) + (cons (cdr vals*) tail) + (loop (car vals*) + (loop (cdr vals*) + tail)))))) + +(define (list->structure-parser-values items) + (if (pair? items) + (let loop ((items items)) + (if (pair? (cdr items)) + (cons (cons single-val-marker (car items)) + (loop (cdr items))) + (begin + (if (not (null? items)) + (error:not-list items 'LIST->STRUCTURE-PARSER-VALUES)) + (cons single-val-marker (car items))))) + (begin + (if (not (null? items)) + (error:not-list items 'LIST->STRUCTURE-PARSER-VALUES)) + '()))) + +(define (map-structure-parser-values procedure vals) + (if (null? vals) + vals + (let loop ((vals* vals)) + (if (not (pair? vals*)) + (error:not-structure-parser-values vals + 'MAP-STRUCTURE-PARSER-VALUES)) + (if (eq? (car vals*) single-val-marker) + (cons single-val-marker + (procedure (cdr vals*))) + (cons (loop (car vals*)) + (loop (cdr vals*))))))) + +(define (structure-parser-values? object) + (or (null? object) + (let loop ((object object)) + (and (pair? object) + (or (eq? (car object) single-val-marker) + (and (loop (car object)) + (loop (cdr object)))))))) + +(define-guarantee structure-parser-values "object-parser values") + +(define (structure-parser-values-length vals) + (if (null? vals) + 0 + (let loop ((vals* vals)) + (if (not (pair? vals*)) + (error:not-structure-parser-values + vals + 'STRUCTURE-PARSER-VALUES-LENGTH)) + (if (eq? (car vals*) single-val-marker) + 1 + (+ (loop (car vals*)) + (loop (cdr vals*))))))) + +(define (structure-parser-values-ref vals index) + (let* ((caller 'STRUCTURE-PARSER-VALUES-REF) + (bad-range (lambda () (error:bad-range-argument index caller)))) + (if (null? vals) + (bad-range)) + (let loop ((vals* vals) (i 0) (stack '())) + (if (not (pair? vals*)) + (error:not-structure-parser-values vals caller)) + (if (eq? (car vals*) single-val-marker) + (if (< i index) + (begin + (if (not (pair? stack)) + (bad-range)) + (loop (car stack) + (+ i 1) + (cdr stack))) + (cdr vals*)) + (loop (car vals*) + i + (cons (cdr vals*) stack)))))) + +;;;; Helpers for code generation + +(define (make-object-parser make-body) + (make-lambda '(ITEM WIN LOSE) make-body)) + +(define (make-object-winner make-body) + (make-lambda '(VALS LOSE) make-body)) + +(define (make-list-parser make-body) + (make-lambda '(ITEMS WIN LOSE) make-body)) + +(define (make-list-winner make-body) + (make-lambda '(ITEMS VALS LOSE) make-body)) + +(define (make-vector-parser make-body) + (make-lambda '(VECTOR START END WIN LOSE) make-body)) + +(define (make-vector-winner make-body) + (make-lambda '(START VALS LOSE) make-body)) + +(define (make-loser body) + (make-lambda '() (lambda () body))) + +(define (call-out procedure vals) + `(APPLY ,procedure (STRUCTURE-PARSER-VALUES->LIST ,vals))) + +(define (make-lambda names make-body) + (call-with-new-names names + (lambda names + `(LAMBDA ,names + ,(apply make-body names))))) + +(define (make-let bindings make-body) + (let ((names (map car bindings)) + (args (map cadr bindings))) + (call-with-new-names names + (lambda names + `((LAMBDA ,names + ,(apply make-body names)) + ,@args))))) + +(define (make-loop bindings make-body) + (let ((names (map car bindings)) + (inits (map cadr bindings))) + (call-with-new-names (cons 'LOOP names) + (lambda names + `(LET ,(car names) + ,(map (lambda (name init) + `(,name ,init)) + (cdr names) + inits) + ,(apply make-body names)))))) + +(define (call-with-new-names names procedure) + (apply procedure + (map (lambda (name) + (let ((n (hash-table-ref/default name-counters name 0))) + (hash-table-set! name-counters name (+ n 1)) + (symbol name '. n))) + names))) + +(define name-counters) + +;;;; Optimizer + +;;; Made easier by two facts: each bound name is unique, and we never +;;; copy expressions. + +(define (optimize-result expr) + (if enable-optimizer? + (peephole-optimizer (optimize-lets expr)) + expr)) + +(define enable-optimizer? #t) + +(define (optimize-lets expr) + (walk-expr expr + rewrite-constant + rewrite-quote + rewrite-reference + rewrite-lambda + rewrite-loop + (lambda (expr loop) + (let ((expr (rewrite-combination expr loop))) + (if (syntax-match? '('LAMBDA (* SYMBOL) EXPRESSION) + (car expr)) + (optimize-let (cadar expr) + (cdr expr) + (caddar expr) + loop) + expr))))) + +(define (optimize-let names vals body loop) + (let ((vals (map loop vals)) + (body (loop body))) + (let ((bindings + (remove (lambda (b*) (= (car b*) 0)) + (map (lambda (name value) + (cons (count-refs-in name body) + (cons name value))) + names + vals)))) + (receive (to-substitute to-keep) + (partition (lambda (b*) + (or (= (car b*) 1) + (substitutable? (cddr b*)))) + bindings) + (let ((new-body + (optimize-lets + (if (pair? to-substitute) + (substitute (map cdr to-substitute) body) + body)))) + (if (pair? to-keep) + `((LAMBDA ,(map cadr to-keep) ,new-body) + ,@(map cddr to-keep)) + new-body)))))) + +(define (substitutable? expr) + (or (symbol? expr) + (number? expr) + (syntax-match? `('CAR ,substitutable?) expr) + (syntax-match? `('CDR ,substitutable?) expr) + (syntax-match? `('VECTOR-LENGTH ,substitutable?) expr) + (syntax-match? `('FIX:+ ,substitutable? ,substitutable?) expr) + (syntax-match? `('FIX:< ,substitutable? ,substitutable?) expr) + (syntax-match? `('FIX:= ,substitutable? ,substitutable?) expr) + (syntax-match? `('VECTOR-REF ,substitutable? ,substitutable?) expr))) + +(define (count-refs-in name expr) + (walk-expr expr + (lambda (expr) expr 0) + (lambda (expr) expr 0) + (lambda (expr) (if (eq? expr name) 1 0)) + (lambda (expr loop) (loop (caddr expr))) + (lambda (expr loop) + (+ (apply + + (map (lambda (binding) + (loop (cadr binding))) + (caddr expr))) + (loop (cadddr expr)))) + (lambda (expr loop) (apply + (map loop expr))))) + +(define (substitute bindings expr) + (walk-expr expr + rewrite-constant + rewrite-quote + (lambda (expr) + (let ((expr (rewrite-reference expr))) + (let ((p (assq expr bindings))) + (if p + (cdr p) + expr)))) + rewrite-lambda + rewrite-loop + rewrite-combination)) + +(define (peephole-optimizer expr) + (walk-expr expr + rewrite-constant + rewrite-quote + rewrite-reference + rewrite-lambda + rewrite-loop + (lambda (expr loop) + (let ((expr (rewrite-combination expr loop))) + (let loop ((optimizers (get-peephole-optimizers expr))) + (if (pair? optimizers) + ((car optimizers) expr + peephole-optimizer + (lambda () (loop (cdr optimizers)))) + expr)))))) + +(define (define-peephole-optimizer pattern optimizer) + (set! peephole-optimizers + (cons (cons pattern optimizer) + peephole-optimizers)) + unspecific) + +(define (get-peephole-optimizers expr) + (map cdr + (filter (lambda (entry) + (syntax-match? (car entry) expr)) + peephole-optimizers))) + +(define peephole-optimizers '()) + +(define-peephole-optimizer `('CONS EXPRESSION EXPRESSION) + (lambda (expr win lose) + (if (equal? (cadr expr) (null-vals)) + (win (caddr expr)) + (lose)))) + +(define-peephole-optimizer `('CONS EXPRESSION EXPRESSION) + (lambda (expr win lose) + (if (equal? (caddr expr) (null-vals)) + (win (cadr expr)) + (lose)))) + +(define-peephole-optimizer `('FIX:+ ,fix:fixnum? ,fix:fixnum?) + (lambda (expr win lose) + lose + (win (fix:+ (cadr expr) (caddr expr))))) + +(define-peephole-optimizer `('FIX:+ ('FIX:+ EXPRESSION ,fix:fixnum?) + ,fix:fixnum?) + (lambda (expr win lose) + lose + (win `(FIX:+ ,(cadr (cadr expr)) + ,(fix:+ (caddr (cadr expr)) (caddr expr)))))) + +(define-peephole-optimizer `('FIX:< ,fix:fixnum? ,fix:fixnum?) + (lambda (expr win lose) + lose + (win (fix:< (cadr expr) (caddr expr))))) + +(define-peephole-optimizer `('FIX:< ('FIX:+ EXPRESSION ,fix:fixnum?) + ,fix:fixnum?) + (lambda (expr win lose) + lose + (let ((base (cadr (cadr expr))) + (a (caddr (cadr expr))) + (b (caddr expr))) + (if (fix:<= a b) + (win `(FIX:< ,base ,(fix:- b a))) + ;; We know that BASE is >= 0. + (win '#F))))) + +(define-peephole-optimizer '('IF #F EXPRESSION EXPRESSION) + (lambda (expr win lose) + lose + (win (cadddr expr)))) + +(define-peephole-optimizer '('IF #T EXPRESSION EXPRESSION) + (lambda (expr win lose) + lose + (win (caddr expr)))) + +(define-peephole-optimizer '('IF EXPRESSION + ('IF EXPRESSION EXPRESSION EXPRESSION) + EXPRESSION) + (lambda (expr win lose) + (if (equal? (cadddr (caddr expr)) + (cadddr expr)) + (win `(IF (AND ,(cadr expr) + ,(cadr (caddr expr))) + ,(caddr (caddr expr)) + ,(cadddr expr))) + (lose)))) + +(define-peephole-optimizer '('AND * EXPRESSION) + (lambda (expr win lose) + (cond ((null? (cdr expr)) + (win '#T)) + ((null? (cddr expr)) + (win (cadr expr))) + ((memq '#T (cdr expr)) + (win (delq '#T (cdr expr)))) + ((any (lambda (expr) + (syntax-match? '('AND * EXPRESSION) expr)) + (cdr expr)) + (win `(AND + ,@(append-map (lambda (expr) + (if (syntax-match? '('AND * EXPRESSION) expr) + (cdr expr) + (list expr))) + (cdr expr))))) + (else (lose))))) + +(define-peephole-optimizer '('AND * EXPRESSION) + (lambda (expr win lose) + (let ((test? + (lambda (expr) + (or (syntax-match? `('FIX:< ,fix:fixnum? EXPRESSION) + expr) + (syntax-match? `('FIX:= ,fix:fixnum? EXPRESSION) + expr))))) + (let ((expr* (list-copy expr))) + (let loop1 ((exprs (cdr expr*)) (changed? #f)) + (cond ((find-tail test? exprs) + => (lambda (tail) + (let ((related-test? + (lambda (expr) + (and (test? expr) + (equal? (caddr expr) + (caddr (car tail))))))) + (let loop2 ((changed? changed?)) + (let ((other (find related-test? (cdr tail)))) + (if other + (let ((expr (resolve-tests (car tail) other))) + (if expr + (begin + (set-car! tail expr) + (set-cdr! tail + (delq! other (cdr tail))) + (loop2 #t)) + (begin + (set-car! tail '#F) + (set-cdr! tail + (remove! related-test? + (cdr tail))) + (loop1 (cdr tail) #t)))) + (loop1 (cdr tail) changed?))))))) + (changed? (win expr*)) + (else (lose)))))))) + +(define (resolve-tests expr expr*) + (if (eq? (car expr) 'FIX:=) + (if (if (eq? (car expr*) 'FIX:=) + (fix:= (cadr expr*) (cadr expr)) + (fix:< (cadr expr*) (cadr expr))) + expr + #f) + (if (fix:< (cadr expr) (cadr expr*)) + expr* + (if (eq? (car expr*) 'FIX:<) + expr + #f)))) + +(define (walk-expr expr + if-constant if-quote if-reference + if-lambda if-loop if-combination) + (let loop ((expr expr)) + (cond ((syntax-match? '('LAMBDA (* SYMBOL) EXPRESSION) expr) + (if-lambda expr loop)) + ((syntax-match? '('LET SYMBOL (* (SYMBOL EXPRESSION)) EXPRESSION) + expr) + (if-loop expr loop)) + ((syntax-match? '('QUOTE EXPRESSION) expr) + (if-quote expr)) + ((syntax-match? '(+ EXPRESSION) expr) + (if-combination expr loop)) + ((syntax-match? 'IDENTIFIER expr) + (if-reference expr)) + (else + (if-constant expr))))) + +(define (rewrite-constant expr) + expr) + +(define (rewrite-quote expr) + expr) + +(define (rewrite-reference expr) + expr) + +(define (rewrite-lambda expr loop) + `(LAMBDA ,(cadr expr) + ,(loop (caddr expr)))) + +(define (rewrite-loop expr loop) + `(LET ,(cadr expr) + ,(map (lambda (binding) + (list (car binding) + (loop (cadr binding)))) + (caddr expr)) + ,(loop (cadddr expr)))) + +(define (rewrite-combination expr loop) + (map loop expr)) + +;;; Edwin Variables: +;;; lisp-indent/make-lambda: 1 +;;; lisp-indent/make-let: 1 +;;; lisp-indent/make-loop: 1 +;;; End: