https://github.com/fhahn commented: This looks somewhat similar to @artagnon 's https://github.com/llvm/llvm-project/pull/176607. Would the current PR also allow remove `bool IsKnownNonNegative;`? https://github.com/llvm/llvm-project/pull/180862