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

[R. Matthew Emerson]

> On Apr 24, 2019, at 10:10 PM, Mark Klein <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
> https://lists.clozure.com/mailman/listinfo/openmcl-devel

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