https://github.com/dtcxzyw approved this pull request. The implementation LGTM. But it would be good to support more predicates (slt/ult). Please wait for additional approval from other reviewers. https://github.com/llvm/llvm-project/pull/66668