https://github.com/banach-space approved this pull request. LGTM, ta! The extra test for the verifier (to make sure that neither `mask` nor `pad` can be used without the other) could be added separately. https://github.com/llvm/llvm-project/pull/69195