[mlir][emitc] Add support of pointer wide types

Author: EtoAndruwa

mlir/include/mlir/Dialect/EmitC/IR/EmitC.h

@@ -47,10 +47,6 @@ bool isSupportedFloatType(mlir::Type type);
 /// Determines whether \p type is a emitc.size_t/ssize_t type.
 bool isPointerWideType(mlir::Type type);
 
-/// Determines whether \p type is a valid integer, index or opaque type for
-/// SwitchOp.
-bool isSwitchOperandType(Type type);
-
 } // namespace emitc
 } // namespace mlir
 

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

@@ -54,8 +54,6 @@ def CExpression : NativeOpTrait<"emitc::CExpression">;
 def IntegerIndexOrOpaqueType : Type<CPred<"emitc::isIntegerIndexOrOpaqueType($_self)">,
 "integer, index or opaque type supported by EmitC">;
 def FloatIntegerIndexOrOpaqueType : AnyTypeOf<[EmitCFloatType, IntegerIndexOrOpaqueType]>;
-def SwitchOperandType : Type<CPred<"emitc::isSwitchOperandType($_self)">,
-"integer type for switch operation">;
 
 def EmitC_AddOp : EmitC_BinaryOp<"add", [CExpression]> {
   let summary = "Addition operation";
@@ -1361,7 +1359,7 @@ def EmitC_SwitchOp : EmitC_Op<"switch", [RecursiveMemoryEffects,
     ```
   }];
 
-  let arguments = (ins SwitchOperandType:$arg, DenseI64ArrayAttr:$cases);
+  let arguments = (ins IntegerIndexOrOpaqueType:$arg, DenseI64ArrayAttr:$cases);
   let results = (outs);
   let regions = (region SizedRegion<1>:$defaultRegion,
                         VariadicRegion<SizedRegion<1>>:$caseRegions);

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

@@ -1211,7 +1211,7 @@ static LogicalResult verifyRegion(emitc::SwitchOp op, Region &region,
 }
 
 LogicalResult emitc::SwitchOp::verify() {
-  if (!isSwitchOperandType(getArg().getType()))
+  if (!isIntegerIndexOrOpaqueType(getArg().getType()))
     return emitOpError("unsupported type ") << getArg().getType();
 
   if (getCases().size() != getCaseRegions().size()) {