movitz-cvs

movitz-cvs@common-lisp.net

2595 discussions

[movitz-cvs] CVS update: ia-x86/inline-data.lisp
by Frode Vatvedt Fjeld 10 Feb '04

10 Feb '04

Update of /project/movitz/cvsroot/ia-x86 In directory common-lisp.net:/tmp/cvs-serv18328 Modified Files: inline-data.lisp Log Message: Designate the ia-x86 package with #:ia-x86 rather than "IA-X86". Also, a few very minor edits. Date: Mon Feb 9 19:03:30 2004 Author: ffjeld Index: ia-x86/inline-data.lisp diff -u ia-x86/inline-data.lisp:1.2 ia-x86/inline-data.lisp:1.3 --- ia-x86/inline-data.lisp:1.2 Fri Jan 16 06:54:14 2004 +++ ia-x86/inline-data.lisp Mon Feb 9 19:03:30 2004 @@ -1,19 +1,19 @@ ;;;;------------------------------------------------------------------ ;;;; -;;;; Copyright (C) 2000, +;;;; Copyright (C) 2000, 2004, ;;;; Department of Computer Science, University of Tromso, Norway ;;;; -;;;; Filename: ia-x86-inline-data.lisp +;;;; Filename: inline-data.lisp ;;;; Description: Objects that represents inline data in assembly listings. ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Mon Aug 21 10:35:46 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: inline-data.lisp,v 1.2 2004/01/16 11:54:14 ffjeld Exp $ +;;;; $Id: inline-data.lisp,v 1.3 2004/02/10 00:03:30 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ -(in-package "IA-X86") +(in-package #:ia-x86) (defclass inline-data () ())

1 0

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

10 Feb '04

Update of /project/movitz/cvsroot/ia-x86 In directory common-lisp.net:/tmp/cvs-serv7456 Modified Files: ia-x86.lisp Log Message: Designate the ia-x86 package with #:ia-x86 rather than "IA-X86". Also, a few very minor edits. Date: Mon Feb 9 19:03:24 2004 Author: ffjeld Index: ia-x86/ia-x86.lisp diff -u ia-x86/ia-x86.lisp:1.2 ia-x86/ia-x86.lisp:1.3 --- ia-x86/ia-x86.lisp:1.2 Fri Jan 16 06:54:14 2004 +++ ia-x86/ia-x86.lisp Mon Feb 9 19:03:23 2004 @@ -1,6 +1,6 @@ ;;;;------------------------------------------------------------------ ;;;; -;;;; Copyright (C) 200120001999, 2002, +;;;; Copyright (C) 200120001999, 2002, 2004, ;;;; Department of Computer Science, University of Tromso, Norway ;;;; ;;;; Filename: ia-x86.lisp @@ -9,11 +9,11 @@ ;;;; Created at: Fri Dec 17 18:01:26 1999 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: ia-x86.lisp,v 1.2 2004/01/16 11:54:14 ffjeld Exp $ +;;;; $Id: ia-x86.lisp,v 1.3 2004/02/10 00:03:23 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ -(in-package "IA-X86") +(in-package #:ia-x86) ;;; ---------------------------------------------------------------- ;;; Instruction Definition

1 0

[movitz-cvs] CVS update: ia-x86/def-instr.lisp
by Frode Vatvedt Fjeld 10 Feb '04

10 Feb '04

Update of /project/movitz/cvsroot/ia-x86 In directory common-lisp.net:/tmp/cvs-serv31266 Modified Files: def-instr.lisp Log Message: Designate the ia-x86 package with #:ia-x86 rather than "IA-X86". Also, a few very minor edits. Date: Mon Feb 9 19:03:19 2004 Author: ffjeld Index: ia-x86/def-instr.lisp diff -u ia-x86/def-instr.lisp:1.2 ia-x86/def-instr.lisp:1.3 --- ia-x86/def-instr.lisp:1.2 Fri Jan 16 06:54:14 2004 +++ ia-x86/def-instr.lisp Mon Feb 9 19:03:19 2004 @@ -8,11 +8,11 @@ ;;;; Created at: Thu May 4 16:41:20 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: def-instr.lisp,v 1.2 2004/01/16 11:54:14 ffjeld Exp $ +;;;; $Id: def-instr.lisp,v 1.3 2004/02/10 00:03:19 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ -(in-package "IA-X86") +(in-package #:ia-x86) (defvar *instr-definitions* (make-hash-table)) @@ -28,8 +28,8 @@ collect (make-instr-template instr-spec)))) (templates-remember name templates))) *instr-definitions*) - (table-stats "IA-X86: " *template-table*) - (table-stats "IA-X86 2op: " *template-table-0f*)) + (table-stats "ia-x86: " *template-table*) + (table-stats "ia-x86 2op: " *template-table-0f*)) (defun make-instr-template (instr-spec) (destructuring-bind (base-class

