movitz-cvs

movitz-cvs@common-lisp.net

2595 discussions

[movitz-cvs] CVS update: movitz/losp/muerte/integers.lisp
by ffjeld＠common-lisp.net 16 Sep '05

16 Sep '05

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv32150 Modified Files: integers.lisp Log Message: Fixed bug in ldb%byte that would erroneously return 0 for byte-positions above #x4000. (same bug present at anoter spot.) Date: Sat Sep 17 00:14:59 2005 Author: ffjeld Index: movitz/losp/muerte/integers.lisp diff -u movitz/losp/muerte/integers.lisp:1.111 movitz/losp/muerte/integers.lisp:1.112 --- movitz/losp/muerte/integers.lisp:1.111 Sat Sep 17 00:05:46 2005 +++ movitz/losp/muerte/integers.lisp Sat Sep 17 00:14:59 2005 @@ -9,7 +9,7 @@ ;;;; Created at: Wed Nov 8 18:44:57 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: integers.lisp,v 1.111 2005/09/16 22:05:46 ffjeld Exp $ +;;;; $Id: integers.lisp,v 1.112 2005/09/16 22:14:59 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -1862,7 +1862,8 @@ (:compile-form (:result-mode :ebx) integer) (:compile-form (:result-mode :ecx) position) (:shrl 5 :ecx) ; compute fixnum bigit-number in ecx - (:cmpl #x4000 :ecx) + (:cmpl ,(* #x4000 movitz:+movitz-fixnum-factor+) + :ecx) (:jnc 'position-outside-integer) (:cmpw :cx (:ebx (:offset movitz-bignum length))) (:jbe '(:sub-program (position-outside-integer)

1 0

[movitz-cvs] CVS update: movitz/losp/muerte/integers.lisp
by ffjeld＠common-lisp.net 16 Sep '05

16 Sep '05

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv31870 Modified Files: integers.lisp Log Message: Fixed bug in ldb%byte that would erroneously return 0 for byte-positions above #x4000. Date: Sat Sep 17 00:05:46 2005 Author: ffjeld Index: movitz/losp/muerte/integers.lisp diff -u movitz/losp/muerte/integers.lisp:1.110 movitz/losp/muerte/integers.lisp:1.111 --- movitz/losp/muerte/integers.lisp:1.110 Thu Sep 1 00:34:14 2005 +++ movitz/losp/muerte/integers.lisp Sat Sep 17 00:05:46 2005 @@ -9,7 +9,7 @@ ;;;; Created at: Wed Nov 8 18:44:57 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: integers.lisp,v 1.110 2005/08/31 22:34:14 ffjeld Exp $ +;;;; $Id: integers.lisp,v 1.111 2005/09/16 22:05:46 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -1053,6 +1053,10 @@ (i 0 (+ i 29))) ((>= i length) (bignum-canonicalize r)) (bignum-set-zerof tmp) + (when (get 'foo 'foo) + (format t "~&i: ~D, y: #x~X ~S/~S~%" i (ldb (byte 29 i) y) + (integer-length x) + (integer-length y))) (bignum-addf r (bignum-shift-leftf (bignum-mulf (bignum-addf tmp x) (ldb (byte 29 i) y)) i))) @@ -1797,7 +1801,8 @@ (:sarl 5 :ecx) (:andl -4 :ecx) (:addl 4 :ecx) - (:cmpl #x4000 :ecx) + (:cmpl ,(* #x4000 movitz:+movitz-fixnum-factor+) + :ecx) (:jae 'position-outside-integer) (:cmpw :cx (:ebx (:offset movitz-bignum length))) (:jc '(:sub-program (position-outside-integer) @@ -2173,7 +2178,14 @@ (defun expt (base-number power-number) "Take base-number to the power-number." - (do ((i 0 (1+ i)) - (r 1 (* r base-number))) - ((>= i power-number) r))) + (etypecase power-number + (positive-fixnum + (do ((i 0 (1+ i)) + (r 1 (* r base-number))) + ((>= i power-number) r) + (declare (index i)))) + (positive-bignum + (do ((i 0 (1+ i)) + (r 1 (* r base-number))) + ((>= i power-number) r)))))

1 0

[movitz-cvs] CVS update: movitz/compiler.lisp
by ffjeld＠common-lisp.net 06 Sep '05

