[moco-tf] Canonicalizer for RealDiv (#6306)

This will introduce Canonicalizer for TFRealDiv to EltwiseDiv

Signed-off-by: SaeHie Park <saehie.park@samsung.com>

diff --git a/compiler/moco-tf/src/Canonicalization/RealDivCanonicalizer.cpp b/compiler/moco-tf/src/Canonicalization/RealDivCanonicalizer.cpp
new file mode 100644 (file)
index 0000000..72b3ce6
--- /dev/null
+++ b/compiler/moco-tf/src/Canonicalization/RealDivCanonicalizer.cpp
@@ -0,0 +1,109 @@
+/*
+ * Copyright (c) 2019 Samsung Electronics Co., Ltd. All Rights Reserved
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *    http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+#include "RealDivCanonicalizer.h"
+
+#include "Annotations/ShapeInferenceData.h"
+
+#include "Dialect/TFDialect.h"
+#include "Dialect/TFNodes.h"
+#include "Dialect/TFNodeVisitor.h"
+#include "Dialect/TFNodeImpl.h"
+
+#include <stdex/Memory.h>
+
+namespace
+{
+
+bool canonicalize_div(loco::Graph *graph, moco::tf::TFRealDiv *node)
+{
+  /**
+   * @note This will replace TFRealDiv node with Canonical EltwiseDiv
+   *
+   *       Before
+   *                 A --- TFRealDiv -- C
+   *                 B --/
+   *       After
+   *                    +------ TFRealDiv --
+   *                    |     /
+   *                 B -------
+   *                    |     \
+   *                 A -+------ EltwiseDiv -- C
+   *
+   *       Where
+   *                 A : x of TFRealDiv
+   *                 B : y of TFRealDiv
+   *                 C : a node that uses TFRealDiv as an input
+   *                 TFRealDiv is disconnected from C
+   */
+
+  auto ewdiv_node = graph->nodes()->create<loco::EltwiseDiv>();
+
+  // check condition: shape should be same
+  auto node_A = node->x();
+  auto node_B = node->y();
+
+  auto x_shapedata = node_A->annot<moco::tf::ShapeInferenceData>();
+  assert(x_shapedata != nullptr);
+  auto y_shapedata = node_B->annot<moco::tf::ShapeInferenceData>();
+  assert(y_shapedata != nullptr);
+
+  if (!(*x_shapedata == *y_shapedata))
+  {
+    // TODO support broadcast Div
+    return false;
+  }
+
+  // update connections
+  ewdiv_node->lhs(node_A);
+  ewdiv_node->rhs(node_B);
+
+  // replace node
+  replace(node).with(ewdiv_node);
+
+  return true;
+}
+
+} // namespace
+
+namespace moco
+{
+namespace tf
+{
+
+bool RealDivCanonicalizer::run(loco::Graph *graph)
+{
+  auto active_nodes = loco::active_nodes(loco::output_nodes(graph));
+  bool changed = false;
+
+  for (auto node : active_nodes)
+  {
+    if (node->dialect() == TFDialect::get())
+    {
+      auto tf_node = dynamic_cast<moco::tf::TFRealDiv *>(node);
+      if (tf_node != nullptr)
+      {
+        if (canonicalize_div(graph, tf_node))
+          changed = true;
+      }
+    }
+  }
+
+  return changed;
+}
+
+} // namespace tf
+} // namespace moco

diff --git a/compiler/moco-tf/src/Canonicalization/RealDivCanonicalizer.h b/compiler/moco-tf/src/Canonicalization/RealDivCanonicalizer.h
new file mode 100644 (file)
index 0000000..8e69533
--- /dev/null
+++ b/compiler/moco-tf/src/Canonicalization/RealDivCanonicalizer.h
@@ -0,0 +1,44 @@
+/*
+ * Copyright (c) 2019 Samsung Electronics Co., Ltd. All Rights Reserved
+ *
+ * Licensed under the Apache License, Version 2.0 (the "License");
+ * you may not use this file except in compliance with the License.
+ * You may obtain a copy of the License at
+ *
+ *    http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS,
+ * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+ * See the License for the specific language governing permissions and
+ * limitations under the License.
+ */
+
+#ifndef __MOCO_TF_REALDIV_CANONICALIZER_H__
+#define __MOCO_TF_REALDIV_CANONICALIZER_H__
+
+#include "Transform.h"
+
+#include <loco.h>
+
+namespace moco
+{
+namespace tf
+{
+
+/**
+ * @brief  Convert TFRealDiv to Canonical EltwiseDiv
+ */
+class RealDivCanonicalizer : public Transform
+{
+public:
+  const char *name(void) const final { return "RealDivCanonicalizer"; }
+
+public:
+  bool run(loco::Graph *graph) override;
+};
+
+} // namespace tf
+} // namespace moco
+
+#endif // __MOCO_TF_REALDIV_CANONICALIZER_H__