February 2004 - movitz-cvs@common-lisp.net

[movitz-cvs] CVS update: movitz/compiler.lisp
by Frode Vatvedt Fjeld 04 Feb '04

04 Feb '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv4480 Modified Files: compiler.lisp Log Message: Sync small edits. Date: Wed Feb 4 11:01:16 2004 Author: ffjeld Index: movitz/compiler.lisp diff -u movitz/compiler.lisp:1.12 movitz/compiler.lisp:1.13 --- movitz/compiler.lisp:1.12 Wed Feb 4 10:25:15 2004 +++ movitz/compiler.lisp Wed Feb 4 11:01:14 2004 @@ -8,7 +8,7 @@ ;;;; Created at: Wed Oct 25 12:30:49 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: compiler.lisp,v 1.12 2004/02/04 15:25:15 ffjeld Exp $ +;;;; $Id: compiler.lisp,v 1.13 2004/02/04 16:01:14 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -140,7 +140,7 @@ lambda-form) (coerce lambda-form 'function))) -(defun make-compiled-funobj (name lambda-list declarations form env top-level-p funobj) +(defun make-compiled-funobj (name lambda-list declarations form env top-level-p &key funobj) "Compiler entry-point for making a (lexically) top-level function." (handler-bind (((or warning error) (lambda (c)

1 0

[movitz-cvs] CVS update: movitz/losp/muerte/los-closette-compiler.lisp
by Frode Vatvedt Fjeld 04 Feb '04

04 Feb '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv13377 Modified Files: los-closette-compiler.lisp Log Message: Undo of last check-in to this file, really. Date: Wed Feb 4 10:29:25 2004 Author: ffjeld Index: movitz/losp/muerte/los-closette-compiler.lisp diff -u movitz/losp/muerte/los-closette-compiler.lisp:1.3 movitz/losp/muerte/los-closette-compiler.lisp:1.4 --- movitz/losp/muerte/los-closette-compiler.lisp:1.3 Wed Feb 4 10:25:33 2004 +++ movitz/losp/muerte/los-closette-compiler.lisp Wed Feb 4 10:29:25 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Thu Aug 29 13:15:11 2002 ;;;; -;;;; $Id: los-closette-compiler.lisp,v 1.3 2004/02/04 15:25:33 ffjeld Exp $ +;;;; $Id: los-closette-compiler.lisp,v 1.4 2004/02/04 15:29:25 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -1581,7 +1581,7 @@ (translate-program lambda-list :cl :muerte.cl) (translate-program declarations :cl :muerte.cl) (translate-program (cons 'muerte.cl:progn body) :cl :muerte.cl) - nil nil nil)))) + nil nil)))) ;;; ;;; Bootstrap

1 0

[movitz-cvs] CVS update: movitz/losp/muerte/los-closette-compiler.lisp
by Frode Vatvedt Fjeld 04 Feb '04

04 Feb '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv15293 Modified Files: los-closette-compiler.lisp Log Message: More smallish rearrangement of compiler code, and some comments. Date: Wed Feb 4 10:25:33 2004 Author: ffjeld Index: movitz/losp/muerte/los-closette-compiler.lisp diff -u movitz/losp/muerte/los-closette-compiler.lisp:1.2 movitz/losp/muerte/los-closette-compiler.lisp:1.3 --- movitz/losp/muerte/los-closette-compiler.lisp:1.2 Mon Jan 19 06:23:46 2004 +++ movitz/losp/muerte/los-closette-compiler.lisp Wed Feb 4 10:25:33 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Thu Aug 29 13:15:11 2002 ;;;; -;;;; $Id: los-closette-compiler.lisp,v 1.2 2004/01/19 11:23:46 ffjeld Exp $ +;;;; $Id: los-closette-compiler.lisp,v 1.3 2004/02/04 15:25:33 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -1578,10 +1578,10 @@ (multiple-value-bind (body declarations) (movitz::parse-docstring-declarations-and-body decl-doc-body 'cl:declare) (movitz::make-compiled-funobj name - (translate-program lambda-list :cl :muerte.cl) - (translate-program declarations :cl :muerte.cl) - (translate-program (cons 'muerte.cl:progn body) :cl :muerte.cl) - nil nil)))) + (translate-program lambda-list :cl :muerte.cl) + (translate-program declarations :cl :muerte.cl) + (translate-program (cons 'muerte.cl:progn body) :cl :muerte.cl) + nil nil nil)))) ;;; ;;; Bootstrap

