[mlir][spirv] Change the return type for {Min|Max}VersionBase
authorLei Zhang <antiagainst@google.com>
Wed, 24 Nov 2021 22:28:58 +0000 (17:28 -0500)
committerLei Zhang <antiagainst@google.com>
Wed, 24 Nov 2021 22:33:01 +0000 (17:33 -0500)
commitcb395f66ac3ce60427ca2b99580e716ac6dd551a
tree6210ca075bb9b1d883e6d1ce968b746836b116e7
parent68e2231f8724eec26c9fcf5c5330fae897f9435f
[mlir][spirv] Change the return type for {Min|Max}VersionBase

For synthesizing an op's implementation of the generated interface
from {Min|Max}Version, we need to define an `initializer` and
`mergeAction`. The `initializer` specifies the initial version,
and `mergeAction` specifies how version specifications from
different parts of the op should be merged to generate a final
version requirements.

Previously we use the specified version enum as the type for both
the initializer and thus the final return type. This means we need
to perform `static_cast` over some hopefully not used number (`~0u`)
as the initializer. This is quite opaque and sort of not guaranteed
to work. Also, there are ops that have an enum attribute where some
values declare version requirements (e.g., enumerant `B` requires
v1.1+) but some not (e.g., enumerant `A` requires nothing). Then a
concrete op instance with `A` will still declare it implements the
version interface (because interface implementation is static for
an op) but actually theirs no requirements for version.

So this commit changes to use an more explicit `llvm::Optional`
to wrap around the returned version enum.  This should make it
more clear.

Reviewed By: jpienaar

Differential Revision: https://reviews.llvm.org/D108312
mlir/include/mlir/Dialect/SPIRV/IR/SPIRVAvailability.td
mlir/include/mlir/Dialect/SPIRV/IR/SPIRVBase.td
mlir/lib/Dialect/SPIRV/Transforms/SPIRVConversion.cpp
mlir/lib/Dialect/SPIRV/Transforms/UpdateVCEPass.cpp
mlir/test/lib/Dialect/SPIRV/TestAvailability.cpp
mlir/tools/mlir-opt/mlir-opt.cpp