Commit 8bd26ade authored by wlott's avatar wlott
Browse files

Added a derive-type defoptimizer for log.

parent dc419bf9
......@@ -7,7 +7,7 @@
;;; Scott Fahlman or slisp-group@cs.cmu.edu.
;;;
(ext:file-comment
"$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/float-tran.lisp,v 1.21 1993/11/08 01:41:41 wlott Exp $")
"$Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/float-tran.lisp,v 1.22 1993/12/17 15:03:56 wlott Exp $")
;;;
;;; **********************************************************************
;;;
......@@ -252,6 +252,14 @@
type)
(specifier-type 'float)))))))
(defoptimizer (log derive-type) ((x &optional y))
(when (and (csubtypep (continuation-type x)
(specifier-type '(real (0.0))))
(or (null y)
(csubtypep (continuation-type y)
(specifier-type '(real (0.0))))))
(specifier-type 'float)))
;;;; Irrational transforms:
......
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