Hi... There are some cool but quite dirty tricks based on computed gotos between functions to avoid problems with function size; see Section 5.2 of: Compiling logic programs to C using GNU C as a portable assembler Fergus Henderson, Zoltan Somogyi and Thomas Conway. Proceedings of the ILPS '95 Postconference Workshop on Sequential Implementation Technologies for Logic Programming Languages. Portland, Oregon, December 1995.
Cheers, Peter On Sat, Dec 10, 2011 at 7:40 AM, Basile Starynkevitch <bas...@starynkevitch.net> wrote: > On Sat, 10 Dec 2011 00:18:25 +0100 > Goswin von Brederlow <goswin-...@web.de> wrote: >> >> Well, write the code as ONE function and do use lables. Sure, the C >> source will be huge for larger projects but then again you get the >> single source optimization bonus from gcc. > > > This won't work very well in practice, because practically speaking, a GCC > recent > (4.4, 4.5, or 4.6) compiler with -O1 optimization has a compile time which is > quadratic > with respect to the function size. > > Compiling a single 100 0000 C statements function with GCC take a lot of time > & memory. > > (You might use http://starynkevitch.net/Basile/manydl.c to measure that) > > Cheers. > > -- > Basile STARYNKEVITCH http://starynkevitch.net/Basile/ > email: basile<at>starynkevitch<dot>net mobile: +33 6 8501 2359 > 8, rue de la Faiencerie, 92340 Bourg La Reine, France > *** opinions {are only mine, sont seulement les miennes} *** > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
