8.2.2 并行 IR 扩展（如 OpenMP 的 IR 表示）

文档摘要

8.2.2 并行 IR 扩展（如 OpenMP 的 IR 表示）在编译器的中间表示（IR）世界里，IR 不是冰冷的语法树或抽象的指令序列——它是编译器工程师与硬件之间一场沉默而精密的对话。当你写下，你并非只是向编译器“请求并行”，而是在递交一份带有语义契约的委托书：请将这段循环的迭代空间安全地切分、映射到物理核心、协调数据访问、管理同步开销，并在不改变程序语义的前提下，榨取多核的每一纳秒算力。而这份委托书如何被 IR 精确承载、验证、转换与优化？这正是 8.2.2 并行 IR 扩展（如 OpenMP 的 IR 表示）的核心使命——它不是语法糖的简单标记，而是将并行意图形式化为可推理、可变换、可验证的 IR 构造。