Inside rustc, MIR is a data structure. The outputs you see here are a human-readable export of that, the compiler does not emit text and then re-parse.<p>Projects in Rust, like miri, hook directly into the compiler and use the datastructures as well, they don&#x27;t parse the output you see here: <a href="https:&#x2F;&#x2F;github.com&#x2F;tsion&#x2F;miri&#x2F;blob&#x2F;master&#x2F;src&#x2F;bin&#x2F;miri.rs" rel="nofollow">https:&#x2F;&#x2F;github.com&#x2F;tsion&#x2F;miri&#x2F;blob&#x2F;master&#x2F;src&#x2F;bin&#x2F;miri.rs</a><p>(The post has been amended to try to clear this up a bit)