[llvm] [ValueTracking] Convert `isKnownNonZero` to use SimplifyQuery (PR #85863)
via llvm-commits
llvm-commits at lists.llvm.org
Thu Apr 11 19:49:46 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))
----------------
goldsteinn wrote:
If you aren't going to implement that, I will after this patch lands.
https://github.com/llvm/llvm-project/pull/85863
More information about the llvm-commits
mailing list