summaryrefslogtreecommitdiff
path: root/compiler/exo/src/Dialect/Service/CircleTypeInferenceRule.h
blob: c073dfc5418b47f0edf3f4389b07f7a3c865fd88 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
/*
 * 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 __LOCOEX_SERVICE_CIRCLETYPE_INFERENCE_RULE_H__
#define __LOCOEX_SERVICE_CIRCLETYPE_INFERENCE_RULE_H__

#include <loco/Service/TypeInference.h>

namespace locoex
{

/**
 * @brief Type Inference Rule for CircleDialect
 */
struct CircleTypeInferenceRule final : public loco::TypeInferenceRule
{
  bool recognize(const loco::Dialect *) const final;
  bool infer(const loco::Node *, loco::DataType &) const final;
};

} // namespace locoex

#endif // __LOCOEX_SERVICE_CIRCLETYPE_INFERENCE_RULE_H__