[indvars] Prove non-negative for widening IVs in count down loops#71214

preames wants to merge 1 commit intollvm:mainllvm/llvm-project:mainfrom

preames:pr-indvars-nonnegative-proof-directpreames/llvm-project:pr-indvars-nonnegative-proof-directCopy head branch name to clipboard