add verifiers

Author: tgymnich

mlir/include/mlir/Dialect/AMDGPU/IR/AMDGPU.td

@@ -198,7 +198,7 @@ def AMDGPU_PackedScaledTruncOp
     `,` $scale
     `:` type($source) `to` type($res) (`into` type($existing)^)?
   }];
-  let hasVerifier = 0;
+  let hasVerifier = 1;
 }
 
 def AMDGPU_PackedStochRoundFp8Op :

mlir/lib/Dialect/AMDGPU/IR/AMDGPUDialect.cpp

@@ -60,6 +60,15 @@ LogicalResult PackedStochRoundFp8Op::verify() {
   return success();
 }
 
+//===----------------------------------------------------------------------===//
+// mxfp float ops
+//===----------------------------------------------------------------------===//
+LogicalResult PackedScaledTruncOp::verify() {
+  if (getExisting() && getExisting().getType() != getResult().getType())
+    return emitOpError("existing values must have same type as result");
+  return success();
+}
+
 //===----------------------------------------------------------------------===//
 // FatRawBufferCastOp
 //===----------------------------------------------------------------------===//