[Mlir-commits] [mlir] [mlir][spirv] Add instruction OpGroupNonUniformRotateKHR (PR #133428)

[Igor Wodiany]

IgWod-IMG wrote:

It would be nice to have some verification or at least constrain operands and result types. For example:

> Result Type must be a scalar or vector of floating-point type, integer
> type, or Boolean type

```diff
- SPIRV_Type:$result
+ AnyTypeOf<[SPIRV_ScalarOrVectorOf<SPIRV_Float>, SPIRV_ScalarOrVectorOf<SPIRV_Integer>, SPIRV_ScalarOrVectorOf<SPIRV_Bool>]>:$result
```

(n.b. It would be nice to have `SPIRV_ScalarOrVectorOf` that takes a list of types but that's outside this PR)

https://github.com/llvm/llvm-project/pull/133428