1 0

[movitz-cvs] CVS update: ia-x86/codec.lisp
by Frode Vatvedt Fjeld 10 Feb '04

10 Feb '04

Update of /project/movitz/cvsroot/ia-x86 In directory common-lisp.net:/tmp/cvs-serv23712 Modified Files: codec.lisp Log Message: Designate the ia-x86 package with #:ia-x86 rather than "IA-X86". Also, a few very minor edits. Date: Mon Feb 9 19:03:14 2004 Author: ffjeld Index: ia-x86/codec.lisp diff -u ia-x86/codec.lisp:1.4 ia-x86/codec.lisp:1.5 --- ia-x86/codec.lisp:1.4 Sun Feb 8 17:38:35 2004 +++ ia-x86/codec.lisp Mon Feb 9 19:03:14 2004 @@ -9,11 +9,11 @@ ;;;; Created at: Thu May 4 15:16:45 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: codec.lisp,v 1.4 2004/02/08 22:38:35 ffjeld Exp $ +;;;; $Id: codec.lisp,v 1.5 2004/02/10 00:03:14 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ -(in-package "IA-X86") +(in-package #:ia-x86) (defparameter *error-on-eof* nil) (defparameter *error-on-unknown-instruction* nil) @@ -23,7 +23,7 @@ ;;; ---------------------------------------------------------------- ;;; A "template" is an object that is used to map op-codes to -;;; instructions. The basic problem it solves is that IA-X86 uses +;;; instructions. The basic problem it solves is that ia-x86 uses ;;; variable-length op-codes. Consequently, figuring out if the ;;; octets you are currently decoding represents a complete op-code ;;; is non-trivial.

1 0

[movitz-cvs] CVS update: ia-x86/alignment.lisp
by Frode Vatvedt Fjeld 10 Feb '04

10 Feb '04

Update of /project/movitz/cvsroot/ia-x86 In directory common-lisp.net:/tmp/cvs-serv11614 Modified Files: alignment.lisp Log Message: Designate the ia-x86 package with #:ia-x86 rather than "IA-X86". Also, a few very minor edits. Date: Mon Feb 9 19:03:09 2004 Author: ffjeld Index: ia-x86/alignment.lisp diff -u ia-x86/alignment.lisp:1.2 ia-x86/alignment.lisp:1.3 --- ia-x86/alignment.lisp:1.2 Fri Jan 16 06:54:14 2004 +++ ia-x86/alignment.lisp Mon Feb 9 19:03:09 2004 @@ -10,11 +10,11 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Wed Apr 10 12:47:08 2002 ;;;; -;;;; $Id: alignment.lisp,v 1.2 2004/01/16 11:54:14 ffjeld Exp $ +;;;; $Id: alignment.lisp,v 1.3 2004/02/10 00:03:09 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ -(in-package "IA-X86") +(in-package #:ia-x86) (defclass alignment () ((type

1 0

[movitz-cvs] CVS update: ia-x86/assemble.lisp
by Frode Vatvedt Fjeld 09 Feb '04

09 Feb '04

Update of /project/movitz/cvsroot/ia-x86 In directory common-lisp.net:/tmp/cvs-serv26689 Removed Files: assemble.lisp Log Message: Removed this dead, empty file from CVS. Date: Mon Feb 9 18:57:27 2004 Author: ffjeld

1 0

[movitz-cvs] CVS update: ia-x86/operands.lisp
by Frode Vatvedt Fjeld 09 Feb '04

09 Feb '04

