I always thought there was value in a simpler take on this. Especially in the commercial-software world, not everything is compiled for the exact foibles of your current CPU.
Why aren't we running a JIT from x86 to "optimized subset of x86"? how much performance could it buy us?