1 files changed, 57 insertions, 0 deletions
diff --git a/compiler/luci/service/src/CircleTypeInferenceRule.test.cpp b/compiler/luci/service/src/CircleTypeInferenceRule.test.cpp
new file mode 100644
index 000000000..29f45173e
--- /dev/null
+++ b/compiler/luci/service/src/CircleTypeInferenceRule.test.cpp
@@ -0,0 +1,57 @@
+/*
+ * Copyright (c) 2020 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 "TestGraph.h"
+#include <luci/Service/CircleTypeInferenceRule.h>
+
+#include <luci/IR/CircleNodes.h>
+#include <luci/IR/CircleDialect.h>
+
+#include <loco.h>
+#include <loco/IR/CanonicalDialect.h>
+#include <loco/Service/TypeInference.h>
+
+#include <gtest/gtest.h>
+
+#include <memory>
+
+TEST(CircleTypeInferenceRuleTest, minimal_with_CircleRelu)
+{
+  // Create a simple network
+  luci::test::TestGraph graph;
+  auto tfl_node = graph.append<luci::CircleRelu>(graph.pull);
+  graph.complete(tfl_node);
+
+  graph.pull->dtype(loco::DataType::S32);
+
+  // pre-check
+  ASSERT_FALSE(loco::dtype_known(tfl_node));
+
+  // type inference
+  luci::CircleTypeInferenceRule tfl_rule;
+  loco::CanonicalTypeInferenceRule canon_rule;
+  loco::MultiDialectTypeInferenceRule rules;
+
+  rules.bind(loco::CanonicalDialect::get(), &canon_rule);
+  rules.bind(luci::CircleDialect::get(), &tfl_rule);
+
+  loco::apply(&rules).to(graph.g.get());
+
+  // Verify
+  ASSERT_TRUE(loco::dtype_known(tfl_node));
+  auto type = loco::dtype_get(tfl_node);
+  ASSERT_EQ(type, loco::DataType::S32);
+}