llvm/llvm-project

[DAG] Add computeKnownBits(FREEZE(X)) handling

Open

#161,642 创建于 2025年10月2日

在 GitHub 查看
 (4 评论) (0 反应) (1 负责人)C++ (10,782 fork)batch import
good first issuellvm:SelectionDAG

仓库指标

Star
 (26,378 star)
PR 合并指标
 (平均合并 1天 2小时) (30 天内合并 1,000 个 PR)

描述

Similar to #161507 - add FREEZE handling to allow us to analyze demanded elements of a node through a FREEZE

The tricky bit will be to add test coverage - you will need a FREEZE node that can't be removed due to some elements possibly being undef/poison, but other elements that are not and have useful known bits data for a dependent node.

This might be easier once #161512 has landed.

贡献者指南

研究方向
研究SelectionDAG中其他节点的现有computeKnownBits实现，了解FREEZE语义，并编写代码来处理FREEZE的computeKnownBits。确保添加无法通过undef/poison元素消除FREEZE的测试用例。
技术栈
cpp
领域
backend
议题类型
功能
难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。
3
预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。
半天
活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。
新近可参与
清晰度议题是否清楚说明期望改动、验收标准和下一步。
基本清晰
前置要求
C++LLVM
新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。
20