1 0

[movitz-cvs] CVS update: movitz/storage-types.lisp
by Frode Vatvedt Fjeld 04 Feb '04

04 Feb '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv7456 Modified Files: storage-types.lisp Log Message: More smallish rearrangement of compiler code, and some comments. Date: Wed Feb 4 10:25:28 2004 Author: ffjeld Index: movitz/storage-types.lisp diff -u movitz/storage-types.lisp:1.3 movitz/storage-types.lisp:1.4 --- movitz/storage-types.lisp:1.3 Mon Feb 2 08:09:26 2004 +++ movitz/storage-types.lisp Wed Feb 4 10:25:28 2004 @@ -9,7 +9,7 @@ ;;;; Created at: Sun Oct 22 00:22:43 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: storage-types.lisp,v 1.3 2004/02/02 13:09:26 ffjeld Exp $ +;;;; $Id: storage-types.lisp,v 1.4 2004/02/04 15:25:28 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -820,6 +820,7 @@ :accessor movitz-funobj-symtab) (borrowed-bindings :initarg :borrowed-bindings + :initform nil :accessor borrowed-bindings) (function-envs :accessor function-envs)

1 0

[movitz-cvs] CVS update: movitz/special-operators-cl.lisp
by Frode Vatvedt Fjeld 04 Feb '04

