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