X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fcompiler%2Fppc%2Fsystem.lisp;h=301da10325ec96dbdced5d5fb123afae94e8b938;hb=74cfbf6d0572b7df1b3492563408a7cb3ae103cf;hp=6a437e140eaccbca80faba0acd224bfcd474acda;hpb=52cfe54802db8736f1f4e2b67764c43bba9b78b3;p=sbcl.git diff --git a/src/compiler/ppc/system.lisp b/src/compiler/ppc/system.lisp index 6a437e1..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,15 +121,15 @@ (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. - (inst slwi res ptr 3) - (inst srwi res res 1))) + ;; 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) (:args (val :scs (any-reg descriptor-reg)) @@ -143,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)))))