# RUN: tf-mlir-translate -graphdef-to-mlir -tf-enable-shape-inference-on-import=false -mlir-print-debuginfo %s -o - | FileCheck %s

# Verify that importing a Graph with a backedge leads to two NextIteration nodes
# to break the cycle.

# CHECK-LABEL: func @main()
# CHECK:    %[[NEXTITERATION:[a-z0-9]+]], %[[NEXTITERATION_token:[a-z0-9]+]], {{.*}} = tf_executor.NextIteration.Source
# CHECK:    tf_executor.Merge {{.*}} %[[NEXTITERATION]]

// See the License for the specific language governing permissions and
// limitations under the License.

// dot -Tpng src/docs/userguide/img/cpp-shared-library-task-graph.dot > src/docs/userguide/img/cpp-shared-library-task-graph.png
digraph cppSharedLibraryTaskGraph {
  graph [ dpi = 100, fontname="Sans"];
  node [fontname = "Sans"];
  edge [fontname = "Sans"];
  node [shape=rectangle, fixedsize=true, width=2.5, height=0.5];

// See the License for the specific language governing permissions and
// limitations under the License.

// dot -Tpng src/docs/userguide/img/visual-studio-task-graph.dot > src/docs/userguide/img/visual-studio-task-graph.png
digraph visualStudioTaskGraph {
  graph [ dpi = 100, fontname="Sans"];
  node [fontname = "Sans"];
  edge [fontname = "Sans"];
  node [shape=rectangle, fixedsize=true, width=3.3, height=0.5];

}

# Check that the `resource_arg_unique_id` for each argument is propagated to the
# `tf._resource_arg_unique_id` argument attribute of the function
# @test_func_name0.

# CHECK:  func @main
# CHECK:    tf_executor.graph
# CHECK:      "tf.VarHandleOp"()
# CHECK:      "tf.LegacyCall"
# CHECK-SAME:   <{_disable_call_shape_inference = true, f = @test_func_name0}> {device = ""}
# CHECK:      tf_executor.fetch
# CHECK:    return

// See the License for the specific language governing permissions and
// limitations under the License.

// dot -Tpng src/docs/userguide/img/cpp-application-variant-task-graph.dot > src/docs/userguide/img/cpp-application-variant-task-graph.png
digraph cppLibraryVariantTaskGraph {
  graph [ dpi = 100, fontname="Sans"];
  node [fontname = "Sans"];
  edge [fontname = "Sans"];
  node [shape=rectangle, fixedsize=true, width=2.5, height=0.5];

// See the License for the specific language governing permissions and
// limitations under the License.

// dot -Tpng src/docs/userguide/img/cpp-unit-test-task-graph.dot > src/docs/userguide/img/cpp-unit-test-task-graph.png
digraph cppUnitTestTaskGraph {
  graph [ dpi = 100, fontname="Sans"];
  node [fontname = "Sans"];
  edge [fontname = "Sans"];
  node [shape=rectangle, fixedsize=true, width=2.5, height=0.5];

# RUN: not tf-mlir-translate -graphdef-to-mlir -tf-enable-shape-inference-on-import=false %s -tf-graph-as-function -tf-control-output-arrays=var1_add,var1_add -o - 2>&1 | FileCheck %s --check-prefix=UNIQUE

github-actions-dependency-graph.png...

// See the License for the specific language governing permissions and
// limitations under the License.

// dot -Tpng src/docs/userguide/img/swift-application-variant-task-graph.dot > src/docs/userguide/img/swift-application-variant-task-graph.png
digraph swiftLibraryVariantTaskGraph {
  graph [ dpi = 100, fontname="Sans"];
  node [fontname = "Sans"];
  edge [fontname = "Sans"];
  node [shape=rectangle, fixedsize=true, width=2.5, height=0.5];

// See the License for the specific language governing permissions and
// limitations under the License.

// dot -Tpng src/docs/userguide/img/cpp-static-library-task-graph.dot > src/docs/userguide/img/cpp-static-library-task-graph.png
digraph cppStaticLibraryTaskGraph {
  graph [ dpi = 100, fontname="Sans"];
  node [fontname = "Sans"];
  edge [fontname = "Sans"];
  node [shape=rectangle, fixedsize=true, width=2.5, height=0.5];