MacDue wrote: > My understanding is that if `unknownDims` is empty after that loop That simply works as it would be more code to disable it. But there's already canonicalization of create_mask -> constant_mask that would handle those cases. https://github.com/llvm/llvm-project/pull/99314