On Thu, Feb 18, 2021 at 06:29:06PM +0000, Richard Sandiford wrote:
> Yeah, agree that copying 1KB isn't great, but I think we should keep any
> optimisations of the copy in recog.[hc]. So IMO it would be better &
> safer to go with a plain copy for now and leave optimising it as a nice
> future improvement. (Or even better, we could try to remove the
> reliance on a single global.)
I've committed the version with the 1KB copying in the meantime.
If it shows up on the compile time measurably, we can do something with it.
Jakub
