[llvm] ValueTracking: Fix wrong interested mask in SimplifyDemandedFPClass (PR #174072)

via llvm-commits llvm-commits at lists.llvm.org
Wed Dec 31 00:16:22 PST 2025


llvmbot wrote:


<!--LLVM PR SUMMARY COMMENT-->

@llvm/pr-subscribers-llvm-transforms

Author: Matt Arsenault (arsenm)

<details>
<summary>Changes</summary>

We are interested in the values that are still candidates, not ones
that have already been ruled out from the uses. Avoids regressions
when new uses are introduced.

---
Full diff: https://github.com/llvm/llvm-project/pull/174072.diff


1 Files Affected:

- (modified) llvm/lib/Transforms/InstCombine/InstCombineSimplifyDemanded.cpp (+1-1) 


``````````diff
diff --git a/llvm/lib/Transforms/InstCombine/InstCombineSimplifyDemanded.cpp b/llvm/lib/Transforms/InstCombine/InstCombineSimplifyDemanded.cpp
index 45fa8ee8b33a3..85672cdfe1377 100644
--- a/llvm/lib/Transforms/InstCombine/InstCombineSimplifyDemanded.cpp
+++ b/llvm/lib/Transforms/InstCombine/InstCombineSimplifyDemanded.cpp
@@ -2281,7 +2281,7 @@ Value *InstCombinerImpl::SimplifyDemandedUseFPClass(Value *V,
     break;
   }
   default:
-    Known = computeKnownFPClass(I, ~DemandedMask, CxtI, Depth + 1);
+    Known = computeKnownFPClass(I, DemandedMask, CxtI, Depth + 1);
     break;
   }
 

``````````

</details>


https://github.com/llvm/llvm-project/pull/174072


More information about the llvm-commits mailing list