https://github.com/ftynse approved this pull request. Could we double-check that if one iteration is peeled off, the loop is still present in the IR, and the handle expectedly points to that loop? https://github.com/llvm/llvm-project/pull/67482