Formal annotating Code for Optimizations?

[bearophile]

Walter Bright Wrote:
> The dmd profiler does this too. It emits a file, trace.def, which 
> optimally orders functions based on the runtime profile, which you can 
> then use as input to optlink.

Oh, good, so in the future you may do the last little step, adding to dmd a compilation flag to perform such profile-driven optimization, like the -fprofile-generate/-fprofile-use pair of flags of GCC.

Bye,
bearophile