https://github.com/gysit approved this pull request. LGTM modulo nit comment. We could model distinct metadata using the distinct attribute, but this can be done once there is a use case. https://github.com/llvm/llvm-project/pull/212455