// CHECK-NEXT:      outputs: [ 2, 3 ],
  // CHECK-NEXT:      builtin_options_type: FullyConnectedOptions,
  // CHECK-NEXT:      builtin_options: {
  // CHECK-NEXT:        weights_format: SHUFFLED4x16INT8
  // CHECK-NEXT:      }
  // CHECK-NEXT:    } ],
  // CHECK-NEXT:    name: "main"
  // CHECK-NEXT:  } ],
  // CHECK-NEXT:  description: "MLIR Converted.",
  // CHECK-NEXT:  buffers: [ {
  // CHECK-EMPTY:

// FullyConnectedOptionsWeightFormat attributes
def TFL_FCWOEnum_Default         : I32EnumAttrCase<"DEFAULT", 0>;
def TFL_FCWOEnum_Shuffled4x16i8  : I32EnumAttrCase<"SHUFFLED4x16INT8", 1>;
def TFL_FullyConnectedOptionsWeightFormatAttr :
    TFL_AnyStrAttrOf<[
      TFL_FCWOEnum_Default.symbol,
      TFL_FCWOEnum_Shuffled4x16i8.symbol
    ]>;
def TFL_FCWO_Default        : ConstantStrAttr<