[Openmcl-devel] Error: Function size exceeds compiler limitation.

[Andrew Shalit]

Ah.  Thanks.

> On Apr 25, 2019, at 10:41 AM, Ron Garret <ron at flownet.com> wrote:
> 
> Look at the end.  It’s truncated.
> 
> On Apr 25, 2019, at 7:18 AM, Andrew Shalit <alms at clozure.com <mailto:alms at clozure.com>> wrote:
> 
>> It’s surprising that the example Mark gave would exceed that limit. It doesn’t look like a particularly huge function.
>> 
>> Andrew
>> 
>>> On Apr 25, 2019, at 2:00 AM, R. Matthew Emerson <rme at acm.org <mailto:rme at acm.org>> wrote:
>>> 
>>> 
>>> 
>>>> On Apr 24, 2019, at 10:10 PM, Mark Klein <m_klein at mit.edu <mailto:m_klein at mit.edu>> wrote:
>>>> 
>>>> 
>>>> My lisp code is generates a simple lambda expression that I then pass to the (compile) function. If the lambda expression is big enough  (e.g. 1.6 megabytes), lisp throws the following error:
>>>> 
>>>> > Error: Function size exceeds compiler limitation.
>>>> > While executing: CCL::COMPILER-FUNCTION-OVERFLOW, in process listener(1).
>>>> 
>>>> I guess CCL has a limit on how big an individual function it will compile. Is that limit something I can change? I don’t have an obvious way to break the lambda expression into multiple smaller ones. 
>>> 
>>> There's a limit, but it can't be trivially increased, unfortunately.  I believe it has to do with the number of labels generated in intermediate code.  More than 256K labels causes the error.
>>> 
>>> -m
>>> 
>>> 
>>> 
>>> 
>>> 
>>>> 
>>>> Here, FYI, is a snippet of the kind of lambda expression I’m generating. It’s just one giant nested if statement with a bunch of inequalities:
>>>> 
>>>> (LAMBDA (CONTRACT)
>>>>   (DECLARE (TYPE ARRAY CONTRACT))
>>>>   (DECLARE (OPTIMIZE (SAFETY 0) (SPEED 3)))
>>>>   (LET ((V9 (CVAL CONTRACT 9))
>>>>         (V5 (CVAL CONTRACT 5))
>>>>         (V12 (CVAL CONTRACT 12))
>>>>         (V14 (CVAL CONTRACT 14))
>>>>         (V3 (CVAL CONTRACT 3))
>>>>         (V4 (CVAL CONTRACT 4))
>>>>         (V30 (CVAL CONTRACT 30))
>>>>         (V23 (CVAL CONTRACT 23))
>>>>         (V28 (CVAL CONTRACT 28))
>>>>         (V8 (CVAL CONTRACT 8))
>>>>         (V17 (CVAL CONTRACT 17))
>>>>         (V20 (CVAL CONTRACT 20))
>>>>         (V26 (CVAL CONTRACT 26))
>>>>         (V19 (CVAL CONTRACT 19))
>>>>         (V22 (CVAL CONTRACT 22))
>>>>         (V11 (CVAL CONTRACT 11))
>>>>         (V15 (CVAL CONTRACT 15))
>>>>         (V13 (CVAL CONTRACT 13))
>>>>         (V6 (CVAL CONTRACT 6))
>>>>         (V10 (CVAL CONTRACT 10))
>>>>         (V29 (CVAL CONTRACT 29))
>>>>         (V25 (CVAL CONTRACT 25))
>>>>         (V16 (CVAL CONTRACT 16))
>>>>         (V27 (CVAL CONTRACT 27))
>>>>         (V24 (CVAL CONTRACT 24))
>>>>         (V7 (CVAL CONTRACT 7))
>>>>         (V2 (CVAL CONTRACT 2))
>>>>         (V1 (CVAL CONTRACT 1))
>>>>         (V18 (CVAL CONTRACT 18))
>>>>         (V21 (CVAL CONTRACT 21)))
>>>>     (DECLARE (TYPE FIXNUM V9))
>>>>     (DECLARE (TYPE FIXNUM V5))
>>>>     (DECLARE (TYPE FIXNUM V12))
>>>>     (DECLARE (TYPE FIXNUM V14))
>>>>     (DECLARE (TYPE FIXNUM V3))
>>>>     (DECLARE (TYPE FIXNUM V4))
>>>>     (DECLARE (TYPE FIXNUM V30))
>>>>     (DECLARE (TYPE FIXNUM V23))
>>>>     (DECLARE (TYPE FIXNUM V28))
>>>>     (DECLARE (TYPE FIXNUM V8))
>>>>     (DECLARE (TYPE FIXNUM V17))
>>>>     (DECLARE (TYPE FIXNUM V20))
>>>>     (DECLARE (TYPE FIXNUM V26))
>>>>     (DECLARE (TYPE FIXNUM V19))
>>>>     (DECLARE (TYPE FIXNUM V22))
>>>>     (DECLARE (TYPE FIXNUM V11))
>>>>     (DECLARE (TYPE FIXNUM V15))
>>>>     (DECLARE (TYPE FIXNUM V13))
>>>>     (DECLARE (TYPE FIXNUM V6))
>>>>     (DECLARE (TYPE FIXNUM V10))
>>>>     (DECLARE (TYPE FIXNUM V29))
>>>>     (DECLARE (TYPE FIXNUM V25))
>>>>     (DECLARE (TYPE FIXNUM V16))
>>>>     (DECLARE (TYPE FIXNUM V27))
>>>>     (DECLARE (TYPE FIXNUM V24))
>>>>     (DECLARE (TYPE FIXNUM V7))
>>>>     (DECLARE (TYPE FIXNUM V2))
>>>>     (DECLARE (TYPE FIXNUM V1))
>>>>     (DECLARE (TYPE FIXNUM V18))
>>>>     (DECLARE (TYPE FIXNUM V21))
>>>>     (OR (IF (<= V21 10)
>>>>             (IF (>= V18 3)
>>>>                 (IF (>= V1 9)
>>>>                     (IF (>= V2 5)
>>>>                         (IF (>= V7 8)
>>>>                             (IF (<= V24 14)
>>>>                                 (IF
>>>> 
>>>> ----------------------
>>>> Mark Klein, PhD
>>>> Principal Research Scientist
>>>> Massachusetts Institute of Technology
>>>> http://cci.mit.edu/klein/ <http://cci.mit.edu/klein/>
>>>> 
>>>> 
>>>> 
>>>> _______________________________________________
>>>> Openmcl-devel mailing list
>>>> Openmcl-devel at clozure.com <mailto:Openmcl-devel at clozure.com>
>>>> https://lists.clozure.com/mailman/listinfo/openmcl-devel <https://lists.clozure.com/mailman/listinfo/openmcl-devel>
>>> 
>>> _______________________________________________
>>> Openmcl-devel mailing list
>>> Openmcl-devel at clozure.com <mailto:Openmcl-devel at clozure.com>
>>> https://lists.clozure.com/mailman/listinfo/openmcl-devel <https://lists.clozure.com/mailman/listinfo/openmcl-devel>
>> _______________________________________________
>> Openmcl-devel mailing list
>> Openmcl-devel at clozure.com <mailto:Openmcl-devel at clozure.com>
>> https://lists.clozure.com/mailman/listinfo/openmcl-devel
> 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.clozure.com/pipermail/openmcl-devel/attachments/20190425/707900fe/attachment.htm>