llvm/llvm-project

[X86] SimplifyDemandedBitsForTargetNode - add X86ISD::BZHI handling

Open

#177,369 opened on 2026年1月22日

GitHub で見る
 (5 comments) (1 reaction) (1 assignee)C++ (10,782 forks)batch import
backend:X86good first issue

Repository metrics

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

説明

  • Only the bottom 8 bits of the mask (second operand) are required
  • Based off the known bits of the mask, we can tweak the src DemandedBits - as well as the incoming DemandedBits mask, if the 8 bit mask is known to be less than bitwidth (getMaxValue.ult(BitWidth)) then bits above getMaxValue are not demanded.

Supporting tests can be added to combine-bzhi.ll

See also #177347 and #177364 for refs

https://www.intel.com/content/www/us/en/docs/intrinsics-guide/index.html#text=bzhi&ig_expand=634,633,5,634

コントリビューターガイド

調査方針
BZHI命令のセマンティクス（Intel Intrinsics Guide）を確認します。2番目のオペランドを8ビットにマスクすることで、要求ビット伝播を実装します。既知のビット分析を使用して、ソースと結果のDemandedBitsを削減します。マスク値が既知でビット幅未満の場合、getMaxValueより上のビットは要求されません。combine bzhi.llにテストを追加します。
技術スタック
cpp
領域
backend
Issue 種別
機能
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
3
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
半日
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
アクティブ
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
明確
前提条件
C++LLVMGit
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
20