Mozilla Rust最近发布的MIR的一个评论

原来Rust似乎是直接从AST翻译到LLVM IR，现在则拆分为HIR和MIR了。

什么是MIR呢？

仔细看了原始的blog文章和RFC，可以认为MIR其实就是对CFG的一种抽象，只有内存结构，没有线性化的序列化反序列化表示。

这里要理解的一个核心概念是：AST只是高级层面的对原始语言的文法结构抽象，直接对应于前端parser的处理结果。

而这个AST下降到MIR要做一系列的程序转换：这里的例子用了for迭代转换为while let（显式的调用迭代器，要求所有变量的类型已知，因此MIR在对AST的Type Checking完成后介入），进一步转换为loop+goto。

这里还有一个临时value的析构（drop操作，Rust总是喜欢创造自己的术语），也就是说，MIR级别需要插入一些在Rust源代码级别没有显示出来的调用。这里给出的例子就是运行时条件地标记一个对象是否已被brow出。

Rust MIR不是基于SSA的，它允许用户Rust源代码级别的let mut，但是它插入的辅助临时变量都可以认为是SSA的。