X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fx86%2Ftype-vops.lisp;h=d00cd2213d1af2c3633cef9e4d46df919879b0ba;hb=4719b7d5d66c5930d3efd6a6d8e7572b16809f8d;hp=6a5382713fb958c7f96b932aaffd2b28ae519539;hpb=adf0d51d2bde8b723276bacf94641df9aa5ae561;p=sbcl.git diff --git a/src/compiler/x86/type-vops.lisp b/src/compiler/x86/type-vops.lisp index 6a53827..d00cd22 100644 --- a/src/compiler/x86/type-vops.lisp +++ b/src/compiler/x86/type-vops.lisp @@ -10,9 +10,6 @@ ;;;; files for more information. (in-package "SB!VM") - -(file-comment - "$Header$") ;;;; test generation utilities @@ -109,7 +106,7 @@ ;;; 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) @@ -258,7 +255,7 @@ (: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) @@ -620,9 +617,9 @@ 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)