必须用 mlir 解析器加载 .mlir 文件为 moduleop 树后修改，不可直接文本编辑；需注册方言、用 parsesourcefile 安全加载，修改前校验 op 合法性，保存前调用 verify() 并优先使用 writebytecodetofile 保留调试信息。
直接读取并修改 .mlir 文件不能靠文本编辑器“改完保存”了事——MLIR 是结构化 IR，必须用 MLIR 的解析器加载成内存中的 ModuleOp 树，再通过重写器（PatternRewriter）或手动操作 API 修改节点，否则会破坏 SSA 约束、类型一致性或位置信息（loc），导致后续 pass 崩溃或生成错误代码。
用 parseSourceFile 加载 .mlir 文件到 ModuleOp
这是最安全的起点。不要用 llvm::MemoryBuffer::getFile + 手动 parse；MLIR 提供了封装好的接口，自动处理 dialect 注册、上下文生命周期和错误报告：
-
mlir::OwningOpRef<:moduleop></:moduleop>是推荐的持有方式，避免裸指针泄漏 - 必须提前注册该文件中用到的所有方言（如
func、arith、toy），否则解析时会报unknown dialect - 路径必须是绝对路径或相对于当前工作目录，相对路径在不同构建目录下容易出错
示例片段：
mlir::MLIRContext context;
context.loadDialect<:func::funcdialect mlir::arith::arithdialect>();
auto module = mlir::parseSourceFile<:moduleop>(inputPath, &context);
if (!module) {
llvm::errs()
<h3>修改操作前先确认 dialect 和 op 合法性</h3>
<p>直接调用 <code>op->erase()</code> 或 <code>rewriter.replaceOp()</code> 前，务必检查：<code>op->getName().getDialectNamespace()</code> 是否是你期望的方言（比如 <code>"toy"</code> 而不是 <code>"arith"</code>），以及 <code>op->hasTrait<:optrait::isterminator>()</:optrait::isterminator></code> 是否为 true——终结符不能随便删。</p>
<ul>
<li>对 <code>toy.constant</code> 这类带 dense attribute 的操作，修改值要用 <code>op->setAttr("value", newAttr)</code>，而不是改 operand（它没 operand）</li>
<li>想给 <code>func.func</code> 添加新参数？不能直接 push 到 <code>getFunctionType().getInputs()</code> ——那是只读视图，得用 <code>funcOp.insertArgument()</code> 并更新 function type</li>
<li>跨 block 移动操作？先用 <code>rewriter.setInsertionPointAfter(op)</code>，再 <code>rewriter.moveOpBefore()</code>，否则报 <code>invalid insertion point</code>
</li>
</ul>
<h3>保存修改后模块必须用 <code>writeBytecodeToFile</code> 或 <code>print</code>
</h3>
<p>直接 <code>llvm::raw_fd_ostream</code> 写 <code>module->print()</code> 输出是可读的文本格式，但会丢失原始 source loc（除非构造时传 <code>-mlir-print-debuginfo</code>）；若要保留调试信息或用于后续 JIT，必须用 <code>mlir::writeBytecodeToFile()</code> 生成二进制 MLIR（.mlirbc）。</p>
<ul>
<li>文本输出默认不带换行缩进，加 <code>mlir::OpPrintingFlags().useLocalScope().enableDebugInfo()</code> 可提升可读性</li>
<li>bytecode 格式不可编辑，但体积小、加载快，且能被 <code>mlir-opt</code> 直接消费</li>
<li>修改后未调用 <code>module->verify()</code> 就保存，可能把非法 IR 写入磁盘——建议在保存前加一次校验</li>
</ul>
<p>真正难的不是“怎么改”，而是“改完是否仍满足方言约束”：比如 toy 方言要求 <code>toy.print</code> 必须是函数末尾唯一 terminator，你往中间插个 <code>toy.constant</code> 后忘了调整 terminator 位置，整个模块就 invalid 了。这类隐含规则不会报编译错误，只会在下游 pass 里静默失败或 crash。</p></:moduleop></:func::funcdialect>
