program_test.cpp 3.35 KB
Newer Older
Paul's avatar
Paul committed
1

Paul's avatar
Paul committed
2
3
4
#include <migraphx/program.hpp>
#include <migraphx/iterator_for.hpp>
#include <migraphx/instruction.hpp>
5
#include <migraphx/ref/target.hpp>
Paul's avatar
Paul committed
6
7
#include <sstream>
#include "test.hpp"
8
9
#include <migraphx/make_op.hpp>

Paul's avatar
Paul committed
10
11
#include <basic_ops.hpp>

Paul's avatar
Paul committed
12
migraphx::program create_program()
Paul's avatar
Paul committed
13
{
Paul's avatar
Paul committed
14
    migraphx::program p;
15
    auto* mm = p.get_main_module();
Paul's avatar
Paul committed
16

17
18
    auto x = mm->add_parameter("x", {migraphx::shape::int64_type});
    auto y = mm->add_parameter("y", {migraphx::shape::int64_type});
Paul's avatar
Paul committed
19

20
21
22
    auto sum = mm->add_instruction(sum_op{}, x, y);
    auto one = mm->add_literal(1);
    mm->add_instruction(sum_op{}, sum, one);
Paul's avatar
Paul committed
23
24
25
26

    return p;
}

Paul's avatar
Paul committed
27
TEST_CASE(program_equality)
Paul's avatar
Paul committed
28
{
Paul's avatar
Paul committed
29
30
    migraphx::program x = create_program();
    migraphx::program y = create_program();
Paul's avatar
Paul committed
31
32
33
    EXPECT(x == y);
}

Paul's avatar
Paul committed
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
TEST_CASE(program_not_equality1)
{
    migraphx::program x;
    migraphx::program y = create_program();
    EXPECT(x != y);
    x = y;
    EXPECT(x == y);
}

TEST_CASE(program_not_equality2)
{
    migraphx::program x;
    migraphx::program y = create_program();
    EXPECT(x != y);
    y = x;
    EXPECT(x == y);
}

TEST_CASE(program_default_copy_construct)
{
    migraphx::program x;
    migraphx::program y;
    EXPECT(x == y);
}

59
60
61
62
TEST_CASE(program_copy)
{
    auto create_program_1 = [] {
        migraphx::program p;
63
64
        auto* mm = p.get_main_module();

65
66
67
        migraphx::shape s{migraphx::shape::float_type, {3, 4, 5}};
        std::vector<float> data(3 * 4 * 5);
        std::iota(data.begin(), data.end(), 1.0f);
68
69
70
        auto l2  = mm->add_literal(migraphx::literal(s, data));
        auto p1  = mm->add_parameter("x", s);
        auto po  = mm->add_outline(s);
71
72
        auto sum = mm->add_instruction(migraphx::make_op("add"), l2, po);
        mm->add_instruction(migraphx::make_op("mul"), sum, p1);
73
74
75
76
77
78

        return p;
    };

    {
        auto p1 = create_program_1();
Shucai Xiao's avatar
Shucai Xiao committed
79
80
81
        migraphx::program p2{};
        p2 = p1;

82
        p2.compile(migraphx::ref::target{});
Shucai Xiao's avatar
Shucai Xiao committed
83
84
        EXPECT(p1 != p2);

85
        p1.compile(migraphx::ref::target{});
86
        EXPECT(p1 == p2);
87
88

        EXPECT(p1.get_parameter_names() == p2.get_parameter_names());
89
90
91
92
93
    }

    {
        auto p1 = create_program_1();
        auto p2(p1);
Shucai Xiao's avatar
Shucai Xiao committed
94
95
        EXPECT(p1 == p2);

96
        p1.compile(migraphx::ref::target{});
Shucai Xiao's avatar
Shucai Xiao committed
97
98
99
        EXPECT(p1 != p2);

        p2 = p1;
100
101
102
103
104
105
        EXPECT(p1 == p2);
    }

    {
        auto p1 = create_program_1();
        auto p2 = create_program();
Shucai Xiao's avatar
Shucai Xiao committed
106
        EXPECT(p1 != p2);
107

Shucai Xiao's avatar
Shucai Xiao committed
108
        p2 = p1;
Shucai Xiao's avatar
Shucai Xiao committed
109
110
        EXPECT(p1 == p2);

111
112
        p1.compile(migraphx::ref::target{});
        p2.compile(migraphx::ref::target{});
Shucai Xiao's avatar
Shucai Xiao committed
113

114
115
        EXPECT(p1 == p2);
    }
Shucai Xiao's avatar
Shucai Xiao committed
116
117
118

    {
        migraphx::program p1;
119
120
        auto* mm1 = p1.get_main_module();

Shucai Xiao's avatar
Shucai Xiao committed
121
122
123
        migraphx::shape s1{migraphx::shape::float_type, {2, 3}};
        migraphx::shape s2{migraphx::shape::float_type, {3, 6}};
        migraphx::shape s3{migraphx::shape::float_type, {2, 6}};
124
125
126
        auto para1 = mm1->add_parameter("m1", s1);
        auto para2 = mm1->add_parameter("m2", s2);
        auto para3 = mm1->add_parameter("m3", s3);
127
128
        mm1->add_instruction(
            migraphx::make_op("dot", {{"alpha", 0.31f}, {"beta", 0.28f}}), para1, para2, para3);
Shucai Xiao's avatar
Shucai Xiao committed
129
130
131
132
133

        migraphx::program p2{};
        p2 = p1;
        EXPECT(p2 == p1);

134
135
        p1.compile(migraphx::ref::target{});
        p2.compile(migraphx::ref::target{});
Shucai Xiao's avatar
Shucai Xiao committed
136
137
        EXPECT(p2 == p1);
    }
138
139
}

Paul's avatar
Paul committed
140
int main(int argc, const char* argv[]) { test::run(argc, argv); }