For non-intrinsic CallInsts, computeKnownBits only handles range
metadata and checking getReturnedArgOperand(). Both of these are now
handled in isKnownNonZero, so there is no need to fall through to
a call to computeKnownBits anymore.
Details
Details
Diff Detail
Diff Detail
- Repository
- rG LLVM Github Monorepo
Event Timeline
| llvm/lib/Analysis/ValueTracking.cpp | ||
|---|---|---|
| 2734 | I suppose this can also be } else if (const Value *RV = cast<CallBase>(I)->getReturnedArgOperand();
RV && isKnownNonZero(RV, Depth, Q))
return true; | |
I suppose this can also be
} else if (const Value *RV = cast<CallBase>(I)->getReturnedArgOperand(); RV && isKnownNonZero(RV, Depth, Q)) return true;