kuhar wrote: Oh, in the doc `spirv.mlir.selection` it already accounts for `spirv.Switch` even though this didn't exist. Maybe it would be worth adding an example and a test to show that it actually works? https://github.com/llvm/llvm-project/pull/168713