llvm-project仓PR信息

变更内容**（必填）**

修复 blackBox 在 -O2 下无法阻止 LICM 提升循环不变读取的问题（关联 issue 实测 11 个 micro-benchmark 读取类用例测量失效）。

• CJRuntimeLowering.cpp：不再在 CJ 流水线最开头把 llvm.cj.blackhole 降级为带 ReadOnly 属性的 CJ_LLVM_BlackHole 函数调用。intrinsic 形态自带默认 may-read/may-write 内存效果，LICM 无法跨越，保持该形态即可让 blackhole 同时防 DSE 与 LICM；
• CJRewriteStatepoint.cpp：新增 deleteBlackHoleIntrinsic()，在所有优化 pass 结束后将 intrinsic 零开销消除（有用结果 RAUW 为参数、无用调用删除、清理空声明）；新/旧两套 pass manager 路径均覆盖（legacy 路径原先不调用 deleteUnusedBlackHole，一并补上，避免 intrinsic 泄漏进 codegen）；
• 测试：CJRewriteStatepoint/cj-blackhole.ll 增加 intrinsic 形态消除用例；新增 LICM/cj-blackhole-barrier.ll 正反对照（循环内有 blackhole 时不变 load 不得离开循环，无 blackhole 时会离开）。

变更类型**（必填）**

请描述本次Pull Request变更类型（原因），请在对应类型的括号内填写Y：

• 新增需求（ ）
• 问题修复（Y）
• 构建过程或辅助工具变动（）
• 文档更新（）

变更内容自检

编译器及标准库编译通过截图证明（如涉及新增需求、问题修复、构建过程变动需提供）

本地 release 构建通过（git-sanity command -c build-cjc_r，build success），cjc / libLLVM-15.so / opt 均已重链。

端到端验证：对关联 issue 中的复现用例（@Bench 返回 arr[512]，批内不变下标），cjc -O2 --test 编译后检查优化后 IR——blackhole 调用零残留，数组元素 load 位于被计时内层循环体内（修复前位于 preheader，每批只执行一次）；benchmark 实测 1.71 ns（修复前失效模式约 0.4 ns，仅为框架空载开销）。

存量用例冒烟编译（string/BenchmarkStringBrackets.cj、collections_arraylist/BenchmarkArrayListBrackets.cj 等）无回归。

测试用例本地自验证通过截图证明（如涉及新增需求、问题修复需提供）

llvm-lit 三个目录结果：199 通过 / 6 unsupported / 1 失败：

• Transforms/CJRewriteStatepoint（含扩展后的 cj-blackhole.ll）：通过
• Transforms/LICM（含新增 cj-blackhole-barrier.ll）：通过
• Transforms/CJRuntimeLowering：通过
• 唯一失败 CJRewriteStatepoint/phi-select-cast.ll 为存量 stale 测试（期望 statepoint id i64 4，当前实现输出 i64 5）：已用未含本修改的 pristine 构建复现同样失败，与本次修改无关。

其他信息

• 语义变化：blackBox 由"仅值级屏障（防 DSE）"变为"同时防 LICM"。屏障是逐调用点的，仅影响显式使用 blackBox / @Bench 返回值的代码，不改变普通程序优化结果。
• 落地后，此前因 LICM 失效的读取类 benchmark 数字会变大，这是测量对象恢复，不是性能回退。

关联的 issue

https://gitcode.com/Cangjie/llvm-project/issues/191