第 5 课：Dialect Conversion 与类型转换

参考答案版：包含完整代码实现与问答题深度参考解析。建议先独立完成练习题后再展开核对。

本课目标与完成标准

学完后你应能：配置 legal/illegal op、conversion target 与 type converter，理解 partial/full conversion。

通过必须同时满足：

独立补齐本课唯一的代码填空题，并通过给定检查；
三个问答题均说明因果链，而不是只报术语；
能指出至少一个正确性边界和一个性能取舍；
总分不低于 8/10，且没有一票否决级概念错误。

前置关系

课程前置：编译原理基础、C++ 阅读能力
本课在路线中的作用：Dialect Conversion 把合法性定义与 rewrite patterns 组合，用于系统性 lower 一个 dialect；它不仅是字符串替换。

核心心智模型

1. 它是什么，解决什么问题

在多层级编译器设计中，方言降级（Dialect Lowering）是把高层抽象（如高层线性代数 linalg 或领域专用语言 toy）系统性转换到底层方言（如 arith、memref、llvm）的核心桥梁。简单的贪心 PatternRewrite 仅能处理局部的同构或弱类型替换；而当降级过程伴随着全局类型系统剧烈变化（Type Conversion）（例如将值语义的无副作用不可变 tensor 转换为具备物理内存指针与步长的可变 memref）时，贪心驱动器会因为类型不匹配、操作数签名失效与回滚机制缺失而崩溃。为此，MLIR 提供了工业级的形式化降级框架——Dialect Conversion。本课解决的核心工程问题是：理解 Dialect Conversion 的三位一体核心（ConversionTarget、TypeConverter、ConversionPattern），掌握类型转换物化（Materialization）机制，以及辨析全量转换（Full Conversion）与局部增量转换（Partial Conversion）的工程边界。

2. 它如何工作

Dialect Conversion 目标判定与类型降级流程如图 5-1 与图 5-2 所示：

flowchart TD
    subgraph ConversionFramework["方言转换框架核心三要素"]
        Target["ConversionTarget (合法性定义: Legal / Dynamic / Illegal)"]
        TypeConv["TypeConverter (类型映射: 如 tensor&lt;f32&gt; -> memref&lt;f32&gt;)"]
        Patterns["ConversionPattern (重写规则: 转换 Op 结构及操作数)"]
    end
    Target & TypeConv & Patterns --> Engine["applyPartialConversion / applyFullConversion"]

图 5-1：Dialect Conversion 目标合法性判定与类型映射模型

flowchart LR
    InputIR["源方言 IR (含 Illegal Op)"] --> TypeMap["TypeConverter 转换函数签名与操作数"]
    TypeMap --> PatternExec["Pattern 逐个生成新合法方言算子"]
    PatternExec --> Materialize["生成 unrealized_conversion_cast 桥接类型差异"]
    Materialize --> LegalCheck{"所有 Op 与 Type 均合法?"}
    LegalCheck -->|是| CleanCast["自动折叠并消除合法 cast，输出目标 IR"]
    LegalCheck -->|否| Fail["类型不匹配，Conversion 报错回滚"]

图 5-2：MLIR 方言降低 (Dialect Lowering) 与类型物化完整执行流程

三位一体架构定义：
- ConversionTarget（合法性规范）：声明哪些方言/Op 是合法的（Legal）、非法的（Illegal）或动态合法的（Dynamically Legal，例如仅当张量是一维时合法）。
- TypeConverter（类型映射与物化）：定义源类型到目标类型的转换规则（如 addConversion([](TensorType t) -> MemRefType { ... })），并提供源类型与目标类型之间的桥接物化函数（addSourceMaterialization / addTargetMaterialization，通常生成 builtin.unrealized_conversion_cast）。
- ConversionPattern（带类型自适应的重写模式）：通过特殊的 adaptor 参数获取已被自动转换为新类型的操作数，生成目标方言的新 Operation。
两阶段拓扑变换与类型物化（Two-Phase Commit）：
- 第一阶段（匹配与试探转换）：驱动器遍历包含非法 Op 的 IR。每当 Pattern 生成新 Op 时，若操作数类型与新 Op 期望不符，驱动器自动插入类型转换投射（Cast）确保当前局部 IR 满足静态类型系统。
- 第二阶段（合法性全局检验与折叠）：转换完成后，驱动器运行内置折叠器消除成对产生的反向 Cast；随后扫描全局 IR，严格比对 ConversionTarget。
事务性提交与回滚（Transaction Commit/Rollback）：与贪心驱动器的即时原地破坏不同，Dialect Conversion 内部记录完整的修改事务日志。若在全量转换（applyFullConversion）结束时仍残留任何一个未被消除的 Illegal Op，整个转换过程将原子化完全回滚（Rollback），保留原始 IR 并抛出硬错误，绝不产生破坏性的半死半生半降级 IR。

