Is there anything left for me to remark on in QBE?
The CPU-specific code all looks fairly similar, with a couple CPU-generic helpers they call. It only supports modern 64bit machines, but as long as you're not targetting the broader field of microcontrollers or historical machines you should be fine. And even then you can hack QBE!
The CFG (Control Flow Graph) module offers reachability-testing helpers to the GVN (Global Value Numbering) deduplication pass.
1/2?