Output compile-time

[v01dXYZ]

Is there a way to output compile-time (possibly with multiple runs) ?

If not and if it is relevant, I could submit a PR for that.

[dtcxzyw]

Yeah, you can obtain the compilation time with perf: perf stat -e instructions:u opt ....

I am sorry I cannot provide the baseline result for each run because PMU is not accessible on our CI workers.
But I can provide an option then you can run and compare the result locally :)

[dtcxzyw]

See e286d17
Usage:

./scripts/gen_optimized.py bench/ <path-to-opt> comptime comptime-v1.log
./scripts/gen_optimized.py bench/ <path-to-new-opt> comptime comptime-v2.log
python3 ./scripts/comptime_diff.py comptime-v1.log comptime-v2.log

[dtcxzyw]

See e286d17 Usage:

./scripts/gen_optimized.py bench/ <path-to-opt> comptime comptime-v1.log
./scripts/gen_optimized.py bench/ <path-to-new-opt> comptime comptime-v2.log
python3 ./scripts/comptime_diff.py comptime-v1.log comptime-v2.log

I will update the README at my convenience.