Yes, in theory, you could write a new backend that uses MIR. Miri, linked at the end of the post[1], is an example: it interprets MIR, rather than using LLVM to generate machine code.<p>1: <a href="https:&#x2F;&#x2F;github.com&#x2F;tsion&#x2F;miri" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;tsion&#x2F;miri</a>