Commit 89ba72ac authored by rtoy's avatar rtoy
Browse files

o IGNORE some unused args

o Remove some unused variables
parent 148a6695
......@@ -5,7 +5,7 @@
;;; Carnegie Mellon University, and has been placed in the public domain.
;;;
(ext:file-comment
"$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/disassem.lisp,v 1.45 2004/11/10 18:38:59 emarsden Exp $")
"$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/disassem.lisp,v 1.46 2005/02/07 17:27:16 rtoy Exp $")
;;;
;;; **********************************************************************
;;;
......@@ -2085,9 +2085,9 @@
;;; ----------------------------------------------------------------
(defun lra-hook (chunk stream dstate)
(declare (ignore stream))
(declare (type dchunk chunk)
(ignore chunk)
(type (or null stream) stream)
(type disassem-state dstate))
(when (and (aligned-p (+ (seg-virtual-location (dstate-segment dstate))
(dstate-cur-offs dstate))
......@@ -2899,6 +2899,7 @@
(type (or null di:debug-function) debug-function)
(type (or null source-form-cache) sfcache))
(let ((last-block-pc -1)
#+nil
(segment-base
(- (seg-virtual-location segment)
(sys:sap-int
......
......@@ -5,7 +5,7 @@
;;; Carnegie Mellon University, and has been placed in the public domain.
;;;
(ext:file-comment
"$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/sparc/insts.lisp,v 1.50 2004/09/13 00:41:54 rtoy Exp $")
"$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/sparc/insts.lisp,v 1.51 2005/02/07 17:27:17 rtoy Exp $")
;;;
;;; **********************************************************************
;;;
......@@ -317,32 +317,30 @@ about function addresses and register values.")
dstate)))))))
(defun handle-or-inst (rs1 immed-val rd dstate immed-p)
(let* ((sethi (assoc rs1 *note-sethi-inst*)))
(cond
((= rs1 alloc-offset)
;; OR %ALLOC, n. This must be some allocation or
;; pseudo-atomic stuff
(cond ((and immed-p
(= immed-val pseudo-atomic-value)
(= rd alloc-offset)
(not *pseudo-atomic-set*))
;; "OR 4, %ALLOC" sets the flag
(disassem:note "Set pseudo-atomic flag" dstate)
(setf *pseudo-atomic-set* t)))))))
(cond
((= rs1 alloc-offset)
;; OR %ALLOC, n. This must be some allocation or
;; pseudo-atomic stuff
(cond ((and immed-p
(= immed-val pseudo-atomic-value)
(= rd alloc-offset)
(not *pseudo-atomic-set*))
;; "OR 4, %ALLOC" sets the flag
(disassem:note "Set pseudo-atomic flag" dstate)
(setf *pseudo-atomic-set* t))))))
(defun handle-andn-inst (rs1 immed-val rd dstate immed-p)
(let* ((sethi (assoc rs1 *note-sethi-inst*)))
(cond
((= rs1 alloc-offset)
;; ANDN %ALLOC, n. Resetting pseudo-atomic
(cond ((and immed-p
(= immed-val pseudo-atomic-value)
(= rd alloc-offset)
*pseudo-atomic-set*)
;; "ANDN 4, %ALLOC" resets the flag
;;(format t "Got reset~%")
(disassem:note "Reset pseudo-atomic flag" dstate)
(setf *pseudo-atomic-set* nil)))))))
(cond
((= rs1 alloc-offset)
;; ANDN %ALLOC, n. Resetting pseudo-atomic
(cond ((and immed-p
(= immed-val pseudo-atomic-value)
(= rd alloc-offset)
*pseudo-atomic-set*)
;; "ANDN 4, %ALLOC" resets the flag
;;(format t "Got reset~%")
(disassem:note "Reset pseudo-atomic flag" dstate)
(setf *pseudo-atomic-set* nil))))))
(defun handle-jmpl-inst (rs1 immed-val rd dstate)
(declare (ignore rd))
......
......@@ -5,7 +5,7 @@
;;; Carnegie Mellon University, and has been placed in the public domain.
;;;
(ext:file-comment
"$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/srctran.lisp,v 1.154 2005/01/06 17:32:07 rtoy Exp $")
"$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/srctran.lisp,v 1.155 2005/02/07 17:27:16 rtoy Exp $")
;;;
;;; **********************************************************************
;;;
......@@ -2582,23 +2582,30 @@
(lognot-derive-type-aux
(logior-derive-type-aux x y same-leaf)))
#'lognor))
;; We should do something better for these. (logandc1 x x) is 0, for
;; example.
(defoptimizer (logandc1 derive-type) ((x y))
(two-arg-derive-type x y (lambda (x y same-leaf)
(declare (ignore same-leaf))
(logand-derive-type-aux
(lognot-derive-type-aux x) y nil))
#'logandc1))
(defoptimizer (logandc2 derive-type) ((x y))
(two-arg-derive-type x y (lambda (x y same-leaf)
(declare (ignore same-leaf))
(logand-derive-type-aux
x (lognot-derive-type-aux y) nil))
#'logandc2))
(defoptimizer (logorc1 derive-type) ((x y))
(two-arg-derive-type x y (lambda (x y same-leaf)
(declare (ignore same-leaf))
(logior-derive-type-aux
(lognot-derive-type-aux x) y nil))
#'logorc1))
(defoptimizer (logorc2 derive-type) ((x y))
(two-arg-derive-type x y (lambda (x y same-leaf)
(declare (ignore same-leaf))
(logior-derive-type-aux
x (lognot-derive-type-aux y) nil))
#'logorc2))
......
......@@ -5,7 +5,7 @@
;;; Carnegie Mellon University, and has been placed in the public domain.
;;;
(ext:file-comment
"$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/typetran.lisp,v 1.44 2003/07/03 18:44:03 gerd Exp $")
"$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/typetran.lisp,v 1.45 2005/02/07 17:27:16 rtoy Rel $")
;;;
;;; **********************************************************************
;;;
......@@ -274,7 +274,6 @@
;;;
(defun source-transform-union-typep (object type)
(let* ((types (union-type-types type))
(list-type (specifier-type 'list))
(cons-type (specifier-type 'cons))
(mtype (find-if #'member-type-p types))
(members (when mtype (member-type-members mtype))))
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment