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