模式重写是MLIR中的重要IR变换机制，通过匹配和替换IR子图来优化代码。每个模式可以独立注册并组合使用，重写过程由GreedyPatternRewriteDriver管理，以确保迭代到不动点。规范化是模式重写的标准应用，旨在将IR转换为最简形式。在编写模式时，需要确保收敛性，避免死循环，并使用优先级控制应用顺序。