openvino/src/common/transformations/tests/const_folding_for_if.cpp at master · devajithvs/openvino · GitHub

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
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
// Copyright (C) 2018-2026 Intel Corporation
// SPDX-License-Identifier: Apache-2.0
//

#include <gtest/gtest.h>

#include "common_test_utils/ov_test_utils.hpp"
#include "common_test_utils/test_common.hpp"
#include "openvino/core/model.hpp"
#include "openvino/op/add.hpp"
#include "openvino/op/if.hpp"
#include "openvino/op/power.hpp"
#include "openvino/opsets/opset1_decl.hpp"
#include "openvino/opsets/opset5_decl.hpp"
#include "openvino/opsets/opset8_decl.hpp"
#include "openvino/pass/constant_folding.hpp"
#include "openvino/pass/manager.hpp"
#include "transformations/init_node_info.hpp"
using namespace testing;
using namespace std;
using namespace ov;

// If doesn't have evaluate methods
TEST(TransformationTests, DISABLED_if_constant_folding) {
    std::shared_ptr<ov::Model> fun(nullptr);
    {
        auto cond = std::make_shared<opset5::Constant>(element::boolean, Shape{1}, false);
        auto A1 = std::make_shared<opset5::Constant>(element::f32, Shape{1}, 37.0);
        auto A2 = std::make_shared<opset5::Constant>(element::f32, Shape{1}, 45.0);
        auto B1 = std::make_shared<opset5::Constant>(element::f32, Shape{1}, 10.0);
        auto B2 = std::make_shared<opset5::Constant>(element::f32, Shape{1}, 3.0);
        auto Xt = make_shared<op::v0::Parameter>(element::f32, PartialShape::dynamic());
        auto Yt = make_shared<op::v0::Parameter>(element::f32, PartialShape::dynamic());
        auto Xe = make_shared<op::v0::Parameter>(element::f32, PartialShape::dynamic());
        auto Ye = make_shared<op::v0::Parameter>(element::f32, PartialShape::dynamic());
        auto a_add = std::make_shared<op::v1::Add>(Xt, Yt);
        auto b_pow = std::make_shared<op::v1::Power>(Xe, Ye);
        auto then_res = std::make_shared<op::v0::Result>(a_add);
        auto then_body = make_shared<ov::Model>(OutputVector{then_res}, ParameterVector{Xt, Yt});
        auto else_res = std::make_shared<op::v0::Result>(b_pow);
        auto else_body = make_shared<ov::Model>(OutputVector{else_res}, ParameterVector{Xe, Ye});
        auto if_op = make_shared<op::v8::If>(cond);
        if_op->set_then_body(then_body);
        if_op->set_else_body(else_body);
        if_op->set_input(A1, Xt, nullptr);
        if_op->set_input(A2, Yt, nullptr);
        if_op->set_input(B1, nullptr, Xe);
        if_op->set_input(B2, nullptr, Ye);
        auto if_res = if_op->set_output(then_res, else_res);
        auto param_add = make_shared<op::v0::Parameter>(element::f32, Shape{1});
        auto add = make_shared<op::v1::Add>(if_res, param_add);
        auto add_res = make_shared<op::v0::Result>(add);
        fun = make_shared<Model>(OutputVector{add_res}, ParameterVector{param_add});
        pass::Manager manager;
        manager.register_pass<pass::ConstantFolding>();
        manager.run_passes(fun);
    }
    std::shared_ptr<ov::Model> f_ref(nullptr);
    {
        auto constant_folding_if = make_shared<opset5::Constant>(element::f32, Shape{1}, 1000.0f);
        auto param_add = make_shared<op::v0::Parameter>(element::f32, Shape{1});
        auto add = make_shared<op::v1::Add>(constant_folding_if, param_add);
        auto add_res = make_shared<op::v0::Result>(add);
        f_ref = std::make_shared<ov::Model>(OutputVector{add_res}, ParameterVector{param_add});
    }

    auto res = compare_functions(fun, f_ref);
    ASSERT_TRUE(res.first) << res.second;
}