That is very cool, but let me ask here: Is there a good resource, when it comes to code generation for register architectures?
I know that this would be related to instruction selection and register allocation (where at some point you map an infinite register architecture - like LLVM - to a finite real-world machine), but I never found a nice example.