movitz-cvs

movitz-cvs@common-lisp.net

2595 discussions

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

15 Apr '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv23234 Modified Files: compiler.lisp Log Message: Only insert stack-checks when the function also has its own stack-frame. Date: Thu Apr 15 06:45:06 2004 Author: ffjeld Index: movitz/compiler.lisp diff -u movitz/compiler.lisp:1.46 movitz/compiler.lisp:1.47 --- movitz/compiler.lisp:1.46 Wed Apr 14 15:04:05 2004 +++ movitz/compiler.lisp Thu Apr 15 06:45:05 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.46 2004/04/14 19:04:05 ffjeld Exp $ +;;;; $Id: compiler.lisp,v 1.47 2004/04/15 10:45:05 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -3859,7 +3859,7 @@ and do (setq need-normalized-ecx-p t)))))) (assert (not (minusp stack-setup-size))) (let ((stack-frame-init-code - (append (when (and do-check-stack-p + (append (when (and do-check-stack-p use-stack-frame-p *compiler-auto-stack-checks-p* (not (without-check-stack-limit-p env))) `((,*compiler-local-segment-prefix*

1 0

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

14 Apr '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv11592 Modified Files: special-operators.lisp Log Message: Commented out some experimental code for 'not' that's probably no good. Date: Wed Apr 14 19:20:25 2004 Author: ffjeld Index: movitz/special-operators.lisp diff -u movitz/special-operators.lisp:1.19 movitz/special-operators.lisp:1.20 --- movitz/special-operators.lisp:1.19 Tue Apr 13 09:07:46 2004 +++ movitz/special-operators.lisp Wed Apr 14 19:20:24 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.19 2004/04/13 13:07:46 ffjeld Exp $ +;;;; $Id: special-operators.lisp,v 1.20 2004/04/14 23:20:24 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -665,21 +665,21 @@ (#.(append +boolean-modes+ '(:boolean-branch-on-true :boolean-branch-on-false)) (compiler-values (not-values) :returns (complement-boolean-result-mode not-returns))) - ((:eax :function :multiple-values :ebx :edx) - (case result-mode - ((:eax :ebx :ecx :edx :function :multiple-values) - (compiler-values (not-values) - :code (append (not-values :code) - `((:cmpl :edi ,(single-value-register not-returns)) - (:sbbl :ecx :ecx) - (:cmpl ,(1+ (image-nil-word *image*)) - ,(single-value-register not-returns)) - (:adcl 0 :ecx))) - :returns '(:boolean-ecx 1 0))) - (t (compiler-values (not-values) - :code (append (not-values :code) - `((:cmpl :edi ,(single-value-register not-returns)))) - :returns :boolean-zf=1)))) +;;; ((:eax :function :multiple-values :ebx :edx) +;;; (case result-mode +;;; ((:eax :ebx :ecx :edx :function :multiple-values) +;;; (compiler-values (not-values) +;;; :code (append (not-values :code) +;;; `((:cmpl :edi ,(single-value-register not-returns)) +;;; (:sbbl :ecx :ecx) +;;; (:cmpl ,(1+ (image-nil-word *image*)) +;;; ,(single-value-register not-returns)) +;;; (:adcl 0 :ecx))) +;;; :returns '(:boolean-ecx 1 0))) +;;; (t (compiler-values (not-values) +;;; :code (append (not-values :code) +;;; `((:cmpl :edi ,(single-value-register not-returns)))) +;;; :returns :boolean-zf=1)))) ((:eax :function :multiple-values :ebx :ecx :edx) (compiler-values (not-values) :code (append (not-values :code)

1 0

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

14 Apr '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv7982 Modified Files: image.lisp Log Message: Dump images according to the new approach to compile-time variables. I.e don't any more insert a property into global-properties for each and every compile-time-variable. Date: Wed Apr 14 18:51:24 2004 Author: ffjeld Index: movitz/image.lisp diff -u movitz/image.lisp:1.21 movitz/image.lisp:1.22 --- movitz/image.lisp:1.21 Wed Apr 14 08:40:26 2004 +++ movitz/image.lisp Wed Apr 14 18:51:24 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.21 2004/04/14 12:40:26 ffjeld Exp $ +;;;; $Id: image.lisp,v 1.22 2004/04/14 22:51:24 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -804,17 +804,18 @@ (movitz-nil) (t (warn "not a symbol for plist: ~S has ~S" symbol plist))))) ;; pull in global properties + (loop for var in (image-compile-time-variables *image*) + do (let ((mname (movitz-read var)) + (mvalue (movitz-read (symbol-value var)))) + (setf (movitz-symbol-value mname) mvalue))) (setf (movitz-constant-block-global-properties constant-block) - (movitz-read (nconc (mapcan #'(lambda (var) - (list (movitz-read var) (movitz-read (symbol-value var)))) - (image-compile-time-variables *image*)) - (list :setf-namespace (movitz-environment-setf-function-names - *movitz-global-environment*) - :trampoline-funcall%1op (find-primitive-function - 'muerte::trampoline-funcall%1op) - :trampoline-funcall%2op (find-primitive-function - 'muerte::trampoline-funcall%2op) - :packages (make-packages-hash)))))) + (movitz-read (list :packages (make-packages-hash) + :setf-namespace (movitz-environment-setf-function-names + *movitz-global-environment*) + :trampoline-funcall%1op (find-primitive-function + 'muerte::trampoline-funcall%1op) + :trampoline-funcall%2op (find-primitive-function + 'muerte::trampoline-funcall%2op))))) (with-binary-file (stream path :check-stream t :direction :output

1 0

[movitz-cvs] CVS update: movitz/losp/muerte/cpu-id.lisp
by Frode Vatvedt Fjeld 14 Apr '04

14 Apr '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv3809 Modified Files: cpu-id.lisp Log Message: Re-wrote cpu-id. This function still has some way to go before it's compliant with (the still very informal) stack and register disciplines. Date: Wed Apr 14 18:49:14 2004 Author: ffjeld Index: movitz/losp/muerte/cpu-id.lisp diff -u movitz/losp/muerte/cpu-id.lisp:1.2 movitz/losp/muerte/cpu-id.lisp:1.3 --- movitz/losp/muerte/cpu-id.lisp:1.2 Mon Jan 19 06:23:46 2004 +++ movitz/losp/muerte/cpu-id.lisp Wed Apr 14 18:49:14 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Mon Apr 15 22:47:13 2002 ;;;; -;;;; $Id: cpu-id.lisp,v 1.2 2004/01/19 11:23:46 ffjeld Exp $ +;;;; $Id: cpu-id.lisp,v 1.3 2004/04/14 22:49:14 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -91,53 +91,50 @@ octets in c0, c1, c2, and c3. The 16 values returned represent the individual octets of EAX, EBX, EDX, and ECX, also in little-endian order." (when (cpu-586-class-p) - (with-inline-assembly (:returns :multiple-values) pack octets - ;; c0-c1-c2-c3 into eax.. - (:compile-form (:result-mode :eax) c3) - (:compile-form (:result-mode :ecx) c2) - (:shll 8 :eax) - (:xorl :ecx :eax) - (:compile-form (:result-mode :ecx) c1) - (:shll 8 :eax) - (:xorl :ecx :eax) - (:compile-form (:result-mode :ecx) c0) - (:shll #.(cl:- 8 movitz::+movitz-fixnum-shift+) :eax) - (:shrl #.movitz::+movitz-fixnum-shift+ :ecx) - (:xorl :ecx :eax) - ;; do actual cpu-id instruction - (:cpuid) - ;; unpack eax, ebx, edx, ecx to 16 values.. - (:call '(:sub-program (unpack-eax) - (:popl (:esp -20)) ; return address - (:pushl :eax) - (:andl #x000000ff (:esp)) - (:shll #.movitz::+movitz-fixnum-shift+ (:esp)) - (:pushl :eax) - (:andl #x0000ff00 (:esp)) - (:shrl #.(cl:- 8 movitz::+movitz-fixnum-shift+) (:esp)) - (:pushl :eax) - (:andl #x00ff0000 (:esp)) - (:shrl #.(cl:- 16 movitz::+movitz-fixnum-shift+) (:esp)) - (:pushl :eax) - (:andl #xff000000 (:esp)) - (:shrl #.(cl:- 24 movitz::+movitz-fixnum-shift+) (:esp)) - (:subl 4 :esp) - (:ret))) - (:movl :ebx :eax) - (:call 'unpack-eax) - (:movl :edx :eax) - (:call 'unpack-eax) - (:movl :ecx :eax) - (:call 'unpack-eax) - ;; return multiple-values (16 values, actually..) - (:movl (:esp #.(cl:* 4 (cl:- 16 1))) :eax) - (:movl (:esp #.(cl:* 4 (cl:- 16 2))) :ebx) - ;; (:leal (:esp #.(cl:* 4 (cl:- 16 3))) :edx) - (:movb 16 :cl) - (:load-constant muerte.cl::values :edx) - (:movl (:edx #.(bt:slot-offset 'movitz::movitz-symbol 'movitz::function-value)) - :esi) ; load new funobj from symbol into ESI - (:call (:esi #.(bt:slot-offset 'movitz::movitz-funobj 'movitz::code-vector)))))) + (macrolet + ((do-it () + (flet ((make-register-push (register) + `((:pushl ,register) + (:andl #x000000ff (:esp)) + (:shll #.movitz::+movitz-fixnum-shift+ (:esp)) + (:pushl ,register) + (:andl #x0000ff00 (:esp)) + (:shrl #.(cl:- 8 movitz::+movitz-fixnum-shift+) (:esp)) + (:pushl ,register) + (:andl #x00ff0000 (:esp)) + (:shrl #.(cl:- 16 movitz::+movitz-fixnum-shift+) (:esp)) + (:pushl ,register) + (:andl #xff000000 (:esp)) + (:shrl #.(cl:- 24 movitz::+movitz-fixnum-shift+) (:esp))))) + `(with-inline-assembly (:returns :multiple-values) pack octets + ;; c0-c1-c2-c3 into eax.. + (:compile-form (:result-mode :eax) c3) + (:compile-form (:result-mode :ecx) c2) + (:shll 8 :eax) + (:xorl :ecx :eax) + (:compile-form (:result-mode :ecx) c1) + (:shll 8 :eax) + (:xorl :ecx :eax) + (:compile-form (:result-mode :ecx) c0) + (:shll #.(cl:- 8 movitz::+movitz-fixnum-shift+) :eax) + (:shrl #.movitz::+movitz-fixnum-shift+ :ecx) + (:xorl :ecx :eax) + ;; do actual cpu-id instruction + (:cpuid) + ;; unpack eax, ebx, edx, ecx to 16 values.. + ,@(make-register-push :eax) + ,@(make-register-push :ebx) + ,@(make-register-push :edx) + ,@(make-register-push :ecx) + ;; return multiple-values (16 values, actually..) + (:movl (:esp #.(cl:* 4 (cl:- 16 1))) :eax) + (:movl (:esp #.(cl:* 4 (cl:- 16 2))) :ebx) + (:movb 16 :cl) + (:load-constant muerte.cl::values :edx) + (:movl (:edx #.(bt:slot-offset 'movitz::movitz-symbol 'movitz::function-value)) + :esi) ; load new funobj from symbol into ESI + (:call (:esi #.(bt:slot-offset 'movitz::movitz-funobj 'movitz::code-vector))))))) + (do-it)))) (defconstant +cpu-id-feature-map+

1 0

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

14 Apr '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv14368 Modified Files: los-closette.lisp Log Message: Changed the init-form for *standard-effective-slot-readers* from (vector ..) to #(..), so that it's more easily recognized as a constant form. Date: Wed Apr 14 18:01:30 2004 Author: ffjeld Index: movitz/losp/muerte/los-closette.lisp diff -u movitz/losp/muerte/los-closette.lisp:1.6 movitz/losp/muerte/los-closette.lisp:1.7 --- movitz/losp/muerte/los-closette.lisp:1.6 Mon Mar 22 11:38:10 2004 +++ movitz/losp/muerte/los-closette.lisp Wed Apr 14 18:01:30 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Tue Jul 23 14:29:10 2002 ;;;; -;;;; $Id: los-closette.lisp,v 1.6 2004/03/22 16:38:10 ffjeld Exp $ +;;;; $Id: los-closette.lisp,v 1.7 2004/04/14 22:01:30 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -912,14 +912,14 @@ done))) (defparameter *standard-effective-slot-readers* - (vector 'standard-effective-slot-reader%0 - 'standard-effective-slot-reader%1 - 'standard-effective-slot-reader%2 - 'standard-effective-slot-reader%3 - 'standard-effective-slot-reader%4 - 'standard-effective-slot-reader%5 - 'standard-effective-slot-reader%6 - 'standard-effective-slot-reader%7) + #(standard-effective-slot-reader%0 + standard-effective-slot-reader%1 + standard-effective-slot-reader%2 + standard-effective-slot-reader%3 + standard-effective-slot-reader%4 + standard-effective-slot-reader%5 + standard-effective-slot-reader%6 + standard-effective-slot-reader%7) "The element at position i is a standard-reader for a slot at position i.")

1 0

[movitz-cvs] CVS update: movitz/losp/muerte/basic-macros.lisp
by Frode Vatvedt Fjeld 14 Apr '04

14 Apr '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv8206 Modified Files: basic-macros.lisp Log Message: Changed the mechanism of define-compile-time-variable. This means that a lot fewer files needs to be executed at boot-time. Date: Wed Apr 14 17:59:35 2004 Author: ffjeld Index: movitz/losp/muerte/basic-macros.lisp diff -u movitz/losp/muerte/basic-macros.lisp:1.9 movitz/losp/muerte/basic-macros.lisp:1.10 --- movitz/losp/muerte/basic-macros.lisp:1.9 Wed Apr 14 16:03:33 2004 +++ movitz/losp/muerte/basic-macros.lisp Wed Apr 14 17:59:34 2004 @@ -9,7 +9,7 @@ ;;;; Created at: Wed Nov 8 18:44:57 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: basic-macros.lisp,v 1.9 2004/04/14 20:03:33 ffjeld Exp $ +;;;; $Id: basic-macros.lisp,v 1.10 2004/04/14 21:59:34 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -135,12 +135,12 @@ `(defparameter ,name ,value ,documentation))) (defmacro define-compile-time-variable (name value) - `(progn - (eval-when (:compile-toplevel) - (defparameter ,name ,value) - ;; (setf (symbol-value ',name) ,value) - (pushnew ',name (movitz::image-compile-time-variables movitz::*image*))) - (defparameter ,name (get-global-property ',name)))) + (let ((the-value (eval value))) + `(progn + (eval-when (:compile-toplevel) + (defparameter ,name ',the-value) + (pushnew ',name (movitz::image-compile-time-variables movitz::*image*))) + (defparameter ,name ',the-value)))) (defmacro let* (var-list &body body) (labels ((expand (rest-vars body)

1 0

[movitz-cvs] CVS update: movitz/eval.lisp
by Frode Vatvedt Fjeld 14 Apr '04

14 Apr '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv1920 Modified Files: eval.lisp Log Message: Re-wrote movitz-constantp more reasonably. Date: Wed Apr 14 17:56:08 2004 Author: ffjeld Index: movitz/eval.lisp diff -u movitz/eval.lisp:1.5 movitz/eval.lisp:1.6 --- movitz/eval.lisp:1.5 Tue Apr 13 12:30:36 2004 +++ movitz/eval.lisp Wed Apr 14 17:56:08 2004 @@ -9,7 +9,7 @@ ;;;; Created at: Thu Nov 2 17:45:05 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: eval.lisp,v 1.5 2004/04/13 16:30:36 ffjeld Exp $ +;;;; $Id: eval.lisp,v 1.6 2004/04/14 21:56:08 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -59,11 +59,7 @@ (defun movitz-constantp (form &optional (environment nil)) (let ((form (translate-program form :cl :muerte.cl))) (typecase form - (boolean t) - (number t) (keyword t) - (character t) - (string t) (symbol (or (movitz-env-get form 'constantp nil environment) (typep (movitz-binding form environment) 'constant-object-binding))) (cons (case (car form) @@ -73,7 +69,8 @@ ((muerte.cl:+ muerte.cl:- muerte.cl:*) (every (lambda (sub-form) (movitz-constantp sub-form environment)) - (cdr form)))))))) + (cdr form))))) + (t t)))) ; anything else is self-evaluating. (defun isconst (x)

1 0

[movitz-cvs] CVS update: movitz/losp/muerte/primitive-functions.lisp
by Frode Vatvedt Fjeld 14 Apr '04

14 Apr '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv23201 Modified Files: primitive-functions.lisp Log Message: In both dynamic-load and dynamic-store I commented out a safety-check that is really superfluous (assuming the dynamic-env linked list is consistent). This should speed up dynamic variable access a bit. Date: Wed Apr 14 16:10:58 2004 Author: ffjeld Index: movitz/losp/muerte/primitive-functions.lisp diff -u movitz/losp/muerte/primitive-functions.lisp:1.10 movitz/losp/muerte/primitive-functions.lisp:1.11 --- movitz/losp/muerte/primitive-functions.lisp:1.10 Wed Apr 14 13:54:51 2004 +++ movitz/losp/muerte/primitive-functions.lisp Wed Apr 14 16:10:58 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Tue Oct 2 21:02:18 2001 ;;;; -;;;; $Id: primitive-functions.lisp,v 1.10 2004/04/14 17:54:51 ffjeld Exp $ +;;;; $Id: primitive-functions.lisp,v 1.11 2004/04/14 20:10:58 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -246,10 +246,10 @@ (:jecxz 'no-stack-binding) (:cmpl :eax (:ecx)) (:je 'success) - (:locally (:movl (:edi (:edi-offset stack-top)) :edx)) +;;; (:locally (:movl (:edi (:edi-offset stack-top)) :edx)) search-loop - (:cmpl :edx (:ecx 12)) - (:jnc '(:sub-program () (:int 97))) +;;; (:cmpl :edx (:ecx 12)) +;;; (:jnc '(:sub-program () (:int 97))) (:movl (:ecx 12) :ecx) ; parent (:jecxz 'no-stack-binding) (:cmpl :eax (:ecx)) ; compare name @@ -276,10 +276,10 @@ (:jecxz 'no-binding) (:cmpl :eax (:ecx)) (:je 'success) - (:locally (:movl (:edi (:edi-offset stack-top)) :edx)) +;;; (:locally (:movl (:edi (:edi-offset stack-top)) :edx)) search-loop - (:cmpl :edx (:ecx 12)) - (:jnc '(:sub-program () (:int 97))) +;;; (:cmpl :edx (:ecx 12)) +;;; (:jnc '(:sub-program () (:int 97))) (:movl (:ecx 12) :ecx) ; parent (:jecxz 'no-binding) (:cmpl :eax (:ecx)) ; compare name

1 0

[movitz-cvs] CVS update: movitz/losp/muerte/memref.lisp
by Frode Vatvedt Fjeld 14 Apr '04

14 Apr '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv9893 Modified Files: memref.lisp Log Message: Fixed the most general case for memref type :unsigned-byte32. Date: Wed Apr 14 16:05:27 2004 Author: ffjeld Index: movitz/losp/muerte/memref.lisp diff -u movitz/losp/muerte/memref.lisp:1.12 movitz/losp/muerte/memref.lisp:1.13 --- movitz/losp/muerte/memref.lisp:1.12 Wed Apr 14 08:31:08 2004 +++ movitz/losp/muerte/memref.lisp Wed Apr 14 16:05:26 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Tue Mar 6 21:25:49 2001 ;;;; -;;;; $Id: memref.lisp,v 1.12 2004/04/14 12:31:08 ffjeld Exp $ +;;;; $Id: memref.lisp,v 1.13 2004/04/14 20:05:26 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -177,9 +177,7 @@ (:sarl ,movitz::+movitz-fixnum-shift+ :ecx) (:load-lexical (:lexical-binding ,object-var) :eax) (:addl :ebx :ecx) - (:movl (:eax :ecx ,(offset-by 4)) :ecx) - (:cmpl ,movitz::+movitz-most-positive-fixnum+ :ecx) - (:jg '(:sub-program () (:int 4))))))))) + (:movl (:eax :ecx ,(offset-by 4)) :ecx))))))) (:lisp (cond ((and (eql 0 index) (eql 0 offset)) @@ -335,17 +333,24 @@ (:load-lexical (:lexical-binding ,value-var) :ecx) (:shrl ,movitz:+movitz-fixnum-shift+ :ecx) (:movl :ecx (:eax :ebx ,(movitz:movitz-eval offset env))))))) - (t (warn "Compiling unsafely: ~A" form) - `(with-inline-assembly (:returns :untagged-fixnum-eax) - (:compile-form (:result-mode :push) ,object) - (:compile-form (:result-mode :push) ,offset) - (:compile-two-forms (:ebx :eax) ,index ,value) - (:popl :ecx) ; offset - (:shrl ,movitz::+movitz-fixnum-shift+ :eax) - (:sarl ,movitz::+movitz-fixnum-shift+ :ecx) - (:addl :ebx :ecx) ; index += offset - (:popl :ebx) ; object - (:movl :eax (:ebx :ecx)))))) + (t (let ((value-var (gensym "memref-value-")) + (object-var (gensym "memref-object-")) + (offset-var (gensym "memref-offset-")) + (index-var (gensym "memref-index-"))) + (assert (= 4 movitz:+movitz-fixnum-factor+)) + `(let ((,value-var ,value) + (,object-var ,object) + (,offset-var ,offset) + (,index-var ,index)) + (with-inline-assembly (:returns :eax) + (:compile-two-forms (:edx :untagged-fixnum-ecx) ,index-var ,offset-var) + (:addl :edx :ecx) ; offset+index in ECX + (:compile-two-forms (:eax :ebx) ,value-var ,object-var) + (:std) + (:shrl ,movitz::+movitz-fixnum-shift+ :eax) + (:movl :eax (:ebx :ecx)) + (:shll ,movitz:+movitz-fixnum-shift+ :eax) + (:cld))))))) (:unsigned-byte16 (cond ((and (movitz:movitz-constantp value env)

1 0

[movitz-cvs] CVS update: movitz/losp/muerte/symbols.lisp
by Frode Vatvedt Fjeld 14 Apr '04

14 Apr '04

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv3183 Modified Files: symbols.lisp Log Message: Boundp was completely bogus (!). Also added a compiler-macro for boundp. Date: Wed Apr 14 16:03:38 2004 Author: ffjeld Index: movitz/losp/muerte/symbols.lisp diff -u movitz/losp/muerte/symbols.lisp:1.7 movitz/losp/muerte/symbols.lisp:1.8 --- movitz/losp/muerte/symbols.lisp:1.7 Tue Apr 6 10:30:48 2004 +++ movitz/losp/muerte/symbols.lisp Wed Apr 14 16:03:38 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Tue Sep 4 23:55:41 2001 ;;;; -;;;; $Id: symbols.lisp,v 1.7 2004/04/06 14:30:48 ffjeld Exp $ +;;;; $Id: symbols.lisp,v 1.8 2004/04/14 20:03:38 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -121,10 +121,7 @@ (movitz-accessor symbol movitz-symbol package)))) (defun boundp (symbol) - (etypecase symbol - (null nil) - (symbol - (not (eq (movitz-accessor symbol movitz-symbol value) 'unbound))))) + (boundp symbol)) (defun makunbound (symbol) (setf (symbol-value symbol)

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

movitz-cvs