[llvm] [KnownBits] Remove `hasConflict()` assertions (PR #94568)

Nikita Popov via llvm-commits llvm-commits at lists.llvm.org
Fri Jun 7 03:26:42 PDT 2024


================
@@ -448,8 +433,7 @@ KnownBits KnownBits::ashr(const KnownBits &LHS, const KnownBits &RHS,
     MinShiftAmount = 1;
   if (LHS.isUnknown()) {
     if (MinShiftAmount == BitWidth) {
-      // Always poison. Return zero because we don't like returning conflict.
-      Known.setAllZero();
+      // Always poison.
----------------
nikic wrote:

This one, and the next one as well.

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


More information about the llvm-commits mailing list