Index: /branches/ia32/compiler/X86/X8632/x8632-vinsns.lisp
===================================================================
--- /branches/ia32/compiler/X86/X8632/x8632-vinsns.lisp	(revision 9691)
+++ /branches/ia32/compiler/X86/X8632/x8632-vinsns.lisp	(revision 9692)
@@ -231,5 +231,5 @@
   ((:pred >= n 32)
    (cmpl (:$l (:apply ash n x8632::fixnumshift)) (:%l x8632::nargs)))
-  (jz.pt :ok)
+  (jz :ok)
   (uuo-error-wrong-number-of-args)
   :ok)
@@ -245,5 +245,5 @@
    ((:pred >= min 32)
     (rcmpl (:%l x8632::nargs) (:$l (:apply ash min x8632::fixnumshift))))
-   (jae.pt :ok))
+   (jae :ok))
   (uuo-error-too-few-args)
   :ok)
@@ -255,5 +255,5 @@
   ((:pred >= n 32)
    (rcmpl (:%l x8632::nargs) (:$l (:apply ash n x8632::fixnumshift))))
-  (jbe.pt :ok)
+  (jbe :ok)
   (uuo-error-too-many-args)
   :ok)
@@ -468,5 +468,5 @@
                                      ((value :lisp)))
   (testl (:$l (lognot x8632::fixnumone)) (:%l value))
-  (je.pt :ok)
+  (je :ok)
   (uuo-error-reg-not-type (:%l value) (:$ub arch::error-object-not-bit))
   :ok
@@ -482,5 +482,5 @@
   (andl (:$b x8632::fulltagmask) (:% tag))
   (cmpl (:$b x8632::fulltag-cons) (:% tag))
-  (je.pt :ok)
+  (je :ok)
   (uuo-error-reg-not-list (:%l object))
   :ok)
@@ -491,9 +491,9 @@
   ;; special check for NIL (which is a distinguished CONS on x8632)
   (cmpl (:$l x8632::nil-value) (:%l object))
-  (je.pn :bad)
+  (je :bad)
   (movl (:%l object) (:%l tag))
   (andl (:$b x8632::fulltagmask) (:%l tag))
   (cmpl (:$b x8632::fulltag-cons) (:%l tag))
-  (je.pt :ok)
+  (je :ok)
   :bad
   (uuo-error-reg-not-tag (:%l object) (:$ub x8632::fulltag-cons))
@@ -517,5 +517,5 @@
   (andl (:$b x8632::tagmask) (:%l tag))
   (cmpl (:$b x8632::tag-misc) (:%l tag))
-  (jz.pt :ok)
+  (jz :ok)
   (uuo-error-reg-not-tag (:%l object) (:$ub x8632::tag-misc))
   :ok)
@@ -527,5 +527,5 @@
   (movl (:%l object) (:%l tag))
   (cmpb (:$b x8632::subtag-character) (:%b tag))
-  (je.pt :ok)
+  (je :ok)
   (uuo-error-reg-not-tag (:%l object) (:$ub x8632::subtag-character))
   :ok)
@@ -535,5 +535,5 @@
                                         ())
   (testl (:$l x8632::tagmask) (:%l object))
-  (je.pt :ok)
+  (je :ok)
   (uuo-error-reg-not-fixnum (:%l object))
   :ok)
@@ -559,5 +559,5 @@
   :have-tag
   (cmpb (:$b tagval) (:%b tag))
-  (je.pt :ok)
+  (je :ok)
   (uuo-error-reg-not-tag (:%l object) (:$ub tagval))
   :ok)
@@ -573,5 +573,5 @@
   (movb (:@ x8632::misc-subtag-offset (:%l object)) (:%b tag))
   (cmpb (:$b x8632::subtag-single-float) (:%b tag))
-  (je.pt :ok)
+  (je :ok)
   :bad
   (uuo-error-reg-not-tag (:%l object) (:$ub x8632::subtag-single-float))
@@ -588,5 +588,5 @@
   (movb (:@ x8632::misc-subtag-offset (:%l object)) (:%b tag))
   (cmpb (:$b x8632::subtag-double-float) (:%b tag))
-  (je.pt :ok)
+  (je :ok)
   :bad
   (uuo-error-reg-not-tag (:%l object) (:$ub x8632::subtag-double-float))
