Custom Query (1030 matches)

(defun bug (state)
  (declare (type (simple-array (unsigned-byte 32) (627)) state)
           (optimize (speed 3) (safety 0)))
  (let ((y 0))
    (declare (type (unsigned-byte 32) y))
    (setf y (logior (logand (aref state (+ 3 (1- 624)))
                            #x80000000)
                    (logand (aref state 3) #x7fffffff)))
    (setf (aref state (+ 3 (1- 624)))
          (logxor (aref state (+ 3 (1- 397)))
                  (ash y -1) (aref state (logand y 1)))))
  (values))

Compile with an x8632 lisp at 1.10-dev-r16186, and get "Bug: ran out of node temp registers."

This is a cut-down test case from the mt19937 library. It could be loaded with (ql:quickload :mt19937) if desired.

Several of Ironclad's tests fail on Version 1.10-dev-r16186 (DarwinX8632).

(ql:quickload :ironclad-tests)
(asdf:oos 'asdf:test-op :ironclad-tests)

At the moment, this is mainly a placeholder ticket. I will be updating it with smaller test cases.

On Version 1.10-dev-r16186 (both x8632 and x8664), this form hangs the compiler interruptibly.

This can probably be trimmed down quite a bit, but I want to get it in here.

(LAMBDA (A B C D)
  (DECLARE (TYPE (INTEGER 37270 120214) A))
  (DECLARE (TYPE (INTEGER 458933 7816260) B))
  (DECLARE (TYPE (INTEGER 791477 43496750) C))
  (DECLARE (TYPE (INTEGER -48863 -3460) D))
  (DECLARE (IGNORABLE A B C D))
  (DECLARE
   (OPTIMIZE (COMPILATION-SPEED 3) (SAFETY 1) (SPACE 1) (SPEED 3)
    (DEBUG 1)))
  (LOAD-TIME-VALUE
    (DOTIMES (IV1 1
              (RESTART-BIND NIL
                            (COMPLEX (LOGIOR
                                      (IF
                                       (OR T (> 101586 -2452292))
                                       (ELT
                                        '(132654568)
                                        (MIN 0 (MAX 0 12778119)))
                                       (LET () 0)))
                                     0)))
      (- 268435453
         IV1
         -17
         IV1
         IV1
         7355042570
         -65371
         IV1
         IV1
         IV1
         -7
         IV1
         IV1
         5
         IV1
         IV1
         (REDUCE #'+ (VECTOR IV1))
         IV1
         IV1
         IV1
         (PROGN (TAGBODY (IF (AND (EQUAL -238537 14850) (/= IV1 IV1))
                             (REDUCE #'(LAMBDA
                                        (LMV6 LMV4)
                                        (RESTART-BIND
                                         NIL
                                         (ISQRT (ABS (/ 2147483657 1)))))
                                     (LIST 264 IV1)
                                     :START
                                     1)
                             (MACROLET () (MIN 33554429 -2978623)))
                 TAG1    (ELT '(88678025152)
                              (MIN 0
                                   (MAX
                                    0
                                    (*
                                     (COUNT
                                      155558
                                      #(268435115)
                                      :TEST-NOT
                                      'EQL)
                                     (BIT
                                      #*000100001101110
                                      (MIN 14 (MAX 0 (GO TAG2))))))))
                 TAG2    (GO 0)
                         0
                         (EXPT (REDUCE #'(LAMBDA
                                          (LMV5 LMV3)
                                          (EVAL
                                           (VALUES
                                            (REDUCE
                                             '+
                                             (LIST 4440788 -2 32768)
                                             :START
                                             2
                                             :FROM-END
                                             T))))
                                       (LIST
                                        IV1
                                        (/ (GO 7) 1)
                                        IV1
                                        (SYMBOL-MACROLET
                                         NIL
                                         (COUNT -1535966 '(1307070924)))
                                        IV1)
                                       :FROM-END
                                       T)
                               0)
                         7)
                IV1)
         (COUNT -243383 '(329292180) :TEST '=)
         IV1
         (LDB (BYTE 12 27) IV1)
         -244889
         2360
         (1- (RESTART-BIND NIL
                           (SVREF #(872
                                    477
                                    414
                                    934
                                    249
                                    482
                                    959
                                    97
                                    516
                                    423)
                                  (MIN 9 (MAX 0 IV1)))))
         (DOTIMES (IV2 2 -1) (/ 780201 1))))
    T))