// RUN: tf-opt %s -tfl-legalize-tf --cse -split-input-file| FileCheck %s --dump-input=fail

func.func @add(%arg0: tensor<1xf32>, %arg1: tensor<1xf32>) -> tensor<1xf32> {
  %0 = "tf.Add"(%arg0, %arg1) : (tensor<1xf32>, tensor<1xf32>) -> tensor<1xf32>
  func.return %0: tensor<1xf32>

// CHECK-LABEL: add
// CHECK:  tfl.add %arg0, %arg1 {fused_activation_function = "NONE"} : tensor<1xf32>
// CHECK:  return
}

// Write writes the headers described in h to w.
//
// This method has a value receiver, despite the somewhat large size
// of h, because it prevents an allocation. The escape analysis isn't
// smart enough to realize this function doesn't mutate h.
func (h extraHeader) Write(w *bufio.Writer) {
	if h.date != nil {
		w.Write(headerDate)
		w.Write(h.date)
		w.Write(crlf)
	}
	if h.contentLength != nil {

	"”":                           "\u201d",
	"”":                          "\u201d",
	"↳":                            "\u21b3",
	"ℜ":                            "\u211c",
	"ℛ":                         "\u211b",
	"ℜ":                        "\u211c",
	"ℝ":                           "\u211d",
	"▭":                            "\u25ad",

		"rdquo;":                           '\U0000201D',
		"rdquor;":                          '\U0000201D',
		"rdsh;":                            '\U000021B3',
		"real;":                            '\U0000211C',
		"realine;":                         '\U0000211B',
		"realpart;":                        '\U0000211C',
		"reals;":                           '\U0000211D',
		"rect;":                            '\U000025AD',

  let summary = "Transform Einsum to other TF Ops for the supported variants";
  let constructor = "TF::CreateTransformEinsumPass()";
}

def LegalizeTFGToTFPass : Pass<"tfe-legalize-tfg", "ModuleOp"> {
  let summary = "Legalize from TFG to the TFE dialect";
  let constructor = "TF::CreateLegalizeTFGToTFEPass()";
}

def ReplicateToIslandPass : Pass<"tf-replicate-to-island", "mlir::func::FuncOp"> {

  } else {
    window_strides->resize(rank, 1);
  }

  llvm::SmallVector<int64_t, 10> padding;
  if (rw.getPadding().has_value()) {
    padding.insert(padding.begin(),
                   rw.getPadding()->getValues<int64_t>().begin(),
                   rw.getPadding()->getValues<int64_t>().end());
  } else {
    padding.resize(2 * rank, 0);
  }

java.util.Map); public int read() throws java.io.IOException; public int read(char[], int, int) throws java.io.IOException; public long skip(long) throws java.io.IOException; private void readAndInterpolateLi() throws java.io.IOException; private String readLine() throws java.io.IOException; private String replaceWithInterpola(String, java.util.Map); private java.util.Map evaluateExpressions(java.util.Set); private java.util.Set parseForExpressions(String); private int findDelimiter(String, String, int);...

java.util.Map); public int read() throws java.io.IOException; public int read(char[], int, int) throws java.io.IOException; public long skip(long) throws java.io.IOException; private void readAndInterpolateLi() throws java.io.IOException; private String readLine() throws java.io.IOException; private String replaceWithInterpola(String, java.util.Map); private java.util.Map evaluateExpressions(java.util.Set); private java.util.Set parseForExpressions(String); private int findDelimiter(String, String, int);...

java.util.Map); public int read() throws java.io.IOException; public int read(char[], int, int) throws java.io.IOException; public long skip(long) throws java.io.IOException; private void readAndInterpolateLi() throws java.io.IOException; private String readLine() throws java.io.IOException; private String replaceWithInterpola(String, java.util.Map); private java.util.Map evaluateExpressions(java.util.Set); private java.util.Set parseForExpressions(String); private int findDelimiter(String, String, int);...

java.util.Map); public int read() throws java.io.IOException; public int read(char[], int, int) throws java.io.IOException; public long skip(long) throws java.io.IOException; private void readAndInterpolateLi() throws java.io.IOException; private String readLine() throws java.io.IOException; private String replaceWithInterpola(String, java.util.Map); private java.util.Map evaluateExpressions(java.util.Set); private java.util.Set parseForExpressions(String); private int findDelimiter(String, String, int);...