llvm/llvm-project

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

Open

#161,642 opened on 2025年10月2日

GitHub で見る
 (4 comments) (0 reactions) (1 assignee)C++ (10,782 forks)batch import
good first issuellvm:SelectionDAG

Repository metrics

Stars
 (26,378 stars)
PR merge metrics
 (平均マージ 1d 2h) (30d で 1,000 merged PRs)

説明

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
Issue 種別
機能
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
3
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
半日
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
新着
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
おおむね明確
前提条件
C++LLVM
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
20