I remember Walter saying two or more times that the semantics of D offers some optimization opportunities that probably are not yet used to try to reduce the run-time of D programs. Is Walter willing to write down a list of such opportunities? (Ideas from other persons are welcome). Maybe some LDC/GDC developer will make the GCC/LLVM back-ends use them. The implementation of those ideas will require some time, so later it's better to put the list in the D wiki.
Bye,
bearophile