Re: [Sbcl-commits] master: join-equality-constraints: better growth termination

Douglas Katzman via Sbcl-devel <[email protected]> Wed, 1 Apr 2026 10:01:05 -0400
Newsgroups gmane.lisp.steel-bank.devel
Message-ID <CAOrNasypWpxfHEU56eSh_ow251djzrtj76AHC6bS=s-jKgJjkA@mail.gmail.com>
I think this causes an infinite loop based on the sb-sprof result below.
I'll work on a reduction.
If it helps any: the file which times out during compile-file does so only
if (optimize (debug 2)) is in effect.
Our timeout is 900 seconds and the file formerly completed in 12 seconds.

           Self        Total        Cumul

  Nr  Count     %  Count     %  Count     %    Calls  Function

------------------------------------------------------------------------

   1   4691  38.8   9308  77.1   4691  38.8        -
SB-C::JOIN-TYPE-CONSTRAINTS

   2   1362  11.3   2482  20.5   6053  50.1        -  (LABELS
SB-IMPL::SXHASH-RECURSE :IN SB-IMPL::PERHAPS-TRUNCATED-EQUAL-HASH)

   3   1074   8.9   4509  37.3   7127  59.0        -
SB-C::JOIN-EQUALITY-CONSTRAINTS

   4    421   3.5   1380  11.4   7548  62.5        -  SB-IMPL::GETHASH/EQUAL

   5    299   2.5    476   3.9   7847  65.0        -
SB-C::FIND-EQUALITY-CONSTRAINT

   6    274   2.3    924   7.7   8121  67.2        -
SB-C::FIND-OR-CREATE-EQUALITY-CONSTRAINT

_______________________________________________
Sbcl-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/sbcl-devel