X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fx86%2Ftype-vops.lisp;h=d00cd2213d1af2c3633cef9e4d46df919879b0ba;hb=0dcc957ae6bf24809fda82fd59c134e70058c42a;hp=77c8f46341bd4f8da05c3dfbeedf9f67aefa0f5c;hpb=a530bbe337109d898d5b4a001fc8f1afa3b5dc39;p=sbcl.git diff --git a/src/compiler/x86/type-vops.lisp b/src/compiler/x86/type-vops.lisp index 77c8f46..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) @@ -722,7 +719,7 @@ (: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)) @@ -730,7 +727,7 @@ (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 @@ -740,7 +737,7 @@ (: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)) @@ -748,7 +745,7 @@ (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))))