[llvm] Handle ISD::ABDS in SelectionDAG::ComputeNumSignBits (PR #175321)

Craig Topper via llvm-commits llvm-commits at lists.llvm.org
Sun Jan 11 23:10:51 PST 2026


================
@@ -338,6 +338,57 @@ TEST_F(AArch64SelectionDAGTest, ComputeNumSignBits_ADDC) {
   EXPECT_EQ(DAG->ComputeNumSignBits(Op), 2u);
 }
 
+TEST_F(AArch64SelectionDAGTest, ComputeNumSignBits_ABDS) {
----------------
topperc wrote:

Unless, I'm mistaken these tests already pass on trunk. Probably because computeNumSignBits falls back to computeKnownBits which knows the result is a positive number with `Known.Zero.setHighBits(std::min(SignBits0, SignBits1) - 1);`

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


More information about the llvm-commits mailing list