056、DCE（死代码消除）与Operation删除从一次半夜的MLIR调试说起凌晨两点，盯着终端里那个“Segmentation fault”已经快一个小时了。问题出在一个自定义的Pass里，我明明把不需要的Operation都删了，可下游Pass一跑就崩。更诡异的是，同样的IR，用mlir-opt --canonicalize跑一遍就没事。后来发现，我删Operation的方式不对——直接调erase()，但没处理这个Op的use-def链。MLIR的DCE（死代码消除）不是简单的“删掉没用的指令”，它背后有一套严谨的Operation删除机制，踩坑了才知道。死代码消除：不只是“删掉没用的”DCE在传统编译器里是个老生常谈的话题：如果一个指令的计算结果没有被任何后续指令使用，且没有副作用，那它就是死代码，可以安全删除。但在MLIR里，事情变得微妙——因为MLIR的Operation可以嵌套，可以有多区域（Region），还可以有自定义的副作用语义。MLIR的DCE Pass叫-eliminate-dead-code，它做的事情比想象中多：遍历所有Operation，标记哪些是“活”的（有用户使用其结果，或者有副作用）反向传播活性：如果一个Op是活的，它依赖的Operand对应的定义Op也变成活的删除所有未