compiler/src/iree/compiler/Codegen/Dialect/test/invalid.mlir

// RUN: iree-opt --split-input-file --verify-diagnostics %s

module {
  func.func @export_config_invalid_type() attributes {
    // expected-error @+1 {{expected workgroup size to contain values of index type}}
    export_config = #iree_codegen.export_config<workgroup_size = [4, 1]>
  } {
    return
  }
}

// -----

module {
  func.func @export_config_invalid_type() attributes {
    // expected-error @+1 {{expected workgroup size to have atmost 3 entries}}
    export_config = #iree_codegen.export_config<workgroup_size = [4: index, 1: index, 1: index, 1: index]>
  } {
    return
  }
}