3. 正确性条件与常见误区

全量转换的不变量（Full Conversion Post-Condition）：调用 applyFullConversion(module, target, patterns) 后，目标代码树中绝对不允许存在任何被标记为 Illegal 的 Operation，也不允许遗留无法被折叠消除的 unrealized_conversion_cast。若有一处分支或不常见算子遗漏了 Pattern，Pass 会直接报告转换失败。
签名与块参数协同降级（Function Signature & Block Arguments）：若修改了算子的输入/输出类型，函数的函数签名（func.func）以及基本块入口参数（Block Arguments）必须同步注册针对性的签名转换模式（populateFunctionOpInterfaceTypeConverter），否则调用点与函数体将产生不可调和的类型割裂。
动态合法性（Dynamically Legal）闭环死锁：若在 target.addDynamicallyLegalOp<...> 中设置了条件，但对应的 ConversionPattern 在转换后产生的新 Op 依然无法满足动态合法条件，会导致转换器尝试无尽转换或陷入失败。

4. 性能与工程取舍

applyFullConversion vs applyPartialConversion：
- Full Conversion（全量转换）：保证严密的大步推进降级。适用于完整的阶段交接（例如将整个前端方言彻底抹除，进入中间端）。任何未覆盖的边缘情况都会被立即捕获，杜绝语义漏网之鱼；
- Partial Conversion（局部增量转换）：允许未被处理的 Illegal Op 暂时保留在 IR 中，允许存在合法的类型物化投射。适用于多方言渐进混合降级，或分多步 Pipeline 逐步消除高层语义。
物化开销（Materialization Overhead）：若类型转换逻辑设计不良，会导致 IR 中散落大量未配对的 unrealized_conversion_cast，若后续没有 Pass 消费这些 Cast，将导致最终向 LLVM 生成机器码时抛出未实现指令错误。

具体演示

以将自定义 toy 方言降级到 arith + func 为例：

配置目标：

ConversionTarget target(ctx);
target.addLegalDialect<arith::ArithDialect, func::FuncDialect>();
target.addIllegalDialect<toy::ToyDialect>();

若输入 IR 包含 %0 = toy.add %a, %b : tensor<2xf32>：
- 目标已将 toy 整体宣称为 Illegal；
- 驱动器匹配到针对 toy.add 的降级 Pattern，将其替换为 %sum = arith.addf %a, %b : tensor<2xf32>；
- 若某个冷门算子 toy.transpose 遗漏了降级 Pattern，在 applyFullConversion 终检时检测到 toy.transpose 依然存在，立即报错并安全回滚。

请在阅读后先合上这一节，用自己的语言复述“输入状态 → 中间状态 → 输出状态”，再做练习。

实践任务：唯一代码填空题

补齐目标合法性：arith/func 合法，toy dialect 非法。

规则：只能修改 TODO/______ 所在位置；不要删除断言或放宽误差。代码注释说明了每个边界条件。

Code

ConversionTarget target(ctx);
target.addLegalDialect<______, ______>();
target.addIllegalDialect<______>();

if (failed(applyFullConversion(module, target, std::move(patterns))))
  return signalPassFailure();

检查方法

构造仍含一个 toy op 的输入，确认 full conversion 失败而不是静默保留。

提交时请给出：补齐后的代码、实际运行输出（环境不可用时注明“仅静态审查”）以及对失败用例的解释。

Q1

不要背定义：请从输入、状态变化和输出三个阶段解释“Dialect Conversion 与类型转换”的工作机制。

你的答案：

Q2

只注册 rewrite pattern、不把源 dialect 标 illegal，会发生什么？

你的答案：

Q3

何时选择 partial conversion 而不是 full conversion？

你的答案：

评分与通过规则

代码 4 分：正常输入 2 分，边界输入 1 分，解释实现 1 分；
Q1～Q3 各 2 分；
一票否决：结果碰巧正确但核心因果链错误、删除边界检查、把未运行结果说成实测。

需要提示时按四级机制请求：概念区域 → 具体方向 → 关键局部 → 完整答案。

💡 点击展开参考答案与详细代码实现

参考答案（仅 answer 分支）

