Fix constant-folding for logand.

;;;; Author:        Frode Vatvedt Fjeld <frodef@acm.org>

;;;; Created at:    Sat Jul 17 13:42:46 2004

;;;;                

;;;; $Id: arithmetic-macros.lisp,v 1.21 2008/03/17 17:24:42 ffjeld Exp $

;;;; $Id: arithmetic-macros.lisp,v 1.22 2008/04/21 19:29:17 ffjeld Exp $

;;;;                

;;;;------------------------------------------------------------------

				      finally (return (if (= -1 folded-constant)

							  non-constants

							(cons folded-constant non-constants))))))

    (case (length constant-folded-integers)

      (0 0)

      (1 (first constant-folded-integers))

      (2 (cond

    (cond

      ((null constant-folded-integers)

       0)

      ((null (rest constant-folded-integers))

       (first constant-folded-integers))

      ((eql 0 (first constant-folded-integers))

       `(progn ,@(rest constant-folded-integers) 0))

      ((null (cddr constant-folded-integers))

       (cond

	 ((typep (first constant-folded-integers)

		 '(unsigned-byte 32))

	  (let ((x (first constant-folded-integers)))

	 (t `(no-macro-call logand

			    ,(first constant-folded-integers)

			    ,(second constant-folded-integers)))))

      (t `(logand (logand ,(first constant-folded-integers) ,(second constant-folded-integers))

      (t `(logand (logand ,(first constant-folded-integers)

			  ,(second constant-folded-integers))

		  ,@(cddr constant-folded-integers))))))

(define-compiler-macro logior (&whole form &rest integers &environment env)

   (t form)))

(define-compiler-macro ldb (&whole form &environment env bytespec integer)

  (let ((bytespec (movitz::movitz-macroexpand bytespec env)))

  (let ((bytespec (movitz-macroexpand bytespec env)))

    (if (not (and (consp bytespec) (eq 'byte (car bytespec))))

	form

      `(ldb%byte ,(second bytespec) ,(third bytespec) ,integer))))