https://github.com/david-arm approved this pull request. LGTM! The patch seems reasonable to me - both howFarToZero and howManyLessThans already seem to apply loop guards in other places. https://github.com/llvm/llvm-project/pull/116187