Movement between vector type on 'vector' dialect

Did you see the Case Study Docs on Vector Dialect CPU Codegen posting? The docs presented in this postings contain a lot of vector dialect examples together with generated SIMD code, such as AVX512?