On Thursday, 29 December 2011 at 20:58:59 UTC, Timon Gehr wrote:
I don't think you should use DMD to benchmark the D language.
You're missing my point. We can't count that optimizers in all implementations will be perfect. I am suggesting language features which could provide guarantees to the programmer regarding how the code will be compiled. If an implementation cannot satisfy them, the programmer should be told so, so he could try something else - rather than having to sift through disassembler listings or use a profiler.
