[movitz-cvs] CVS update: movitz/compiler.lisp

[Frode Vatvedt Fjeld]

Update of /project/movitz/cvsroot/movitz
In directory common-lisp.net:/tmp/cvs-serv10632

Modified Files:
	compiler.lisp 
Log Message:
Removed bad check-type.

Date: Wed Apr 21 11:06:16 2004
Author: ffjeld

Index: movitz/compiler.lisp
diff -u movitz/compiler.lisp:1.57 movitz/compiler.lisp:1.58
--- movitz/compiler.lisp:1.57	Tue Apr 20 19:04:12 2004
+++ movitz/compiler.lisp	Wed Apr 21 11:06:16 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.57 2004/04/20 23:04:12 ffjeld Exp $
+;;;; $Id: compiler.lisp,v 1.58 2004/04/21 15:06:16 ffjeld Exp $
 ;;;;                
 ;;;;------------------------------------------------------------------
 
@@ -5831,7 +5831,6 @@
 (define-extended-code-expander :endp (instruction funobj frame-map)
   (destructuring-bind (cell result-mode)
       (cdr instruction)
-    (check-type cell lexical-binding)
     (let* ((binding (binding-target (ensure-local-binding (binding-target cell) funobj)))
 	   (location (new-binding-location (binding-target binding) frame-map))
 	   (binding-is-list-p (binding-store-subtypep binding 'list))
@@ -5844,11 +5843,6 @@
 	     (member location '(:eax :ebx :ecx :edx)))
 	(make-result-and-returns-glue result-mode :boolean-zf=1
 				      `((:cmpl :edi ,location))))
-;;;       ((and binding-is-list-p
-;;;	     (eq (result-mode-type result-mode)
-;;;		 :boolean-branch-on-false))
-;;;	(cond
-;;;	 ((member location '(:eax :ebx :ecx :edx))
        ((eq :boolean-branch-on-true (result-mode-type result-mode))
 	(let ((tmp-register (or tmp-register :ecx)))
 	  (append (make-load-lexical binding