[clang] [llvm] [ValueTracking] Convert `isKnownNonZero` to use SimplifyQuery (PR #85863)

Harald van Dijk via cfe-commits cfe-commits at lists.llvm.org
Tue Apr 16 04:08:59 PDT 2024


================
@@ -645,7 +645,7 @@ LazyValueInfoImpl::solveBlockValueImpl(Value *Val, BasicBlock *BB) {
   // instruction is placed, even if it could legally be hoisted much higher.
   // That is unfortunate.
   PointerType *PT = dyn_cast<PointerType>(BBI->getType());
-  if (PT && isKnownNonZero(BBI, DL))
+  if (PT && isKnownNonZero(BBI, /*Depth=*/0, DL))
----------------
hvdijk wrote:

Created #88873 for it.

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


More information about the cfe-commits mailing list