restore variableop functionality

Author: Jaddyen

mlir/include/mlir/Dialect/EmitC/IR/EmitC.td

@@ -1191,10 +1191,10 @@ def EmitC_VariableOp : EmitC_Op<"variable", []> {
   }];
 
   let arguments = (ins EmitC_OpaqueOrTypedAttr:$value);
-  let results = (outs Res<AnyTypeOf<[EmitCType]>,
+  let results = (outs Res<AnyTypeOf<[EmitC_ArrayType, EmitC_LValueType]>,
                           "", [MemAlloc<DefaultResource, 0, FullEffect>]>);
 
-  // let hasVerifier = 1;
+  let hasVerifier = 1;
 }
 
 def EmitC_GlobalOp : EmitC_Op<"global", [Symbol]> {

mlir/lib/Dialect/EmitC/IR/EmitC.cpp

@@ -889,9 +889,9 @@ LogicalResult SubOp::verify() {
 // VariableOp
 //===----------------------------------------------------------------------===//
 
-// LogicalResult emitc::VariableOp::verify() {
-//   return verifyInitializationAttribute(getOperation(), getValueAttr());
-// }
+LogicalResult emitc::VariableOp::verify() {
+  return verifyInitializationAttribute(getOperation(), getValueAttr());
+}
 
 //===----------------------------------------------------------------------===//
 // YieldOp