06 Sep '05

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv6951 Modified Files: compiler.lisp Log Message: Fixed bug in make-load-lexical: Loading a constant into :untagged-fixnum-ecx would load the boxed fixnum rather than the unboxed value. Date: Wed Sep 7 00:00:18 2005 Author: ffjeld Index: movitz/compiler.lisp diff -u movitz/compiler.lisp:1.163 movitz/compiler.lisp:1.164 --- movitz/compiler.lisp:1.163 Fri Sep 2 00:52:58 2005 +++ movitz/compiler.lisp Wed Sep 7 00:00:17 2005 @@ -8,7 +8,7 @@ ;;;; Created at: Wed Oct 25 12:30:49 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: compiler.lisp,v 1.163 2005/09/01 22:52:58 ffjeld Exp $ +;;;; $Id: compiler.lisp,v 1.164 2005/09/06 22:00:17 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -3546,7 +3546,7 @@ (type-specifier-singleton decoded-type)) #+ignore (warn "Immloadlex: ~S" (type-specifier-singleton decoded-type)) - (make-immediate-move (movitz-immediate-value + (make-immediate-move (movitz-fixnum-value (car (type-specifier-singleton decoded-type))) :ecx)) ((and binding-type

1 0

[movitz-cvs] CVS update: movitz/losp/muerte/interrupt.lisp
by ffjeld＠common-lisp.net 01 Sep '05

01 Sep '05

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv31319 Modified Files: interrupt.lisp Log Message: sync Date: Fri Sep 2 00:53:53 2005 Author: ffjeld Index: movitz/losp/muerte/interrupt.lisp diff -u movitz/losp/muerte/interrupt.lisp:1.48 movitz/losp/muerte/interrupt.lisp:1.49 --- movitz/losp/muerte/interrupt.lisp:1.48 Fri Aug 26 21:40:32 2005 +++ movitz/losp/muerte/interrupt.lisp Fri Sep 2 00:53:53 2005 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Wed Apr 7 01:50:03 2004 ;;;; -;;;; $Id: interrupt.lisp,v 1.48 2005/08/26 19:40:32 ffjeld Exp $ +;;;; $Id: interrupt.lisp,v 1.49 2005/09/01 22:53:53 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -348,7 +348,7 @@ (princ "Halting CPU due to stack exhaustion.") (halt-cpu)) ((<= stack-left 1024) - (backtrace :print-frames t) + #+ignore (backtrace :print-frames t) (halt-cpu) #+ignore (format *debug-io* @@ -363,6 +363,7 @@ (format *debug-io* "~&Stack-warning: Bumped stack-bottom by ~D to #x~X. Reset ES.~%" (- old-bottom new-bottom) new-bottom) + (backtrace :length 5 :spartan t) (break "Stack overload exception ~D at EIP=~@Z, ESP=~@Z, bottom=#x~X, ENV=#x~X." vector $eip (dit-frame-esp nil dit-frame)

1 0

[movitz-cvs] CVS update: movitz/compiler.lisp
by ffjeld＠common-lisp.net 01 Sep '05

01 Sep '05

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv31293 Modified Files: compiler.lisp Log Message: Fixed bug in make-store-lexical that would produce bogus code when the source was a boolean expression. Date: Fri Sep 2 00:52:59 2005 Author: ffjeld Index: movitz/compiler.lisp diff -u movitz/compiler.lisp:1.162 movitz/compiler.lisp:1.163 --- movitz/compiler.lisp:1.162 Thu Sep 1 00:30:55 2005 +++ movitz/compiler.lisp Fri Sep 2 00:52:58 2005 @@ -8,7 +8,7 @@ ;;;; Created at: Wed Oct 25 12:30:49 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: compiler.lisp,v 1.162 2005/08/31 22:30:55 ffjeld Exp $ +;;;; $Id: compiler.lisp,v 1.163 2005/09/01 22:52:58 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -3833,11 +3833,37 @@ (t `((:movl ,source :eax) (,*compiler-global-segment-prefix* :call (:edi ,(global-constant-offset 'unbox-u32)))))))))) + ((eq source :boolean-cf=1) + (let ((tmp (chose-free-register protect-registers))) + `((:sbbl :ecx :ecx) + (,*compiler-local-segment-prefix* + :movl (:edi (:ecx 4) ,(global-constant-offset 'not-not-nil)) ,tmp) + ,@(make-store-lexical binding tmp shared-reference-p funobj frame-map + :protect-registers protect-registers)))) + ((eq source :boolean-cf=0) + (let ((tmp (chose-free-register protect-registers))) + `((:sbbl :ecx :ecx) + (,*compiler-local-segment-prefix* + :movl (:edi (:ecx 4) ,(global-constant-offset 'boolean-zero)) ,tmp) + ,@(make-store-lexical binding tmp shared-reference-p funobj frame-map + :protect-registers protect-registers)))) + ((and *compiler-use-cmov-p* + (member source +boolean-modes+)) + (let ((tmp (chose-free-register protect-registers))) + (append `((:movl :edi ,tmp)) + (list (cons *compiler-local-segment-prefix* + (make-cmov-on-boolean source + `(:edi ,(global-constant-offset 't-symbol)) + tmp))) + (make-store-lexical binding tmp shared-reference-p funobj frame-map + :protect-registers protect-registers)))) ((member source +boolean-modes+) (let ((tmp (chose-free-register protect-registers)) (label (gensym "store-lexical-bool-"))) (append `((:movl :edi ,tmp)) - (list (make-branch-on-boolean source label)) + (list (make-branch-on-boolean source label :invert t)) + `((,*compiler-local-segment-prefix* + :movl (:edi ,(global-constant-offset 't-symbol)) ,tmp)) (list label) (make-store-lexical binding tmp shared-reference-p funobj frame-map :protect-registers protect-registers))))