先完成题目再核对。即使代码一致，也要能解释关键步骤，并尝试更换一个输入规模。

Code

ConversionTarget target(ctx);
target.addLegalDialect<arith::ArithDialect, func::FuncDialect>();
target.addIllegalDialect<toy::ToyDialect>();

if (failed(applyFullConversion(module, target, std::move(patterns))))
  return signalPassFailure();

Q1 参考答案

从三个阶段拆解其运行机制：

输入阶段（合法性规范配置与类型注册）：配置 ConversionTarget 显式圈定合法方言与非法方言白黑名单；配置 TypeConverter 建立源方言高阶类型到目标方言物理类型的映射关系与桥接物化函数；收集所有降级 ConversionPattern，以事务性驱动器启动转换。
状态变化阶段（类型自适应重写与事务性试探）：驱动器遍历非法 Op，通过 Pattern 将其替换为目标方言的操作。期间若出现新旧类型不匹配，驱动器自动插入类型物化投射操作（如 unrealized_conversion_cast）维持操作数的强类型自洽，并将全部修改记录在内存事务日志中，保持数据流图在变换过程中的临时局部合法。
输出阶段（投射折叠、合法性全局终检验收与原子提交）：转换完成后，驱动器运行对消重写消除成对出现的投射节点。随后对全局 IR 进行严格终检：若所有 Operation 与类型均严格满足 ConversionTarget（全量模式下无任何非法节点残留），则正式提交（Commit）修改；若存在任何未降级的非法节点，则完全回滚（Rollback）至初始状态并报错。

Q2 参考答案

在 MLIR 方言转换框架中，如果只向集合中注册了 RewritePattern，却没有在 ConversionTarget 中将源方言明确标记为 Illegal：

驱动器丧失降级驱动力（No Conversion Obligation）： Dialect Conversion 驱动器的工作逻辑是以“消灭所有被标记为 Illegal 或不符合 Dynamically Legal 条件的 Operation”为终极目标导向的。如果源方言没有被标记为 Illegal，驱动器会认为当前 IR 中的源方言算子已经是合法的最终状态，因此完全没有必须对其执行匹配与重写的契约约束。
静默漏转换与后续编译崩溃：驱动器在遍历时可能直接跳过部分甚至全部源算子。全量转换检查（applyFullConversion）会因为没有检测到任何非法算子而误判为成功退出。高层的源方言算子被原封不动地泄露到后续更底层的编译器阶段（如 LLVM 生成阶段），最终在硬件代码生成阶段因遇到未知的高层算子而爆发严重的无法降级错误，破坏了编译流水线的阶段隔离性。

Q3 参考答案

在工业级编译器工程中，选择 Partial Conversion（局部增量转换）而非 Full Conversion（全量转换）的典型场景包括：

混合方言与渐进式分阶段降级（Multi-stage Incremental Lowering）：在复杂编译体系中（例如从包含前端高层图、控制流与线性代数的混合 IR 降级），某个 Pass 的职责仅仅是将张量计算 linalg.matmul 降级为仿射循环 affine.for，而故意保留外部的控制流（scf.if）和顶层函数（func.func）供后续 Pass 分析。此时若使用 Full Conversion，必须被迫一次性提供所有外层方言的降级规则，这破坏了 Pass 的单一职责原则（Single Responsibility Principle）。
部分算子硬件卸载（Heterogeneous Target Offloading）：针对异构加速芯片（CPU + NPU / GPU），编译器需要仅将具备 NPU 硬件加速能力的算子转换为 NPU 指令方言，而将不支持的复杂通用动态算子安全保留在 CPU 原生方言中。此时通过 Partial Conversion 允许两者合法共存，并通过插入桥接投射（Cast）维持模块级协同。

参考资料

资料用于建立事实基线；面试回答仍需用自己的语言组织。

← 上一课
第 4 课：Pass、PatternRewr… 下一课 →
第 6 课：Tensor 到 MemRef …

