eliminate_contiguous_test.cpp 4.36 KB
Newer Older
Paul's avatar
Paul committed
1
2
#include <migraphx/eliminate_contiguous.hpp>
#include <migraphx/dead_code_elimination.hpp>
3
#include <migraphx/pass_manager.hpp>
4
#include <basic_ops.hpp>
5
6
#include <migraphx/make_op.hpp>

7
8
#include <test.hpp>

Paul Fultz II's avatar
Paul Fultz II committed
9
void run_pass(migraphx::module& m)
10
{
Paul Fultz II's avatar
Paul Fultz II committed
11
    migraphx::run_passes(m, {migraphx::eliminate_contiguous{}, migraphx::dead_code_elimination{}});
12
}
13

Paul's avatar
Paul committed
14
TEST_CASE(standard_op)
15
{
Paul Fultz II's avatar
Paul Fultz II committed
16
17
18
19
20
21
22
23
24
    migraphx::module m;

    auto l = m.add_parameter("x", {migraphx::shape::float_type, {2, 2}});
    auto t = m.add_instruction(migraphx::make_op("transpose", {{"dims", {1, 0}}}), l);
    auto c = m.add_instruction(migraphx::make_op("contiguous"), t);
    m.add_instruction(pass_standard_op{}, c);
    auto count = std::distance(m.begin(), m.end());
    run_pass(m);
    EXPECT(std::distance(m.begin(), m.end()) == count);
25
26
}

Paul's avatar
Paul committed
27
TEST_CASE(standard_op_const)
28
{
Paul Fultz II's avatar
Paul Fultz II committed
29
30
31
32
33
34
35
36
    migraphx::module m;

    auto l = m.add_literal(get_2x2());
    auto t = m.add_instruction(migraphx::make_op("transpose", {{"dims", {1, 0}}}), l);
    auto c = m.add_instruction(migraphx::make_op("contiguous"), t);
    m.add_instruction(pass_standard_op{}, c);
    run_pass(m);
    EXPECT(std::distance(m.begin(), m.end()) == 2);
Paul's avatar
Paul committed
37
38
39
40
}

TEST_CASE(non_standard_op)
{
Paul Fultz II's avatar
Paul Fultz II committed
41
42
43
44
45
46
47
48
49
    migraphx::module m;

    auto l = m.add_parameter("x", {migraphx::shape::float_type, {2, 2}});
    auto t = m.add_instruction(migraphx::make_op("transpose", {{"dims", {1, 0}}}), l);
    auto c = m.add_instruction(migraphx::make_op("contiguous"), t);
    m.add_instruction(pass_op{}, c);
    auto count = std::distance(m.begin(), m.end());
    run_pass(m);
    EXPECT(std::distance(m.begin(), m.end()) == count);
50
51
}

Paul's avatar
Paul committed
52
53
TEST_CASE(non_standard_op_const)
{
Paul Fultz II's avatar
Paul Fultz II committed
54
55
56
57
58
59
60
61
    migraphx::module m;

    auto l = m.add_literal(get_2x2());
    auto t = m.add_instruction(migraphx::make_op("transpose", {{"dims", {1, 0}}}), l);
    auto c = m.add_instruction(migraphx::make_op("contiguous"), t);
    m.add_instruction(pass_op{}, c);
    run_pass(m);
    EXPECT(std::distance(m.begin(), m.end()) == 2);
Paul's avatar
Paul committed
62
63
}

Paul Fultz II's avatar
Paul Fultz II committed
64
TEST_CASE(transpose_gem)
65
{
Paul Fultz II's avatar
Paul Fultz II committed
66
67
68
69
70
71
72
73
74
75
    migraphx::module m;

    auto l  = m.add_literal(get_2x2());
    auto t  = m.add_instruction(migraphx::make_op("transpose", {{"dims", {1, 0}}}), l);
    auto c  = m.add_instruction(migraphx::make_op("contiguous"), t);
    auto ic = m.add_instruction(migraphx::make_op("identity"), c);
    m.add_instruction(migraphx::make_op("dot"), ic, l);
    auto count = std::distance(m.begin(), m.end());
    run_pass(m);
    EXPECT(std::distance(m.begin(), m.end()) == (count - 1));
76
77
}

78
79
TEST_CASE(transpose_standard_op)
{
Paul Fultz II's avatar
Paul Fultz II committed
80
81
82
83
84
85
86
87
88
89
    migraphx::module m;

    auto l  = m.add_parameter("x", {migraphx::shape::float_type, {2, 2}});
    auto t  = m.add_instruction(migraphx::make_op("transpose", {{"dims", {1, 0}}}), l);
    auto c  = m.add_instruction(migraphx::make_op("contiguous"), t);
    auto sn = m.add_instruction(migraphx::make_op("sin"), c);
    m.add_instruction(pass_standard_op{}, sn);
    auto count = std::distance(m.begin(), m.end());
    run_pass(m);
    EXPECT(std::distance(m.begin(), m.end()) == count);
90
91
}

Paul's avatar
Paul committed
92
93
TEST_CASE(transpose_standard_op_const)
{
Paul Fultz II's avatar
Paul Fultz II committed
94
95
96
97
98
99
100
101
102
    migraphx::module m;

    auto l  = m.add_literal(get_2x2());
    auto t  = m.add_instruction(migraphx::make_op("transpose", {{"dims", {1, 0}}}), l);
    auto c  = m.add_instruction(migraphx::make_op("contiguous"), t);
    auto sn = m.add_instruction(migraphx::make_op("sin"), c);
    m.add_instruction(pass_standard_op{}, sn);
    run_pass(m);
    EXPECT(std::distance(m.begin(), m.end()) == 3);
Paul's avatar
Paul committed
103
104
}

105
106
TEST_CASE(no_packed_unary_op)
{
Paul Fultz II's avatar
Paul Fultz II committed
107
    migraphx::module m;
108

Paul Fultz II's avatar
Paul Fultz II committed
109
110
    auto l = m.add_literal(get_2x2());
    auto t = m.add_instruction(
111
        migraphx::make_op("slice", {{"axes", {1}}, {"starts", {1}}, {"ends", {2}}}), l);
Paul Fultz II's avatar
Paul Fultz II committed
112
113
114
115
116
117
    auto c  = m.add_instruction(migraphx::make_op("contiguous"), t);
    auto sn = m.add_instruction(migraphx::make_op("sin"), c);
    m.add_instruction(pass_standard_op{}, sn);
    auto count = std::distance(m.begin(), m.end());
    run_pass(m);
    EXPECT(std::distance(m.begin(), m.end()) == count - 1);
118
119
}

120
121
TEST_CASE(non_standard_return_input)
{
Paul Fultz II's avatar
Paul Fultz II committed
122
123
124
125
126
127
128
129
130
    migraphx::module m;

    auto l  = m.add_literal(get_2x2());
    auto tl = m.add_instruction(migraphx::make_op("transpose", {{"dims", {1, 0}}}), l);
    auto c  = m.add_instruction(migraphx::make_op("contiguous"), tl);
    m.add_return({c});
    auto count = std::distance(m.begin(), m.end());
    run_pass(m);
    EXPECT(std::distance(m.begin(), m.end()) == count);
131
132
}

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