@@ -604,5 +604,5 @@
   :have-tag
   (cmpl (:$b x8632::subtag-macptr) (:%l tag))
-  (je.pt :ok)
+  (je :ok)
   (uuo-error-reg-not-tag (:%l object) (:$ub x8632::subtag-macptr))
   :ok)
@@ -621,5 +621,5 @@
    (shll (:$ub x8632::fixnumshift) (:%l temp)))
   (rcmpl (:%l idx) (:%l temp))
-  (jb.pt :ok)
+  (jb :ok)
   (uuo-error-vector-bounds (:%l idx) (:%l v))
   :ok)
@@ -791,5 +791,5 @@
   (movl (:$l (lognot (ash #xff x8632::fixnumshift))) (:%l dest))
   (andl (:% src) (:% dest))
-  (je.pt :ok)
+  (je :ok)
   (uuo-error-reg-not-type (:%l src) (:$ub arch::error-object-not-unsigned-byte-8))
   :ok
@@ -809,7 +809,7 @@
   (sarl (:$ub (- x8632::nbits-in-word (+ 8 x8632::fixnumshift))) (:%l dest))
   (cmpl (:%l src) (:%l dest))
-  (jne.pn :bad)
+  (jne :bad)
   (testl (:$l x8632::fixnummask) (:%l dest))
-  (jne.pn :bad)
+  (jne :bad)
   (sarl (:$ub x8632::fixnumshift) (:%l dest))
   (jmp :got-it)
@@ -822,5 +822,5 @@
   (testl (:$l (lognot (ash #xffff x8632::fixnumshift))) (:% src))
   (movl (:%l src) (:%l dest))
-  (je.pt :ok)
+  (je :ok)
   (uuo-error-reg-not-type (:%l src) (:$ub arch::error-object-not-unsigned-byte-16))
   :ok
@@ -838,7 +838,7 @@
   (sarl (:$ub (- x8632::nbits-in-word (+ 16 x8632::fixnumshift))) (:%l dest))
   (cmpl (:%l src) (:%l dest))
-  (jne.pn :bad)
+  (jne :bad)
   (testl (:$l x8632::fixnummask) (:%l dest))
-  (je.pt :got-it)
+  (je :got-it)
   :bad
   (uuo-error-reg-not-type (:%l src) (:$ub arch::error-object-not-signed-byte-16))
@@ -1003,5 +1003,5 @@
        :label))
      ((imm (:u32 #.x8632::imm0))))
-  (jno.pt no-overflow)
+  (jno no-overflow)
   (movl (:%l val) (:%l imm))
   (sarl (:$ub x8632::fixnumshift) (:%l imm))
@@ -1080,5 +1080,5 @@
       ;; we use %mm0 for header in subprim
       (entry (:label 1))))
-  (jno.pt :done)
+  (jno :done)
   ((:not (:pred = x8632::arg_z
                 (:apply %hard-regspec-value val)))
@@ -1099,5 +1099,5 @@
       ;; we use %mm0 for header in subprim
       (entry (:label 1))))
-  (jno.pt lab)
+  (jno lab)
   ((:not (:pred = x8632::arg_z
                 (:apply %hard-regspec-value val)))
@@ -1686,7 +1686,7 @@
   (movl (:$l 0) (:@ x8632::interrupt-level-binding-index (:%l temp)))
   (movl (:%l x8632::esp) (:@ (:%seg :rcontext) x8632::tcr.db-link))
-  (jns.pt :done)
+  (jns :done)
   (btrl (:$ub 31) (:@ (:%seg :rcontext) x8632::tcr.interrupt-pending))
-  (jae.pt :done)
+  (jae :done)
   (ud2a)
   (:byte 2)
@@ -1724,9 +1724,9 @@
   (movl (:%l oldval) (:@ x8632::interrupt-level-binding-index (:%l tlb)))
   (movl (:%l link) (:@ (:%seg :rcontext) x8632::tcr.db-link))
-  (jns.pt :done)
+  (jns :done)
   (testl (:%l oldval) (:%l oldval))
-  (js.pt :done)
+  (js :done)
   (btrl (:$ub 31) (:@ (:%seg :rcontext) x8632::tcr.interrupt-pending))
-  (jae.pt :done)
+  (jae :done)
   (ud2a)
   (:byte 2)
@@ -2204,5 +2204,5 @@
   ((:pred > (:apply %hard-regspec-value object) x8632::ebx)
    (testl (:$l x8632::fixnummask) (:%l object)))
-  (je.pt :got-it)
+  (je :got-it)
   (uuo-error-reg-not-type (:%l object) (:$ub arch::error-object-not-fixnum))
   (jmp :again)
@@ -2221,5 +2221,5 @@
   ((:pred > (:apply %hard-regspec-value object) x8632::ebx)
    (andl (:$l x8632::fixnummask) (:%l tag)))
-  (je.pt :got-it)
+  (je :got-it)
   ((:pred = (:apply %hard-regspec-value tag) x8632::eax)
    (cmpb (:$b x8632::tag-misc) (:%accb tag)))
@@ -2357,5 +2357,5 @@
   (movl (:%l object) (:%l tag))
   (cmpb (:$b x8632::subtag-character) (:%b object))
-  (je.pt :ok)
+  (je :ok)
   (uuo-error-reg-not-type (:%l object) (:$ub arch::error-object-not-character))
   (jmp :again)
@@ -2371,5 +2371,5 @@
   (shll (:$ub x8632::fixnumshift) (:%l tag))
   (cmpl (:%l object) (:%l tag))
-  (je.pt :ok)
+  (je :ok)
   :bad
   (uuo-error-reg-not-type (:%l object) (:$ub arch::error-object-not-signed-byte-8))
@@ -2383,5 +2383,5 @@
   (movl (:$l (lognot (ash #xff x8632::fixnumshift))) (:%l tag))
   (andl (:%l object) (:%l tag))
-  (je.pt :ok)
+  (je :ok)
   (uuo-error-reg-not-type (:%l object) (:$ub arch::error-object-not-unsigned-byte-8))
   (jmp :again)
@@ -2397,5 +2397,5 @@
   (shll (:$ub x8632::fixnumshift) (:%l tag))
   (cmpl (:%l object) (:%l tag))
-  (je.pt :ok)
+  (je :ok)
   :bad
   (uuo-error-reg-not-type (:%l object) (:$ub arch::error-object-not-signed-byte-16))
@@ -2409,5 +2409,5 @@
   (movl (:$l (lognot (ash #xffff x8632::fixnumshift))) (:%l tag))
   (andl (:%l object) (:%l tag))
-  (je.pt :ok)
+  (je :ok)
   (uuo-error-reg-not-type (:%l object) (:$ub arch::error-object-not-unsigned-byte-16))
   (jmp :again)
@@ -2420,10 +2420,10 @@
   (testl (:$l x8632::fixnummask) (:%l object))
   (movl (:%l object) (:%l tag))
-  (je.pt :ok)
+  (je :ok)
   (andl (:$l x8632::fulltagmask) (:%l tag))
   (cmpl (:$l x8632::fulltag-misc) (:%l tag))
-  (jne.pn :bad)
+  (jne :bad)
   (cmpl (:$l x8632::one-digit-bignum-header) (:@ x8632::misc-header-offset (:%l object)))
-  (je.pt :ok)
+  (je :ok)
   :bad
   (uuo-error-reg-not-type (:%l object) (:$ub arch::error-object-not-signed-byte-32))
@@ -2437,12 +2437,12 @@
   (testl (:$l x8632::fixnummask) (:%l object))
   (movl (:%l object) (:%l tag))
-  (je.pt :ok-if-non-negative)
+  (je :ok-if-non-negative)
   (andl (:$l x8632::fulltagmask) (:%l tag))
   (cmpl (:$l x8632::fulltag-misc) (:%l tag))
-  (jne.pn :bad)
+  (jne :bad)
   (cmpl (:$l x8632::one-digit-bignum-header) (:@ x8632::misc-header-offset (:%l object)))
   (je :one)
   (cmpl (:$l x8632::two-digit-bignum-header) (:@ x8632::misc-header-offset (:%l object)))
-  (jne.pn :bad)
+  (jne :bad)
   (cmpl (:$b 0) (:@ (+ x8632::misc-data-offset 4) (:%l object)))
   (je :ok)
@@ -2463,10 +2463,10 @@
   (testl (:$l x8632::fixnummask) (:%l object))
   (movl (:%l object) (:%l tag))
-  (je.pt :ok)
+  (je :ok)
   (andl (:$l x8632::fulltagmask) (:%l tag))
   (cmpl (:$l x8632::fulltag-misc) (:%l tag))
-  (jne.pn :bad)
+  (jne :bad)
   (cmpl (:$l x8632::two-digit-bignum-header) (:@ x8632::misc-header-offset (:%l object)))
-  (jne.pt :ok)
+  (jne :ok)
   :bad
   (uuo-error-reg-not-type (:%l object) (:$ub arch::error-object-not-signed-byte-64))
@@ -2480,12 +2480,12 @@
   (testl (:$l x8632::fixnummask) (:%l object))
   (movl (:%l object) (:%l tag))
-  (je.pt :ok-if-non-negative)
+  (je :ok-if-non-negative)
   (andl (:$l x8632::fulltagmask) (:%l tag))
   (cmpl (:$l x8632::fulltag-misc) (:%l tag))
-  (jne.pn :bad)
+  (jne :bad)
   (cmpl (:$l x8632::two-digit-bignum-header) (:@ x8632::misc-header-offset (:%l object)))
   (je :two)
   (cmpl (:$l x8632::three-digit-bignum-header) (:@ x8632::misc-header-offset (:%l object)))
-  (jne.pn :bad)
+  (jne :bad)
   (cmpl (:$b 0) (:@ (+ x8632::misc-data-offset 8) (:%l object)))
   (je :ok)
@@ -2505,7 +2505,7 @@
   :again
   (testb (:$b x8632::fixnummask) (:%b object))
-  (jne.pn :bad)
+  (jne :bad)
   (cmpl (:$l (ash #x110000 x8632::fixnumshift)) (:%l object))
-  (jb.pt :ok)
+  (jb :ok)
   :bad
   (uuo-error-reg-not-type (:%l object) (:$ub arch::error-object-not-mod-char-code-limit))
@@ -3157,5 +3157,5 @@
   :test
   (cmpl (:$l x8632::unbound-marker) (:%l dest))
-  (jne.pt :done)
+  (jne :done)
   (uuo-error-unbound (:%l src))
   :done)
@@ -3344,8 +3344,8 @@
   (andb (:$b x8632::tagmask) (:%b tag))
   (cmpb (:$b x8632::tag-misc) (:%b tag))
-  (jne.pn :bad)
+  (jne :bad)
   (movb (:@ x8632::misc-subtag-offset (:%l val)) (:%b tag))
   (cmpb (:$b x8632::subtag-function) (:%b tag))
-  (je.pt :ok)
+  (je :ok)
   :bad
   (uuo-error-udf (:%l sym))
@@ -3395,5 +3395,5 @@
    (cmpl (:$b x8632::subtag-character) (:%l dest))
    (cmovel (:%l src) (:%l dest)))
-  (je.pt ::got-it)
+  (je ::got-it)
   (uuo-error-reg-not-tag (:%l src) (:$ub x8632::subtag-character))
   :got-it
@@ -3562,5 +3562,5 @@
   (movl (:@ x8632::misc-data-offset (:%l instance) (:%l index)) (:%l dest))
   (cmpl (:$l x8632::slot-unbound-marker) (:%l dest))
-  (jne.pt :ok)
+  (jne :ok)
   (uuo-error-slot-unbound (:%l dest) (:%l instance) (:%l index))
   :ok)
Index: /branches/ia32/lisp-kernel/x86-spentry32.s
===================================================================
--- /branches/ia32/lisp-kernel/x86-spentry32.s	(revision 9691)
+++ /branches/ia32/lisp-kernel/x86-spentry32.s	(revision 9692)
@@ -43,8 +43,8 @@
 	__(andb $tagmask,%imm0_b)
 	__(cmpb $tag_misc,%imm0_b)
-	__(je,pt 0f)
+	__(je 0f)
 	__(uuo_error_reg_not_tag(Rarg_y,tag_misc))
 0:	__(testb $fixnummask,%arg_z_b)
-	__(je,pt 1f)
+	__(je 1f)
 	__(uuo_error_reg_not_fixnum(Rarg_z))
 1:	__(movl misc_header_offset(%arg_y),%imm0)
@@ -52,5 +52,5 @@
 	__(shrl $num_subtag_bits-fixnumshift,%imm0)
 	__(cmpl %imm0,%arg_z)
-	__(jb,pt 2f)
+	__(jb 2f)
 	__(uuo_error_vector_bounds(Rarg_z,Rarg_y))
 2:	__(xorl %imm0,%imm0)
@@ -425,8 +425,8 @@
 	__(and $tagmask,%imm0)
 	__(cmp $tag_misc,%imm0)
-	__(je,pt 0f)
+	__(je 0f)
 	__(uuo_error_reg_not_tag(Rarg_y,tag_misc))
 0:	__(testb $fixnummask,%arg_z_b)
-	__(je,pt 1f)
+	__(je 1f)
 	__(uuo_error_reg_not_fixnum(Rarg_z))
 1:	__(movl misc_header_offset(%arg_y),%imm0)
@@ -445,9 +445,9 @@
 	__(andb $tagmask,%imm0_b)
 	__(cmpb $tag_misc,%imm0_b)
-	__(je,pt 0f)
+	__(je 0f)
 	__(uuo_error_reg_not_tag(Rtemp0,tag_misc))
 0:	__(mov %arg_y,%imm0)
 	__(testb $fixnummask,%imm0_b)
-	__(je,pt 1f)
+	__(je 1f)
 	__(uuo_error_reg_not_fixnum(Rarg_y))
 1:	__(movl misc_header_offset(%temp0),%imm0)
@@ -466,9 +466,9 @@
 	__(andb $tagmask,%imm0_b)
 	__(cmpb $tag_misc,%imm0_b)
-	__(je,pt 0f)
+	__(je 0f)
 	__(uuo_error_reg_not_tag(Rtemp0,tag_misc))
 0:	__(mov %arg_y,%imm0)	/* no byte reg for %arg_y/%esi */
 	__(testb $fixnummask,%imm0_b)
-	__(je,pt 1f)
+	__(je 1f)
 	__(uuo_error_reg_not_fixnum(Rarg_y))
 1:	__(movl misc_header_offset(%temp0),%imm0)
@@ -1450,5 +1450,5 @@
 	__(movl symbol.binding_index(%arg_y),%imm0)
 	__(cmpl %rcontext:tcr.tlb_limit,%imm0)
-	__(jb,pt 0f)
+	__(jb 0f)
 	__(push %imm0)
 	__(tlb_too_small())
@@ -1475,5 +1475,5 @@
 	__(movl symbol.binding_index(%arg_z),%imm0)
 	__(cmpl %rcontext:tcr.tlb_limit,%imm0)
-	__(jb,pt 0f)
+	__(jb 0f)
 	__(push %imm0)
 	__(tlb_too_small())
@@ -1504,5 +1504,5 @@
 	__(movl symbol.binding_index(%arg_z),%imm0)
 	__(cmpl %rcontext:tcr.tlb_limit,%imm0)
-	__(jb,pt 0f)
+	__(jb 0f)
 	__(push %imm0)
 	__(tlb_too_small())
@@ -1525,5 +1525,5 @@
 	__(movl symbol.binding_index(%arg_z),%imm0)
 	__(cmpl %rcontext:tcr.tlb_limit,%imm0)
-	__(jb,pt 0f)
+	__(jb 0f)
 	__(push %imm0)
 	__(tlb_too_small())
@@ -1862,5 +1862,5 @@
 	__(movl symbol.binding_index(%temp1),%temp1)
 	__(cmp %rcontext:tcr.tlb_limit,%temp1)
-	__(jb,pt 4f)
+	__(jb 4f)
 	__(push %temp1)
 	__(tlb_too_small())
@@ -3362,5 +3362,5 @@
 7:	__(movl symbol.vcell(%arg_y),%arg_z)
 8:	__(cmpb $unbound_marker,%arg_z_b)
-	__(jne,pt 9f)
+	__(jne 9f)
 	__(uuo_error_reg_unbound(Rarg_y))
 9:	__(repret)
@@ -3512,5 +3512,5 @@
 	__(movl %esp,%rcontext:tcr.db_link)
 	__(movl $0,INTERRUPT_LEVEL_BINDING_INDEX(%arg_y))
-	__(js,pn 1f)
+	__(js 1f)
 0:	__(jmp *%ra0)
 	/* Interrupt level was negative; interrupt may be pending */
@@ -3556,5 +3556,5 @@
 	__(movl %temp0,INTERRUPT_LEVEL_BINDING_INDEX(%arg_y))
 	__(movl %imm0,%rcontext:tcr.db_link)
-	__(js,pn 1f)
+	__(js 1f)
 0:	__(repret)
 1:	__(test %temp0,%temp0)
@@ -3581,5 +3581,5 @@
 	__(jne 1f)
 	__(addl %arg_y,%arg_z)
-	__(jo,pn C(fix_one_bit_overflow))
+	__(jo C(fix_one_bit_overflow))
 	__(repret)
 1:	__(jump_builtin(_builtin_plus,2))
@@ -3595,5 +3595,5 @@
 	__(xchgl %arg_y,%arg_z)
 	__(subl %arg_y,%arg_z)
-	__(jo,pn C(fix_one_bit_overflow))
+	__(jo C(fix_one_bit_overflow))
 	__(repret)
 1:	__(jump_builtin(_builtin_minus,2))
@@ -3794,5 +3794,5 @@
 	__(andb $fulltagmask,%imm0_b)
 	__(cmpb $fulltag_cons,%imm0_b)
-	__(je,pt 2f)
+	__(je 2f)
 	__(uuo_error_reg_not_list(Rarg_z))
 2:	__(_car(%arg_z,%temp0))
@@ -3803,5 +3803,5 @@
 	__(andb $fulltagmask,%imm0_b)
 	__(cmpb $fulltag_cons,%imm0_b)
-	__(je,pt 3f)
+	__(je 3f)
 	__(uuo_error_reg_not_list(Rtemp0))
 3:	__(_car(%temp0,%temp1))
@@ -3821,5 +3821,5 @@
 	__(andb %arg_z_b,%imm0_b)
 	__(cmpb $fulltag_cons,%imm0_b)
-	__(jz,pt 2f)
+	__(jz 2f)
 	__(uuo_error_reg_not_list(Rarg_z))
 2:	__(_car(%arg_z,%temp1))
@@ -3877,5 +3877,5 @@
 	__(jne 1f)
 	__(negl %arg_z)
-	__(jo,pn C(fix_one_bit_overflow))
+	__(jo C(fix_one_bit_overflow))
 	__(repret)
 1:
@@ -4460,5 +4460,5 @@
         __(movl arrayH.dim0+(node_size*2)(%temp1),%imm1)
         __(cmpq %imm1,%arg_z)
-        __(jb,pt 7f)
+        __(jb 7f)
         __(uuo_error_array_bounds(Rarg_z,Rtemp0))
 7:      __(unbox_fixnum(%imm1,%imm1))
@@ -4482,11 +4482,11 @@
 _spentry(aset3)
         __(testb $fixnummask,%temp0_b)
-        __(je,pt 0f)
+        __(je 0f)
         __(uuo_error_reg_not_fixnum(Rtemp0))
 0:      __(testb $fixnummask,%arg_x_b)
-        __(je,pt 1f)
+        __(je 1f)
         __(uuo_error_reg_not_fixnum(Rarg_x))
 1:      __(testb $fixnummask,%arg_y_b)
-        __(je,pt 2f)
+        __(je 2f)
         __(uuo_error_reg_not_fixnum(Rarg_y))
 2:      __(extract_typecode(%temp1,%imm0))
@@ -4494,17 +4494,17 @@
         __(jne 3f)
         __(cmpq $3<<fixnumshift,arrayH.rank(%temp1))
-        __(je,pt 4f)
+        __(je 4f)
 3:      __(uuo_error_reg_not_type(Rtemp1,error_object_not_array_3d))
 4:      __(cmpq arrayH.dim0(%temp1),%temp0)
-        __(jb,pt 5f)
+        __(jb 5f)
         __(uuo_error_array_bounds(Rtemp0,Rtemp1))
 5:      __(movq arrayH.dim0+node_size(%temp1),%imm0)
         __(cmpq %imm0,%arg_x)
-        __(jb,pt 6f)
+        __(jb 6f)
         __(uuo_error_array_bounds(Rarg_x,Rtemp1))
 6:      __(unbox_fixnum(%imm0,%imm0))
         __(movq arrayH.dim0+(node_size*2)(%temp1),%imm1)
         __(cmpq %imm1,%arg_y)
-        __(jb,pt 7f)
+        __(jb 7f)
         __(uuo_error_array_bounds(Rarg_y,Rtemp1))
 7:      __(unbox_fixnum(%imm1,%imm1))