--- title: "第 5 课：Dialect Conversion 与类型转换" jupyter: python3 --- ::: {.callout-note appearance="simple"} **参考答案版**：包含完整代码实现与问答题深度参考解析。建议先独立完成练习题后再展开核对。 ::: ## 本课目标与完成标准学完后你应能：配置 legal/illegal op、conversion target 与 type converter，理解 partial/full conversion。通过必须同时满足： - 独立补齐本课唯一的代码填空题，并通过给定检查； - 三个问答题均说明因果链，而不是只报术语； - 能指出至少一个正确性边界和一个性能取舍； - 总分不低于 8/10，且没有一票否决级概念错误。 ## 前置关系 - 课程前置：编译原理基础、C++ 阅读能力 - 本课在路线中的作用：Dialect Conversion 把合法性定义与 rewrite patterns 组合，用于系统性 lower 一个 dialect；它不仅是字符串替换。 ## 核心心智模型 ### 1. 它是什么，解决什么问题在多层级编译器设计中，方言降级（Dialect Lowering）是把高层抽象（如高层线性代数 `linalg` 或领域专用语言 `toy`）系统性转换到底层方言（如 `arith`、`memref`、`llvm`）的核心桥梁。简单的贪心 PatternRewrite 仅能处理局部的同构或弱类型替换；而当降级过程伴随着**全局类型系统剧烈变化（Type Conversion）**（例如将值语义的无副作用不可变 `tensor` 转换为具备物理内存指针与步长的可变 `memref`）时，贪心驱动器会因为类型不匹配、操作数签名失效与回滚机制缺失而崩溃。为此，MLIR 提供了工业级的形式化降级框架——**Dialect Conversion**。本课解决的核心工程问题是：**理解 Dialect Conversion 的三位一体核心（ConversionTarget、TypeConverter、ConversionPattern），掌握类型转换物化（Materialization）机制，以及辨析全量转换（Full Conversion）与局部增量转换（Partial Conversion）的工程边界**。 ### 2. 它如何工作 Dialect Conversion 目标判定与类型降级流程如图 5-1 与图 5-2 所示： ```{mermaid} flowchart TD subgraph ConversionFramework["方言转换框架核心三要素"] Target["ConversionTarget (合法性定义: Legal / Dynamic / Illegal)"] TypeConv["TypeConverter (类型映射: 如 tensor<f32> -> memref<f32>)"] Patterns["ConversionPattern (重写规则: 转换 Op 结构及操作数)"] end Target & TypeConv & Patterns --> Engine["applyPartialConversion / applyFullConversion"] ``` 图 5-1：Dialect Conversion 目标合法性判定与类型映射模型 ```{mermaid} flowchart LR InputIR["源方言 IR (含 Illegal Op)"] --> TypeMap["TypeConverter 转换函数签名与操作数"] TypeMap --> PatternExec["Pattern 逐个生成新合法方言算子"] PatternExec --> Materialize["生成 unrealized_conversion_cast 桥接类型差异"] Materialize --> LegalCheck{"所有 Op 与 Type 均合法?"} LegalCheck -->|是| CleanCast["自动折叠并消除合法 cast，输出目标 IR"] LegalCheck -->|否| Fail["类型不匹配，Conversion 报错回滚"] ``` 图 5-2：MLIR 方言降低 (Dialect Lowering) 与类型物化完整执行流程 1. **三位一体架构定义**： - **`ConversionTarget`（合法性规范）**：声明哪些方言/Op 是合法的（Legal）、非法的（Illegal）或动态合法的（Dynamically Legal，例如仅当张量是一维时合法）。 - **`TypeConverter`（类型映射与物化）**：定义源类型到目标类型的转换规则（如 `addConversion([](TensorType t) -> MemRefType { ... })`），并提供源类型与目标类型之间的桥接物化函数（`addSourceMaterialization` / `addTargetMaterialization`，通常生成 `builtin.unrealized_conversion_cast`）。 - **`ConversionPattern`（带类型自适应的重写模式）**：通过特殊的 `adaptor` 参数获取已被自动转换为新类型的操作数，生成目标方言的新 Operation。 2. **两阶段拓扑变换与类型物化（Two-Phase Commit）**： - 第一阶段（匹配与试探转换）：驱动器遍历包含非法 Op 的 IR。每当 Pattern 生成新 Op 时，若操作数类型与新 Op 期望不符，驱动器自动插入类型转换投射（Cast）确保当前局部 IR 满足静态类型系统。 - 第二阶段（合法性全局检验与折叠）：转换完成后，驱动器运行内置折叠器消除成对产生的反向 Cast；随后扫描全局 IR，严格比对 `ConversionTarget`。 3. **事务性提交与回滚（Transaction Commit/Rollback）**：与贪心驱动器的即时原地破坏不同，Dialect Conversion 内部记录完整的修改事务日志。若在全量转换（`applyFullConversion`）结束时仍残留任何一个未被消除的 Illegal Op，整个转换过程将**原子化完全回滚（Rollback）**，保留原始 IR 并抛出硬错误，绝不产生破坏性的半死半生半降级 IR。 ### 3. 正确性条件与常见误区 - **全量转换的不变量（Full Conversion Post-Condition）**：调用 `applyFullConversion(module, target, patterns)` 后，目标代码树中**绝对不允许存在任何被标记为 Illegal 的 Operation**，也不允许遗留无法被折叠消除的 `unrealized_conversion_cast`。若有一处分支或不常见算子遗漏了 Pattern，Pass 会直接报告转换失败。 - **签名与块参数协同降级（Function Signature & Block Arguments）**：若修改了算子的输入/输出类型，函数的函数签名（`func.func`）以及基本块入口参数（Block Arguments）必须同步注册针对性的签名转换模式（`populateFunctionOpInterfaceTypeConverter`），否则调用点与函数体将产生不可调和的类型割裂。 - **动态合法性（Dynamically Legal）闭环死锁**：若在 `target.addDynamicallyLegalOp<...>` 中设置了条件，但对应的 ConversionPattern 在转换后产生的新 Op 依然无法满足动态合法条件，会导致转换器尝试无尽转换或陷入失败。 ### 4. 性能与工程取舍 - **`applyFullConversion` vs `applyPartialConversion`**： - **Full Conversion（全量转换）**：保证严密的大步推进降级。适用于完整的阶段交接（例如将整个前端方言彻底抹除，进入中间端）。任何未覆盖的边缘情况都会被立即捕获，杜绝语义漏网之鱼； - **Partial Conversion（局部增量转换）**：允许未被处理的 Illegal Op 暂时保留在 IR 中，允许存在合法的类型物化投射。适用于多方言渐进混合降级，或分多步 Pipeline 逐步消除高层语义。 - **物化开销（Materialization Overhead）**：若类型转换逻辑设计不良，会导致 IR 中散落大量未配对的 `unrealized_conversion_cast`，若后续没有 Pass 消费这些 Cast，将导致最终向 LLVM 生成机器码时抛出未实现指令错误。 ## 具体演示以将自定义 `toy` 方言降级到 `arith` + `func` 为例： - 配置目标： ```cpp ConversionTarget target(ctx); target.addLegalDialect<arith::ArithDialect, func::FuncDialect>(); target.addIllegalDialect<toy::ToyDialect>(); ``` - 若输入 IR 包含 `%0 = toy.add %a, %b : tensor<2xf32>`： - 目标已将 `toy` 整体宣称为 Illegal； - 驱动器匹配到针对 `toy.add` 的降级 Pattern，将其替换为 `%sum = arith.addf %a, %b : tensor<2xf32>`； - 若某个冷门算子 `toy.transpose` 遗漏了降级 Pattern，在 `applyFullConversion` 终检时检测到 `toy.transpose` 依然存在，立即报错并安全回滚。请在阅读后先合上这一节，用自己的语言复述“输入状态 → 中间状态 → 输出状态”，再做练习。 ## 实践任务：唯一代码填空题补齐目标合法性：arith/func 合法，toy dialect 非法。规则：只能修改 `TODO`/`______` 所在位置；不要删除断言或放宽误差。代码注释说明了每个边界条件。 ```{python} #| course_role: exercise ConversionTarget target(ctx); target.addLegalDialect<______, ______>(); target.addIllegalDialect<______>(); if (failed(applyFullConversion(module, target, std::move(patterns)))) return signalPassFailure(); ``` ### 检查方法构造仍含一个 toy op 的输入，确认 full conversion 失败而不是静默保留。提交时请给出：补齐后的代码、实际运行输出（环境不可用时注明“仅静态审查”）以及对失败用例的解释。 ### Q1 不要背定义：请从输入、状态变化和输出三个阶段解释“Dialect Conversion 与类型转换”的工作机制。 **你的答案：** ### Q2 只注册 rewrite pattern、不把源 dialect 标 illegal，会发生什么？ **你的答案：** ### Q3 何时选择 partial conversion 而不是 full conversion？ **你的答案：** ## 评分与通过规则 - 代码 4 分：正常输入 2 分，边界输入 1 分，解释实现 1 分； - Q1～Q3 各 2 分； - 一票否决：结果碰巧正确但核心因果链错误、删除边界检查、把未运行结果说成实测。需要提示时按四级机制请求：概念区域 → 具体方向 → 关键局部 → 完整答案。 ::: {.callout-tip collapse="true" title="💡 点击展开参考答案与详细代码实现" icon="false"} ## 参考答案（仅 answer 分支）先完成题目再核对。即使代码一致，也要能解释关键步骤，并尝试更换一个输入规模。 ```{python} #| course_role: solution ConversionTarget target(ctx); target.addLegalDialect<arith::ArithDialect, func::FuncDialect>(); target.addIllegalDialect<toy::ToyDialect>(); if (failed(applyFullConversion(module, target, std::move(patterns)))) return signalPassFailure(); ``` ### Q1 参考答案从三个阶段拆解其运行机制： 1. **输入阶段（合法性规范配置与类型注册）**：配置 `ConversionTarget` 显式圈定合法方言与非法方言白黑名单；配置 `TypeConverter` 建立源方言高阶类型到目标方言物理类型的映射关系与桥接物化函数；收集所有降级 `ConversionPattern`，以事务性驱动器启动转换。 2. **状态变化阶段（类型自适应重写与事务性试探）**：驱动器遍历非法 Op，通过 Pattern 将其替换为目标方言的操作。期间若出现新旧类型不匹配，驱动器自动插入类型物化投射操作（如 `unrealized_conversion_cast`）维持操作数的强类型自洽，并将全部修改记录在内存事务日志中，保持数据流图在变换过程中的临时局部合法。 3. **输出阶段（投射折叠、合法性全局终检验收与原子提交）**：转换完成后，驱动器运行对消重写消除成对出现的投射节点。随后对全局 IR 进行严格终检：若所有 Operation 与类型均严格满足 `ConversionTarget`（全量模式下无任何非法节点残留），则正式提交（Commit）修改；若存在任何未降级的非法节点，则完全回滚（Rollback）至初始状态并报错。 ### Q2 参考答案在 MLIR 方言转换框架中，如果只向集合中注册了 `RewritePattern`，却**没有在 `ConversionTarget` 中将源方言明确标记为 Illegal**： 1. **驱动器丧失降级驱动力（No Conversion Obligation）**： Dialect Conversion 驱动器的工作逻辑是以“消灭所有被标记为 Illegal 或不符合 Dynamically Legal 条件的 Operation”为终极目标导向的。如果源方言没有被标记为 Illegal，驱动器会认为当前 IR 中的源方言算子已经是合法的最终状态，因此**完全没有必须对其执行匹配与重写的契约约束**。 2. **静默漏转换与后续编译崩溃**：驱动器在遍历时可能直接跳过部分甚至全部源算子。全量转换检查（`applyFullConversion`）会因为没有检测到任何非法算子而误判为成功退出。高层的源方言算子被原封不动地泄露到后续更底层的编译器阶段（如 LLVM 生成阶段），最终在硬件代码生成阶段因遇到未知的高层算子而爆发严重的无法降级错误，破坏了编译流水线的阶段隔离性。 ### Q3 参考答案在工业级编译器工程中，选择 Partial Conversion（局部增量转换）而非 Full Conversion（全量转换）的典型场景包括： 1. **混合方言与渐进式分阶段降级（Multi-stage Incremental Lowering）**：在复杂编译体系中（例如从包含前端高层图、控制流与线性代数的混合 IR 降级），某个 Pass 的职责仅仅是将张量计算 `linalg.matmul` 降级为仿射循环 `affine.for`，而故意保留外部的控制流（`scf.if`）和顶层函数（`func.func`）供后续 Pass 分析。此时若使用 Full Conversion，必须被迫一次性提供所有外层方言的降级规则，这破坏了 Pass 的单一职责原则（Single Responsibility Principle）。 2. **部分算子硬件卸载（Heterogeneous Target Offloading）**：针对异构加速芯片（CPU + NPU / GPU），编译器需要仅将具备 NPU 硬件加速能力的算子转换为 NPU 指令方言，而将不支持的复杂通用动态算子安全保留在 CPU 原生方言中。此时通过 Partial Conversion 允许两者合法共存，并通过插入桥接投射（Cast）维持模块级协同。 ## 参考资料 - [Dialect Conversion](https://mlir.llvm.org/docs/DialectConversion/) - [MLIR Toy Tutorial](https://mlir.llvm.org/docs/Tutorials/Toy/) 资料用于建立事实基线；面试回答仍需用自己的语言组织。 ::: ::: {.course-pagination} [**← 上一课** 第 4 课：Pass、PatternRewr...](lesson04_patterns.qmd){.pagination-link .pagination-prev} [**下一课 →** 第 6 课：Tensor 到 MemRef ...](lesson06_bufferization.qmd){.pagination-link .pagination-next} :::