From ead47646e78bccf51182cdfddec6bfd1fba6bab5 Mon Sep 17 00:00:00 2001
From: EtoAndruwa <timonina1909@gmail.com>
Date: Tue, 13 Aug 2024 19:00:35 +0300
Subject: [PATCH] [mlir][emitc] Switching to custom assembly in tablegen
 similar to the scf dialect

---
 mlir/include/mlir/Dialect/EmitC/IR/EmitC.td | 12 ++-
 mlir/lib/Dialect/EmitC/IR/EmitC.cpp         | 60 +-------------
 mlir/test/Conversion/SCFToEmitC/switch.mlir | 22 +++---
 mlir/test/Dialect/EmitC/invalid_ops.mlir    | 60 +++++---------
 mlir/test/Dialect/EmitC/ops.mlir            | 20 +++++
 mlir/test/Target/Cpp/switch.mlir            | 86 ++++++++++-----------
 6 files changed, 99 insertions(+), 161 deletions(-)

diff --git a/mlir/include/mlir/Dialect/EmitC/IR/EmitC.td b/mlir/include/mlir/Dialect/EmitC/IR/EmitC.td
index d5e263e44b37747..45e5aafd138722d 100644
--- a/mlir/include/mlir/Dialect/EmitC/IR/EmitC.td
+++ b/mlir/include/mlir/Dialect/EmitC/IR/EmitC.td
@@ -1320,8 +1320,9 @@ def EmitC_SwitchOp : EmitC_Op<"switch", [RecursiveMemoryEffects,
     not equal any of the case values, control-flow transfer to the "default"
     region.
 
-    The operation does not return any value. Moreover, case regions and 
-    default region must be explicitly terminated using the `emitc.yield` operation.
+    The operation does not return any value. Moreover, case regions must be
+    explicitly terminated using the `emitc.yield` operation. Default region is
+    yielded implicitly.
 
     Example:
 
@@ -1339,7 +1340,6 @@ def EmitC_SwitchOp : EmitC_Op<"switch", [RecursiveMemoryEffects,
     default: {
       %3 = "emitc.variable"(){value = 42.0 : f32} : () -> f32
       emitc.call_opaque "func2" (%3) : (f32) -> ()
-      emitc.yield
     }
 
     // Output:
@@ -1365,6 +1365,11 @@ def EmitC_SwitchOp : EmitC_Op<"switch", [RecursiveMemoryEffects,
   let regions = (region SizedRegion<1>:$defaultRegion,
                         VariadicRegion<SizedRegion<1>>:$caseRegions);
 
+  let assemblyFormat = [{
+    $arg `:` type($arg) attr-dict custom<SwitchCases>($cases, $caseRegions) `\n`
+    `` `default` $defaultRegion
+  }];
+
   let extraClassDeclaration = [{
     /// Get the number of cases.
     unsigned getNumCases();
@@ -1376,7 +1381,6 @@ def EmitC_SwitchOp : EmitC_Op<"switch", [RecursiveMemoryEffects,
     Block &getCaseBlock(unsigned idx);
   }];
 
-  let hasCustomAssemblyFormat = 1;
   let hasVerifier = 1;
 }
 
diff --git a/mlir/lib/Dialect/EmitC/IR/EmitC.cpp b/mlir/lib/Dialect/EmitC/IR/EmitC.cpp
index 3e76bc2387c1bb1..b3f23d74b832719 100644
--- a/mlir/lib/Dialect/EmitC/IR/EmitC.cpp
+++ b/mlir/lib/Dialect/EmitC/IR/EmitC.cpp
@@ -1109,7 +1109,7 @@ parseSwitchCases(OpAsmParser &parser, DenseI64ArrayAttr &cases,
     int64_t value;
     Region &region = *caseRegions.emplace_back(std::make_unique<Region>());
 
-    if (parser.parseInteger(value) || parser.parseColon() ||
+    if (parser.parseInteger(value) ||
         parser.parseRegion(region, /*arguments=*/{}))
       return failure();
     caseValues.push_back(value);
@@ -1128,64 +1128,6 @@ static void printSwitchCases(OpAsmPrinter &p, Operation *op,
   }
 }
 
-ParseResult SwitchOp::parse(OpAsmParser &parser, OperationState &result) {
-  OpAsmParser::UnresolvedOperand arg;
-  DenseI64ArrayAttr casesAttr;
-  SmallVector<std::unique_ptr<Region>, 2> caseRegionsRegions;
-  std::unique_ptr<Region> defaultRegionRegion = std::make_unique<Region>();
-
-  if (parser.parseOperand(arg))
-    return failure();
-
-  Type argType;
-  // Parse the case's type.
-  if (parser.parseColon() || parser.parseType(argType))
-    return failure();
-
-  auto loc = parser.getCurrentLocation();
-  if (parser.parseOptionalAttrDict(result.attributes))
-    return failure();
-
-  if (failed(verifyInherentAttrs(result.name, result.attributes, [&]() {
-        return parser.emitError(loc)
-               << "'" << result.name.getStringRef() << "' op ";
-      })))
-    return failure();
-
-  auto odsResult = parseSwitchCases(parser, casesAttr, caseRegionsRegions);
-  if (odsResult)
-    return failure();
-
-  result.getOrAddProperties<SwitchOp::Properties>().cases = casesAttr;
-
-  if (parser.parseKeyword("default") || parser.parseColon())
-    return failure();
-
-  if (parser.parseRegion(*defaultRegionRegion))
-    return failure();
-
-  result.addRegion(std::move(defaultRegionRegion));
-  result.addRegions(caseRegionsRegions);
-
-  if (parser.resolveOperand(arg, argType, result.operands))
-    return failure();
-
-  return success();
-}
-
-void SwitchOp::print(OpAsmPrinter &p) {
-  p << ' ' << getArg();
-  SmallVector<StringRef, 2> elidedAttrs;
-  elidedAttrs.push_back("cases");
-  p.printOptionalAttrDict((*this)->getAttrs(), elidedAttrs);
-  p << ' ';
-  printSwitchCases(p, *this, getCasesAttr(), getCaseRegions());
-  p.printNewline();
-  p << "default ";
-  p.printRegion(getDefaultRegion(), /*printEntryBlockArgs=*/true,
-                /*printBlockTerminators=*/true);
-}
-
 static LogicalResult verifyRegion(emitc::SwitchOp op, Region &region,
                                   const Twine &name) {
   auto yield = dyn_cast<emitc::YieldOp>(region.front().back());
diff --git a/mlir/test/Conversion/SCFToEmitC/switch.mlir b/mlir/test/Conversion/SCFToEmitC/switch.mlir
index ef6018e04056183..659d9f43963efa5 100644
--- a/mlir/test/Conversion/SCFToEmitC/switch.mlir
+++ b/mlir/test/Conversion/SCFToEmitC/switch.mlir
@@ -3,17 +3,16 @@
 // CHECK-LABEL:   func.func @switch_no_result(
 // CHECK-SAME:                                %[[VAL_0:.*]]: index) {
 // CHECK:           emitc.switch %[[VAL_0]]
-// CHECK:           case 2: {
+// CHECK:           case 2 {
 // CHECK:             %[[VAL_1:.*]] = arith.constant 10 : i32
 // CHECK:             emitc.yield
 // CHECK:           }
-// CHECK:           case 5: {
+// CHECK:           case 5 {
 // CHECK:             %[[VAL_2:.*]] = arith.constant 20 : i32
 // CHECK:             emitc.yield
 // CHECK:           }
 // CHECK:           default {
 // CHECK:             %[[VAL_3:.*]] = arith.constant 30 : i32
-// CHECK:             emitc.yield
 // CHECK:           }
 // CHECK:           return
 // CHECK:         }
@@ -29,21 +28,20 @@ func.func @switch_no_result(%arg0 : index) {
     }
     default {
       %3 = arith.constant 30 : i32
-      scf.yield
     }
   return
 }
 
 // CHECK-LABEL:   func.func @switch_one_result(
 // CHECK-SAME:                                 %[[VAL_0:.*]]: index) {
-// CHECK:           %[[VAL_1:.*]] = "emitc.variable"() <{value = #[[?]]<"">}> : () -> i32
+// CHECK:           %[[VAL_1:.*]] = "emitc.variable"() <{value = #emitc.opaque<"">}> : () -> i32
 // CHECK:           emitc.switch %[[VAL_0]]
-// CHECK:           case 2: {
+// CHECK:           case 2 {
 // CHECK:             %[[VAL_2:.*]] = arith.constant 10 : i32
 // CHECK:             emitc.assign %[[VAL_2]] : i32 to %[[VAL_1]] : i32
 // CHECK:             emitc.yield
 // CHECK:           }
-// CHECK:           case 5: {
+// CHECK:           case 5 {
 // CHECK:             %[[VAL_3:.*]] = arith.constant 20 : i32
 // CHECK:             emitc.assign %[[VAL_3]] : i32 to %[[VAL_1]] : i32
 // CHECK:             emitc.yield
@@ -51,7 +49,6 @@ func.func @switch_no_result(%arg0 : index) {
 // CHECK:           default {
 // CHECK:             %[[VAL_4:.*]] = arith.constant 30 : i32
 // CHECK:             emitc.assign %[[VAL_4]] : i32 to %[[VAL_1]] : i32
-// CHECK:             emitc.yield
 // CHECK:           }
 // CHECK:           return
 // CHECK:         }
@@ -74,17 +71,17 @@ func.func @switch_one_result(%arg0 : index) {
 
 // CHECK-LABEL:   func.func @switch_two_results(
 // CHECK-SAME:                                  %[[VAL_0:.*]]: index) {
-// CHECK:           %[[VAL_1:.*]] = "emitc.variable"() <{value = #[[?]]<"">}> : () -> i32
-// CHECK:           %[[VAL_2:.*]] = "emitc.variable"() <{value = #[[?]]<"">}> : () -> f32
+// CHECK:           %[[VAL_1:.*]] = "emitc.variable"() <{value = #emitc.opaque<"">}> : () -> i32
+// CHECK:           %[[VAL_2:.*]] = "emitc.variable"() <{value = #emitc.opaque<"">}> : () -> f32
 // CHECK:           emitc.switch %[[VAL_0]]
-// CHECK:           case 2: {
+// CHECK:           case 2 {
 // CHECK:             %[[VAL_3:.*]] = arith.constant 10 : i32
 // CHECK:             %[[VAL_4:.*]] = arith.constant 1.200000e+00 : f32
 // CHECK:             emitc.assign %[[VAL_3]] : i32 to %[[VAL_1]] : i32
 // CHECK:             emitc.assign %[[VAL_4]] : f32 to %[[VAL_2]] : f32
 // CHECK:             emitc.yield
 // CHECK:           }
-// CHECK:           case 5: {
+// CHECK:           case 5 {
 // CHECK:             %[[VAL_5:.*]] = arith.constant 20 : i32
 // CHECK:             %[[VAL_6:.*]] = arith.constant 2.400000e+00 : f32
 // CHECK:             emitc.assign %[[VAL_5]] : i32 to %[[VAL_1]] : i32
@@ -96,7 +93,6 @@ func.func @switch_one_result(%arg0 : index) {
 // CHECK:             %[[VAL_8:.*]] = arith.constant 3.600000e+00 : f32
 // CHECK:             emitc.assign %[[VAL_7]] : i32 to %[[VAL_1]] : i32
 // CHECK:             emitc.assign %[[VAL_8]] : f32 to %[[VAL_2]] : f32
-// CHECK:             emitc.yield
 // CHECK:           }
 // CHECK:           return
 // CHECK:         }
diff --git a/mlir/test/Dialect/EmitC/invalid_ops.mlir b/mlir/test/Dialect/EmitC/invalid_ops.mlir
index dd438e4f55234e2..4b5bcf46c1aab97 100644
--- a/mlir/test/Dialect/EmitC/invalid_ops.mlir
+++ b/mlir/test/Dialect/EmitC/invalid_ops.mlir
@@ -470,18 +470,18 @@ func.func @member_of_ptr(%arg0: i32) {
 // -----
 
 func.func @emitc_switch() {
-  %0 = "emitc.variable"(){value = 1 : ui16} : () -> ui16
+  %0 = "emitc.variable"(){value = 1 : i16} : () -> i16
 
   // expected-error@+1 {{'emitc.switch' op expected region to end with emitc.yield, but got emitc.call_opaque}}
-  emitc.switch %0 : ui16
-  case 2: {
+  emitc.switch %0 : i16
+  case 2 {
     %1 = emitc.call_opaque "func_b" () : () -> i32
   }
-  case 5: {
+  case 5 {
     %2 = emitc.call_opaque "func_a" () : () -> i32
     emitc.yield
   }
-  default: {
+  default {
     %3 = "emitc.variable"(){value = 42.0 : f32} : () -> f32
     emitc.call_opaque "func2" (%3) : (f32) -> ()
     emitc.yield
@@ -492,41 +492,19 @@ func.func @emitc_switch() {
 // -----
 
 func.func @emitc_switch() {
-  %0 = "emitc.variable"(){value = 1 : ui16} : () -> ui16
+  %0 = "emitc.variable"(){value = 1 : i32} : () -> i32
 
-  // expected-error@+1 {{'emitc.switch' op expected region to end with emitc.yield, but got emitc.call_opaque}}
-  emitc.switch %0 : ui16
-  case 2: {
-    %1 = emitc.call_opaque "func_b" () : () -> i32
-    emitc.yield
-  }
-  case 5: {
-    %2 = emitc.call_opaque "func_a" () : () -> i32
-    emitc.yield
-  }
-  default: {
-    %3 = "emitc.variable"(){value = 42.0 : f32} : () -> f32
-    emitc.call_opaque "func2" (%3) : (f32) -> ()
-  }
-  return
-}
-
-// -----
-
-func.func @emitc_switch() {
-  %0 = "emitc.variable"(){value = 1 : i16} : () -> i16
-
-  emitc.switch %0 : i16
-  case 2: {
+  emitc.switch %0 : i32
+  case 2 {
     %1 = emitc.call_opaque "func_b" () : () -> i32
     emitc.yield
   }
   // expected-error@+1 {{custom op 'emitc.switch' expected integer value}}
-  case : {
+  case {
     %2 = emitc.call_opaque "func_a" () : () -> i32
     emitc.yield
   }
-  default: {
+  default {
     %3 = "emitc.variable"(){value = 42.0 : f32} : () -> f32
     emitc.call_opaque "func2" (%3) : (f32) -> ()
     emitc.yield
@@ -537,14 +515,14 @@ func.func @emitc_switch() {
 // -----
 
 func.func @emitc_switch() {
-  %0 = "emitc.variable"(){value = 1 : i16} : () -> i16
+  %0 = "emitc.variable"(){value = 1 : i8} : () -> i8
 
-  emitc.switch %0 : i16
-  case 2: {
+  emitc.switch %0 : i8
+  case 2 {
     %1 = emitc.call_opaque "func_b" () : () -> i32
     emitc.yield
   }
-  case 3: {
+  case 3 {
     %2 = emitc.call_opaque "func_a" () : () -> i32
     emitc.yield
   }
@@ -555,19 +533,19 @@ func.func @emitc_switch() {
 // -----
 
 func.func @emitc_switch() {
-  %0 = "emitc.variable"(){value = 1 : i16} : () -> i16
+  %0 = "emitc.variable"(){value = 1 : i64} : () -> i64
 
   // expected-error@+1 {{'emitc.switch' op has duplicate case value: 2}}
-  emitc.switch %0 : i16
-  case 2: {
+  emitc.switch %0 : i64
+  case 2 {
     %1 = emitc.call_opaque "func_b" () : () -> i32
     emitc.yield
   }
-  case 2: {
+  case 2 {
     %2 = emitc.call_opaque "func_a" () : () -> i32
     emitc.yield
   }
-  default: {
+  default {
     %3 = "emitc.variable"(){value = 42.0 : f32} : () -> f32
     emitc.call_opaque "func2" (%3) : (f32) -> ()
     emitc.yield
diff --git a/mlir/test/Dialect/EmitC/ops.mlir b/mlir/test/Dialect/EmitC/ops.mlir
index 20ac077e4402b4e..64f22e8ad6b983c 100644
--- a/mlir/test/Dialect/EmitC/ops.mlir
+++ b/mlir/test/Dialect/EmitC/ops.mlir
@@ -261,3 +261,23 @@ func.func @member_access(%arg0: !emitc.opaque<"mystruct">, %arg1: !emitc.opaque<
   %2 = "emitc.member_of_ptr" (%arg2) {member = "a"} : (!emitc.ptr<!emitc.opaque<"mystruct">>) -> i32
   return
 }
+
+func.func @switch() {
+  %0 = "emitc.variable"(){value = 1 : index} : () -> !emitc.ptrdiff_t
+
+  emitc.switch %0 : !emitc.ptrdiff_t
+  case 1 {
+    %1 = emitc.call_opaque "func_b" () : () -> i32
+    emitc.yield
+  }
+  case 2 {
+    %2 = emitc.call_opaque "func_a" () : () -> i32
+    emitc.yield
+  }
+  default {
+    %3 = "emitc.variable"(){value = 42.0 : f32} : () -> f32
+    emitc.call_opaque "func2" (%3) : (f32) -> ()
+  }
+
+  return 
+}
diff --git a/mlir/test/Target/Cpp/switch.mlir b/mlir/test/Target/Cpp/switch.mlir
index 06c00532d1e3567..0f2e716a98f16bd 100644
--- a/mlir/test/Target/Cpp/switch.mlir
+++ b/mlir/test/Target/Cpp/switch.mlir
@@ -46,18 +46,17 @@ func.func @emitc_switch_ptrdiff_t() {
   %0 = "emitc.variable"(){value = 1 : index} : () -> !emitc.ptrdiff_t
 
   emitc.switch %0 : !emitc.ptrdiff_t
-  case 2: {
+  case 2 {
     %1 = emitc.call_opaque "func_b" () : () -> i32
     emitc.yield
   }
-  case 5: {
+  case 5 {
     %2 = emitc.call_opaque "func_a" () : () -> i32
     emitc.yield
   }
-  default: {
+  default {
     %3 = "emitc.variable"(){value = 42.0 : f32} : () -> f32
     emitc.call_opaque "func2" (%3) : (f32) -> ()
-    emitc.yield
   }
   return
 }
@@ -107,15 +106,15 @@ func.func @emitc_switch_ssize_t() {
   %0 = "emitc.variable"(){value = 1 : index} : () -> !emitc.ssize_t
 
   emitc.switch %0 : !emitc.ssize_t
-  case 2: {
+  case 2 {
     %1 = emitc.call_opaque "func_b" () : () -> i32
     emitc.yield
   }
-  case 5: {
+  case 5 {
     %2 = emitc.call_opaque "func_a" () : () -> i32
     emitc.yield
   }
-  default: {
+  default {
     %3 = "emitc.variable"(){value = 42.0 : f32} : () -> f32
     emitc.call_opaque "func2" (%3) : (f32) -> ()
     emitc.yield
@@ -168,15 +167,15 @@ func.func @emitc_switch_size_t() {
   %0 = "emitc.variable"(){value = 1 : index} : () -> !emitc.size_t
 
   emitc.switch %0 : !emitc.size_t
-  case 2: {
+  case 2 {
     %1 = emitc.call_opaque "func_b" () : () -> i32
     emitc.yield
   }
-  case 5: {
+  case 5 {
     %2 = emitc.call_opaque "func_a" () : () -> i32
     emitc.yield
   }
-  default: {
+  default {
     %3 = "emitc.variable"(){value = 42.0 : f32} : () -> f32
     emitc.call_opaque "func2" (%3) : (f32) -> ()
     emitc.yield
@@ -229,15 +228,15 @@ func.func @emitc_switch_index() {
   %0 = "emitc.variable"(){value = 1 : index} : () -> index
 
   emitc.switch %0 : index
-  case 2: {
+  case 2 {
     %1 = emitc.call_opaque "func_b" () : () -> i32
     emitc.yield
   }
-  case 5: {
+  case 5 {
     %2 = emitc.call_opaque "func_a" () : () -> i32
     emitc.yield
   }
-  default: {
+  default {
     %3 = "emitc.variable"(){value = 42.0 : f32} : () -> f32
     emitc.call_opaque "func2" (%3) : (f32) -> ()
     emitc.yield
@@ -291,15 +290,15 @@ func.func @emitc_switch_opaque() {
   : () -> !emitc.opaque<"size_t">
 
   emitc.switch %0 : !emitc.opaque<"size_t">
-  case 2: {
+  case 2 {
     %1 = emitc.call_opaque "func_b" () : () -> i32
     emitc.yield
   }
-  case 5: {
+  case 5 {
     %2 = emitc.call_opaque "func_a" () : () -> i32
     emitc.yield
   }
-  default: {
+  default {
     %3 = "emitc.variable"(){value = 42.0 : f32} : () -> f32
     emitc.call_opaque "func2" (%3) : (f32) -> ()
     emitc.yield
@@ -352,15 +351,15 @@ func.func @emitc_switch_i1() {
   %0 = "emitc.variable"(){value = 1 : i1} : () -> i1
 
   emitc.switch %0 : i1
-  case 2: {
+  case 2 {
     %1 = emitc.call_opaque "func_b" () : () -> i32
     emitc.yield
   }
-  case 5: {
+  case 5 {
     %2 = emitc.call_opaque "func_a" () : () -> i32
     emitc.yield
   }
-  default: {
+  default {
     %3 = "emitc.variable"(){value = 42.0 : f32} : () -> f32
     emitc.call_opaque "func2" (%3) : (f32) -> ()
     emitc.yield
@@ -413,15 +412,15 @@ func.func @emitc_switch_i8() {
   %0 = "emitc.variable"(){value = 1 : i8} : () -> i8
 
   emitc.switch %0 : i8
-  case 2: {
+  case 2 {
     %1 = emitc.call_opaque "func_b" () : () -> i32
     emitc.yield
   }
-  case 5: {
+  case 5 {
     %2 = emitc.call_opaque "func_a" () : () -> i32
     emitc.yield
   }
-  default: {
+  default {
     %3 = "emitc.variable"(){value = 42.0 : f32} : () -> f32
     emitc.call_opaque "func2" (%3) : (f32) -> ()
     emitc.yield
@@ -474,15 +473,15 @@ func.func @emitc_switch_ui8() {
   %0 = "emitc.variable"(){value = 1 : ui8} : () -> ui8
 
   emitc.switch %0 : ui8
-  case 2: {
+  case 2 {
     %1 = emitc.call_opaque "func_b" () : () -> i32
     emitc.yield
   }
-  case 5: {
+  case 5 {
     %2 = emitc.call_opaque "func_a" () : () -> i32
     emitc.yield
   }
-  default: {
+  default {
     %3 = "emitc.variable"(){value = 42.0 : f32} : () -> f32
     emitc.call_opaque "func2" (%3) : (f32) -> ()
     emitc.yield
@@ -535,15 +534,15 @@ func.func @emitc_switch_i16() {
   %0 = "emitc.variable"(){value = 1 : i16} : () -> i16
 
   emitc.switch %0 : i16
-  case 2: {
+  case 2 {
     %1 = emitc.call_opaque "func_b" () : () -> i32
     emitc.yield
   }
-  case 5: {
+  case 5 {
     %2 = emitc.call_opaque "func_a" () : () -> i32
     emitc.yield
   }
-  default: {
+  default {
     %3 = "emitc.variable"(){value = 42.0 : f32} : () -> f32
     emitc.call_opaque "func2" (%3) : (f32) -> ()
     emitc.yield
@@ -596,15 +595,15 @@ func.func @emitc_switch_ui16() {
   %0 = "emitc.variable"(){value = 1 : ui16} : () -> ui16
 
   emitc.switch %0 : ui16
-  case 2: {
+  case 2 {
     %1 = emitc.call_opaque "func_b" () : () -> i32
     emitc.yield
   }
-  case 5: {
+  case 5 {
     %2 = emitc.call_opaque "func_a" () : () -> i32
     emitc.yield
   }
-  default: {
+  default {
     %3 = "emitc.variable"(){value = 42.0 : f32} : () -> f32
     emitc.call_opaque "func2" (%3) : (f32) -> ()
     emitc.yield
@@ -657,15 +656,15 @@ func.func @emitc_switch_i32() {
   %0 = "emitc.variable"(){value = 1 : i32} : () -> i32
 
   emitc.switch %0 : i32
-  case 2: {
+  case 2 {
     %1 = emitc.call_opaque "func_b" () : () -> i32
     emitc.yield
   }
-  case 5: {
+  case 5 {
     %2 = emitc.call_opaque "func_a" () : () -> i32
     emitc.yield
   }
-  default: {
+  default {
     %3 = "emitc.variable"(){value = 42.0 : f32} : () -> f32
     emitc.call_opaque "func2" (%3) : (f32) -> ()
     emitc.yield
@@ -718,15 +717,15 @@ func.func @emitc_switch_ui32() {
   %0 = "emitc.variable"(){value = 1 : ui32} : () -> ui32
 
   emitc.switch %0 : ui32
-  case 2: {
+  case 2 {
     %1 = emitc.call_opaque "func_b" () : () -> i32
     emitc.yield
   }
-  case 5: {
+  case 5 {
     %2 = emitc.call_opaque "func_a" () : () -> i32
     emitc.yield
   }
-  default: {
+  default {
     %3 = "emitc.variable"(){value = 42.0 : f32} : () -> f32
     emitc.call_opaque "func2" (%3) : (f32) -> ()
     emitc.yield
@@ -779,15 +778,15 @@ func.func @emitc_switch_i64() {
   %0 = "emitc.variable"(){value = 1 : i64} : () -> i64
 
   emitc.switch %0 : i64
-  case 2: {
+  case 2 {
     %1 = emitc.call_opaque "func_b" () : () -> i32
     emitc.yield
   }
-  case 5: {
+  case 5 {
     %2 = emitc.call_opaque "func_a" () : () -> i32
     emitc.yield
   }
-  default: {
+  default {
     %3 = "emitc.variable"(){value = 42.0 : f32} : () -> f32
     emitc.call_opaque "func2" (%3) : (f32) -> ()
     emitc.yield
@@ -840,19 +839,18 @@ func.func @emitc_switch_ui64() {
   %0 = "emitc.variable"(){value = 1 : ui64} : () -> ui64
 
   emitc.switch %0 : ui64
-  case 2: {
+  case 2 {
     %1 = emitc.call_opaque "func_b" () : () -> i32
     emitc.yield
   }
-  case 5: {
+  case 5 {
     %2 = emitc.call_opaque "func_a" () : () -> i32
     emitc.yield
   }
-  default: {
+  default {
     %3 = "emitc.variable"(){value = 42.0 : f32} : () -> f32
     emitc.call_opaque "func2" (%3) : (f32) -> ()
     emitc.yield
   }
   return
 }
-