Skip to content
Snippets Groups Projects
Commit a85ff7ea authored by wlott's avatar wlott
Browse files

This commit was generated by cvs2svn to compensate for changes in r516,

which included commits to RCS files with non-trunk default branches.
parents 81d3b5b0 254e6639
No related branches found
No related tags found
No related merge requests found
...@@ -7,13 +7,15 @@ ...@@ -7,13 +7,15 @@
;;; Scott Fahlman (FAHLMAN@CMUC). ;;; Scott Fahlman (FAHLMAN@CMUC).
;;; ********************************************************************** ;;; **********************************************************************
;;; ;;;
;;; $Header: /Volumes/share2/src/cmucl/cvs2git/cvsroot/src/compiler/typetran.lisp,v 1.1.1.2 1990/03/26 21:57:20 wlott Exp $
;;;
;;; This file contains stuff that implements the portable IR1 semantics of ;;; This file contains stuff that implements the portable IR1 semantics of
;;; type tests. The main thing we do is convert complex type tests into ;;; type tests. The main thing we do is convert complex type tests into
;;; simpler code that can be compiled inline. ;;; simpler code that can be compiled inline.
;;; ;;;
;;; Written by Rob MacLachlan ;;; Written by Rob MacLachlan
;;; ;;;
(in-package 'c) (in-package "C")
;;;; Type predicate translation: ;;;; Type predicate translation:
...@@ -96,6 +98,7 @@ ...@@ -96,6 +98,7 @@
;;; Flush %Typep tests whose result is known at compile time. ;;; Flush %Typep tests whose result is known at compile time.
;;; ;;;
(deftransform %typep ((object type)) (deftransform %typep ((object type))
(unless (constant-continuation-p type) (give-up))
(ir1-transform-type-predicate (ir1-transform-type-predicate
object object
(specifier-type (continuation-value type)))) (specifier-type (continuation-value type))))
...@@ -229,7 +232,8 @@ ...@@ -229,7 +232,8 @@
'fixnum 'fixnum
'integer)) 'integer))
(rational 'rational) (rational 'rational)
(float (or (numeric-type-format type) 'float))))) (float (or (numeric-type-format type) 'float))
((nil) 'number))))
(once-only ((n-object object)) (once-only ((n-object object))
(ecase (numeric-type-complexp type) (ecase (numeric-type-complexp type)
(:real (:real
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment