[llvm] DAG: Assert fcmp uno runtime calls are boolean values (PR #142898)

[Craig Topper via llvm-commits]

================
@@ -14933,6 +14933,25 @@ SDValue DAGCombiner::visitAssertExt(SDNode *N) {
     }
   }
 
+  // If we have (AssertZext (and (AssertSext X, iX), M), iY) and Y is smaller
+  // than X, and the And doesn't change the lower iY bits, we can move the
----------------
topperc wrote:

Does "iY bits" need to be "iX" bits.

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