深入 MLIR 的循环层表示：Affine 方言的仿射约束与依赖分析、与多面体（Polyhedral）模型的联系、SCF 方言的结构化控制流，以及从 affine.for 到 scf.for 的降阶过程。