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

I can give you a tool that does automatic test-case reduction.

On Wed, Apr 1, 2026 at 5:01 PM Douglas Katzman <[email protected]> wrote:
>
> 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