Not mentioned yet: QBE (https://c9x.me/compile/ https://c9x.me/compile/) Although I might recommend interpreter optimizations before you go straight to machine

Not mentioned yet: QBE (https://c9x.me/compile/ https://c9x.me/compile/) Although I might recommend interpreter optimizations before you go straight to machine code. While writing a just-in-time compiler for your DSL will remove interpretation overhead in software and in hardware, you will probably want to have more type information so that you can generate better code. Check out my PL resources page, which has multiple sections on runtime optimization: https://bernsteinbear.com/pl-resources/ https://bernsteinbear.com/pl-resources/ Happy to chat, if you like.