[llvm] [SelectionDAG][RISCV] Teach computeKnownBits to use range metadata for atomic_load. (PR #137119)

Sergei Barannikov via llvm-commits llvm-commits at lists.llvm.org
Thu Apr 24 00:01:21 PDT 2025


================
@@ -4382,6 +4382,38 @@ KnownBits SelectionDAG::computeKnownBits(SDValue Op, const APInt &DemandedElts,
     Known.Zero |= APInt::getBitsSetFrom(BitWidth, VT.getScalarSizeInBits());
     break;
   }
+  case ISD::ATOMIC_LOAD: {
+    // If we are looking at the loaded value.
+    if (Op.getResNo() == 0) {
----------------
s-barannikov wrote:

(minor) Possibly could be an assertion, chain result is not a part of data flow


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


More information about the llvm-commits mailing list