llvm/llvm-project

[InstCombiner] foldIntrinsicIsFPClass - incorrect submasking of FPClassTest masks

Open

#189,949 opened on 2026年4月1日

GitHub で見る
 (15 comments) (0 reactions) (1 assignee)C++ (26,378 stars) (10,782 forks)batch import
floating-pointgood first issuellvm:instcombine

説明

As mentioned here when creating the DAG equivalent: https://github.com/llvm/llvm-project/pull/189944#discussion_r3021637130

We shouldn't be looking for equality, we should be testing that they are a subset of the known classes:

https://github.com/llvm/llvm-project/blob/03b5539dd58584e6821e11123d5c8546147a6f41/llvm/lib/Transforms/InstCombine/InstCombineCalls.cpp#L1180-L1184

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

技術スタック
cpp
領域
backendperformance
Issue 種別
bug
難度新しい貢献者にとっての実装難度です。1 は非常に小さな変更、5 は専門的な作業です。
4
推定時間経験ある貢献者が調査、実装、テスト、pull request 準備にかけるおおよその時間範囲です。
over 1 week
活動状況Issue が今どれだけ取り組みやすいかを示します。新しい、活発、古い、ブロック中、またはメンテナー入力待ちなどです。
blocked
明確さ期待される変更、受け入れ条件、次の手順がどれだけ明確かを示します。
mostly clear
前提条件
C++LLVM IRInstCombine passFP class test masks
初心者向け度初回貢献者にどれだけ取り組みやすいかを 1-100 で推定したスコアです。
15
調査方針
Investigate the InstCombineCalls.cpp file at lines 1180-1184 where the equality check is used for FP class test masks. The correct behavior should be testing that the masks are a subset of known classes, not equality. Review the linked PR discussion for context. Implement the fix and add corresponding test cases in the appropriate test file.