变更摘要

本 PR 回移 GCC trunk 中 GIMPLE switch loop unswitching 的实现及相关后续修复，核心改动集中在 gcc/tree-ssa-loop-unswitch.cc：将原先仅处理循环不变 if 条件的逻辑重写为同时支持 gswitch，引入 unswitch_predicate 缓存、gimple_ranger 值域查询、predicate path 简化机制，并重构统一代码增长预算与 hottest predicate 优先选择策略；同时回移类型转换、异常 SSA、CFG dominator 更新和 guard hoisting 等修复，移除 max-unswitch-level 参数并新增 21 个测试、调整 3 个已有 dump 扫描项。

主要改动

• 新增 switch 循环解开关支持：find_unswitching_predicates_for_bb 现在同时识别 gcond 与 gswitch，将 switch 的非 default 边（含 case range）转换为 unswitch_predicate 并按 gimple_uid 缓存，支持基于循环不变 switch index 的 loop unswitching。
• 重构成本模型与 hottest 优先选择：tree_unswitch_single_loop 对同一原始循环维护统一 budget，通过 evaluate_loop_insns_for_predicate 计算 true/false 两个版本的指令数，并按 profile count 优先选择最热的 predicate；本地修复让预选的 hottest predicate 也经过 check_predicate 的统一预算检查。
• 引入 Ranger 值域与 predicate path 简化：新增 gimple_ranger、predicate_path 及 evaluate_control_stmt_using_entry_checks、simplify_loop_version，利用值域和符号等价折叠 gcond、标记不可达 switch 边，并在 clean_up_after_unswitching 中删除不可达边且重新计算 dominator 信息。
• 参数与调试项调整：删除 param_max_unswitch_level 及其在 gcc/params.opt、gcc/doc/invoke.texi 中的定义和文档，并新增 loop_unswitch debug counter。
• 辅助修复与测试补充：gcc/tree-cfg.cc 的 gimple_lv_add_condition_to_bb 在插入前先对 cond_expr 调用 force_gimple_operand_gsi_1，修复 guard hoisting 中条件语句的插入位置；gcc/cfgloopmanip.cc 移除 bb->aux = 0 以免覆盖新成本信息；新增 21 个测试文件并调整 3 个 dump 扫描项的大小写。

代码审查

✅ 未发现问题

Welcome To openEuler Community

Hey @qq_56722097 , thanks for your contribution to the community.

Bot Usage Manual

I'm the Bot here serving you. You can find the instructions on how to interact with me at Here . That means you can comment below every pull request or issue to trigger Bot Commands.

Contact Guide

If you have any questions, please contact the SIG: Compiler ,
and any of the maintainers: @SegFault, @alexanderbill, @cf-zhao, @chenzheng1030, @eastb233, @kuenking111_admin, @li-yancheng, @wangqiang95, @wd-gitcode ,
and any of the committers: @huang-xiaoquan, @huzife, @lin-4682, @xiongzhou4 .

CLA Signature Pass

qq_56722097, thanks for your pull request. All authors of the commits have signed the CLA. 👍

门禁正在运行， 您可以通过以下链接查看实时门禁检查结果.
若您对门禁结果含义不清晰或者遇到问题不知如何解决，可参考门禁指导手册
门禁入口及编码规范检查: multiarch/openeuler/trigger/gcc/100/console

@qq_56722097

通过 Pass

AI 代码审阅

优点

• 该 PR 回移的是 GCC 上游 GIMPLE switch loop unswitching 功能，整体结构清晰：引入 unswitch_predicate、Ranger 值域信息、统一预算和 hottest-first 选择，符合上游演进方向。
• gcc/tree-cfg.cc 中先通过 force_gimple_operand_gsi_1 将条件转换为合法 GIMPLE，再插入新条件，修改点集中，修复意图明确。
• 新增测试覆盖较全，包括 signed/unsigned switch、range case、fallthrough、default edge、运行时副作用次数等；其中 loop-unswitch-18.c 为运行时测试，能验证优化前后语义一致性。
• gcc/dbgcnt.def 新增 loop_unswitch debug counter，便于后续二分定位该 pass 的变换问题。
• gcc/doc/invoke.texi 与 gcc/params.opt 对 max-unswitch-level 的删除保持一致，未发现文档与参数定义不同步。
• PR 描述给出了 baseline 与 patched 回归测试对比，新增 PASS 与存量 FAIL 统计清晰，验证信息充分。

变更文件覆盖检查

需要修改的问题

未发现明确必须修改的问题。

可优化建议

• Suggestion: 将 gcc/testsuite/gcc.dg/loop-unswitch-10.c、loop-unswitch-11.c、loop-unswitch-14.c 中的 defaut: 更正为 default:。

  • Reason: 从上下文看，这里显然是想给 switch 提供一个不可达的 default 分支并调用 __builtin_unreachable()。拼成 defaut: 只是一个普通 label，并不会成为 switch 的 default edge，因此测试语义与注释/意图不一致，且无法覆盖“default 不可达”的路径。
  • Example:

    switch (order)
      {
      case 0:
        ...
        break;
      ...
      default:
        __builtin_unreachable ();
      }
    

• Suggestion: 确认移除 --param max-unswitch-level 的用户可见兼容性是否需要额外说明。

  • Reason: params.opt 中删除该参数后，已有构建脚本、调优配置或用户命令行若显式传入 --param max-unswitch-level=N，可能直接报错。上游移除通常可接受，但作为发行版 backport，建议确认是否需要 release note 或兼容性提示。
  • Example: 暂不提供代码修改；如果关注兼容性，可保留为 deprecated/ignored 参数，并在文档中注明不再生效。

审阅结论

Severity: 通过

Conclusion: 建议通过

结论说明:

基于当前可见 diff，未发现确定性的编译错误、运行时语义错误或必须阻断合入的缺陷。gcc/tree-ssa-loop-unswitch.cc 是本次变更的核心文件，但 diff 被截断，后半部分 tree_unswitch_single_loop 的预算计算、CFG 简化、Ranger value-range 使用等关键逻辑未能完整审查；在 PR 自述的自举和 deja 回归通过的前提下，本次审阅不阻断合入。建议合入前顺手修正测试中 defaut 拼写，并确认移除 max-unswitch-level 参数对下游用户的影响。

Review metadata:

• PR: #391
• Latest commit: bf5a9bd4886dd197880e65dc7af567b0d412e13c
• Changed lines: 1940
• Review mode: focused
• Reviewed files: 30/30

/lgtm
/approve

Review Code Feedback

• The label lgtm, approved was added to this pull request. It means that wd-gitcode reviewed the code changes. 👋

Tips

• If this pull request is not merged while all conditions are met, comment /check-pr to try again. 😄