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