[mlir][spirv] Define `spirv.*DotAccSat` integer dot product ops
authorJakub Kuderski <kubak@google.com>
Wed, 7 Dec 2022 01:22:47 +0000 (20:22 -0500)
committerJakub Kuderski <kubak@google.com>
Wed, 7 Dec 2022 01:22:48 +0000 (20:22 -0500)
commitf7f4dd6743eac16b26c9bc711ba51ed9e20ed16b
tree0e07695b31be30e1a1eed5e158bea0cdb8041dde
parent03e6bf5f564c440ffbbac3a7a30015b6ca779afe
[mlir][spirv] Define `spirv.*DotAccSat` integer dot product ops

This covers `SDotAccSat`, `SUDotAccSat`, and `UDotAccSat`.

Reviewed By: antiagainst

Differential Revision: https://reviews.llvm.org/D139243
mlir/include/mlir/Dialect/SPIRV/IR/SPIRVIntegerDotProductOps.td
mlir/lib/Dialect/SPIRV/IR/SPIRVOps.cpp
mlir/test/Dialect/SPIRV/IR/availability.mlir
mlir/test/Dialect/SPIRV/IR/integer-dot-product-ops.mlir
mlir/test/Dialect/SPIRV/IR/target-env.mlir
mlir/test/lib/Dialect/SPIRV/TestAvailability.cpp