04 Feb '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv28514 Modified Files: special-operators-cl.lisp Log Message: More smallish rearrangement of compiler code, and some comments. Date: Wed Feb 4 10:25:23 2004 Author: ffjeld Index: movitz/special-operators-cl.lisp diff -u movitz/special-operators-cl.lisp:1.5 movitz/special-operators-cl.lisp:1.6 --- movitz/special-operators-cl.lisp:1.5 Tue Feb 3 14:17:30 2004 +++ movitz/special-operators-cl.lisp Wed Feb 4 10:25:23 2004 @@ -9,7 +9,7 @@ ;;;; Created at: Fri Nov 24 16:31:11 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: special-operators-cl.lisp,v 1.5 2004/02/03 19:17:30 ffjeld Exp $ +;;;; $Id: special-operators-cl.lisp,v 1.6 2004/02/04 15:25:23 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -887,7 +887,7 @@ (cadr name) lambda-declarations `(muerte.cl:progn ,@lambda-forms) - env nil nil))) + env nil))) (let ((lambda-binding (make-instance 'lambda-binding :name (gensym "anonymous-lambda-") :parent-funobj funobj @@ -950,7 +950,7 @@ (list* 'muerte.cl:block (compute-function-block-name flet-name) flet-body) - env nil nil))) + env nil))) do (movitz-env-add-binding flet-env flet-binding) collect `(:local-function-init ,flet-binding)))) (compiler-values-bind (&all body-values &code body-code) @@ -1057,7 +1057,7 @@ (compute-function-block-name labels-name) labels-body) labels-env nil - (function-binding-funobj labels-binding))) + :funobj (function-binding-funobj labels-binding))) collect `(:local-function-init ,labels-binding)))) (compiler-values-bind (&all body-values &code body-code) (compiler-call #'compile-implicit-progn

1 0

[movitz-cvs] CVS update: movitz/compiler.lisp
by Frode Vatvedt Fjeld 04 Feb '04

04 Feb '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv14912 Modified Files: compiler.lisp Log Message: More smallish rearrangement of compiler code, and some comments. Date: Wed Feb 4 10:25:16 2004 Author: ffjeld Index: movitz/compiler.lisp diff -u movitz/compiler.lisp:1.11 movitz/compiler.lisp:1.12 --- movitz/compiler.lisp:1.11 Wed Feb 4 05:33:14 2004 +++ movitz/compiler.lisp Wed Feb 4 10:25:15 2004 @@ -8,7 +8,7 @@ ;;;; Created at: Wed Oct 25 12:30:49 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: compiler.lisp,v 1.11 2004/02/04 10:33:14 ffjeld Exp $ +;;;; $Id: compiler.lisp,v 1.12 2004/02/04 15:25:15 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -154,10 +154,15 @@ (register-function-code-size (make-compiled-funobj-pass2 (make-compiled-funobj-pass1 name lambda-list declarations - form env top-level-p funobj))))) + form env top-level-p :funobj funobj))))) -(defun make-compiled-funobj-pass1 (name lambda-list declarations form env top-level-p funobj) - "Entry-point for first-pass compilation." +(defun make-compiled-funobj-pass1 (name lambda-list declarations form env top-level-p + &key funobj) + "Per funobj (i.e. not necessarily top-level) entry-point for first-pass compilation. +If funobj is provided, its identity will be kept, but its type (and values) might change." + ;; The ability to provide funobj's identity is important when a + ;; function must be referenced before it can be compiled, e.g. for + ;; mutually recursive (lexically bound) functions. (with-retries-until-true (retry-pass1 "Retry first-pass compilation of ~S." name) ;; First-pass is mostly functional, so it can safely be restarted. (multiple-value-bind (required-vars optional-vars rest-var key-vars) @@ -189,15 +194,16 @@ (error "There are duplicates in lambda-list ~S." lambda-list)) (multiple-value-bind (clause-body clause-declarations) (parse-declarations-and-body clause-body) - (let ((function-env (add-bindings-from-lambda-list - lambda-list - (make-local-movitz-environment funobj-env funobj - :type 'function-env - :declaration-context :funobj - :declarations - (append clause-declarations - declarations))))) - (make-compiled-body-pass1 funobj + (let ((function-env + (add-bindings-from-lambda-list lambda-list + (make-local-movitz-environment + funobj-env funobj + :type 'function-env + :declaration-context :funobj + :declarations + (append clause-declarations + declarations))))) + (make-compiled-function-body-pass1 funobj function-env (list* 'muerte.cl::block (compute-function-block-name name) @@ -208,7 +214,7 @@ funobj)) (defun make-compiled-function-pass1 (name lambda-list declarations form env top-level-p funobj) - "Returns compiler-values, with the pass1 funobj as &final-form." + "Returns funobj." (when (duplicatesp lambda-list) (error "There are duplicates in lambda-list ~S." lambda-list)) (let* ((funobj (or funobj (make-instance 'movitz-funobj-pass1))) @@ -223,37 +229,33 @@ (movitz-funobj-lambda-list funobj) (movitz-read (lambda-list-simplify lambda-list)) (funobj-env funobj) funobj-env (function-envs funobj) (list (cons 'muerte.cl::t function-env))) - (cond - #+ignore - ((and (= 1 (length (required-vars function-env))) - (= 1 (length (optional-vars function-env))) - (null (key-vars function-env)) - (null (rest-var function-env))) - (make-compiled-body-pass1-1req1opt funobj function-env form top-level-p)) - (t (make-compiled-body-pass1 funobj function-env form top-level-p))))) - -(defun make-compiled-body-pass1 (funobj function-env form top-level-p) - "Returns compiler-values, with the pass1 funobj as &final-form." - (multiple-value-bind (arg-init-code need-normalized-ecx-p) - (make-function-arguments-init funobj function-env) - (compiler-values-bind (&code body-code) - (compiler-call #'compile-form - :form (make-special-funarg-shadowing function-env form) - :funobj funobj - :env function-env - :top-level-p top-level-p - :result-mode :function) - (let ((extended-code (append arg-init-code body-code))) - (setf (extended-code function-env) extended-code - (need-normalized-ecx-p function-env) need-normalized-ecx-p) - funobj)))) - -(defun make-compiled-funobj-pass2 (funobj) - (check-type funobj movitz-funobj-pass1) - (complete-funobj - (layout-stack-frames - (analyze-bindings - (resolve-sub-functions funobj))))) + (make-compiled-function-body-pass1 funobj function-env form top-level-p))) + +(defun make-compiled-function-body-pass1 (funobj function-env form top-level-p) + "Returns the funobj with its extended-code." + (compiler-values-bind (&code body-code) + (compiler-call #'compile-form + :form (make-special-funarg-shadowing function-env form) + :funobj funobj + :env function-env + :top-level-p top-level-p + :result-mode :function) + (multiple-value-bind (arg-init-code need-normalized-ecx-p) + (make-function-arguments-init funobj function-env) + (setf (extended-code function-env) (append arg-init-code body-code) + (need-normalized-ecx-p function-env) need-normalized-ecx-p) + funobj))) + +(defun make-compiled-funobj-pass2 (toplevel-funobj-pass1) + "This is where second pass compilation for each top-level funobj begins." + (check-type toplevel-funobj-pass1 movitz-funobj-pass1) + (let ((toplevel-funobj (change-class toplevel-funobj-pass1 'movitz-funobj))) + (multiple-value-bind (toplevel-funobj function-binding-usage) + (resolve-borrowed-bindings toplevel-funobj) + (complete-funobj + (layout-stack-frames + (analyze-bindings + (resolve-sub-functions toplevel-funobj function-binding-usage))))))) (defun analyze-bindings (toplevel-funobj) "Figure out usage of bindings in a toplevel funobj." @@ -299,9 +301,8 @@ a borrowing-binding in the funobj-env. This process must be done recursively, depth-first wrt. sub-functions. Also, return a plist of all function-bindings seen." - (let ((toplevel-funobj (change-class toplevel-funobj 'movitz-funobj - :borrowed-bindings nil)) - (function-binding-usage ())) + (check-type toplevel-funobj movitz-funobj) + (let ((function-binding-usage ())) (labels ((process-binding (funobj binding usages) (typecase binding (forwarding-binding @@ -383,41 +384,41 @@ (values (resolve-funobj-borrowing toplevel-funobj) function-binding-usage)))) -(defun resolve-sub-functions (toplevel-funobj) - (multiple-value-bind (toplevel-funobj function-binding-usage) - (resolve-borrowed-bindings toplevel-funobj) - (assert (null (borrowed-bindings toplevel-funobj)) () - "Can't deal with toplevel closures yet.") - (setf (movitz-funobj-extent toplevel-funobj) :indefinite-extent) - (let ((sub-funobj-index 0)) - (loop for (function-binding usage) on function-binding-usage by #'cddr - do (let ((sub-funobj (function-binding-funobj function-binding))) - ;; (warn "USage: ~S => ~S" sub-funobj usage) - (case (car (movitz-funobj-name sub-funobj)) - (:anonymous-lambda - (setf (movitz-funobj-name sub-funobj) - (list :anonymous-lambda - (movitz-funobj-name toplevel-funobj) - (post-incf sub-funobj-index))))) - (cond - ((or (null usage) - (null (borrowed-bindings sub-funobj))) - (change-class function-binding 'funobj-binding) - (setf (movitz-funobj-extent sub-funobj) - :indefinite-extent)) - ((equal usage '(:call)) - (change-class function-binding 'closure-binding) +(defun resolve-sub-functions (toplevel-funobj function-binding-usage) +;;; (multiple-value-bind (toplevel-funobj function-binding-usage) +;;; (resolve-borrowed-bindings toplevel-funobj) + (assert (null (borrowed-bindings toplevel-funobj)) () + "Can't deal with toplevel closures yet.") + (setf (movitz-funobj-extent toplevel-funobj) :indefinite-extent) + (let ((sub-funobj-index 0)) + (loop for (function-binding usage) on function-binding-usage by #'cddr + do (let ((sub-funobj (function-binding-funobj function-binding))) + ;; (warn "USage: ~S => ~S" sub-funobj usage) + (case (car (movitz-funobj-name sub-funobj)) + (:anonymous-lambda + (setf (movitz-funobj-name sub-funobj) + (list :anonymous-lambda + (movitz-funobj-name toplevel-funobj) + (post-incf sub-funobj-index))))) + (cond + ((or (null usage) + (null (borrowed-bindings sub-funobj))) + (change-class function-binding 'funobj-binding) + (setf (movitz-funobj-extent sub-funobj) + :indefinite-extent)) + ((equal usage '(:call)) + (change-class function-binding 'closure-binding) + (setf (movitz-funobj-extent sub-funobj) + :lexical-extent)) + (t (change-class function-binding 'closure-binding) (setf (movitz-funobj-extent sub-funobj) - :lexical-extent)) - (t (change-class function-binding 'closure-binding) - (setf (movitz-funobj-extent sub-funobj) - :indefinite-extent))) ; XXX - #+ignore (warn "extent: ~S => ~S" - sub-funobj - (movitz-funobj-extent sub-funobj))))) - (loop for function-binding in function-binding-usage by #'cddr - do (finalize-funobj (function-binding-funobj function-binding))) - (finalize-funobj toplevel-funobj))) + :indefinite-extent))) ; XXX + #+ignore (warn "extent: ~S => ~S" + sub-funobj + (movitz-funobj-extent sub-funobj))))) + (loop for function-binding in function-binding-usage by #'cddr + do (finalize-funobj (function-binding-funobj function-binding))) + (finalize-funobj toplevel-funobj)) (defun finalize-funobj (funobj) "Calculate funobj's constants, jumpers."

1 0

[movitz-cvs] CVS update: movitz/compiler.lisp
by Frode Vatvedt Fjeld 04 Feb '04

04 Feb '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv26141 Modified Files: compiler.lisp Log Message: Rearranging compiler code somewhat. Still no change in compiler functionality. Date: Wed Feb 4 05:33:14 2004 Author: ffjeld Index: movitz/compiler.lisp diff -u movitz/compiler.lisp:1.10 movitz/compiler.lisp:1.11 --- movitz/compiler.lisp:1.10 Tue Feb 3 14:17:24 2004 +++ movitz/compiler.lisp Wed Feb 4 05:33:14 2004 @@ -8,7 +8,7 @@ ;;;; Created at: Wed Oct 25 12:30:49 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: compiler.lisp,v 1.10 2004/02/03 19:17:24 ffjeld Exp $ +;;;; $Id: compiler.lisp,v 1.11 2004/02/04 10:33:14 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -108,7 +108,7 @@ (defconstant +code-vector-entry-factor+ 1) -(defclass movitz-funobj-pass1 (movitz-heap-object) +(defclass movitz-funobj-pass1 () ((name :initarg :name :accessor movitz-funobj-name) @@ -119,13 +119,14 @@ :accessor function-envs) (funobj-env :initarg :funobj-env - :accessor funobj-env) - (body-compiler-values - :accessor body-compiler-values)) + :accessor funobj-env)) (:documentation "This class is used for funobjs during the first compiler pass. Before the second pass, such objects will be change-class-ed to proper movitz-funobjs. This way, we ensure that no undue side-effects on the funobj occur during pass 1.")) +(defclass movitz-funobj-pass1-numargs-case (movitz-funobj-pass1) ()) +(defclass movitz-funobj-pass1-1req1opt (movitz-funobj-pass1) ()) + (defmethod print-object ((object movitz-funobj-pass1) stream) (print-unreadable-object (object stream :type t :identity t) (when (slot-boundp object 'name) @@ -140,6 +141,7 @@ (coerce lambda-form 'function))) (defun make-compiled-funobj (name lambda-list declarations form env top-level-p funobj) + "Compiler entry-point for making a (lexically) top-level function." (handler-bind (((or warning error) (lambda (c) (declare (ignore c)) @@ -151,22 +153,32 @@ name muerte.cl:*compile-file-pathname*))))) (register-function-code-size (make-compiled-funobj-pass2 - (make-compiled-funobj-pass1 name lambda-list declarations form env top-level-p funobj))))) + (make-compiled-funobj-pass1 name lambda-list declarations + form env top-level-p funobj))))) (defun make-compiled-funobj-pass1 (name lambda-list declarations form env top-level-p funobj) "Entry-point for first-pass compilation." (with-retries-until-true (retry-pass1 "Retry first-pass compilation of ~S." name) ;; First-pass is mostly functional, so it can safely be restarted. - (funcall (cond - ((let ((sub-form (cddr form))) - (and (consp (car sub-form)) - (eq 'muerte::numargs-case (caar sub-form)))) - 'make-compiled-function-pass1-numarg-case) - (t 'make-compiled-function-pass1)) - name lambda-list declarations form env top-level-p funobj))) + (multiple-value-bind (required-vars optional-vars rest-var key-vars) + (decode-normal-lambda-list lambda-list) + ;; There are several main branches through the function + ;; compiler, and this is where we decide which to take. + (funcall (cond + ((let ((sub-form (cddr form))) + (and (consp (car sub-form)) + (eq 'muerte::numargs-case (caar sub-form)))) + 'make-compiled-function-pass1-numarg-case) + ((and (= 1 (length required-vars)) + (= 1 (length optional-vars)) + (null key-vars) + (not rest-var)) + 'make-compiled-function-pass1) + (t 'make-compiled-function-pass1)) + name lambda-list declarations form env top-level-p funobj)))) (defun make-compiled-function-pass1-numarg-case (name lambda-list declarations form env top-level-p funobj) - (let* ((funobj (or funobj (make-instance 'movitz-funobj-pass1))) + (let* ((funobj (or funobj (make-instance 'movitz-funobj-pass1-numargs-case))) (funobj-env (make-local-movitz-environment env funobj :type 'funobj-env))) (setf (movitz-funobj-name funobj) name (movitz-funobj-lambda-list funobj) (movitz-read (lambda-list-simplify lambda-list)) @@ -244,6 +256,7 @@ (resolve-sub-functions funobj))))) (defun analyze-bindings (toplevel-funobj) + "Figure out usage of bindings in a toplevel funobj." (let ((bindings ())) (labels ((type-is-t (type-specifier) (or (eq type-specifier t)

1 0

[movitz-cvs] CVS update: movitz/image.lisp
by Frode Vatvedt Fjeld 03 Feb '04

03 Feb '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv3200 Modified Files: image.lisp Log Message: Fixed call to make-compiled-funobj. Date: Tue Feb 3 14:18:43 2004 Author: ffjeld Index: movitz/image.lisp diff -u movitz/image.lisp:1.6 movitz/image.lisp:1.7 --- movitz/image.lisp:1.6 Tue Feb 3 13:02:15 2004 +++ movitz/image.lisp Tue Feb 3 14:18:43 2004 @@ -9,7 +9,7 @@ ;;;; Created at: Sun Oct 22 00:22:43 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: image.lisp,v 1.6 2004/02/03 18:02:15 ffjeld Exp $ +;;;; $Id: image.lisp,v 1.7 2004/02/03 19:18:43 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -1469,7 +1469,7 @@ ,@toplevel-code (muerte::halt-cpu)) - nil t))) + nil t nil))) (defun mkasm-write-word-eax-ebx () (let ((loop-label (make-symbol "write-word-loop"))

1 0

[movitz-cvs] CVS update: movitz/special-operators.lisp
by Frode Vatvedt Fjeld 03 Feb '04

03 Feb '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv31106 Modified Files: special-operators.lisp Log Message: Changed some function signatures in the compiler. Date: Tue Feb 3 14:17:34 2004 Author: ffjeld Index: movitz/special-operators.lisp diff -u movitz/special-operators.lisp:1.4 movitz/special-operators.lisp:1.5 --- movitz/special-operators.lisp:1.4 Mon Feb 2 09:54:29 2004 +++ movitz/special-operators.lisp Tue Feb 3 14:17:34 2004 @@ -8,7 +8,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Fri Nov 24 16:22:59 2000 ;;;; -;;;; $Id: special-operators.lisp,v 1.4 2004/02/02 14:54:29 ffjeld Exp $ +;;;; $Id: special-operators.lisp,v 1.5 2004/02/03 19:17:34 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -259,7 +259,7 @@ (declare (ignore c)) (format *error-output* "~&;; In function ~S:~&" name)))) (let* ((*compiling-function-name* name) - (funobj (make-compiled-funobj name formals declarations body env nil))) + (funobj (make-compiled-funobj name formals declarations body env nil nil))) (setf (movitz-funobj-symbolic-name funobj) name) (setf (movitz-env-named-function name) funobj)))) (compiler-values ()))

1 0

[movitz-cvs] CVS update: movitz/special-operators-cl.lisp
by Frode Vatvedt Fjeld 03 Feb '04

03 Feb '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv30418 Modified Files: special-operators-cl.lisp Log Message: Changed some function signatures in the compiler. Date: Tue Feb 3 14:17:30 2004 Author: ffjeld Index: movitz/special-operators-cl.lisp diff -u movitz/special-operators-cl.lisp:1.4 movitz/special-operators-cl.lisp:1.5 --- movitz/special-operators-cl.lisp:1.4 Mon Feb 2 09:52:24 2004 +++ movitz/special-operators-cl.lisp Tue Feb 3 14:17:30 2004 @@ -9,7 +9,7 @@ ;;;; Created at: Fri Nov 24 16:31:11 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: special-operators-cl.lisp,v 1.4 2004/02/02 14:52:24 ffjeld Exp $ +;;;; $Id: special-operators-cl.lisp,v 1.5 2004/02/03 19:17:30 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -887,7 +887,7 @@ (cadr name) lambda-declarations `(muerte.cl:progn ,@lambda-forms) - env nil))) + env nil nil))) (let ((lambda-binding (make-instance 'lambda-binding :name (gensym "anonymous-lambda-") :parent-funobj funobj @@ -950,7 +950,7 @@ (list* 'muerte.cl:block (compute-function-block-name flet-name) flet-body) - env nil))) + env nil nil))) do (movitz-env-add-binding flet-env flet-binding) collect `(:local-function-init ,flet-binding)))) (compiler-values-bind (&all body-values &code body-code) @@ -1057,7 +1057,7 @@ (compute-function-block-name labels-name) labels-body) labels-env nil - :funobj (function-binding-funobj labels-binding))) + (function-binding-funobj labels-binding))) collect `(:local-function-init ,labels-binding)))) (compiler-values-bind (&all body-values &code body-code) (compiler-call #'compile-implicit-progn

1 0