[Mlir-commits] [mlir] [mlir][spirv] Add OpTypeSampler and OpSampledImage support (PR #189891)

[Bryson Miller]

================
@@ -65,6 +65,51 @@ def SPIRV_SampledImageTransform : StrFunc<"llvm::cast<::mlir::spirv::SampledImag
 
 // -----
 
+def SPIRV_SampledImageOp : SPIRV_Op<"SampledImage",
+    [Pure,
+     TypesMatchWith<"type of 'result' wraps the image type of 'image'",
+                    "result", "image",
+                    "::llvm::cast<spirv::SampledImageType>($_self).getImageType()">]> {
+  let summary = "Create a sampled image, containing both a sampler and an image.";
+
+  let description = [{
+    Result Type must be OpTypeSampledImage whose Image Type is the same as
+    the type of Image.
+
+    Image must be an object whose type is an OpTypeImage. The Dim operand
----------------
abm-77 wrote:

Added verifiers and more test cases to exercise them.

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