Re: OCaml flambda optimizations causing a compilation slow down

2024-05-07 Thread Richard W.M. Jones
On Tue, May 07, 2024 at 02:07:43AM +0200, Florian Weimer wrote: > * Richard W. M. Jones: > > > On Mon, May 06, 2024 at 10:16:45AM +0200, Florian Weimer wrote: > >> * Richard W. M. Jones: > >> > >> > This email is mostly to notify that this is happening. I'm not sure > >> > if a single package sl

Re: OCaml flambda optimizations causing a compilation slow down

2024-05-06 Thread Florian Weimer
* Richard W. M. Jones: > On Mon, May 06, 2024 at 10:16:45AM +0200, Florian Weimer wrote: >> * Richard W. M. Jones: >> >> > This email is mostly to notify that this is happening. I'm not sure >> > if a single package slowing down compilation means we need to do >> > anything here, but if anyone e

Re: OCaml flambda optimizations causing a compilation slow down

2024-05-06 Thread Richard W.M. Jones
On Mon, May 06, 2024 at 09:54:01AM +0100, Richard W.M. Jones wrote: > On Mon, May 06, 2024 at 10:16:45AM +0200, Florian Weimer wrote: > > * Richard W. M. Jones: > > > > > This email is mostly to notify that this is happening. I'm not sure > > > if a single package slowing down compilation means w

Re: OCaml flambda optimizations causing a compilation slow down

2024-05-06 Thread Richard W.M. Jones
On Mon, May 06, 2024 at 10:16:45AM +0200, Florian Weimer wrote: > * Richard W. M. Jones: > > > This email is mostly to notify that this is happening. I'm not sure > > if a single package slowing down compilation means we need to do > > anything here, but if anyone else sees similar symptoms, let

Re: OCaml flambda optimizations causing a compilation slow down

2024-05-06 Thread Florian Weimer
* Richard W. M. Jones: > This email is mostly to notify that this is happening. I'm not sure > if a single package slowing down compilation means we need to do > anything here, but if anyone else sees similar symptoms, let us know. What blocks you from profiling it and fixing the performance iss

Re: OCaml flambda optimizations causing a compilation slow down

2024-05-05 Thread Jerry James
On Fri, May 3, 2024 at 11:18 AM Richard W.M. Jones wrote: > I tested the tip of the 5.1 branch upstream and that still had the > issue. I didn't test 5.2. Here's a build with OCaml 5.2.0rc1: https://copr.fedorainfracloud.org/coprs/jjames/OCaml5.2/build/7416844/ As you can see, the build times

Re: OCaml flambda optimizations causing a compilation slow down

2024-05-03 Thread Richard W.M. Jones
On Fri, May 03, 2024 at 10:54:02AM -0600, Jerry James wrote: > On Fri, May 3, 2024 at 6:22 AM Richard W.M. Jones wrote: > > In Fedora we enable flambda in our OCaml package. Debian does not. > > As the person who pushed to get flambda enabled in Fedora, I feel kind > of responsible for this. I'

Re: OCaml flambda optimizations causing a compilation slow down

2024-05-03 Thread Jerry James
On Fri, May 3, 2024 at 6:22 AM Richard W.M. Jones wrote: > In Fedora we enable flambda in our OCaml package. Debian does not. As the person who pushed to get flambda enabled in Fedora, I feel kind of responsible for this. > We recently found that one package (coccinelle) takes much, much > long

OCaml flambda optimizations causing a compilation slow down

2024-05-03 Thread Richard W.M. Jones
In Fedora we enable flambda in our OCaml package. Debian does not. Flambda is "a series of optimisation passes provided by the native code compilers as of OCaml 4.03" and "aims to make it easier to write idiomatic OCaml code without incurring performance penalties". In other words, it claims to