Index: /trunk/ccl/compiler/PPC/PPC32/ppc32-vinsns.lisp
===================================================================
--- /trunk/ccl/compiler/PPC/PPC32/ppc32-vinsns.lisp	(revision 5188)
+++ /trunk/ccl/compiler/PPC/PPC32/ppc32-vinsns.lisp	(revision 5189)
@@ -877,5 +877,5 @@
   :again
   (clrlwi. tag object (- ppc32::nbits-in-word ppc32::nlisptagbits))
-  (lis tag (ash #x110000 -16))
+  (lis tag (ash (ash #x110000 ppc32::fixnumshift) -16))
   (cmplw crf1 object tag)
   (bne crf0 :bad)
Index: /trunk/ccl/compiler/PPC/PPC64/ppc64-vinsns.lisp
===================================================================
--- /trunk/ccl/compiler/PPC/PPC64/ppc64-vinsns.lisp	(revision 5188)
+++ /trunk/ccl/compiler/PPC/PPC64/ppc64-vinsns.lisp	(revision 5189)
@@ -968,5 +968,5 @@
   :again
   (clrldi. tag object (- ppc64::nbits-in-word ppc64::nlisptagbits))
-  (lis tag (ash #x110000 -16))
+  (lis tag (ash (ash #x110000 ppc64::fixnumshift) -16))
   (cmpld crf1 object tag)
   (bne crf0 :bad)
