diff options
Diffstat (limited to 'compiler/loco/src/IR/Verifier.test.cpp')
-rw-r--r-- | compiler/loco/src/IR/Verifier.test.cpp | 64 |
1 files changed, 64 insertions, 0 deletions
diff --git a/compiler/loco/src/IR/Verifier.test.cpp b/compiler/loco/src/IR/Verifier.test.cpp new file mode 100644 index 000000000..247a59390 --- /dev/null +++ b/compiler/loco/src/IR/Verifier.test.cpp @@ -0,0 +1,64 @@ +/* + * 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 "loco/IR/Verifier.h" + +#include <gtest/gtest.h> + +#include <stdex/Memory.h> +#include <vector> + +using stdex::make_unique; + +TEST(VerifierTest, valid_minimal) +{ + auto g = loco::make_graph(); + auto push = g->nodes()->create<loco::Push>(); + + ASSERT_FALSE(loco::valid(g.get())); +} + +TEST(VerifierTest, valid_error_reporter) +{ + using namespace loco; + + auto g = loco::make_graph(); + auto push = g->nodes()->create<loco::Push>(); + + class Collector final : public loco::ErrorListener + { + public: + Collector(std::vector<ErrorDetail<ErrorCategory::MissingArgument>> *out) : _out{out} + { + // DO NOTHING + } + + public: + void notify(const ErrorDetail<ErrorCategory::MissingArgument> &d) override + { + _out->emplace_back(d); + } + + private: + std::vector<ErrorDetail<ErrorCategory::MissingArgument>> *_out; + }; + + std::vector<ErrorDetail<ErrorCategory::MissingArgument>> errors; + ASSERT_FALSE(loco::valid(g.get(), make_unique<Collector>(&errors))); + ASSERT_EQ(errors.size(), 1); + ASSERT_EQ(errors.at(0).node(), push); + ASSERT_EQ(errors.at(0).index(), 0); +} |