The real question is whether you would even want to use a language that effectively and clearly exposes the execution model of the hardware. Not even most assem

The real question is whether you would even want to use a language that effectively and clearly exposes the execution model of the hardware. Not even most assemblers do that as architectures give stronger guarantees that would be implied by the microarch execution model. Some machines do expose the microarchitecture (or better, there is no architecture other that what is implemented in hardware by a specific revision) and rely on install-time or even JIT code specialization. But especially on this machines it would be insane to try to manually target them as you would have to rewrite your code for every revision. So, targeting the effective execution model of the machine is out of question. You need an abstraction. The question is whether C is the correct abstraction.