[InstCombine] KnownBits::isNonNegative should recognize `b - a` after `a <= b`#145105

nikic merged 9 commits intollvm:mainllvm/llvm-project:mainfrom

rkirsling:is-known-non-negativerkirsling/llvm-project:is-known-non-negativeCopy head branch name to clipboard