On Sunday, 18 May 2014 at 08:02:59 UTC, bearophile wrote:
deadalnix:
If the machine code is the same, the function can be merged by
the optimizer.
But in general isn't it more efficient to not generate bloat
instead of generating it, detecting it, and removing it?
Bye,
bearophile
It is much more difficult task I believe as template bodies can
change dramatically even from a slightest change in parameter
types. Compiler needs to prove instance equivalence in some way
to do this which sounds harder than just comparing result
assembly.