1 0

[movitz-cvs] CVS update: movitz/losp/los0-gc.lisp
by ffjeld＠common-lisp.net 31 Aug '05

31 Aug '05

Update of /project/movitz/cvsroot/movitz/losp In directory common-lisp.net:/tmp/cvs-serv26374 Modified Files: los0-gc.lisp Log Message: sync Date: Thu Sep 1 00:35:49 2005 Author: ffjeld Index: movitz/losp/los0-gc.lisp diff -u movitz/losp/los0-gc.lisp:1.58 movitz/losp/los0-gc.lisp:1.59 --- movitz/losp/los0-gc.lisp:1.58 Sun Aug 28 23:10:46 2005 +++ movitz/losp/los0-gc.lisp Thu Sep 1 00:35:49 2005 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Sat Feb 21 17:48:32 2004 ;;;; -;;;; $Id: los0-gc.lisp,v 1.58 2005/08/28 21:10:46 ffjeld Exp $ +;;;; $Id: los0-gc.lisp,v 1.59 2005/08/31 22:35:49 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -358,7 +358,7 @@ (or evacuator (lambda (x location) "If x is in oldspace, migrate it to newspace." - ;; (declare (ignore location)) + (declare (ignore location)) (cond ((null x) nil)

1 0

[movitz-cvs] CVS update: movitz/losp/lib/net/ethernet.lisp
by ffjeld＠common-lisp.net 31 Aug '05

31 Aug '05

Update of /project/movitz/cvsroot/movitz/losp/lib/net In directory common-lisp.net:/tmp/cvs-serv26351 Modified Files: ethernet.lisp Log Message: sync Date: Thu Sep 1 00:35:10 2005 Author: ffjeld Index: movitz/losp/lib/net/ethernet.lisp diff -u movitz/losp/lib/net/ethernet.lisp:1.10 movitz/losp/lib/net/ethernet.lisp:1.11 --- movitz/losp/lib/net/ethernet.lisp:1.10 Sun Aug 14 20:52:39 2005 +++ movitz/losp/lib/net/ethernet.lisp Thu Sep 1 00:35:10 2005 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Tue Sep 17 15:25:31 2002 ;;;; -;;;; $Id: ethernet.lisp,v 1.10 2005/08/14 18:52:39 ffjeld Exp $ +;;;; $Id: ethernet.lisp,v 1.11 2005/08/31 22:35:10 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -85,7 +85,8 @@ (start-var (gensym "ether-packet-start-"))) `(let* ((,start-var ,start) (,packet-var (ensure-data-vector ,packet ,start-var 14)) - (,offset-var (+ ,start-var (movitz-type-slot-offset 'movitz-basic-vector 'data)))) + (,offset-var (+ ,start-var (movitz-type-slot-offset 'movitz-basic-vector 'data)))) + (declare (ignorable ,start-var ,packet-var ,offset-var)) (macrolet ((,ether (slot) (ecase slot (:source

1 0

[movitz-cvs] CVS update: movitz/losp/lib/net/dhcp.lisp
by ffjeld＠common-lisp.net 31 Aug '05

31 Aug '05

Update of /project/movitz/cvsroot/movitz/losp/lib/net In directory common-lisp.net:/tmp/cvs-serv26336 Modified Files: dhcp.lisp Log Message: sync Date: Thu Sep 1 00:35:06 2005 Author: ffjeld Index: movitz/losp/lib/net/dhcp.lisp diff -u movitz/losp/lib/net/dhcp.lisp:1.3 movitz/losp/lib/net/dhcp.lisp:1.4 --- movitz/losp/lib/net/dhcp.lisp:1.3 Tue May 24 09:15:54 2005 +++ movitz/losp/lib/net/dhcp.lisp Thu Sep 1 00:35:06 2005 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Fri May 13 23:24:01 2005 ;;;; -;;;; $Id: dhcp.lisp,v 1.3 2005/05/24 07:15:54 ffjeld Exp $ +;;;; $Id: dhcp.lisp,v 1.4 2005/08/31 22:35:06 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -207,7 +207,8 @@ (fill-pointer packet) (incf (fill-pointer packet) length))))))))) -(defun format-dhcp-request (nic &rest dhcp-options &key (xid 0) (message-type :dhcpdiscover)) +(defun format-dhcp-request (nic &rest dhcp-options &key (xid 0) + #+ignore (message-type :dhcpdiscover)) (let ((packet (make-ethernet-packet))) (with-ether-header (ether packet) (setf (ether :source) (mac-address nic)

1 0

[movitz-cvs] CVS update: movitz/losp/x86-pc/debugger.lisp
by ffjeld＠common-lisp.net 31 Aug '05

31 Aug '05

Update of /project/movitz/cvsroot/movitz/losp/x86-pc In directory common-lisp.net:/tmp/cvs-serv26317 Modified Files: debugger.lisp Log Message: sync Date: Thu Sep 1 00:34:58 2005 Author: ffjeld Index: movitz/losp/x86-pc/debugger.lisp diff -u movitz/losp/x86-pc/debugger.lisp:1.40 movitz/losp/x86-pc/debugger.lisp:1.41 --- movitz/losp/x86-pc/debugger.lisp:1.40 Thu May 5 22:52:45 2005 +++ movitz/losp/x86-pc/debugger.lisp Thu Sep 1 00:34:58 2005 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Fri Nov 22 10:09:18 2002 ;;;; -;;;; $Id: debugger.lisp,v 1.40 2005/05/05 20:52:45 ffjeld Exp $ +;;;; $Id: debugger.lisp,v 1.41 2005/08/31 22:34:58 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -636,6 +636,7 @@ (do () (nil) (multiple-value-bind (morep setf-name symbol) (hashis) + (declare (ignore setf-name)) (cond ((not morep) (return nil))

1 0

[movitz-cvs] CVS update: movitz/losp/muerte/integers.lisp
by ffjeld＠common-lisp.net 31 Aug '05

31 Aug '05

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv26302 Modified Files: integers.lisp Log Message: Improved bignum support for logand and lognot. Date: Thu Sep 1 00:34:14 2005 Author: ffjeld Index: movitz/losp/muerte/integers.lisp diff -u movitz/losp/muerte/integers.lisp:1.109 movitz/losp/muerte/integers.lisp:1.110 --- movitz/losp/muerte/integers.lisp:1.109 Fri Aug 26 21:39:14 2005 +++ movitz/losp/muerte/integers.lisp Thu Sep 1 00:34:14 2005 @@ -9,7 +9,7 @@ ;;;; Created at: Wed Nov 8 18:44:57 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: integers.lisp,v 1.109 2005/08/26 19:39:14 ffjeld Exp $ +;;;; $Id: integers.lisp,v 1.110 2005/08/31 22:34:14 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -328,6 +328,9 @@ (deftype negative-fixnum () `(integer #.movitz:+movitz-most-negative-fixnum+ -1)) +(deftype negative-bignum () + `(integer * #.(cl:1- movitz::+movitz-most-negative-fixnum+))) + (defun fixnump (x) (typep x 'fixnum)) @@ -1482,6 +1485,36 @@ (:eax :edx (:offset movitz-bignum bigit0))) (:subl 4 :edx) (:jnc 'pb-pb-and-loop))))) + ((negative-bignum fixnum) + (with-inline-assembly (:returns :eax) + (:load-lexical (:lexical-binding x) :untagged-fixnum-ecx) + (:load-lexical (:lexical-binding y) :eax) + (:leal ((:ecx 4) -4) :ecx) + (:notl :ecx) + (:andl :ecx :eax))) + ((negative-bignum positive-bignum) + (cond + ((<= (%bignum-bigits y) (%bignum-bigits x)) + (let ((r (copy-bignum y))) + (with-inline-assembly (:returns :eax) + (:load-lexical (:lexical-binding r) :eax) + (:load-lexical (:lexical-binding x) :ebx) + (:xorl :edx :edx) + (:movl #xffffffff :ecx) + loop + (:addl (:ebx :edx (:offset movitz-bignum bigit0)) + :ecx) + (:notl :ecx) + (:andl :ecx (:eax :edx (:offset movitz-bignum bigit0))) + (:notl :ecx) + (:cmpl -1 :ecx) + (:je 'carry) + (:xorl :ecx :ecx) + carry + (:addl 4 :edx) + (:cmpw :dx (:eax (:offset movitz-bignum length))) + (:ja 'loop)))) + (t (error "Logand not implemented.")))) ))) (do-it))) (t (&rest integers) @@ -1639,10 +1672,7 @@ (reduce #'logxor integers))))) (defun lognot (integer) - (check-type integer fixnum) - (with-inline-assembly (:returns :eax) - (:compile-form (:result-mode :eax) integer) - (:xorl #.(cl:- #xffffffff movitz::+movitz-fixnum-zmask+) :eax))) + (- -1 integer)) (defun ldb%byte (size position integer) "This is LDB with explicit byte-size and position parameters."

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