Thu Apr 13 15:19:48 EDT 2017


A more modern approach would be to write a macro language that exports
to LLVM, and then to solve the factoring problem using some kind of
additional optimizer: e.g. what to inline?

I would be surprised that a compiler can't peephole-optimize better
than what is done in Staapl, but it might have serious trouble finding
a good factorization.