https://github.com/kuhar commented: Could we test availability like in https://github.com/llvm/llvm-project/blob/main/mlir/test/Dialect/SPIRV/IR/availability.mlir ? https://github.com/llvm/llvm-project/pull/143974