Add verifier

Author: arnamoy.bhattacharyya

mlir-sycl/include/mlir/Dialect/SYCL/IR/SYCLOps.td

@@ -157,6 +157,8 @@ def SYCLConstructorOp : SYCL_Op<"constructor", []> {
   );
   let results = (outs);
 
+  let hasVerifier = 1;
+
   let assemblyFormat = [{
     `(` $Args `)` attr-dict `:` functional-type($Args, results)
   }];

mlir-sycl/lib/Dialect/IR/SYCLOps.cpp

@@ -45,6 +45,12 @@ bool mlir::sycl::SYCLCastOp::areCastCompatible(::mlir::TypeRange Inputs,
   return HasArrayTrait && IsArray;
 }
 
+mlir::LogicalResult mlir::sycl::SYCLConstructorOp::verify() {
+  if (!getOperand(0).getType().dyn_cast<mlir::MemRefType>()) 
+    return emitOpError("The first argument of a sycl::constructor op has to be a MemRef");
+  return success();
+}
+
 mlir::LogicalResult mlir::sycl::SYCLAccessorSubscriptOp::verify() {
   // Available only when: (Dimensions > 0)
   // reference operator[](id<Dimensions> index) const;