On Monday, 19 May 2014 at 18:05:29 UTC, Dicebot wrote:
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.
Comparing assemble at link time is an option. Comparing IR is
another (LLVM does this).
