https://github.com/dcaballe approved this pull request. Ok, we are introducing the constraints of the load mask into the store mask instead of composing the masks. That should be good enough. Thanks! https://github.com/llvm/llvm-project/pull/174810