Update of /project/movitz/cvsroot/ia-x86 In directory common-lisp.net:/tmp/cvs-serv3751 Modified Files: operands.lisp Log Message: Reformatted some defclass forms, and removed some type-declarations that are more likely to break things than being helpful in any way. Date: Mon Feb 9 18:46:23 2004 Author: ffjeld Index: ia-x86/operands.lisp diff -u ia-x86/operands.lisp:1.2 ia-x86/operands.lisp:1.3 --- ia-x86/operands.lisp:1.2 Fri Jan 16 06:54:14 2004 +++ ia-x86/operands.lisp Mon Feb 9 18:46:23 2004 @@ -1,6 +1,6 @@ ;;;;------------------------------------------------------------------ ;;;; -;;;; Copyright (C) 20012000, 2002-2003, +;;;; Copyright (C) 20012000, 2002-2004, ;;;; Department of Computer Science, University of Tromso, Norway ;;;; ;;;; Filename: operands.lisp @@ -9,7 +9,7 @@ ;;;; Created at: Wed Feb 16 14:02:57 2000 ;;;; Distribution: See the accompanying file COPYING. ;;;; -;;;; $Id: operands.lisp,v 1.2 2004/01/16 11:54:14 ffjeld Exp $ +;;;; $Id: operands.lisp,v 1.3 2004/02/09 23:46:23 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -186,9 +186,10 @@ (setf (cdr x) x))))) ; make circular one-list. (defclass operand-number (abstract-operand) - ((number :type integer - :initarg number - :reader operand-number))) + ((number + :type integer + :initarg number + :reader operand-number))) (defmethod operand-listform ((operand operand-number)) (list* 'quote @@ -207,9 +208,9 @@ ;;; ---------------------------------------------------------------- (defclass operand-immediate (concrete-operand) - ((value :type (unsigned-byte 32) - :initarg value - :accessor operand-value))) + ((value + :initarg value + :accessor operand-value))) (defmethod operand-listform ((obj operand-immediate)) (operand-value obj)) @@ -280,7 +281,6 @@ (defclass operand-rel-pointer (operand-memory) ((offset - :type (signed-byte 32) :accessor operand-offset :initarg offset)))

1 0

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

09 Feb '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv10272 Modified Files: packages.lisp Log Message: Added some package-object symbols to the muerte package. Date: Mon Feb 9 18:42:18 2004 Author: ffjeld Index: movitz/packages.lisp diff -u movitz/packages.lisp:1.3 movitz/packages.lisp:1.4 --- movitz/packages.lisp:1.3 Sun Feb 8 18:05:59 2004 +++ movitz/packages.lisp Mon Feb 9 18:42:18 2004 @@ -10,7 +10,7 @@ ;;;; Author: Frode Vatvedt Fjeld <frodef(a)acm.org> ;;;; Created at: Sat Nov 15 21:39:55 2003 ;;;; -;;;; $Id: packages.lisp,v 1.3 2004/02/08 23:05:59 ffjeld Exp $ +;;;; $Id: packages.lisp,v 1.4 2004/02/09 23:42:18 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -1114,6 +1114,10 @@ *error-no-condition-for-debugger* formatted-error + + #:package-object-use-list + #:package-object-internal-symbols + #:package-object-external-symbols vector-element-type vector-element-size

1 0

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

09 Feb '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv30535 Modified Files: image.lisp Log Message: Fixed the dumping of package objects so as to not rely on the ability to access defstruct objects with slot-value. This to accommodate CMUCL. Date: Mon Feb 9 18:41:13 2004 Author: ffjeld Index: movitz/image.lisp diff -u movitz/image.lisp:1.9 movitz/image.lisp:1.10 --- movitz/image.lisp:1.9 Thu Feb 5 09:46:13 2004 +++ movitz/image.lisp Mon Feb 9 18:41:13 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.9 2004/02/05 14:46:13 ffjeld Exp $ +;;;; $Id: image.lisp,v 1.10 2004/02/09 23:41:13 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -1005,16 +1005,15 @@ :name package-name :shadowing-symbols-list (package-shadowing-symbols lisp-package) :external-symbols (make-hash-table :test #'equal) - :internal-symbols (make-hash-table :test #'equal)))) + :internal-symbols (make-hash-table :test #'equal) + :use-list (mapcar #'(lambda (up) + (ensure-package (movitz-package-name (package-name up)) up)) + (package-use-list lisp-package))))) (setf (gethash package-name packages-hash) p) - (setf (slot-value p 'muerte::use-list) - (mapcar #'(lambda (up) - (ensure-package (movitz-package-name (package-name up)) up)) - (package-use-list lisp-package))) p))))) - (let ((cl-package (ensure-package (symbol-name :common-lisp) - (find-package :muerte.common-lisp)))) - (setf (gethash "NIL" (slot-value cl-package 'muerte::external-symbols)) + (let ((movitz-cl-package (ensure-package (symbol-name :common-lisp) + (find-package :muerte.common-lisp)))) + (setf (gethash "NIL" (funcall 'muerte:package-object-external-symbols movitz-cl-package)) nil)) (loop for symbol being the hash-key of (image-oblist *image*) as lisp-package = (symbol-package symbol) @@ -1027,12 +1026,12 @@ (ecase status (:internal (setf (gethash (symbol-name symbol) - (slot-value movitz-package 'muerte::internal-symbols)) + (funcall 'muerte:package-object-internal-symbols movitz-package)) symbol)) (:external ;; (warn "putting external ~S in ~S" symbol package-name) (setf (gethash (symbol-name symbol) - (slot-value movitz-package 'muerte::external-symbols)) + (funcall 'muerte:package-object-external-symbols movitz-package)) symbol)) (:inherited (warn "inherited symbol: ~S" symbol))))))

1 0

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

08 Feb '04

Update of /project/movitz/cvsroot/movitz In directory common-lisp.net:/tmp/cvs-serv3749 Modified Files: special-operators.lisp Log Message: Provide name for gensym of setf-expanders. Date: Sun Feb 8 18:27:56 2004 Author: ffjeld Index: movitz/special-operators.lisp diff -u movitz/special-operators.lisp:1.6 movitz/special-operators.lisp:1.7 --- movitz/special-operators.lisp:1.6 Wed Feb 4 11:01:26 2004 +++ movitz/special-operators.lisp Sun Feb 8 18:27:56 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.6 2004/02/04 16:01:26 ffjeld Exp $ +;;;; $Id: special-operators.lisp,v 1.7 2004/02/08 23:27:56 ffjeld Exp $ ;;;; ;;;;------------------------------------------------------------------ @@ -359,7 +359,7 @@ (values-list (translate-program (multiple-value-list (block ,access-fn ,@cl-body)) :cl :muerte.cl))))))) - (movitz-macro-expander-make-function expander :type :setf))))))) + (movitz-macro-expander-make-function expander :type :setf :name access-fn))))))) (compiler-values ())) (define-special-operator muerte::defmacro-compile-time (&form form) @@ -977,12 +977,15 @@ :form term-form) (assert term2-type) (let ((term2-type (type-specifier-primary term2-type))) +;;; (warn "t2-type: ~S, t2-ret: ~S, rm: ~S" +;;; term2-type term2-returns result-mode) (case term2-returns (:untagged-fixnum-eax (case result-mode (:untagged-fixnum-eax (compiler-values () :returns :untagged-fixnum-eax + :type 'integer :functional-p term2-functional-p :modifies term2-modifies :code (append term2-code @@ -1009,20 +1012,23 @@ :returns add-register :functional-p term2-functional-p :modifies term2-modifies + :type 'integer :code (append new-load-term-code - (unless nil #+ignore (subtypep (translate-program term2-type :muerte.cl :cl) - `(integer ,+movitz-most-negative-fixnum+ - ,+movitz-most-positive-fixnum+)) + (unless nil + #+ignore (subtypep (translate-program term2-type :muerte.cl :cl) + `(integer ,+movitz-most-negative-fixnum+ + ,+movitz-most-positive-fixnum+)) `((:testb ,+movitz-fixnum-zmask+ ,(register32-to-low8 add-register)) (:jnz '(:sub-program (,label) (:int 107) (:jmp (:pc+ -4)))))) `((:addl ,(* constant-term +movitz-fixnum-factor+) ,add-register)) - (unless nil #+ignore (subtypep (translate-program term2-type :muerte.cl :cl) - `(integer ,(+ +movitz-most-negative-fixnum+ - constant-term) - ,(+ +movitz-most-positive-fixnum+ - constant-term))) + (unless nil + #+ignore (subtypep (translate-program term2-type :muerte.cl :cl) + `(integer ,(+ +movitz-most-negative-fixnum+ + constant-term) + ,(+ +movitz-most-positive-fixnum+ + constant-term))) '((:into))))))))))))) (cond ((and (movitz-constantp term1 env)

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