Hardcode84 wrote: The motivation to use dialect conversion instead of just greedy rewriter was so we can reuse existing generic scf/cf/func conversions to convert vector types through control flow ops. https://github.com/llvm/llvm-project/pull/136581