diff options
Diffstat (limited to 'compiler/exo/src/Dialect/Service/CircleTypeInferenceRule.cpp')
-rw-r--r-- | compiler/exo/src/Dialect/Service/CircleTypeInferenceRule.cpp | 58 |
1 files changed, 58 insertions, 0 deletions
diff --git a/compiler/exo/src/Dialect/Service/CircleTypeInferenceRule.cpp b/compiler/exo/src/Dialect/Service/CircleTypeInferenceRule.cpp new file mode 100644 index 000000000..6bc95a1b5 --- /dev/null +++ b/compiler/exo/src/Dialect/Service/CircleTypeInferenceRule.cpp @@ -0,0 +1,58 @@ +/* + * 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 "CircleTypeInferenceRule.h" + +#include "Dialect/IR/CircleDialect.h" +#include "Dialect/IR/CircleNodeVisitor.h" +#include "Dialect/IR/CircleNodes.h" + +#include <cassert> + +namespace +{ + +struct TypeInferenceAlgorithm final : public locoex::CircleNodeVisitor<loco::DataType> +{ + loco::DataType visit(const locoex::CircleInstanceNorm *node) final + { + return loco::dtype_get(node->input()); + } +}; + +} // namespace + +namespace locoex +{ + +bool CircleTypeInferenceRule::recognize(const loco::Dialect *d) const +{ + return CircleDialect::get() == d; +} + +bool CircleTypeInferenceRule::infer(const loco::Node *node, loco::DataType &dtype) const +{ + assert(node->dialect() == CircleDialect::get()); + + TypeInferenceAlgorithm alg; + + dtype = dynamic_cast<const CircleNode *>(node)->accept(&alg); + assert(dtype != loco::DataType::Unknown); + + return true; +} + +} // namespace locoex |