X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fearly-assem.lisp;h=317b100981e94f0c40b4af4d06d886ac0d0384bc;hb=54da325f13fb41669869aea688ae195426c0e231;hp=24501681467bdf4bc5f68f0fbf7b8ef56b221eed;hpb=7646aefa188758e2892fea2ad02be4f29b3938f2;p=sbcl.git diff --git a/src/compiler/early-assem.lisp b/src/compiler/early-assem.lisp index 2450168..317b100 100644 --- a/src/compiler/early-assem.lisp +++ b/src/compiler/early-assem.lisp @@ -31,14 +31,14 @@ (def!constant assembly-unit-bits 8) (def!constant assembly-unit-mask (1- (ash 1 assembly-unit-bits))) -(deftype assembly-unit () +(def!type assembly-unit () `(unsigned-byte ,assembly-unit-bits)) ;;; Some functions which accept assembly units can meaningfully accept ;;; signed values with the same number of bits and silently munge them ;;; into appropriate unsigned values. (This is handy behavior e.g. ;;; when assembling branch instructions on the X86.) -(deftype possibly-signed-assembly-unit () +(def!type possibly-signed-assembly-unit () `(or assembly-unit (signed-byte ,assembly-unit-bits))) @@ -47,6 +47,5 @@ ;;; better then that ourselves. (def!constant max-alignment sb!vm:n-lowtag-bits) - -(deftype alignment () +(def!type alignment () `(integer 0 ,max-alignment))