;;;; files for more information.
(in-package "SB!VM")
-
-(file-comment
- "$Header$")
\f
;;;; test generation utilities
;;; Emit the most compact form of the test immediate instruction,
;;; using an 8 bit test when the immediate is only 8 bits and the
;;; value is one of the four low registers (eax, ebx, ecx, edx) or the
-;;; control-stack.
+;;; control stack.
(defun generate-fixnum-test (value)
(let ((offset (tn-offset value)))
(cond ((and (sc-is value any-reg descriptor-reg)
(:info target not-p)
(:policy :fast-safe))
-;;; Simpler VOP that don't need a temporary register.
+;;; simpler VOP that don't need a temporary register
(define-vop (simple-check-type)
(:args (value :target result :scs (any-reg descriptor-reg)))
(:results (result :scs (any-reg descriptor-reg)
YEP
(move result value)))
-;;; An (unsigned-byte 32) can be represented with either a positive fixnum, a
-;;; bignum with exactly one positive digit, or a bignum with exactly two digits
-;;; and the second digit all zeros.
+;;; An (unsigned-byte 32) can be represented with either a positive
+;;; fixnum, a bignum with exactly one positive digit, or a bignum with
+;;; exactly two digits and the second digit all zeros.
(define-vop (unsigned-byte-32-p type-predicate)
(:translate unsigned-byte-32-p)
(:translate symbolp)
(:generator 12
(let ((is-symbol-label (if not-p drop-thru target)))
- (inst cmp value *nil-value*)
+ (inst cmp value nil-value)
(inst jmp :e is-symbol-label)
(test-type value target not-p symbol-header-type))
DROP-THRU))
(define-vop (check-symbol check-type)
(:generator 12
(let ((error (generate-error-code vop object-not-symbol-error value)))
- (inst cmp value *nil-value*)
+ (inst cmp value nil-value)
(inst jmp :e drop-thru)
(test-type value error t symbol-header-type))
DROP-THRU
(:translate consp)
(:generator 8
(let ((is-not-cons-label (if not-p target drop-thru)))
- (inst cmp value *nil-value*)
+ (inst cmp value nil-value)
(inst jmp :e is-not-cons-label)
(test-type value target not-p list-pointer-type))
DROP-THRU))
(define-vop (check-cons check-type)
(:generator 8
(let ((error (generate-error-code vop object-not-cons-error value)))
- (inst cmp value *nil-value*)
+ (inst cmp value nil-value)
(inst jmp :e error)
(test-type value error t list-pointer-type)
(move result value))))