movitz-cvs

movitz-cvs@common-lisp.net

2595 discussions

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

26 Aug '05

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv28909 Modified Files: scavenge.lisp Log Message: Add some type declarations. Date: Fri Aug 26 21:38:19 2005 Author: ffjeld Index: movitz/losp/muerte/scavenge.lisp diff -u movitz/losp/muerte/scavenge.lisp:1.51 movitz/losp/muerte/scavenge.lisp:1.52 --- movitz/losp/muerte/scavenge.lisp:1.51 Sat Jun 11 01:06:39 2005 +++ movitz/losp/muerte/scavenge.lisp Fri Aug 26 21:38:19 2005 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Mon Mar 29 14:54:08 2004 ;;;; -;;;; $Id: scavenge.lisp,v 1.51 2005/06/10 23:06:39 ffjeld Exp $ +;;;; $Id: scavenge.lisp,v 1.52 2005/08/26 19:38:19 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -55,6 +55,7 @@ (*scan-last* nil) ; Last scanned object, for debugging. (scan start-location (1+ scan))) ((>= scan end-location)) + (declare (fixnum scan)) (with-simple-restart (continue-map-header-vals "Continue map-header-vals at location ~S." (1+ scan)) (let ((x (memref scan 0 :type :unsigned-byte16))

1 0

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

24 Aug '05

Update of /project/movitz/cvsroot/movitz/losp/x86-pc In directory common-lisp.net:/tmp/cvs-serv5294 Modified Files: pci.lisp Log Message: sync Date: Wed Aug 24 09:33:22 2005 Author: ffjeld Index: movitz/losp/x86-pc/pci.lisp diff -u movitz/losp/x86-pc/pci.lisp:1.11 movitz/losp/x86-pc/pci.lisp:1.12 --- movitz/losp/x86-pc/pci.lisp:1.11 Sun Aug 14 14:15:04 2005 +++ movitz/losp/x86-pc/pci.lisp Wed Aug 24 09:33:21 2005 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Sun Dec 14 22:33:42 2003 ;;;; -;;;; $Id: pci.lisp,v 1.11 2005/08/14 12:15:04 ffjeld Exp $ +;;;; $Id: pci.lisp,v 1.12 2005/08/24 07:33:21 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -294,16 +294,19 @@ (error "Unknown pci-config register: ~S" register)))) (defun pci-device-address-maps (bus device function) - (loop for i upfrom (pci-config :base-addr) by 4 repeat 6 + (loop with io-keys = '(:io :io-2 :io-3 :io-4 :io-5 :io-6) + with mem-keys = '(:mem :mem-2 :mem-3 :mem-4 :mem-5 :mem-6) + with mem64-keys = '(:mem64 :mem64-2 :mem64-3 :mem64-4 :mem64-5 :mem64-6) + for i upfrom (pci-config :base-addr) by 4 repeat 6 as base = (pci-bios-config-space-dword bus device function i) - unless (= 0 base) collect + unless (= 0 base) nconc (cond ((logbitp 0 base) - (cons :io (logand base -4))) + (list (pop io-keys) (logand base -4))) ((= 1 (ldb (byte 2 1) base)) - (cons :mem64 (logand base -16))) + (list (pop mem64-keys) (logand base -16))) (t - (cons :mem32 (logand base -16)))))) + (list (pop mem-keys) (logand base -16)))))) (defun scan-pci-bus (bus) (loop for device from 0 to 31 @@ -321,7 +324,58 @@ (ldb (byte 24 8) class-rev) (ldb (byte 8 0) class-rev) status) - (format *query-io* " Class:~{ ~@[~A~]~}" + (format *query-io* " Class:~{~@[ ~A~]~}." (multiple-value-list (pci-class (ldb (byte 24 8) class-rev)))) - (format *query-io* "~S" (pci-device-address-maps bus device 0)))))) + (format *query-io* "~@[~{ ~A: #x~X~^,~}.~]" + (pci-device-address-maps bus device 0)))))) (values)) + +(defmacro $pci-config (reg) + "PCI config header registers for all devices." + (or (case reg + (:pcir-devvendor #x00) + (:pcir-vendor #x00) + (:pcir-device #x02) + (:pcir-command #x04) + (:pcim-cmd-porten #x0001) + (:pcim-cmd-memen #x0002) + (:pcim-cmd-busmasteren #x0004) + (:pcim-cmd-mwricen #x0010) + (:pcim-cmd-perrespen #x0040) + (:pcim-cmd-serrespen #x0100) + (:pcir-status #x06) + (:pcim-status-cappresent #x0010) + (:pcim-status-66capable #x0020) + (:pcim-status-backtoback #x0080) + (:pcim-status-perrreport #x0100) + (:pcim-status-sel-fast #x0000) + (:pcim-status-sel-medimum #x0200) + (:pcim-status-sel-slow #x0400) + (:pcim-status-sel-mask #x0600) + (:pcim-status-stabort #x0800) + (:pcim-status-rtabort #x1000) + (:pcim-status-rmabort #x2000) + (:pcim-status-serr #x4000) + (:pcim-status-perr #x8000) + (:pcir-revid #x08) + (:pcir-progif #x09) + (:pcir-subclass #x0a) + (:pcir-class #x0b) + (:pcir-cachelnsz #x0c) + (:pcir-lattimer #x0d) + (:pcir-headertype #x0e) + (:pcim-mfdev #x80) + (:pcir-bist #x0f) + + (:pcir-maps #x10) + (:pcir-cardbuscis #x28) + (:pcir-subvend-0 #x2c) + (:pcir-subdev-0 #x2e) + (:pcir-bios #x30) + (:pcim-bios-enable #x01) + (:pcir-cap-ptr #x34) + (:pcir-intline #x3c) + (:pcir-intpin #x3d) + (:pcir-mingnt #x3e) + (:pcir-maxlat #x3f)) + (error "Unknown $pci-config register ~S." reg)))

1 0

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

24 Aug '05

Update of /project/movitz/cvsroot/movitz/losp/x86-pc In directory common-lisp.net:/tmp/cvs-serv5278 Modified Files: dp8390.lisp Log Message: sync Date: Wed Aug 24 09:33:14 2005 Author: ffjeld Index: movitz/losp/x86-pc/dp8390.lisp diff -u movitz/losp/x86-pc/dp8390.lisp:1.7 movitz/losp/x86-pc/dp8390.lisp:1.8 --- movitz/losp/x86-pc/dp8390.lisp:1.7 Wed May 5 10:24:29 2004 +++ movitz/losp/x86-pc/dp8390.lisp Wed Aug 24 09:33:13 2005 @@ -1,6 +1,6 @@ ;;;;------------------------------------------------------------------ ;;;; -;;;; Copyright (C) 2001-2004, +;;;; Copyright (C) 2001-2005, ;;;; Department of Computer Science, University of Tromso, Norway. ;;;; ;;;; For distribution policy, see the accompanying file COPYING. @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Wed Sep 18 12:21:36 2002 ;;;; -;;;; $Id: dp8390.lisp,v 1.7 2004/05/05 08:24:29 ffjeld Exp $ +;;;; $Id: dp8390.lisp,v 1.8 2005/08/24 07:33:13 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -129,6 +129,14 @@ address)) (setf (io-register8x2 dp8390 ($page0-write rbcr1) ($page0-write rbcr0)) size (dp8390 ($page0-write cr)) command)) + nil) + +(defun foo (io-base command size address) + (let ((io-base (the (unsigned-byte #x10) + (let ((check-the-io-base io-base)) + (check-type check-the-io-base (unsigned-byte #x10)) + check-the-io-base)))) + (setf (io-port (+ io-base 0) :unsigned-byte8) #o40)) nil) (defmacro with-dp8390-dma ((dp8390-var rdma-command size &optional address) &body body)

1 0

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

24 Aug '05

Update of /project/movitz/cvsroot/movitz/losp/x86-pc In directory common-lisp.net:/tmp/cvs-serv5263 Added Files: am7990.lisp Log Message: sync Date: Wed Aug 24 09:33:09 2005 Author: ffjeld

1 0

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

24 Aug '05

Update of /project/movitz/cvsroot/movitz/losp/x86-pc In directory common-lisp.net:/tmp/cvs-serv5247/losp/x86-pc Modified Files: all.lisp Log Message: sync Date: Wed Aug 24 09:33:03 2005 Author: ffjeld Index: movitz/losp/x86-pc/all.lisp diff -u movitz/losp/x86-pc/all.lisp:1.4 movitz/losp/x86-pc/all.lisp:1.5 --- movitz/losp/x86-pc/all.lisp:1.4 Fri Apr 23 17:04:12 2004 +++ movitz/losp/x86-pc/all.lisp Wed Aug 24 09:33:02 2005 @@ -1,6 +1,6 @@ ;;;;------------------------------------------------------------------ ;;;; -;;;; Copyright (C) 2001-2004, +;;;; Copyright (C) 2001-2005, ;;;; Department of Computer Science, University of Tromso, Norway. ;;;; ;;;; For distribution policy, see the accompanying file COPYING. @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Thu Sep 27 21:14:56 2001 ;;;; -;;;; $Id: all.lisp,v 1.4 2004/04/23 15:04:12 ffjeld Exp $ +;;;; $Id: all.lisp,v 1.5 2005/08/24 07:33:02 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -23,7 +23,7 @@ (require :x86-pc/pit8253) (require :x86-pc/interrupt) (require :x86-pc/cmos) -(require :x86-pc/pci) +(require :x86-pc/pci-device) ;; (require :x86-pc/serial) (require :x86-pc/textmode-console) (require :x86-pc/debugger)

1 0

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

24 Aug '05

Update of /project/movitz/cvsroot/movitz/losp In directory common-lisp.net:/tmp/cvs-serv5233 Modified Files: los0.lisp Log Message: sync Date: Wed Aug 24 09:32:56 2005 Author: ffjeld Index: movitz/losp/los0.lisp diff -u movitz/losp/los0.lisp:1.47 movitz/losp/los0.lisp:1.48 --- movitz/losp/los0.lisp:1.47 Thu Aug 11 23:33:08 2005 +++ movitz/losp/los0.lisp Wed Aug 24 09:32:54 2005 @@ -9,7 +9,7 @@ ;;;; Created at: Fri Dec 1 18:08:32 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: los0.lisp,v 1.47 2005/08/11 21:33:08 ffjeld Exp $ +;;;; $Id: los0.lisp,v 1.48 2005/08/24 07:32:54 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -1351,7 +1351,7 @@ (setf (global-segment-descriptor-table) (muerte::dump-global-segment-table :entries 16))) - (install-los0-consing :kb-size 500) + (install-los0-consing :kb-size (* 10 1024)) #+ignore (install-los0-consing :kb-size (max 50 (truncate (- extended-memsize 2048) 2))))

1 0

[movitz-cvs] CVS update: movitz/losp/ll-testing.lisp
by ffjeld＠common-lisp.net 24 Aug '05

24 Aug '05

Update of /project/movitz/cvsroot/movitz/losp In directory common-lisp.net:/tmp/cvs-serv5218 Modified Files: ll-testing.lisp Log Message: sync Date: Wed Aug 24 09:32:52 2005 Author: ffjeld Index: movitz/losp/ll-testing.lisp diff -u movitz/losp/ll-testing.lisp:1.11 movitz/losp/ll-testing.lisp:1.12 --- movitz/losp/ll-testing.lisp:1.11 Thu Aug 11 23:33:01 2005 +++ movitz/losp/ll-testing.lisp Wed Aug 24 09:32:52 2005 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Thu Apr 14 08:18:43 2005 ;;;; -;;;; $Id: ll-testing.lisp,v 1.11 2005/08/11 21:33:01 ffjeld Exp $ +;;;; $Id: ll-testing.lisp,v 1.12 2005/08/24 07:32:52 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -237,4 +237,6 @@ (:locally (:pushl (:edi (:edi-offset raw-scratch0)))) ; reset eflags (:popfl) (:jmp (:esi (:offset movitz-funobj code-vector)))))) + +

1 0

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

24 Aug '05

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv5055 Modified Files: typep.lisp Log Message: Rearranged some code to have movitz build cleanly. Date: Wed Aug 24 09:31:57 2005 Author: ffjeld Index: movitz/losp/muerte/typep.lisp diff -u movitz/losp/muerte/typep.lisp:1.50 movitz/losp/muerte/typep.lisp:1.51 --- movitz/losp/muerte/typep.lisp:1.50 Sun Aug 21 19:59:18 2005 +++ movitz/losp/muerte/typep.lisp Wed Aug 24 09:31:57 2005 @@ -9,7 +9,7 @@ ;;;; Created at: Fri Dec 8 11:07:53 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: typep.lisp,v 1.50 2005/08/21 17:59:18 ffjeld Exp $ +;;;; $Id: typep.lisp,v 1.51 2005/08/24 07:31:57 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -691,9 +691,6 @@ (deftype bit () '(integer 0 1)) - -(deftype index (&optional (step 1)) - `(integer 0 ,(- #x1fffffff step))) (defun type-of (x) (class-name (class-of x)))

1 0

[movitz-cvs] CVS update: movitz/losp/muerte/los-closette-compiler.lisp
by ffjeld＠common-lisp.net 24 Aug '05

24 Aug '05

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv5039 Modified Files: los-closette-compiler.lisp Log Message: Rearranged some code to have movitz build cleanly. Date: Wed Aug 24 09:31:48 2005 Author: ffjeld Index: movitz/losp/muerte/los-closette-compiler.lisp diff -u movitz/losp/muerte/los-closette-compiler.lisp:1.18 movitz/losp/muerte/los-closette-compiler.lisp:1.19 --- movitz/losp/muerte/los-closette-compiler.lisp:1.18 Sun Aug 21 15:47:53 2005 +++ movitz/losp/muerte/los-closette-compiler.lisp Wed Aug 24 09:31:47 2005 @@ -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.18 2005/08/21 13:47:53 ffjeld Exp $ +;;;; $Id: los-closette-compiler.lisp,v 1.19 2005/08/24 07:31:47 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -27,7 +27,8 @@ (define-compile-time-variable *the-slots-of-standard-class* nil) (define-compile-time-variable *the-position-of-standard-effective-slots* nil) (define-compile-time-variable *the-class-standard-class* nil) - +(define-compile-time-variable *the-standard-method-combination* nil) + (eval-when (:compile-toplevel) ; extends to EOF (defvar *classes-with-old-slot-definitions* nil) @@ -524,7 +525,7 @@ (slots (std-instance-slots instance))) (setf (svref slots location) (muerte::translate-program value :cl :muerte.cl)))) - (defun movitz-slot-vale (object slot-name) + (defun movitz-slot-value (object slot-name) (std-slot-value object (translate-program slot-name :cl :muerte.cl))) (defun (setf movitz-slot-value) (new-value object slot-name)

1 0

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

24 Aug '05

Update of /project/movitz/cvsroot/movitz/losp/muerte In directory common-lisp.net:/tmp/cvs-serv5020 Modified Files: integers.lisp Log Message: Rearranged some code to have movitz build cleanly. Date: Wed Aug 24 09:31:40 2005 Author: ffjeld Index: movitz/losp/muerte/integers.lisp diff -u movitz/losp/muerte/integers.lisp:1.107 movitz/losp/muerte/integers.lisp:1.108 --- movitz/losp/muerte/integers.lisp:1.107 Fri Aug 12 23:37:42 2005 +++ movitz/losp/muerte/integers.lisp Wed Aug 24 09:31:40 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.107 2005/08/12 21:37:42 ffjeld Exp $ +;;;; $Id: integers.lisp,v 1.108 2005/08/24 07:31:40 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -256,71 +256,6 @@ ;;; -(defmacro define-number-relational (name 2op-name condition &key (defun-p t) 3op-name) - `(progn - ,(when condition - `(define-compiler-macro ,2op-name (n1 n2 &environment env) - (cond - ((and (movitz:movitz-constantp n1 env) - (movitz:movitz-constantp n2 env)) - (list ',2op-name (movitz:movitz-eval n1 env) (movitz:movitz-eval n2 env))) - ((movitz:movitz-constantp n1 env) - (let ((n1 (movitz::movitz-eval n1 env))) - (check-type n1 number) - (if (typep n1 '(signed-byte 30)) - `(with-inline-assembly (:returns ,,condition :side-effects nil) - (:compile-two-forms (:eax :ebx) ,n1 ,n2) - (:call-global-pf fast-compare-fixnum-real)) - `(with-inline-assembly (:returns ,,condition :side-effects nil) - (:compile-two-forms (:eax :ebx) ,n1 ,n2) - (:call-global-pf fast-compare-two-reals))))) - ((movitz:movitz-constantp n2 env) - (let ((n2 (movitz:movitz-eval n2 env))) - (check-type n2 number) - (if (typep n2 '(signed-byte 30)) - `(with-inline-assembly (:returns ,,condition :side-effects nil) - (:compile-two-forms (:eax :ebx) ,n1 ,n2) - (:call-global-pf fast-compare-real-fixnum)) - `(with-inline-assembly (:returns ,,condition :side-effects nil) - (:compile-two-forms (:eax :ebx) ,n1 ,n2) - (:call-global-pf fast-compare-two-reals))))) - (t `(with-inline-assembly (:returns ,,condition :side-effects nil) - (:compile-two-forms (:eax :ebx) ,n1 ,n2) - (:call-global-pf fast-compare-two-reals)))))) - - (defun ,2op-name (n1 n2) - (,2op-name n1 n2)) - - (define-compiler-macro ,name (&whole form number &rest more-numbers) - (case (length more-numbers) - (0 `(progn ,number t)) - (1 `(,',2op-name ,number ,(first more-numbers))) - ,@(when 3op-name - `((2 `(,',3op-name ,number ,(first more-numbers) ,(second more-numbers))))) - (t #+ignore (when (= 2 (length more-numbers)) - (warn "3op: ~S" form)) - `(and (,',2op-name ,number ,(first more-numbers)) - (,',name ,@more-numbers))))) - - ,(when defun-p - `(defun ,name (number &rest more-numbers) - (declare (dynamic-extent more-numbers)) - (cond - ((null more-numbers) - (check-type number fixnum) - t) - ((not (cdr more-numbers)) - (,2op-name number (first more-numbers))) - (t (and (,2op-name number (first more-numbers)) - (do ((p more-numbers (cdr p))) - ((not (cdr p)) t) - (unless (,2op-name (car p) (cadr p)) - (return nil)))))))))) - -(define-number-relational >= >=%2op :boolean-greater-equal) -(define-number-relational > >%2op :boolean-greater) -(define-number-relational < <%2op :boolean-less) -(define-number-relational <= <=%2op :boolean-less-equal :3op-name <=%3op) ;;; Unsigned @@ -402,45 +337,6 @@ (defun oddp (x) (compiler-macro-call oddp x)) -;;; Types - -(define-typep integer (x &optional (min '*) (max '*)) - (and (typep x 'integer) - (or (eq min '*) (<= min x)) - (or (eq max '*) (<= x max)))) - -(deftype signed-byte (&optional (size '*)) - (cond - ((eq size '*) - 'integer) - ((typep size '(integer 1 *)) - (list 'integer - (- (ash 1 (1- size))) - (1- (ash 1 (1- size))))) - (t (error "Illegal size for signed-byte.")))) - -(deftype unsigned-byte (&optional (size '*)) - (cond - ((eq size '*) - '(integer 0)) - ((typep size '(integer 1 *)) - (list 'integer 0 (1- (ash 1 size)))) - (t (error "Illegal size for unsigned-byte.")))) - -(define-typep rational (x &optional (lower-limit '*) (upper-limit '*)) - (and (typep x 'rational) - (or (eq lower-limit '*) - (<= lower-limit x)) - (or (eq upper-limit '*) - (<= x upper-limit)))) - -(deftype real (&optional (lower-limit '*) (upper-limit '*)) - `(or (integer ,lower-limit ,upper-limit) - (rational ,lower-limit ,upper-limit))) - - -(define-simple-typep (bit bitp) (x) - (or (eq x 0) (eq x 1))) ;;;

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