Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Compilation on 4.04.0 takes twice as long as 4.03.0 #7456
Original bug ID: 7456
While trying to reproduce the issue #7452, I noticed that the compilation with 4.04.0 takes twice as long as compiling the same file with 4.03.0. I've attached the timing info:
Steps to reproduce
Requires opam package extprot to be installed.
Comment author: @gasche
(just looking at the data and making obvious conclusion) the overhead seems to come from "generate" then "compile_phrases" (although the latter could just come from "generate" producing sensibly more code to compile: all backend passes seem to be 30%-60% slower, which is consistent with more code being produced):
Comment author: @kayceesrk
The numbers themselves are quite suspect and don't seem to add up. For example, with the 4.03.0 numbers:
I suspect an unrelated bug in the timing infrastructure.