X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fppc%2Fsystem.lisp;h=301da10325ec96dbdced5d5fb123afae94e8b938;hb=7deecae2d959173eda6a153d490c752c32050a9e;hp=d640ab93a37cfb619c6f2d5a6db65975b4b868f9;hpb=d319b944d934f3efbb01a2a345c46bafd40857d0;p=sbcl.git diff --git a/src/compiler/ppc/system.lisp b/src/compiler/ppc/system.lisp index d640ab9..301da10 100644 --- a/src/compiler/ppc/system.lisp +++ b/src/compiler/ppc/system.lisp @@ -42,7 +42,7 @@ (inst beq done) ;; Okay, it is an immediate. If fixnum, we want zero. Otherwise, ;; we want the low 8 bits. - (inst andi. result object #b11) + (inst andi. result object fixnum-tag-mask) (inst beq done) ;; It wasn't a fixnum, so get the low 8 bits. (inst andi. result object widetag-mask) @@ -112,7 +112,7 @@ (inst andi. t1 t1 widetag-mask) (sc-case data (any-reg - (inst slwi t2 data (- n-widetag-bits 2)) + (inst slwi t2 data (- n-widetag-bits n-fixnum-tag-bits)) (inst or t1 t1 t2)) (immediate (inst ori t1 t1 (ash (tn-value data) n-widetag-bits))) @@ -121,13 +121,14 @@ (move res x))) -(define-vop (make-fixnum) +(define-vop (pointer-hash) + (:translate pointer-hash) (:args (ptr :scs (any-reg descriptor-reg))) (:results (res :scs (any-reg descriptor-reg))) + (:policy :fast-safe) (:generator 1 - ;; - ;; Some code (the hash table code) depends on this returning a - ;; positive number so make sure it does. + ;; FIXME: It would be better if this would mask the lowtag, + ;; and shift the result into a positive fixnum like on x86. (inst rlwinm res ptr n-fixnum-tag-bits 1 n-positive-fixnum-bits))) (define-vop (make-other-immediate-type) @@ -142,8 +143,8 @@ (inst slwi temp val n-widetag-bits) (inst ori res temp (tn-value type))) (t - (inst srawi temp type 2) - (inst slwi res val (- n-widetag-bits 2)) + (inst srawi temp type n-fixnum-tag-bits) + (inst slwi res val (- n-widetag-bits n-fixnum-tag-bits)) (inst or res res temp)))))