full call to SB-VM::%LOGBITP

[Paul F. Dietz]

(declaim (special *s2* *s3* *s4* *s5* *s7* *s9*))

(defun f363 (b c)
   (declare (type fixnum c))
   (declare (optimize safety speed))
   (let ((*s9* 0))
     (let ((*s3* 0))
       (labels ((%f17 (f17-1 f17-2 f17-3)
                  (declare (ignorable f17-2 f17-3))
                  (unwind-protect
                      (let ((*s4*
                             (progv '(*s5* *s4*)
                                 (list (progv () () f17-1)
                                       (return-from %f17 c))
                               0)))
                        0))))
         (labels ((%f8 ()
                    (progv
                        '(*s9* *s7* *s2*)
                        (list
                         (if (logbitp 50 (multiple-value-call #'%f17
                                           (values 0 0 b)))
                             (return-from %f8 *s3*)
                             2)
                         (progv '(*s4* *s9*) (list 0 0) 0) *s3*)
                      (multiple-value-call #'%f17 (values b b *s9*)))))
           (%f8))))))

==>

full call to SB-VM::%LOGBITP
[...]
  0: (SB-INT:BUG "full call to ~S" SB-VM::%LOGBITP)
  1: (SB-C::PONDER-FULL-CALL #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME SB-VM::%LOGBITP :TYPE #1=#<SB-KERNEL:FUN-TYPE #> :DEFINED-TYPE #1# :WHERE-FROM :DECLARED :KIND :GLO..
  2: (SB-C::IR2-CONVERT-FULL-CALL #<SB-C::COMBINATION :FUN #<SB-C::REF :LEAF #<SB-C::GLOBAL-VAR :%SOURCE-NAME SB-VM::%LOGBITP :TYPE #1=#<SB-KERNEL:FUN-TYPE #> :DEFINED-TYPE #1# :WHERE-FROM :DECLARED :KIND..
  3: (SB-C::IR2-CONVERT-BLOCK #<SB-C::CBLOCK 8 :START c1 {102E3C1273}>)
[...]

[Stas Boukarev (stassats)]

(defun f363 (c)
  (declare (type fixnum c)
           (optimize (safety 0) speed))
  (labels ((%f17 ()
             (unwind-protect 1)
             (eval (unwind-protect (return-from %f17 c)))))
    (when (logbitp 50
                     (multiple-value-call #'%f17 (values)))
      (unwind-protect 1)
      (multiple-value-call #'%f17 (values)))))