bug#51727: add an optional flag to -P to disable JIT

2021-11-12 Thread Paul Eggert
On 11/10/21 04:11, Carlo Arenas wrote: On Tue, Nov 9, 2021 at 4:40 PM Paul Eggert wrote: its main use, for me at least, was to actually see how much time I am saving by using jit, and to avoid hitting buggy jit code paths I might have introduced myself ;), which is what the commit message kin

bug#51727: add an optional flag to -P to disable JIT

2021-11-10 Thread Carlo Arenas
On Tue, Nov 9, 2021 at 4:40 PM Paul Eggert wrote: > > On 11/9/21 11:04, Carlo Marcelo Arenas Belón wrote: > > Severity: wishlist > > > > There are times, when the expression is too simple or will not be used too > > often to justify the extra time in -P that is required for JIT compilation. > > Ho

bug#51727: add an optional flag to -P to disable JIT

2021-11-09 Thread Paul Eggert
On 11/9/21 11:04, Carlo Marcelo Arenas Belón wrote: Severity: wishlist There are times, when the expression is too simple or will not be used too often to justify the extra time in -P that is required for JIT compilation. How much extra time are we talking about? I would expect users would bo

bug#51727: add an optional flag to -P to disable JIT

2021-11-09 Thread Carlo Marcelo Arenas Belón
Severity: wishlist There are times, when the expression is too simple or will not be used too often to justify the extra time in -P that is required for JIT compilation. Make it simpler for users to pass flags to the PCRE backend, and start with a flag to disable JIT (enabled by default) >From ca